ヒルベルト空間について

∀ｘ∈H:ヒルベルト空間について

　sup{<x,y>| ∥y∥≦１　ｙ∈H｝=∥x∥

を示したいのですが。

（但し、＜、＞　はHでの内積、∥・∥は内積から入るノルムとします。）

ユークリッド空間ならば、ｙはｘと方向が同じで長さが１のベクトルだということはイメージできるのですが。ヒルベルト空間だとうまく証明できません。よろしくお願いします。

No.5 ベストアンサー 回答者： keyguy 回答日時： 2003/12/02 23:37

αが複素数でx,y,z∈Hについて複素数<x,y>が次の条件を満たすこと。

(1)<y,x>=/(<x,y>)
(2)<α・x,y>=α・<x,y>
(3)<x+y,z>=<x,z>+<y,z>
(4)x≠0⇒0< <x,x>
(5)<0,0>=0

そして∥x∥≡√(<x,x>)と定義。

∥・∥はノルムの次の要件を満たす。
αが複素数でx,y∈Hについて
(1)x≠0⇒0<∥x∥
(2)∥0∥=0
(3)∥α・x∥=|α|・∥x∥
(4)∥x+y∥≦∥x∥+∥y∥

0≦∥∥y∥^2・x-<x,y>・y∥^2・・・(*)
すなわち
0≦∥y∥^2・（∥x∥^2・∥y∥^2-|<x,y>|^2)
より|<x,y>|≦∥x∥・∥y∥
等号は(*)式の右辺が０すなわち
αを複素数としてy=0またはx=α・yのとき

従って
sup{|<x,y>| ｜0≦∥y∥≦1,x,y∈H}
=∥x∥・∥1∥=∥x∥

なおこの式はHがヒルベルト空間でなくても成立する。
内積の性質だけを使って導いたから当然でしょう。
内積が定義された集合であれば何でも良い。

この回答へのお礼

お返事遅くなりました。申し訳ありません。大変丁寧な説明ありがとうございます、よく分かりました。

お礼日時：2003/12/09 21:11

No.4 回答者： keyguy 回答日時： 2003/12/02 15:50

釈迦に説法ですが内積の成立要件は

x,y,z∈Hについて複素数<x,y>が次の条件を満たすこと。
(1)<y,x>=/(<x,y>)
(2)<α・x,y>=α・<x,y>
(3)<x+y,z>=<x,z>+<y,z>
(4)x≠0⇒0< <x,x>
(5)<0,0>=0

そして∥x∥≡√(<x,x>)と定義。

0≦∥y∥^2・（∥x∥^2・∥y∥^2-|<x,y>|^2)
より|<x,y>|≦∥x∥・∥y∥
等号は()内が0のときすなわち
αを複素数としてy=0またはx=α・yのとき

従って
sup{|<x,y>| ｜0<∥y∥≦1,x,y∈H}=∥x∥・∥1∥

No.3 回答者： adinat 回答日時： 2003/12/01 21:51

ちょっと別解。

実は左辺はmaxになるので、
<x,y>≦||x||||y||≦||x||
とy=x/||x||と置くと<x,y>=||x||^2/||x||=||x||となることからわかります。
x=0のときは別にする必要がありますが、そのときは明らかです。

No.2 回答者： keyguy 回答日時： 2003/12/01 15:33

きちんと示しましょう。

０≦∥∥ｙ∥＾２・ｘ－＜ｘ，ｙ＞・ｙ∥＾２
より
０≦∥ｙ∥＾２・（∥ｘ∥＾２・∥ｙ∥＾２－｜＜ｘ，ｙ＞｜＾２）

この回答への補足

回答ありがとうございます。
申し訳ありません。式の意味がよく分からないんですが教えていただけませんか？よろしくお願いします。

補足日時：2003/12/01 23:29

No.1 回答者： keyguy 回答日時： 2003/12/01 15:11

λについての実係数２次方程式

∥λ・ｙ－ｘ∥＾２＝０
の判別式が０以下であることを使う。