logo

ヒルベルト空間の共役作用素 📂ヒルベルト空間

ヒルベルト空間の共役作用素

ビルドアップ1

ヒルベルト空間 (H,,H)\left( H, \left\langle \cdot , \cdot \right\rangle_{H} \right)(K,,K)\left( K, \left\langle \cdot , \cdot \right\rangle_{K} \right) において有界線形作用素 T:KHT : K \to H が与えられているとしよう。すると、任意の固定された元 wH\mathbf{w} \in H に対して、以下のように定義された Φ:KC\Phi : K \to \mathbb{C}線形汎関数 ΦK\Phi \in K^{ \ast } になる。

Φv:=Tv,wH \Phi \mathbf{v} := \left\langle T \mathbf{v} , \mathbf{w} \right\rangle_{H}

リースの表現定理によれば、ヒルベルト空間 KKΦK\Phi \in K^{ \ast } とすべての vK\mathbf{v} \in K に対して以下を満たす唯一の元 TwKT^{ \ast } \mathbf{w} \in K が存在しなければならない。

Φv=v,TwK \Phi \mathbf{v} = \left\langle \mathbf{v} , T^{ \ast } \mathbf{w} \right\rangle_{K}

先に固定された元 wH\mathbf{w} \in H に対して TwKT^{ \ast } \mathbf{w} \in K が具体的に何であるかはわからないが、TT^{ \ast }w\mathbf{w}TwT^{ \ast } \mathbf{w} にマッピングする作用素 T:HKT^{ \ast } : H \to K と見なすことができる。このような議論から、次のような概念を思い浮かべることができる。

定義

H,KH,K がヒルベルト空間であるとする。有界線形作用素 T:KHT : K \to H に対して、以下を満たす T:HKT^{ \ast } : H \to KTT随伴作用素adjoint operatorと呼ぶ。

Tv,wH=v,TwK,vK \left\langle T \mathbf{v} , \mathbf{w} \right\rangle_{H} = \left\langle \mathbf{v} , T^{ \ast } \mathbf{w} \right\rangle_{K} ,\quad \forall \mathbf{v} \in K

説明

双対作用素dual operatorとも呼ばれる。T#T^{\#}とも表示される。

随伴作用素は以下のような性質を持つ。

  • TT^{ \ast } は線形であり、有界である。
  • (T)=T\left( T^{ \ast } \right)^{ \ast } = T
  • T=T\left\| T^{ \ast } \right\| = \left\| T \right\|

一方、H=KH = K の時、次のような良い性質を持つ随伴作用素はもっと特別な名前で呼ばれる。HH がヒルベルト空間であり、T:HHT : H \to H が線形で有界であるとする1

  • T=TT = T^{ \ast } の場合、TT自己随伴self-adjointと呼ばれる。
  • TT=TT=ITT^{ \ast } = T^{ \ast }T = I の場合、TTユニタリunitaryと呼ばれる。

TT が自己随伴である場合、全ての v,wH\mathbf{v} , \mathbf{w} \in H に対して

Tv,w=v,Tw \left\langle T \mathbf{v} , \mathbf{w} \right\rangle = \left\langle \mathbf{v} , T \mathbf{w} \right\rangle

TT がユニタリである場合、全ての v,wH\mathbf{v} , \mathbf{w} \in H に対して

Tv,Tw=v,w \left\langle T \mathbf{v} , T \mathbf{w} \right\rangle = \left\langle \mathbf{v} , \mathbf{w} \right\rangle

定義から、ユニタリ TT は可逆であり、

T1=T T^{-1} = T^{ \ast }

特に、ユニタリ作用素は正規直交基底と関連した非常に重要な性質を持つ。


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