超幻日記

素粒子、量子論、宇宙論のことを辺境にいる一人の視点から改めて眺めてみます。単なる勉強帳になるかも。。

ヒルベルト空間の内積の連続性

ヒルベルト空間の内積が連続であることを以下に示す。

そのためには、ヒルベルト空間の内積有界性を示す必要がある。

そしてヒルベルト空間の内積有界性を示すにはシュワルツの不等式を使う必要がある。

シュワルツの不等式とは|<Φ,ψ>| ≦ ||Φ|| ||ψ|| のことである。

このことはノルムの正値性がなるたっていれば言えるのでさしあたり認める。

ヒルベルト空間の内積有界性とは

|<Φ,ψ>|がψをどうとっても |<Φ,ψ>| ≦ CΦ ||ψ|| となることである。(CΦはΦが決まると決まる定数)

これはシュワルツの不等式からC_Φ = ||Φ|| とすればいえるのですぐいえる。

次にヒルベルト空間の内積有界性からヒルベルト空間の内積の連続性を示す。

ヒルベルト空間の内積の連続性とは

任意のε>0に対して適当なδ(Φ, ε)が常に以下のようなものに取れるということを意味する。

||ψ - ψ1|| < δ(Φ, ε) => |<Φ, ψ> - <Φ, ψ1>| < ε

これは、次のようにすれば良い。

まず、δ(Φ, ε) = ε/C_Φとおく。

そして||ψ - ψ_1|| < δ(Φ, ε)がなりたつとすると、

||ψ - ψ_1|| < δ(Φ, ε)は

||ψ - ψ1||CΦ < ε

と書ける。ここで、ヒルベルト空間の内積有界性から

|<Φ,ψ - ψ1>| ≦ CΦ ||ψ - ψ_1|| が成り立つことに気がつく。

よって、

|<Φ,ψ> -<Φ, ψ1>| ≦ CΦ ||ψ - ψ_1|| < ε

が成り立つことがわかるので、

||ψ - ψ1|| < δ(Φ, ε) => |<Φ, ψ> - <Φ, ψ1>| < ε

がいえた。証明できた。

参考:岩波 量子力学II