logo

リース基底 📂ヒルベルト空間

リース基底

定義1

ヒルベルト空間 HHの正規直交基底 {ek}k∈N\left\{ \mathbf{e}_{k} \right\}_{k \in \mathbb{N}}が与えられているとしよう。全射 U:H→HU : H \to Hが線形かつ有界な作用素で全ての k∈Nk \in \mathbb{N}に対して vk:=Uek\mathbf{v}_{k} := U \mathbf{e}_{k}とすると、 {vk}k∈N\left\{ \mathbf{v}_{k} \right\}_{k \in \mathbb{N}}は HHの基底になり、次が成り立つ。

v=∑k∈N⟨v,(U−1)∗ek⟩vk \mathbf{v} = \sum_{k \in \mathbb{N}} \left\langle \mathbf{v} , \left( U^{-1} \right)^{ \ast } \mathbf{e}_{k} \right\rangle \mathbf{v}_{k}

説明

UUが与えられたときの上記のように具体的に基底を選ぶことができるのは確かに良いことだが、UUの条件もそれに相応しく良いものでなければならないことに注意しよう。もちろん、恒等作用素 IIはこれを軽々と満たすが、結局 vk=ek\mathbf{v}_{k} = \mathbf{e}_{k}となり、空虚な主張しか残らない。

証明

{ek}k=1∞\left\{ \mathbf{e}_{k} \right\}_{k=1}^{\infty}が VVの基底であるので、v∈V\mathbf{v} \in Vが a1=⋯=0a_{1} = \cdots = 0でなく{ak}k=1∞⊂C\left\{ a_{k} \right\}_{k=1}^{\infty} \subset \mathbb{C}に対しては、以下のように表される。

v=∑k=1∞akek \mathbf{v} = \sum_{k =1}^{\infty} a_{k} \mathbf{e}_{k}

{ek}k=1∞\left\{ \mathbf{e}_{k} \right\}_{k=1}^{\infty} の正規直交性により ⟨ei,ei⟩=1\left\langle \mathbf{e}_{i} , \mathbf{e}_{i} \right\rangle = 1であり、i≠ji \ne jに対して ⟨ei,ej⟩=0\left\langle \mathbf{e}_{i} , \mathbf{e}_{j} \right\rangle = 0であるため、

⟨v,v⟩=∑k=1∞ak2 \left\langle \mathbf{v} , \mathbf{v} \right\rangle = \sum_{k =1}^{\infty} a_{k}^{2}

一方 v=∑k=1∞akek\mathbf{v} = \sum_{k =1}^{\infty} a_{k} \mathbf{e}_{k}から、

⟨v,v⟩=∑k=1∞ak⟨v,ek⟩ \left\langle \mathbf{v} ,\mathbf{v} \right\rangle = \sum_{k =1}^{\infty} a_{k} \left\langle \mathbf{v} , \mathbf{e}_{k} \right\rangle

というわけで、

∑k=1∞ak2=∑k=1∞ak⟨v,ek⟩ \sum_{k =1}^{\infty} a_{k}^{2} = \sum_{k =1}^{\infty} a_{k} \left\langle \mathbf{v} , \mathbf{e}_{k} \right\rangle

まとめると、

∑k=1∞ak(ak−⟨v,ek⟩)=0 \sum_{k =1}^{\infty} a_{k} \left( a_{k} - \left\langle \mathbf{v} , \mathbf{e}_{k} \right\rangle \right) = 0

したがって、全ての k∈Nk \in \mathbb{N}に対して ak=⟨v,ek⟩a_{k} = \left\langle \mathbf{v} , \mathbf{e}_{k} \right\rangleでなければならない。

v=∑k=1∞⟨v,ek⟩ek \mathbf{v} = \sum_{k=1}^{\infty} \left\langle \mathbf{v} , \mathbf{e}_{k} \right\rangle \mathbf{e}_{k}

作用素 UUを取ると、

Uv=∑k=1∞⟨v,ek⟩vk U \mathbf{v} = \sum_{k=1}^{\infty} \left\langle \mathbf{v} , \mathbf{e}_{k} \right\rangle \mathbf{v}_{k}

ここで、U−1U^{-1}の随伴作用素 (U−1)∗\left( U^{-1} \right)^{ \ast }は、リースの表示定理により一意に存在する。

v=U(U−1v)=∑k=1∞⟨U−1v,ek⟩vk=∑k=1∞⟨v,(U−1)∗ek⟩vk \begin{align*} \mathbf{v} =& U \left( U^{-1} \mathbf{v} \right) \\ =& \sum_{k=1}^{\infty} \left\langle U^{-1} \mathbf{v} , \mathbf{e}_{k} \right\rangle \mathbf{v}_{k} \\ =& \sum_{k=1}^{\infty} \left\langle \mathbf{v} , \left( U^{-1} \right)^{ \ast } \mathbf{e}_{k} \right\rangle \mathbf{v}_{k} \end{align*}

したがって、全ての v∈H\mathbf{v} \in Hと{vk=Uek}k=1∞\left\{ \mathbf{v}_{k} = U \mathbf{e}_{k} \right\}_{k=1}^{\infty}に対して、次を満たす{ck:=⟨v,(U−1)∗ek⟩}k∈N⊂C\left\{ c_{k} := \left\langle \mathbf{v} , \left( U^{-1} \right)^{ \ast } \mathbf{e}_{k} \right\rangle \right\}_{k \in \mathbb{N}} \subset \mathbb{C}が一意に存在する。

v=∑k=1∞ckvk \mathbf{v} = \sum_{k =1}^{\infty} c_{k} \mathbf{v}_{k}

■

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