수반 작용소의 성질

수반 작용소의 성질

정리1

$H,K$를 힐베르트 공간이라고 하자. 유계 선형 작용소 $T : K \to H$ 에 대해 다음을 만족하는 $T^{\ast} : H \to K$ 를 $T$ 의 수반 작용소라고 한다.

$$ \left\langle T \textbf{v} , \textbf{w} \right\rangle_{H} = \left\langle \textbf{v} , T^{\ast} \textbf{w} \right\rangle_{K},\quad \forall \textbf{v} \in K $$ 이때 수반 작용소는 다음의 성질을 갖는다.

(a) $T^{\ast}$ 는 선형이고 유계다.

(b) $\left( T^{\ast} \right)^{\ast} = T$

(c) $\left\| T^{\ast} \right\| = \left\| T \right\| $

증명

(a)

(b)

$T^{\ast}$와 내적의 정의에 의해 간단히 보일 수 있다.

$$ \begin{align*} \left\langle T\mathbf{v},\mathbf{w} \right\rangle_{H} =&\ \left\langle \mathbf{v},T^{\ast}\mathbf{w} \right\rangle_{K} \\ =&\ \overline{\left\langle T^{\ast}\mathbf{w},\mathbf{v} \right\rangle_{K}} \\ =&\ \overline{\left\langle \mathbf{w},(T^{\ast})^{\ast}\mathbf{v} \right\rangle_{K}} \\ =&\ \left\langle (T^{\ast})^{\ast}\mathbf{v},\mathbf{w} \right\rangle_{K} \end{align*} $$

이는 모든 $\mathbf{w}$에 대해서 성립하므로 Part 1. 에서와 같은 논리로

$$ T\mathbf{v}=(T^{\ast})^{\ast}\mathbf{v}\implies T=(T^{\ast})^{\ast} $$

(c)

(a) 의 증명으로부터 $\left\| T^{\ast} \right\| \le \left\| T \right\|$를 얻었다. 같은 방법으로 반대 방향의 부등식을 얻을 수 있다.

$$ \begin{align*} \left\| T\mathbf{v} \right\| =&\ \sup \limits_{\substack{\mathbf{w}\in H \\ \left\| \mathbf{w} \right\|=1 }} \left| \left\langle T\mathbf{v},\mathbf{w} \right\rangle_{H} \right| \\ =&\ \sup \limits_{\substack{\mathbf{w}\in H \\ \left\| \mathbf{w} \right\|=1 }} \left| \left\langle \mathbf{v},T^{\ast}\mathbf{w} \right\rangle_{K} \right| \\ \le& \sup \limits_{\substack{\mathbf{w}\in H \\ \left\| \mathbf{w} \right\|=1 }} \left\| \mathbf{v} \right\| \left\| T^{\ast}\mathbf{w} \right\| \\ \le& \sup \limits_{\substack{\mathbf{w}\in H \\ \left\| \mathbf{w} \right\|=1 }} \left\| \mathbf{v} \right\| \left\| T^{\ast} \right\| \left\| \mathbf{w} \right\| \\ \le& \left\| T^{\ast} \right\| \left\| \mathbf{v} \right\| \end{align*} $$

따라서 $\left\| T^{} \right\|\le \left\| T^{\ast} \right\|$가 성립하므로,

$$ \left\| T \right\| = \left\| T^{\ast} \right\| $$


  1. Ole Christensen, Functions, Spaces, and Expansions: Mathematical Tools in Physics and Engineering (2010), p72 ↩︎

댓글