- ベストアンサー
中線定理→ノルムの証明
「中線定理が成立するならばノルム空間に内積が入る」 この証明の仕方をどなたか教えてください。 相当初心者の質問かと思いますが、なにぶんかなり現役を離れていますので。。。（汗） よろしくお願いいたします。
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
関連するQ&A
- ||u+v||^2 + ||u-v||^2
（・,・）をＨの内積、 ||・||を内積から定まるノルムとするとき、 ||u+v||^2 + ||u-v||^2 = 2( ||u||^2 + ||v||^2 ) が成立することを示せ（中線定理）。 という問題が分かりません。自分ではどうにもならないので助けて下さい。
- ベストアンサー
- 数学・算数
- 直交変換はノルムを保つ
教科書に 「線型変換 f について、f が直交変換であるための必要十分条件は f がノルムを保つことである」 という定理が載っているのですが、どうも理解できません。 教科書には簡単な証明が載っており、 「f が直交変換ならば、明らかに f はノルム(長さ)を保っている」と記載されています。 直交変換とは内積も保つような線型変換のことですよね？ 内積を保つ = ノルム(長さ)を保つ ということが明らかとなる説明をどなたかお願いします。 私は、内積を保っても、なす角が保たれなければ、ノルム(長さ)も保たれないと思ってしまいます。。。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 平面問題の補助線を使った証明
【問題】 平行四辺形ABCDにおいて、次の式が成り立つことを証明せよ 中線定理を使った証明の仕方はわかるのですが、補助線を引いて証明するとどうなるのでしょうか？ どなたかお願いします
- 締切済み
- 数学・算数
- ピタゴラスの定理
定理（ピタゴラスの定理） {Xn}[Σn=1～N] を内積空間Ｖの中の正規直交系であるとする。すべての X∈Ｖ について ||X||^2 ＝ Σ[n=1～N]|(X,Xn)|^2 ＋ ||X－Σ[n=1～N](Xn,X)Xn||^2 が成り立つ。 ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ この証明で、内積の性質から Σ[n=1～N](Xn,X)Xn と X－Σ[n=1～N](Xn,X)Xn は直交である と、参考書に書かれていたのを使って証明したのですが・・・ 肝心の直交であることの証明が上手くいきませんでした。 ( Σ[n=1～N](Xn,X)Xn , X－Σ[n=1～N](Xn,X)Xn ) ＝ Σ[n=1～N]|(Xn,X)|^2 － ||Σ[n=1～N](Xn,X)Xn||^2 ＝ ０ ↑となるハズなのですが・・・、２つの等式が上手く説明できませんでした。 簡単な問題かもしれませんが、力を貸してくれたら幸いです。 また、この定理が何故「ピタゴラスの定理」というのかが分かりません。 協力お願いします。
- 締切済み
- 数学・算数
- ヒルベルト空間について
∀ｘ∈H:ヒルベルト空間について sup{<x,y>| ∥y∥≦１ ｙ∈H｝=∥x∥ を示したいのですが。 （但し、＜、＞ はHでの内積、∥・∥は内積から入るノルムとします。） ユークリッド空間ならば、ｙはｘと方向が同じで長さが１のベクトルだということはイメージできるのですが。ヒルベルト空間だとうまく証明できません。よろしくお願いします。
- ベストアンサー
- 数学・算数
- C^nがヒルベルト空間であることの証明
C^nを複素数のn個の項x=(α_1,…,α_n)の空間とする。 x＝(α_1,…,α_n)、ｙ＝(β_1,…,β_n)をC^nの元とするとき、内積を (x,y)=Σ^(n) _(i=1)α_i・(*β_i) (*β_iはβ_iの共役複素数) と定義する。 このとき、C^nがヒルベルト空間であることを証明せよという問題がわかりません。 教科書にヒルベルト空間の定義が「内積空間で(x,x)=||x||^2によりノルムが定義された完備な空間」と書いてあったので、C^nが内積空間であることは示せたのですが、完備である（コーシー列が収束する）ことが示せません。 C^nからどのようにコーシー列をとって収束することを示せばよいのでしょうか？ ちなみに教科書には X：ノルム ｛ｘ_n}をXの元の数列とし、Xのある元xがあって ||x_n-x||→0 (n→∞) となるとき｛ｘ_n}はxに収束する とありました。 よろしくお願いします。
- 締切済み
- 数学・算数
- カロア理論入門の定理３の証明（１９ページ）
今日は！ ガロア理論入門（寺田文彦 訳）の１９ページの定理３について質問します。 ==================================＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝ 定理３ 体K上の要素のn個の組全体が作る行（あるいは列）ベクトル空間K^(n)は、K上の次元ｎの ベクトル空間である。 証明 ｎ個の要素（いわゆる単位ベクトル） e1=(1,0,...,0) e1=(1,0,...,0) ．．．．．．．． e1=(1,0,...,0) は線形独立であり、K^(n)を生成する。いずれも(a1,a2,...an)=Σaieiからわかることである。 ==================================＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝ Q1） 最後の『いずれも(a1,a2,...an)=Σaieiからわかることである』の意味が不明ですので 具体的に説明して頂けないでしょうか？ Q２) この証明は、定理３の補足であり、証明ではないと思いますが、如何でしょうか？ もし、証明ならば初心者にも理解し易い様に説明して頂けないでしょうか？ 恐れ入りますが、どうか宜しくお願いします。
- ベストアンサー
- 数学・算数
- ラドンニコディムの定理の証明を教えてください。
はじめまして。 ラドンニコディムの定理の証明がわかりません。以下、ルベーグ積分30講の204ページ抜粋です。 ボレル集合体B上で定義された測度m+νを考えます。この上でL^2空間L^2(m+ν)を定義します。νはmに関して絶対連続とします。 f∈L^2(m+ν)とします。このとき、 ∫|f|dν≦∫|f|d(m+ν)=∫1*|f|d(m+ν)… となるらしいのですが、この最初の不等式、 ∫|f|dν≦∫|f|d(m+ν) の意味がわかりません。 この不等式は何を根拠にして出てきたのでしょうか？？ 理解が不足しているため、質問がきちんと成立していないかもしれませんが、どなたか回答お願いします。 必要であれば、随時補足いたしますので、よろしくお願いいたします。
- ベストアンサー
- 数学・算数
