1. 개요
바나흐 공간(Banach space/- 空間/(폴란드어)Przestrzeń Banacha)은 완비성을 갖춘 노름공간이다. 바나흐 공간은 힐베르트 공간의 일반화로, 폴란드의 수학자인 스테판 바나흐가 고안했다.2. 정의
2.1. 노름 공간
체 [math(\mathbb{K\in\{R, C\}})] 위의 벡터공간 [math(X)]에 대하여 다음을 만족시키는 범함수 [math(p)]를 반노름(seminorm)이라고 한다.
- 모든 [math(x,y\in X)]에 대하여 [math(p(x+y)\le p(x)+p(y))]
- 모든 [math(x\in X)]와 [math(\alpha\in\mathbb{K})]에 대하여 [math(p(\alpha x)=|a|p(x))]
다음을 추가로 만족시키는 반노름 [math(p)]를 노름(norm)이라고 한다.
- [math(p(x)=0)]이면 [math(x=0)]이다.
노름은 주로 기호 [math(\|\cdot\|)]를 사용해서 나타낸다. 노름을 갖춘 벡터공간 [math((X,\|\cdot\|))]에 대하여 함수 [math(d:X\times X\to[0,\infty))]를 [math(d(x,y)=\|x-y\|)]로 정의하면 [math(d)]는 [math(X)] 위의 거리함수로, [math(X)]는 거리공간이다. 이와 같이 노름으로부터 유도된 거리 구조를 갖는 위상벡터공간을 노름공간이라고 한다.
2.2. 바나흐 공간
노름으로부터 유도된 거리에 대한 완비성을 갖춘 노름공간을 바나흐 공간이라고 한다. 즉, [math(\mathbb{K})]-노름공간 [math((X,\|\cdot\|))]가 바나흐 공간일 필요충분조건은 [math(X)]의 임의의 코시열 [math(\{x_n\}_{n=1}^\infty)]의 극한 [math(x)]가 [math(X)]에 존재하는 것이다. 이는 임의의 [math(\epsilon>0)]이 주어졌을 때 다음을 만족시키는 [math(N\in \mathbb{N})]이 존재함을 의미한다.[math(n>N\Rightarrow\|x-x_n\|<\epsilon)]
2.3. 선형 부분 공간
[math(\mathbb{K})]-바나흐 공간 [math(X)]의 부분집합 [math(M)]이 임의의 [math(x,\ y\in M)]와 [math(\alpha,\ \beta\in\mathbb{K})]에 대하여[math(\alpha x+\beta y \in M)]
을 만족시키면 [math(M)]을 [math(X)]의 선형 다양체(linear manifold)라고 하며, 선형다양체 [math(M)]이 [math(X)]의 닫힌 부분집합일 경우 [math(M)]을 선형 부분공간(부분공간, 닫힌 부분공간, linear subspace, subspace, closed subspace)라고 한다. [math(M)]이 [math(X)]의 선형부분공간인 경우 [math(M\le X)]로 표기한다.노름 공간 [math(X)]의 선형 부분공간 [math(M)]에 대하여 [math(M+N=X)], [math(M\cap N =\{0\})]을 만족시키는 [math(N\le X)]가 존재하면 [math(M)]을 대수적 여공간을 갖는 부분공간(algebraically complemented subspace)이라고 한다. 노름공간 [math(X)]의 서로 대수적 여공간인부분공간 [math(M, N)]에 대하여 [math(T:M\bigoplus_1 N\to X)]를 [math(T(m\oplus n)=m+n)]이라 하면 [math(T)]는 전단사 선형 사상이다. [math(T)]가 위상동형사상이면 [math(M, N)]을 위상적 여공간을 갖는 부분공간(topologically complemented subspace)이라고 한다. 닫힌 그래프 정리에 의해 노름공간 [math(X)]가 바나흐 공간이면 대수적 여공간을 갖는 부분공간은 위상적 여공간을 갖는 부분공간이므로 두 용어를 구분하지 않고 여공간을 갖는 부분공간(complemented subspace)라고 한다.
2.4. 샤우데르 기저
[math(\mathbb{K})]-바나흐 공간 [math(X)]의 점렬 [math(\{e_n\}_{n=1}^\infty\subset X)]가 임의의 벡터 [math(x\in X)]에 대하여[math(\displaystyle x=\sum_{n=1}^\infty \alpha_n e_n)]
을 만족시키는 수열 [math(\{\alpha\}_{n=1}^\infty\subset\mathbb{K})]을 가지면 점렬 [math(\{e_n\}_{n=1}^\infty)]을 [math(X)]의 샤우데르 기저(Schauder basis)라고 한다. 모든 [math(n\in\mathbb{N})]에 대하여 [math(\|e_n\|=1)]인 샤우데르 기저 [math(\{e_n\}_{n=1}^\infty)]를 정규 샤우데르 기저(normal Schauder basis)라고 한다. 샤우데르 기저의 급수 표현은 절대수렴하지 않을 수 있으므로 샤우데르 기저는 순서를 고려해야 한다. 하멜 기저와 달리 바나흐 공간은 샤우데르 기저를 갖지 않을 수 있다.2.5. 동형사상
두 바나흐 공간 [math(X, Y)]에 대하여 위상동형사상인 선형 전단사 사상 [math(T:X\to Y)]를 동형사상(isomorphism)이라고 한다.2.6. 연속 쌍대 공간
[math(\mathbb{K})]-노름 공간 [math(X)]의 유계 선형범함수의 공간, 즉 [math(\mathcal{B}(X,\ \mathbb{K}))]를 [math(X)]의 연속 쌍대 공간(continuous dual space)이라고 하며, [math(X^*)]로 표기한다. 바나흐 공간의 연속 쌍대 공간에 자연스럽게 부여할 수 있는 위상으로 작용소 노름 위상과 약한 *-위상이 있다.바나흐 공간 [math(X)]는 노름 공간이므로 [math(X^*)] 또한 작용소 노름 [math(\|\cdot\|_{\mathrm{op}}:X^*\to [0,~\inf))]
[math(\displaystyle \begin{aligned}
\|T\|_{\mathrm{op}} &= \sup \{ \|Tx\|: \|x\| = 1,~x\in X \} \\
&= \sup \!\left\{ \frac{\|Tx\|}{\|x\|} : x \ne 0,~x\in X \right\} \\
&= \inf \{ C: \|Tx\| \le C\|x\|\ \forall x\in X \}
\end{aligned} )]
을 갖춘 노름 공간이다. 이때, 유계 선형변환 공간 [math(\mathcal{B}(X,\ Y))]의 완비성은 [math(Y)]의 완비성에 따라 결정되고 [math(\mathbb{K})]는 완비 공간이므로 [math(X^*)]는 작용소 노름 위상에 대한 바나흐 공간이다.\|T\|_{\mathrm{op}} &= \sup \{ \|Tx\|: \|x\| = 1,~x\in X \} \\
&= \sup \!\left\{ \frac{\|Tx\|}{\|x\|} : x \ne 0,~x\in X \right\} \\
&= \inf \{ C: \|Tx\| \le C\|x\|\ \forall x\in X \}
\end{aligned} )]
바나흐 공간은 국소 볼록 공간이므로 그 연속 쌍대 공간에 약한 [math(*)]-위상을 부여할 수 있다. 각 [math(x\in X)]에 대하여 반노름 [math(p_x:X^*\to\mathbb{R})]을
[math(p_x(x^*)=|\left<x,~x^*\right>|=|x^*(x)|)]
로 정의하여 [math(\left\{p_x:x\in X \right\})]로 생성된 위상 [math(\mathrm{wk}^*)]를 [math(X^*)]의 약한 [math(*)]-위상이라 한다. 약한 [math(*)]-위상을 갖춘 연속 쌍대 공간은 반노름족으로 생성되었으므로 국소 볼록 공간이다.작용소 노름 위상을 고려할 때, [math(X^*)]는 바나흐 공간이므로 쌍대공간 [math(X^{**}:=(X^*)^*)]를 갖는다. 이를 [math(X)]의 이중 쌍대 공간(double dual sapce, second dual space)라고 한다. 한 [math(x\in X)]에 대하여 각 [math(x^*\in X^*)]를 [math(x^*(x))]로 대응시키는 사상 [math(\hat{x}:X^*\to\mathbb{K})]는
[math(\hat{x}(\alpha x_1^*+x_2^*)=(\alpha x_1^*+x_2^*)(x)=\alpha x_1^*(x)+x_2^*(x)=\alpha\hat{x}( x_1^*)+\hat{x}(x_2^*))]
이므로 선형사상이고, 임의의 [math(x^*\in X^*)]에 대하여 [math(|\hat{x}(x^*)|=|x^*(x)|\le\|x\|_X\cdot\|x^*\|_{X^*})]
이므로 유계이며, 한-바나흐 정리에 의해 [math(\|\hat{x}\|_{X^{**}}=\|x\|_X)]이다. 따라서 [math(X)]에서 [math(X^{**})]로의 사상 [math(x\mapsto \hat{x})]는 [math(X)]를 [math(X^{**})]에 매장하는 등장사상이다. 일반적으로, [math(X)]와 [math(X^{**})]는 등장 동형이 아니며, [math(X)]와 [math(X^{**})]가 등장 동형인 경우, 즉[math(X^{**}=\left\{\hat{x}:x\in X\right\})]
이면 [math(X)]를 반사적(reflexive)이라고 한다.노름 공간 [math(X)]와 선형 부분공간 [math(M\le X)]에 대하여 [math(M^\perp)]을 다음과 같이 정의한다.
[math(M^\perp :=\left\{g\in X^*:g(M)=0\right\})]
여기서 [math(M^\perp)]은 바나흐 공간 [math(X^*)]의 닫힌 집합이므로 [math(M^\perp \le X^*)]이다.3. 연산
3.1. 몫 바나흐 공간
바나흐 공간 [math(X)]의 선형 부분공간 [math(M)]에 대하여 몫 집합 [math(X/M)]에 몫노름[math(\|x+M\|=\inf\left\{\|x+y\|:y\in M\right\})]
을 부여하면 [math(X/M)]은 바나흐 공간이다. 3.2. 곱 바나흐 공간
바나흐 공간족 [math(\{(X_i,\|\cdot\|_i):i\in I\})]와 [math(1\le p \le\infty)]에 대하여 범함수 [math(\|\cdot\|_p:\prod_{i\in I}X_i\to[0,\infty])]를[math( \|x\|_p=
\begin{cases}
\displaystyle
\left(\sum_{i\in I}\|x_i\|_i^p\right)^{1/p},&\text{if }1\le p<\infty\\
\sup_{i\in I}\|x_i\|_i,&\text{if }p=\infty
\end{cases})]
라 하자. \begin{cases}
\displaystyle
\left(\sum_{i\in I}\|x_i\|_i^p\right)^{1/p},&\text{if }1\le p<\infty\\
\sup_{i\in I}\|x_i\|_i,&\text{if }p=\infty
\end{cases})]
[math(\displaystyle\oplus_p X_i:=\left\{x\in \prod_{i\in I}X_i:\|x\|_p<\infty\right\})]
라 하면 [math(\oplus_p X_i)]는 노름 [math(\|\cdot\|_p)]를 갖춘 바나흐 공간이다.4. 성질
4.1. 완비성
노름공간 [math(X)]의 점렬 [math((x_n))]에 대하여 [math(\sum_{n=1}^\infty \|x_n\|)]이 수렴하면 급수 [math(\sum_{n=1}^\infty x_n)]을 절대수렴하는 급수라고 한다. 절대수렴성 급수의 수렴은 노름공간의 완비성과 동치이다.| 증명 바나흐 공간 [math(X)]의 절대수렴 급수 [math(\sum_{n=1}^\infty x_n)]에 대하여 점렬 [math((S_N))]을 [math(S_N = \sum_{n=1}^N x_n)]으로 정의하면, [math(N, M \to \infty)] (단, [math(N>M)])일 때 [math(\displaystyle \begin{aligned} 이므로 점렬 [math((S_N))]은 코시열로 수렴한다. 즉, 급수 [math(\sum_{n=1}^\infty x_n)]은 수렴한다.\| S_N-S_M \| \le \sum_{M+1}^N \|x_n\| \to 0 \end{aligned} )] 반대로 노름 공간 [math(X)]의 모든 절대수렴 급수가 수렴한다고 가정하면 [math(X)]의 코시열 [math((x_n))]에 대하여 각 [math(k \in \mathbb{N})]가 주어졌을 때 [math(m, n \ge n_k)]이면 [math({\| x_m-x_n \| < 2^{-k}})]를 만족시키는 [math(n_k\in\N)]가 존재한다. [math(X)]의 점렬 [math((y_k))]를 [math({y_1= x_1,\ y_k = x_{n_k} - x_{n_{k-1}}(k>1)})]로 정의하자. 그러면 [math(\begin{aligned} 이고 [math(\lim_{n\to\infty} x_n = \lim_{k\to\infty} x_{n_k} = \sum_{k=1}^\infty y_k)]이므로 [math((x_n))]은 수렴한다. 즉, [math(X)]는 바나흐 공간이다.\sum_{k=1}^\infty \|y_k\| &\le \|y_1\| +\sum_{k=1}^\infty 2^{-k} \\ &= \|x_1\|+1 < \infty\end{aligned})] |
4.2. 연속 쌍대 공간의 성질
4.2.1. 한-바나흐 정리
4.2.2. 약한 *-위상의 성질
연속 쌍대 공간에 주어진 작용소 위상 및 약한 *-위상의 관계는 일반적인 국소 볼록 공간의 위상과 약한 위상의 관계와 같다. [math(\mathbb{K})]-바나흐 공간 [math(X)]의 연속 쌍대 공간 [math(x^*)]의 작용소 노름 위상을 [math(\mathcal{T}_{\mathrm{op}})]라 하면 [math(\mathrm{wk}^*\subseteq\mathcal{T}_\mathrm{op})]이다.약한 *-위상을 갖춘 연속 쌍대 공간이 무한차원일 경우 바나흐 공간이 아니다.
4.3. 몫공간과 부분공간의 성질
노름공간 [math(X)]와 [math(M\le X)]에 대하여 [math(X^*/M^\perp)]은 [math(M^*)]과 등장 동형이다. 또한 [math((X/M)^*)]은 [math(M^\perp)]과 등장 동형이다.5. 작용소
5.1. 기본 성질
열린 사상 정리, 닫힌 그래프 정리, 균등 유계 원리 및 이들의 따름 정리를 증명하는 과정에서 베르 범주 정리가 활용된다.5.1.1. 열린 사상 정리
두 바나흐 공간 [math(X,\ Y)]의 연속 선형 전사 작용소 [math(T:X\to Y)]은 열린 사상이다. 즉, [math(X)]의 임의의 열린 집합 [math(U)]에 대하여 [math(T(U))]는 [math(Y)]의 열린 집합이다. 열린 사상 정리에 의해 바나흐 공간 사이의 유계 전단사 선형 변환은 위상동형사상으로, 유계인 역상을 갖는다.| 증명 [math(0\in X)]와 양수 [math(r)]에 대하여 [math(B_r:=B(0,\ r))]이라 하자. [math(X=\bigcup_{n=1}^\infty B_n)]이고 [math(T)]가 전사이므로 [math(Y=\bigcup_{n=1}^\infty T(B_n))]이다. [math(Y)]는 완비공간이고 [math(y\mapsto ny)]는 [math(T(B_{2^{-1}r}))]을 [math(T(B_n))]으로 사상하는 [math(Y)]의 위상동형사상이므로 [math(T(B_{2^{-1}r}))]이 어디에서도 조밀하지 않은 집합이면 [math(Y)]는 어디에서도 조밀하지 않은 집합의 가산 합집합으로, 베르 범주 정리에 모순이다. 따라서 [math(\overline{T(B_{2^{-1}r})})]의 내부는 공집합이 아니고 다음을 만족시키는 [math(y_0\in Y)]와 [math(s>0)]가 존재한다. [math(B_Y(y_0, s)\subseteq \mathrm{int}\left(\overline{T(B_{2^{-1}r})}\right)\subseteq \overline{T(B_{2^{-1}r})})] [math(\|y\|<s)]인 [math(y\in Y)]를 택한다. [math(y_0\in \overline{T(B_{2^{-1}r})})]이므로 [math(T(x_n)\to y_0)]인 [math(B_{2^{-1}r})]의 점렬 [math(\{x_n\})]이 존재한다. 또한 [math(\|y\|=\|y_0+y-y_0\|<s)]에서 [math(y_0+y\in\overline{T(B_{2^{-1}r})} )]이므로 [math(T(z_n)\to y_0+y)]인 [math(B_{2^{-1}r})]의 점렬 [math(\{z_n\})]이 존재한다. 따라서 [math(T(z_n -x_n)\to y)], [math(\{z_n-x_n\}\subseteq B_r)]이므로[math(B_Y(0,s)\subseteq \mathrm{int}\left(\overline{T(B_r)}\right)\subseteq \overline{T(B_r)})] 이다.다음으로 [math(\overline{T(B_{2^{-1}r})}\subseteq T(B_r))]임을 보인다. [math(y_1 \in\overline{T(B_{2^{-1}r})} )]을 택하면 [math(0\in\mathrm{int}\left(\overline{T(B_{2^{-2}r})}\right) )]이므로 [math(\displaystyle\left[y_1 -\overline{T(B_{2^{-2}r})}\right]\cap T(B_{2^{-1}r})\ne\varnothing)] 이고, [math(T(x_1)\in\left[y_1 -\overline{T(B_{2^{-2}r})}\right])]을 만족시키는 [math(x_1\in B_{2^{-1}r})]을 선택할 수 있다. 이때, [math(T(x_1))]은 어떤 [math(y_2 \in \overline{T(B_{2^{-2}r})})]에 대하여 [math(T(x_1)=y_1-y_2)]이다. 이 과정을 반복하여 다음을 만족시키는 [math(X)]의 점렬 [math(\{x_n\})]과 [math(Y)]의 점렬 [math(\{y_n\})]을 얻을 수 있다.
[math(\displaystyle \sum_{k=1}^\infty T(x_k)=\sum_{k=1}^n (y_k-y_{k+1})=y_1-y_{n+1})] 이고 ⅱ.에 의해 [math(\|y_n\|\le \|T\|2^{-n}r)]에서 [math(y_n\to0)]이므로 [math(y_1=\sum_{n=1}^\infty T(x_n)=T(x)\in T(B_r))]이다. 이를 종합하면 임의의 [math(r>0)]에 대하여 [math(0\in \mathrm{int}(T(B_r)))]이다.[math(X)]의 열린집합 [math(U)]와 [math(x\in U)]에 대하여 [math(B_X(x, r_x)\subseteq U)]인 양수 [math(r_x)]를 택하면 [math(0\in \mathrm{int}(T(B_{r_x})))]이므로 [math(T)]의 선형성에 의해 [math(T(x)\in \mathrm{int}\left[T(B_X(x,r_x))\right])]이다. 따라서 [math(U_x:=B_Y(T(x), s_x)\subseteq T(B_X(x, r_x)))] 를 만족시키는 양수 [math(s_x)]가 존재하고, [math(T(U)\supseteq \bigcup\{U_x:x\in U\})]이다. 또한 [math(T(x)\in U_x)]이므로 [math(T(U)= \bigcup\{U_x:x\in U\})]이다. 즉, [math(T)]는 열린 사상이다. |
5.1.2. 닫힌 그래프 정리
두 바나흐 공간 [math(X,\ Y)]의 닫힌 선형 작용소 [math(T:X\to Y)]는 유계이다. 즉, [math(T)]의 그래프[math(\Gamma(T)=\{x\oplus Tx \in X\oplus_1 Y:x\in X\})]
가 닫힌집합이면 [math(T)]는 유계로, 연속이다.| 증명 사영사상 [math(\pi_1:\Gamma(T)\to X)], [math(\pi_2:\Gamma(T)\to Y)]는 각각 [math(\mathcal{B}(\Gamma(T),X))]와 [math(\mathcal{B}(\Gamma(T),Y))]에 속한다. [math(\Gamma(T))]는 완비공간 [math(X\oplus_1 Y)]의 닫힌 부분집합이므로 완비공간이다. [math(\pi_1)]은 [math(\Gamma(T))]와 [math(X)] 사이의 전단사 사상이므로 열린 사상 정리의 따름 정리에 의해 [math(\pi_1^{-1})]은 유계이다. 따라서 [math(T=\pi_2\circ\pi_1^{-1})]도 유계이다. |
| 증명 [math((\Rightarrow))] [math(T)]의 그래프가 닫힌집합이므로 [math(T)]는 연속이다. 따라서 [math(\displaystyle \lim_{n\to\infty}T(x_n)=T\left(\lim_{n\to\infty}x_n\right)=T(0)=0)] 이다.[math((\Leftarrow))] [math(\{(x_n, T(x_n))\}\in\Gamma(T))]가 수렴하는 점렬이라 하자. 즉, [math(x_n\to x)], [math(T(x_n)\to y)]라 하자. [math(w_n:=x_n-x)]라 하면 [math(w_n\to 0)]이고 [math(T(w_n)=T(x_n -x)=T(x_n)-T(x) \to y-T(x))]이다. 가정에 의해 [math(T(w_n)\to0)]이므로 [math(y-T(x)=0)]에서 [math(y=T(x))]이다. 즉, [math((x, y)=(x, T(x))\in \Gamma(T))]이므로 [math(\Gamma(T))]는 닫힌집합이다. |
5.1.3. 균등 유계성 원리
균등 유계성 원리(the principle of uniform boundedness)는 바나흐 공간에서 작용소의 점별 유계성이 균등 유계성을 함의함을 의미한다. 바나흐 공간 [math(X)]와 노름 공간 [math(Y)]에 대하여 [math(\mathcal{A}\subseteq\mathcal{B}(X,\ Y))]라고 하자. 각 [math(x\in X)]에 대하여 [math(\sup\{\|Tx\|_Y:T\in\mathcal{A}\}<\infty)]이면 [math(\sup\{\|T\|:T\in\mathcal{A}\}<\infty)]이다.| 증명 [math(B_n:=\{x\in X: \|Tx\|_Y\le n\ \forall \,T\in \mathcal{A}\})]라고 하면 가정에 의해 [math(X=\bigcup_{n=1}^\infty B_n)]이다. [math(X)]는 공집합이 아닌 완비 거리 공간이므로 베르 범주 정리에 의해 어떤 자연수 [math(N)]에 대하여 [math(B_N)]은 어디에서도 조밀하지 않은 집합이 아니다. 즉, [math(\mathrm{int}\,\overline{B_n}\ne \varnothing)]이다. 임의의 [math(T\in\mathcal{A})]에 대하여 [math(T0=0)]이므로 [math(0\in\mathrm{int}\,\overline{B_n} )]이고, 따라서 [math(B_X(0,r)\subseteq\mathrm{int}\,\overline{B_n})]인 양수 [math(r)]이 존재한다. [math(B_n=\bigcap_{T\in\mathcal{A}}\{x\in X:\|Tx\|_Y \le n \})]이므로 [math(B_n)]은 닫힌집합이고, 따라서 [math(\|x\|_X \le r)]\인 [math(x\in B_X(0,r))]와 각 [math(T\in\mathcal{A})]에 대하여 [math(\|Tx\|_Y\le n )]이다. 따라서 모든 [math(T\in\mathcal{A})]에 대하여 [math(\|T\|\le n/r)]이다. |
5.2. 수반 작용소
두 [math(\mathbb{K})]-바나흐 공간 [math(X,~Y)] 사이의 연속선형변환 [math(A\in\mathcal{B}(X,~Y))]에 대하여 [math(A)]의 수반 작용소(adjoint operator)는 모든 [math(x\in X)] 및 [math(y^*\in Y^*)]에 대하여[math(\left<Ax,~y^*\right>=y^*(Ax)=(A^*y^*)(x)=\left<x,~A^*y^*\right>)]
를 만족시키는 사상 [math(A^*:Y^*\to X^*)]이다. 바나흐 공간 사이의 수반 작용소는 대수적 쌍대 공간 사이의 특정 작용소를 연속 쌍대 공간으로 제한하여 얻을 수 있다. 두 [math(\mathbb{K})]-벡터 공간 [math(X,~Y)]와 선형 변환 [math(A:X\to Y)]가 있을 때, [math(Y)] 위의 선형 범함수 [math(y')]와 [math(A)]의 합성 [math(y'\circ A)]는 [math(X)] 위의 선형 범함수이다. 이에 따라 두 대수적 쌍대 공간 사이의 사상 [math(A':Y'\to X')]을 [math(A'(y')=y'\circ A)]로 정의할 수 있다. [math(X,~Y)]가 바나흐 공간일 때, [math(A^*:=A'|_{Y^*})]라 하면 [math((A^*y^*)(x)=(y^*\circ A)(x)=y^*(Ax))]이다.
5.2.1. 수반 작용소의 성질
수반 작용소는 약한 *-위상과 작용소 노름 위상 모두에서 연속이다. 즉, 두 바나흐 공간 [math(X,~Y)] 사이의 유계 작용소 [math(A\in\mathcal{B}(X,~Y))]에 대하여[math(A^*:(Y^*,~\mathrm{wk^*})\to (X^*,~\mathrm{wk^*}))]
[math(A^*:(Y^*,~\mathcal{T}_\mathrm{op})\to (X^*,~\mathcal{T}_\mathrm{op}))]
는 모두 연속사상이다. 두 바나흐 공간 [math(Y^*,~X^*)]에서의 연속성에 의해 [math(A^*\in\mathcal{B}(Y^*,~X^*))]로, [math(A^*)]는 유계 작용소다.[math(A^*:(Y^*,~\mathcal{T}_\mathrm{op})\to (X^*,~\mathcal{T}_\mathrm{op}))]
| 증명 [math(Y^*)]의 그물 [math((y_\alpha^*)_{\alpha \in A})]가 [math(y^*)]로 약하게 수렴한다고 하자. 즉, 임의의 [math(y\in Y)]에 대하여 [math(\left<y_\alpha^*,~y\right>\to \left<y^*,~y\right>)] 이다. 임의의 [math(x\in X)]에 대하여 [math(Ax\in Y)]이므로[math(\left<A^*y_i^*,~x\right>=\left<y_\alpha^*,~Ax\right>\to\left<y^*,~Ax\right>=\left<A^*y^*,~x\right>)] 이다. 즉, [math(X^*)]의 그물 [math((A^*y_\alpha^*)_{\alpha \in A})]는 [math(A^*y^*)]로 약하게 수렴하므로 [math({A^*:(Y^*,~\mathrm{wk^*})\to (X^*,~\mathrm{wk^*})})]는 연속이다.[math((y_\alpha^*)_{\alpha \in A})]가 [math(y^*)]로 수렴한다고 하자. 즉, [math(\|y_i^* -y^*\|\to 0)]이다. [math(\|x\|=1)]인 임의의 [math(x\in X)]에 대하여 [math(\begin{aligned} 이므로[math(\|A^*(y^*_i-y^*)\|\le \|y^*_i -y^*\|\|A\|)] 이다. [math(\|y_i^* -y^*\|\to 0)]에서 [math(\|A^*(y^*_i-y^*)\|\to 0)]으로, [math(X^*)]의 그물 [math((A^*y_\alpha^*)_{\alpha \in A})]는 [math(A^*y^*)]로 수렴한다. 따라서 [math(A^*:(Y^*,~\mathcal{T}_\mathrm{op})\to (X^*,~\mathcal{T}_\mathrm{op}))]는 연속이다. |
[math(\ker A=(\operatorname{ran} A^*)^\perp,\ \ker A^*=(\operatorname{ran} A)^\perp)]
두 바나흐 공간 [math(X,~Y)]의 유계 작용소 [math(A\in\mathcal{B}(X,~Y))]에 대하여 다음이 성립한다.- [math(\|A^*\|=\|A\|)]
- [math(A)]가 가역이면 [math(A^*)]도 가역이고 [math((A^*)^{-1}=(A^{-1})^*)]이다.
- 바나흐 공간 [math(Z)]와 유계 작용소[math(B\in\mathcal{B}(Y,~Z))]에 대하여 [math((BA)^*=A^*B^*)]이다.
| 증명 (a) [math(\|y^*\|\le 1,~\|x\|\le 1)]인 [math(y^*\in Y^*,~x\in X)]에 대하여 {{{#!wiki style="margin:1.2em 1.2em ;text-align: center;" [math(|\left<x,~A^*y^*\right>|=|\left<Ax,~y^*\right>|\le \|Ax\|\le \|A\|)]}}}이다. 따라서 [math(\|A^*y^*\|\le\|A\|)]로, [math(\|A^*\|\le\|A\|)]이다. 반대로{{{#!wiki style="margin:1.2em 1.2em ;text-align: center;" [math(|\left<Ax,~y^*\right>|=|\left<x,~A^*y^*\right>|\le\|A^*y^*\|\le\|A^*\|)]}}}에서 [math(\|Ax\|\le\|A^*\|)]로, [math(\|A\|\le\|A^*\|)]이다. 따라서 [math(\|A\|=\|A^*\|)]이다. (b) 임의의 [math(y\in Y,~y^*\in Y^*)]에 대하여 {{{#!wiki style="margin:1.2em 1.2em ;text-align: center;" [math([(A^{-1})^*A^*y^*](y)=A^*y^*(A^{-1}y)=y^*(AA^{-1}y)=y^*(y))]}}}이므로 [math(A^*)]는 가역이고 [math((A^*)^{-1}=(A^{-1})^*)]이다. (c) 임의의 [math(x\in X,~z^*\in Z^*)]에 대하여 {{{#!wiki style="margin:1.2em 1.2em ;text-align: center;" [math(\left<BAx,~z^*\right>=\left<Ax,~B^*z^*\right>=\left<x,~A^*B^*z^*\right>)]이므로 [math((BA)^*=A^*B^*)]이다.}}} |
5.3. 컴팩트 작용소
6. 예시
- 힐베르트 공간: 힐베르트 공간은 완비 내적공간으로, 바나흐 공간이다.
- [math(L^p)] 공간: [math(L^p)]공간은 [math(p\in [1,\ \infty])]일 때 바나흐 공간이다. [math(p\in(0,\ 1))]일 경우 [math(L^p)] 공간은 노름공간이 아니기 때문에 바나흐 공간이 아니다. 그러나 이 경우에도 완비성을 갖추고 있어 완비 준노름 공간을 이룬다.
- 연속함수 공간: 하우스도르프 공간 위의 유계 연속함수의 벡터공간은 균등 노름이 주어진 바나흐 공간이다.