随伴作用素の性質
📂ヒルベルト空間随伴作用素の性質
定理
H,Kをヒルベルト空間としよう。有界線形作用素T:K→Hに対して、次を満たすT∗:H→KをTの随伴作用素と呼ぶ。
⟨Tv,w⟩H=⟨v,T∗w⟩K,∀v∈K
このとき、随伴作用素は次の性質を持つ。
(a) T∗は線形であり、有界である。
(b) (T∗)∗=T
(c) ∥T∗∥=∥T∥
証明
(a)
Part 1. T∗は線形である
定義により
T∗(αw+βu)=αT∗(w)+βT∗(u)
を示せばよい。T∗と内積の定義により、v∈Kに対して次が成立する。
⟨v,T∗(αw+βu)⟩K==== ⟨Tv,αw+βu⟩H α⟨Tv,w⟩H+β⟨Tv,u⟩H α⟨v,T∗w⟩K+β⟨v,T∗u⟩K ⟨v,αT∗w+βT∗u⟩K
全てのvに対して⟨v,u⟩=⟨v,w⟩ならばu=wが成り立つので、
T∗(αw+βu)=αT∗(w)+βT∗(u)
Part 2. T∗は有界である
定義により
∥T∗w∥≤C∥w∥,∀w∈H
を満たす定数Cが存在するかを示せばよい。内積とノルムの関係により次が成立する。
∥T∗w∥=v∈K∥v∥=1sup∣⟨v,T∗w⟩K∣
そのため、T∗の定義とコーシー・シュワルツの不等式により次が成立する。
∥T∗w∥==≤ v∈K∥v∥=1sup∣⟨v,T∗w⟩K∣ v∈K∥v∥=1sup∣⟨Tv,w⟩H∣v∈K∥v∥=1sup∥Tv∥∥w∥
ここでTは有界であるため、∥Tv∥≤∥T∥∥v∥が成立する。従って、
∥T∗w∥≤≤≤v∈K∥v∥=1sup∥Tv∥∥w∥v∈K∥v∥=1sup∥T∥∥v∥∥w∥∥T∥∥w∥
であるから、T∗は有界である。
■
(b)
T∗と内積の定義により単純に示すことができる。
⟨Tv,w⟩H==== ⟨v,T∗w⟩K ⟨T∗w,v⟩K ⟨w,(T∗)∗v⟩K ⟨(T∗)∗v,w⟩K
これは全てのwに対して成立するので、**Part 1.**の論理と同様である。
Tv=(T∗)∗v⟹T=(T∗)∗
■
(c)
**(a)**の証明から∥T∗∥≤∥T∥を得た。同様の方法で反対方向の不等式を得ることができる。
∥Tv∥==≤≤≤ w∈H∥w∥=1sup∣⟨Tv,w⟩H∣ w∈H∥w∥=1sup∣⟨v,T∗w⟩K∣w∈H∥w∥=1sup∥v∥∥T∗w∥w∈H∥w∥=1sup∥v∥∥T∗∥∥w∥∥T∗∥∥v∥
従って、∥T∥≤∥T∗∥が成立するので、
∥T∥=∥T∗∥
■