お世話になっています。

[Q]X={x1,x2,…,xn}を内積空間Vの正規直交集合とせよ。この時,次の(i),(ii)を示せ。
(i)spanX=V ならば x∈V,x=Σ[i=1..n](<x,xi>xi)
(ii)x∈V,∥x∥^2=Σ[i=1..n]|<x,xi>|^2ならばXは完全

完全の定義は「正規直交集合Xが完全とはVの中での最大個数の正規直交集合の時,Xを
完全と言う」です。
つまり,#X=max{#S∈N;(V⊃)Sが正規直交集合}を意味します。

証明で行き詰まっています。

(i)については
x∈Vを採ると,spanX=Vよりx=Σ[i=1..n]cixi (c∈F (i=1,2,…,n))と表せる。
これからΣ[i=1..n](<x,xi>xi)にどうやって持ってけばいいのでしょうか?

あと,(ii)についてはさっぱりわかりません。
何か助け舟をお願い致します。

A 回答 (1件)

>x=Σ[i=1..n]cixi (c∈F (i=1,2,…,n))と表せる。


<xi,x>を計算すれば終わり

>(ii)についてはさっぱりわかりません
「任意の」x∈Vに対して
∥x∥^2=Σ[i=1..n]|<x,xi>|^2
ならばXは完全

x1,...,xnとは異なるyをとり,
x1,...,xn,yが正規直交であると仮定する.
||y||^2 = Σ[i=1..n]|<y,xi>|^2を計算すれば
矛盾がでてくる.
    • good
    • 0
この回答へのお礼

有難うございます。


>x=Σ[i=1..n]cixi (c∈F (i=1,2,…,n))と表せる。
> <xi,x>を計算すれば終わり

Σ[i=1..n]cixi:=x,Σ(<x,xi>xi)=Σ[i=1..n](c1<x1,xi>+c2<x2,xi>+…+cn<xn,xi>)
=Σ[i=1..n]cixi=x
となりますね。


> >(ii)についてはさっぱりわかりません
> 「任意の」x∈Vに対して
> ∥x∥^2=Σ[i=1..n]|<x,xi>|^2
> ならばXは完全
> x1,...,xnとは異なるyをとり,
> x1,...,xn,yが正規直交であると仮定する.
> ||y||^2 = Σ[i=1..n]|<y,xi>|^2を計算すれば
> 矛盾がでてくる.

仰ると通り証明できました。

お礼日時:2008/03/01 08:27

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!

今、見られている記事はコレ!

  • 数学は日常生活に役立っているのか?専門家に聞いてみた

    3月14日は、1997年に財団法人日本数学検定協会が制定した数学の日である。あなたは学生の頃、数学は得意だっただろうか? 筆者のように得意ではなかった人なら、「将来、これが何の役に立つのだろう……」と四苦八苦...

  • この問題解けますか?「1・1・5・8」を使って10を作るパズル

    テンパズルというのをご存知でしょうか。この名前は知らなくともやったことのある方も多いと思いますが、どういうものかと言いますと、4つのひと桁の数字を足したり引いたり掛けたり割ったりして10にする、というも...

  • 数学は実生活で役立つのか

    学校で学んだ事柄が後々の仕事に役立ったなどという話は、よくあるケースですが、学んでいる最中はなかなか気づかないものです。子どもから「数学ってなんの役に立つの?」と聞かれて、数学が苦手だった親はどう答え...

  • 無駄に覚えている数字ってどのくらいあります?

    覚えたくても覚えられない数字がある一方で、なんとはなしに記憶した数字がずっと頭に残っているケースもあります。くっきりと覚えてはいるものの「多分、これ一生使わないんだろうな…」と思っている数字、今日はそ...

  • あなたも挑戦!?バカ田大学入試

    大人気ドラマ「ガリレオ」、観ている方も多いのではないでしょうか。学生時代に数学が苦手で、もう数式なんて見たくない!と思っていても、さらさらと難解な数式を操る湯川先生(福山雅治さん)の姿を見るとかっこい...

おしトピ編集部からのゆる~い質問を出題中

お題をもっとみる


このカテゴリの人気Q&Aランキング

おすすめ情報

カテゴリ