쌍대 가군

선형대수학과 가군 이론에서, **쌍대 가군**(雙對加群, )은 어떤 가군 또는 벡터 공간 위의 선형 범함수들로 구성된 가군 또는 벡터 공간을 말한다. 만약 스칼라환이 가환환이 아닐 경우, 왼쪽 가군의 쌍대 가군은 오른쪽 가군이며, 반대로 오른쪽 가군의 쌍대 가군은 왼쪽 가군이다. 만약 스칼라환이 체일 경우, 쌍대 가군은 보통 **[[쌍대 공간]]**(雙對空間, )이라고 한다. 기호는 (-)^\vee 또는 (벡터 공간의 경우) (-)^*.

쌍대 가군의 개념은 대수적이며, 그 위의 위상을 고려하지 않는다. 이 때문에, 위상 벡터 공간의 경우 보통 연속 쌍대 공간을 대신 사용한다.

## 정의
환 R 위의 왼쪽 가군 _RM의 **쌍대 가군** M^\vee_R은 다음과 같은 R-오른쪽 가군이다.
:M^\vee_R=\hom(_RM,_RR)
:(fr)\colon (m\mapsto f(m)r)\qquad\forall f\in M^\vee_R,\;r\in R,\;m\in M
즉, 왼쪽 R-선형 변환
:f\colon M\to R
들로 구성된 공간이다. 그 위의 R-오른쪽 가군 구조는 구체적으로 다음과 같다.
:(f+g)(m)=f(m)+g(m)\qquad\forall f,g\in M^\vee_R,\;m\in M
:(fr)(m)=f(rm)\qquad\forall f\in M^\vee_R,\;r\in R,\;m\in M

마찬가지로, R-오른쪽 가군의 쌍대 가군은 R-왼쪽 가군이다.

만약 R가 가환환이면 왼쪽·오른쪽을 구별할 필요가 없다.

### 체의 경우
R=K가 체라고 하자. 그렇다면, 그 위의 가군 V는 벡터 공간이라고 불리며, 벡터 공간의 쌍대 가군은 **(대수적) 쌍대 공간**((代數的)雙對空間, )이라고 불리며, 보통 V^*로 표기된다.

체 K 위의 벡터 공간 V의 부분 벡터 공간 W\subset V의 **소멸자**(消滅子, ) W^0는 다음과 같은, 쌍대 공간 V^*의 부분 공간이다.
:W^0=\{f\in V^*\colon f(w)=0\forall w\in W\}\subset V^*

### 가군층의 경우
쌍대 가군의 개념은 가군층에 대하여 일반화될 수 있다.

국소환 달린 공간 (X,\mathcal O_X) 위의 \mathcal O_X-가군층 \mathcal M에 대하여, 다음을 정의하자.
:\mathcal M^\vee=\hom_{\mathcal O_X}(\mathcal M,\mathcal O_X)
그렇다면, 다음과 같은 표준적인 \mathcal O_X-가군층 사상을 정의할 수 있다.
:\mathcal M\to\mathcal M^{\vee\vee}
:\left(s\in\Gamma(U;\mathcal M)\right)\mapsto \left((f\in\Gamma\left(U;\hom_{\mathcal O_X}(\mathcal O_X,\mathcal M)\right)\mapsto f(s)\right)\qquad\forall U\in\operatorname{Open}(X)
이를 \mathcal O_X-가군층 M의 **쌍대 가군층**(雙對加群層, )이라고 한다.

## 성질
### 함자성
임의의 환 R에 대하여, 쌍대 가군은 R에 대한 왼쪽 가군(벡터 공간)과 가군 준동형(선형 변환)들의 범주 _R\text{Mod}에서, 오른쪽 가군(벡터 공간)과 가군 준동형(선형 변환)들의 범주 \text{Mod}_R의 반대 범주로 가는 함자
:(-)^\vee\colon {}_R\text{Mod}\to\text{Mod}_R^{\operatorname{op}}
를 정의한다.

특히, 이중 쌍대 가군은 자기 함자
:(-)^{\vee\vee}\colon {}_R\text{Mod}\to{}_R\text{Mod}
를 정의한다.

### 유한 차원 벡터 공간
체 K 위의 유한 차원 벡터 공간 V의 경우, 대수적 쌍대 공간 V^*은 유한 차원이다. 즉, ^*\colon K\text{-Vect}\to K\text{-Vect}^{\operatorname{op}}를 ^*\colon K\text{-FinVect}\to K\text{-FinVect}^{\operatorname{op}}로 국한할 수 있다 (K\text{-FinVect}는 유한 차원 벡터 공간들의 범주).
또한, V와 그 대수적 쌍대 공간 V^*의 차원은 같으며, 따라서 이 둘은 서로 동형이다.
:\dim V=\dim V^*
:V\cong V^*
구체적으로, V의 기저 B\subseteq V가 주어졌을 때, 쌍대 공간에 다음과 같은 기저 B^*\subseteq V^*를 줄 수 있으며, 이를 **쌍대 기저**(雙對基底, )라고 한다.
:b^*(b')=\begin{cases}1&b=b'\\0&b\ne b'\end{cases}\qquad\forall b,b'\in B
서로 쌍대 공간 속 벡터의 서로 쌍대 기저에 대한 좌표는 다음과 같다.
:v=\sum_{b\in B}b^*(v)b
:f=\sum_{b\in B}f(b)b^*
그러나 이는 표준적()이지 않다. 범주론적으로, ^*\colon K\text{-FinVect}\to K\text{-FinVect}^{\operatorname{op}}는 반변 자기 함자이므로, (공변) 자기 함자가 아니다.

반면, V의 이중 쌍대 공간 V^{**}는 V와 표준적으로 동형이다. 구체적으로 이러한 동형은 다음과 같다.
:V\cong V^{**}
:v\mapsto(f\mapsto f(v))
범주론적으로, 함자
:^{**}\colon K\text{-FinVect}\to K\text{-FinVect}
는 상수 함자
:\operatorname{id}\colon K\text{-FinVect}\to K\text{-FinVect}
와 자연 동형이다.

부분 벡터 공간 W\subset V에 대하여, 다음이 성립한다.
:\dim W^0=\dim V-\dim W
:V^*=W^*\oplus W^0
:\dim W^{00}=\dim W
:W\cong W^{00}

### 무한 차원 벡터 공간
무한 차원의 벡터 공간 V의 경우, V의 차원은 (기수로서) 항상 V^*의 차원보다 더 작다.
:\aleph_0\le\dim V\implies \dim V

상수 함자에서 이중 쌍대 공간 함자 ^{**}\colon K\text{-FinVect}\to K\text{-FinVect}로 가는 자연 변환 \phi가 존재한다.
:\phi\colon\operatorname{id}\implies^{**}
:\phi_V\colon V\to V^{**}
이 경우, \phi_V들은 항상 단사 함수이지만, V가 무한 차원일 경우 전사 함수가 아니다.

이러한 이유 때문에, 만약 V가 위상 벡터 공간이라면 보통 대수적 쌍대 공간 대신 연속 쌍대 공간을 사용한다.

## 같이 보기
* 반사 가군

## 참고 문헌
* 
* 

## 외부 링크
* 
* 
* 
* 
* 
* 

분류:선형대수학
분류:쌍대성이론
분류:가군론