(+)분류 : 가져온 문서/오메가
dual space
벡터 공간의 선형 범함수들이 이루는 벡터 공간을 말한다.
1. 정의 ✎ ⊖
체 상의 벡터 공간 에 대해 에서 로 가는 선형 변환을 V의 선형 범함수(linear functional)라고 하고, 이들의 집합 은 벡터 공간을 이룬다. 이 때, 를 의 쌍대 공간이라하고, 간단히 혹은 로 나타낸다.
2. 쌍대 기저 ✎ ⊖
을 기저로 가지는 유한 차원의 벡터 공간 의 쌍대 공간 는 를 만족하는 기저 를 가지는데, 이를 의 쌍대 기저(dual basis)라고 한다. 와 는 차원이 같고, 따라서 동형이다.
3. 겹쌍대 공간 ✎ ⊖
의 쌍대 공간을 겹쌍대 공간(double dual space)라 하고 로 표시한다. 는 대입 사상 에 의해 와 동형이다.
4. 쌍대 공간과 겹선형 형식 ✎ ⊖
는 와도 동형이고 와도 동형이다. 그런데 과 사이에는 일반적인 동형 사상이 존재하지만(이를 자연스러운 동형이라고 한다), 와 는 단순히 차원이 같아서 동형인 것이고, 일반적인 동형 사상이 존재하지 않는다. 이 때, 와 사이의 동형 사상을 정해주면, 그 동형 사상은 비퇴화 겹선형 형식이 되고, 반대로 임의의 비퇴화 겹선형 형식은 와 사이의 동형 사상이라고 할 수 있다.