연속 쌍대 공간

함수해석학에서 **연속 쌍대 공간**(連續雙對空間, continuous dual space)은 주어진 위상 벡터 공간 위의 연속 선형 범함수들로 구성된 벡터 공간이다. 그 위에 다양한 위상을 부여할 수 있다. 이는 유한 차원의 경우 (대수적) 쌍대 공간과 일치하나, 무한 차원일 경우 대수적 쌍대 공간의 부분 집합이다.
# 정의
위상환 K 위의 위상 왼쪽 가군 _KV가 주어졌다고 하자. 그렇다면, V의 **연속 쌍대 가군**(連續雙對加群, continuous dual module) V^*는 쌍대 가군 :V^\vee=\hom(_KV,_KK) 가운데, 연속 함수 f\colon V\to K를 이루는 것들의 부분 집합이다.언어 = en48, §II.4언어=en129, §V.1 이는 자연스럽게 K-위상 오른쪽 가군을 이룬다. 마찬가지로 위상 오른쪽 가군의 연속 쌍대 가군을 정의할 수 있으며, 이는 위상 왼쪽 가군을 이룬다. 만약 K가 위상체라면, 그 위의 위상 벡터 공간의 연속 쌍대 가군은 **연속 쌍대 공간**이라고 한다. 연속 쌍대 공간 위에는 흔히 **강한 위상**과 **약한-* 위상**이라는 두 위상이 사용된다. * 강한 위상에서, 연속 쌍대 공간의 모든 원소는 (유계 집합에 제한되었을 때) 균등 연속 함수를 이룬다. * 약한-* 위상에서, 연속 쌍대 공간의 모든 원소는 연속 함수를 이룬다. 보통, 특별한 부가 설명이 없다면 강한 위상을 의미한다. 만약 어떤 위상 벡터 공간 V가 어떤 위상 벡터 공간 W의 (강한 위상을 부여한) 연속 쌍대 공간 W'과 동형이라면, W를 V의 **원쌍대 공간**(原雙對空間, predual space)이라고 한다. 원쌍대 공간은 유일하지 않을 수 있으며, 존재하지 않을 수도 있다.
## 강한 위상
위상환 K은 (덧셈에 대하여 아벨 위상군이므로) 자연스럽게 균등 공간을 이룬다. V의 **유계 집합**은 다음 조건을 만족시키는 부분 집합 B\subseteq V이다. * 임의의 0\in V의 근방 N\ni 0에 대하여, B\subseteq\alpha N이 되는 \alpha\in K가 존재한다. V의 유계 집합들의 족 \operatorname{Born}(V)은 V의 덮개를 이룬다. 그렇다면, 덮개 \operatorname{Born}(V)에 대한, 함수 공간 K^V 위의 균등 수렴 위상을 정의할 수 있다. 연속 쌍대 가군 V^* 위의 **강한 위상**은 유계 집합에 대한 균등 수렴 위상이다. 즉, 유계 집합 B\subseteq V에 제한하였을 때 그 원소들 \\{\phi\restriction B\colon \phi\in V^*\\}이 모두 균등 연속 함수가 되게 하는 가장 엉성한 위상이다. 만약 K\in\\{\mathbb R,\mathbb C\\}이며 V가 노름 공간이라면, V^* 위의 강한 위상은 쌍대 노름으로 정의되는 거리 위상과 같다.
## 약한-* 위상
연속 쌍대 공간 위에는 강한 위상 대신 **약한-* 위상**(弱한-* 位相, weak-* topology, "약한-스타 위상"으로 읽음)을 부여할 수 있다. (이 이름은 원래 위상 가군 위의 약한 위상과 구별하기 위한 것이다.) 구체적으로, 위상환 K 위의 위상 왼쪽 가군 _KV이 주어졌다고 하자. 이중 연속 쌍대 가군으로의 자연스러운 포함 사상 :\iota\colon V\to V^{**} :\iota\colon v\mapsto(\phi\mapsto\phi(v)) 을 생각하자. 그렇다면, 연속 쌍대 공간 V^* 위의 **약한-* 위상**은 범함수족 \\{\iota(v)\colon v\in V\\}로 생성되는 시작 위상이다. 즉, 구체적으로 모든 열린집합 U\subset K와 모든 v\in V에 대하여 :v^{-1}(U)=\\{\phi\in V^\vee\colon\phi(v)\in U\\}\subset V^\vee 꼴의 집합들을 부분 기저로 한다. 약한-* 위상은 강한 위상보다 더 섬세한 위상이다.
## 쌍대 노름
만약 \mathbb K\in\\{\mathbb R,\mathbb C\\}이며, (V,\|\|_V)가 \mathbb K-노름 공간이라고 하자. 그렇다면, V^* 위에는 다음과 같은 노름이 존재한다. :\|\phi\|_{V^*}=\sup_{\scriptstyle v\in V\atop\scriptstyle\|v\|_V\le1}|\phi(v)| 이를 **쌍대 노름**(雙對norm, dual norm)이라고 하며, 이는 작용소 노름의 특수한 경우이다. 이에 따라, (V^*,\|\|_{V^*})은 항상 바나흐 공간을 이룬다.
# 성질

## 대수적 쌍대 공간과의 관계
일반적으로 위상환 위의 연속 쌍대 가군은 (대수적) 쌍대 가군의 부분 가군을 이룬다. 즉, 임의의 위상환 K 위의 위상 왼쪽 가군 _KV에 대하여, 연속 쌍대 가군에서 (대수적) 쌍대 가군 V^\vee으로 가는, 다음과 같은 표준적 단사 K-선형 변환이 존재한다. :V^*\to V^\vee 그러나 위 사상은 일반적으로 전단사 함수가 아니다.
## 분해 가능성
\mathbb K\in\\{\mathbb R,\mathbb C\\}에 대하여, \mathbb K-노름 공간 V가 주어졌다고 하자. 만약 V^*이 (쌍대 노름 위상에 대하여) 분해 가능 공간이라면, V 역시 (노름 위상에 대하여) 분해 가능 공간이다. 그러나 그 역은 성립하지 않는다. 예를 들어, 르베그 공간 \ell^1(\mathbb K)는 분해 가능 \mathbb K-바나흐 공간이지만, 그 연속 쌍대 공간 \ell^\infty(\mathbb K)는 분해 가능 공간이 아닌 \mathbb K-바나흐 공간이다.
## 제한 사상
\mathbb K\in\\{\mathbb R,\mathbb C\\}에 대하여, \mathbb K-위상 벡터 공간 V와 그 부분 벡터 공간 W\subseteq V가 주어졌다고 하자. 그렇다면, 자연스러운 제한 사상 :(\restriction W)\colon V^*\mapsto W^* :(\restriction W)\colon \phi\mapsto\phi\restriction W 이 존재한다. 이는 선형 변환이다. 만약 V가 추가로 \mathbb K-국소 볼록 공간이라면, (\restriction W)는 전사 함수이다.129, Theorem V.3
## 이중 연속 쌍대 공간
임의의 위상환 K 위의 위상 왼쪽 가군 _KV에 대하여, 다음과 같은 자연스러운 연속 선형 변환이 존재한다. :V\to V^{**} :v\mapsto (\phi\mapsto\phi(v)) 만약 V가 하우스도르프 국소 볼록 공간이라면, 이 사상은 단사 함수이다. 만약 V가 노름 공간이라면, 이 사상은 한-바나흐 정리에 따라서 등거리 변환이다 (그러나 전단사 함수가 아닐 수 있다). 만약 이 사상이 전단사 함수라면, V를 **반사 바나흐 공간**(反射Banach空間, reflexive Banach space)이라고 한다. (이러한 노름 공간은 물론 항상 바나흐 공간이어야 한다.)
## 바나흐-앨러오글루 정리
**바나흐-앨러오글루 정리**(-定理, Banach–Alaoglu theorem)에 따르면, 노름 공간의 연속 쌍대 공간의 닫힌 공은 약한-* 위상 아래 콤팩트 집합이다. 구체적으로, 다음 데이터가 주어졌다고 하자. * \mathbb K\in\\{\mathbb R,\mathbb C\\} * \mathbb K-위상 쌍대 공간 V * 0\in V의 근방 0\in N\subseteq V 그렇다면, 다음을 구성할 수 있다. * V의 연속 쌍대 공간 V^*. 이 역시 \mathbb K-노름 공간을 이룬다. * 집합 N^\circ=\\{\phi\in V^*\colon \forall v\in N\colon|\phi(v)|\le1\\}\subseteq V^*. * V^* 위에는 쌍대 노름에 대한 거리 위상 대신 약한-* 위상을 부여할 수 있다. **바나흐-앨러오글루-부르바키 정리**(-定理, Banach–Alaoglu–Bourbaki theorem)에 따르면, 다음이 성립한다. * N^\circ에 약한-* 위상을 부여했을 때, 이는 콤팩트 공간을 이룬다.

**증명:**

다음 위상 공간을 정의하자. :D=\prod_{v\in N}\\{\alpha\in\mathbb K\colon |\alpha|\le 1\\} 절댓값이 1 이하인 스칼라들의 공간 \\{\alpha\in\mathbb K\colon |\alpha|\le 1\\}은 콤팩트 공간이다. 티호노프 정리에 따라서, 그 곱공간 D 역시 콤팩트 공간이다. 이제, N^\circ는 다음과 같이 D의 부분 집합으로 여겨질 수 있다. :\iota\colon N^\circ \to D :\iota\colon \phi\mapsto (\phi(v))_{v\in N} 즉, * \iota는 단사 함수이다. (이는 N이 0\in V의 근방이기 때문이다.) * N^\circ에 약한-* 위상을 부여한다면, \iota는 연속 함수이며, 또한 그 정의역과 치역 사이의 위상 동형을 정의한다. (이는 약한-* 위상의 정의에 의한 것이다.) 이제, \iota의 치역이 닫힌집합임을 보이면 족하다. 즉, 임의의 그물 :I\to N^\circ :i\mapsto \phi_i 의 \iota에 대한 상이 극한 :\lim_{i\in I}(\phi_i(v))_{v\in N}\to (\alpha_v)_{v\in N} 을 갖는다면, 이는 (곱위상의 정의에 따라) 대하여 점별 수렴 :\forall v\in N\colon \lim_{i\in I}\phi_i(v)=\alpha_v 인 것과 동치이며, 이 경우 :v\mapsto \lim_{i\in I}\phi_i(v)\in\mathbb K 는 \mathbb K-선형 변환이며, (약한-* 위상의 정의에 따라) 그물 (\phi_i)_{i\in I}의 약한-* 위상에 대한 극한이다.

그 특수한 경우로, 만약 V가 \mathbb K-노름 공간이며, :N=\\{v\in V\colon\|v\|_V\le1\\} 이 그 속의 단위 닫힌 공이라고 할 때, :N^\circ=\\{\phi\in V^*\colon\|\phi\|_{V^*}\le1\\} 은 V^*의 단위 닫힌 공이다. 이에 따라, 노름 공간의 쌍대 노름 공간의 닫힌 공은 약한-* 위상에서 콤팩트 공간을 이룬다. 이 특수한 경우를 **바나흐-앨러오글루 정리**라고 한다. 바나흐-앨러오글루(-부르바키) 정리의 증명은 티호노프 정리, 즉 선택 공리의 한 형태를 필요로 한다.언어=en
## 골드스틴 정리
임의의 \mathbb K-노름 공간 (V,\|\|_V)가 주어졌다고 하자. 그렇다면, 그 이중 연속 쌍대 공간으로 가는 표준적 사상 :\iota\colon V\to V^{**} 을 생각하자. 이는 단사 함수이자 등거리 변환이므로, 이 경우, V의 단위 닫힌 공 :\operatorname{cl}(\operatorname{ball}_V(0,1)) 의 상은 V^{**}의 단위 닫힌 공 :\operatorname{cl}(\operatorname{ball}_{V^{**(0,1)) 의 부분 집합이다. 이제, V^{**}에 약한-* 위상을 부여했을 때, \operatorname{cl}(\operatorname{ball}_V(0,1))는 \operatorname{cl}(\operatorname{ball}_{V^{**(0,1))의 조밀 집합이다 (**골드스틴 정리** -定理, Goldstine theorem). 그러나 골드스틴 정리는 노름 위상에서는 성립하지 않는다.

**반례**:

\mathbb K\in\\{\mathbb R,\mathbb C\\}라고 하자. \mathbb K계수 영 수렴 수열 공간 \operatorname c_0(\mathbb K)의 연속 쌍대 공간은 \mathbb K-계수 1-르베그 공간 \ell^1(\mathbb K)이며, \ell^1(\mathbb K)의 연속 쌍대 공간은 \mathbb K계수 ∞-르베그 공간 \ell^\infty(\mathbb K)이다. 이제, \operatorname\ell^0(\mathbb K)의 닫힌 단위 공 \operatorname{ball}_{\operatorname\ell^\infty(\mathbb K)}(0,1)은 집합으로서 곱집합 \\{\alpha\in\mathbb K\colon|\alpha|\le1\\}^{\mathbb N} (즉, 모든 성분의 절댓값이 1 이하인 \mathbb K-수열)이며, \operatorname c_0(\mathbb K)의 닫힌 단위 공 \operatorname{ball}_{\operatorname c_0(\mathbb K)}(0,1)은 그 속에서 0으로 수렴하는 \mathbb K-수열들로 구성된 부분 집합이다. 이 경우, (예를 들어) 0이 아닌 다른 값 r로 수렴하는 수열 :\alpha=(\alpha_i)_{i\in\mathbb N}\in\operatorname{ball}_{\operatorname\ell^0(\mathbb K)}(0,1) 에 대하여, 반지름 r의 열린 공 :\operatorname{ball}_{\ell^0(\mathbb C)}(\alpha,r) 는 \operatorname{ball}_{\operatorname c_0(\mathbb K)}(0,1)와 겹치지 않는다.

# 예

## 유클리드 공간
\mathbb K\in\\{\mathbb R,\mathbb C\\}이고, V=\mathbb K^n이 (곱위상을 갖춘) 유한 차원 위상 벡터 공간이라면, V의 연속 쌍대 공간은 (대수적) 쌍대 공간과 K-벡터 공간으로서 같다. 그러나 예를 들어 V가 무한 차원 힐베르트 공간이라면 V의 대수적 쌍대 공간은 연속 쌍대 공간보다 훨씬 더 크다.
## 수열 공간
르베그 공간 다음과 같은 르베그 공간을 생각하자. :\ell^p(\mathbb C)=\operatorname L^p(\mathbb N;\mathbb C)=\left\\{(a_i)_{i\in\mathbb N}\in\mathbb C^{\mathbb N}\colon \sum_{i=0}^\infty|a_i|^p0에 대하여, \textstyle\sup_{x\in X\setminus K}\|f(x)\|<\epsilon인 콤팩트 집합 K\subseteq X가 존재한다. 이 경우 균등 노름을 부여한다. 이는 \mathcal C^0_{\text{compact(X;\mathbb R)의 완비화이다. 리스-마르코프-가쿠타니 표현 정리에 따라, 다음 위상 벡터 공간들이 서로 동형이다. :\mathcal C^0_{\text{compact(\mathbb N;\mathbb R)^*=\mathcal C_0^0(\mathbb N;\mathbb R)^*=\operatorname L^1(\mathbb N;\mathbb R) 여기서 * \mathcal C^0_{\text{compact(\mathbb N;\mathbb R)=\\{s\in\mathbb R^{\mathbb N}\colon\exists N\in\mathbb N\forall i\ge N\colon s_i=0\\}는 유한 지지 실수열들의 노름 공간이다. * \mathcal C^0_0(\mathbb N;\mathbb R)=\\{s\in\mathbb R^{\mathbb N}\colon\textstyle\lim_{i\in\mathbb N}s_i=0\\}는 유계 수열로 구성된 바나흐 공간이며, \mathcal C^0_{\text{compact(\mathbb N,\mathbb R)의 완비화이다. * \ell^1=L^1(\mathbb N;\mathbb R)=\\{s\in\mathbb R^{\mathbb N}\colon\textstyle\sum_{i=0}^\infty|s|<\infty\\}는 절대 수렴 실수열들의 바나흐 공간이다.
## 대각합류 작용소
대각합류 작용소 복소수 힐베르트 공간 H가 주어졌다고 하자. 그렇다면, 그 위의 모든 H\to H 유계 작용소들의 폰 노이만 대수 \operatorname B(H) 및 그 부분 집합인, 대각합류 작용소들의 복소수 바나흐 공간 \mathfrak S_1(H)\subseteq\operatorname B(H)을 정의할 수 있다. 이 경우, \mathfrak S_1(H)의 연속 쌍대 공간은 \operatorname B(H)와 동형이다. 구체적으로, 임의의 A\in\mathfrak S_1(H) 및 B\in\operatorname B(H)에 대하여, :\langle A,B\rangle=\operatorname{tr}(AB)=\operatorname{tr}(BA) 이다. (다시 말해, 대각합류 작용소와 유계 작용소의 합성은 항상 대각합류 작용소이다.) 특히, 이에 따라 \mathfrak S_1(H)^*\cong\operatorname B(H) 위에 약한-* 위상을 정의할 수 있다. 이를 **초약 위상**(超弱位相, ultraweak topology)이라고 한다.
## 폰 노이만 대수
폰 노이만 대수 C* 대수 A에 대하여, 다음 두 조건이 서로 동치이다. * A는 (복소수 바나흐 공간으로서) 원쌍대 공간을 갖는다. * A는 폰 노이만 대수이다. 이 경우, A의 원쌍대 공간 A_*은 동형 사상 아래 유일하다. 구체적으로, 만약 어떤 복소수 힐베르트 공간 H에 대하여 A\subseteq\operatorname B(H)이라고 하자. 그렇다면, A의 원쌍대 공간 A_*는 복소수 선형 변환 \phi\colon A\to\mathbb C 가운데, A에 초약 위상을 부여했을 때 연속 함수가 되는 것들로 구성된 집합이다.
# 역사
1907년에 리스 프리제시url-status=dead와 모리스 르네 프레셰언어=fr가 각각 독자적으로 1907년에 힐베르트 공간의 리스 표현 정리를 증명하였다. 1909년에 리스 프리제시는 리스-마르코프-가쿠타니 표현 정리를 실수 폐구간의 경우에 대하여 증명하였다.url-status = dead언어=en 이후 안드레이 마르코프언어=enurl=http://mi.mathnet.ru/msb5744와 가쿠타니 시즈오언어=en가 이를 일반화하였다. 스테판 바나흐가 1932년에 바나흐-앨러오글루 정리의 특수한 경우를 증명하였고,url-status=dead123, §VIII.4, Théorème VII.3 1940년에 리오니더스 앨러오글루가 이를 임의의 노름 공간에 대하여 일반화하였다.언어=en 니콜라 부르바키는 같은 해에 이를 임의의 위상 벡터 공간에 대하여 일반화하였다. 국소 볼록 공간의 쌍대성 이론은 고트프리트 쾨테(Gottfried Köthe) · 장 디외도네 · 조지 매키(George Mackey) 등이 1930년대에 제창하였다. 이후 로랑 슈와르츠와 알렉산더 그로텐디크 등이 그 이론에 공헌하였고, 이후 니콜라 부르바키가 그 이론을 1950년대에 집대성하였다.언어=fr언어=fr