• 締切済み

正規直交基底の存在性

33550336の回答

  • 33550336
  • ベストアンサー率40% (22/55)
回答No.2

定義通りE'が一次独立であることを示せば、元がn個あることから基底であることが従います。 それかVがE'で生成されることも定義通り証明できるのでやってみて下さい。

Eseekawa
質問者

お礼

コメントありがとうございます. E'が基底であるためには (1)E'が線形独立 (2)Vの任意のベクトルをE'の線形結合で表せる (1)はE'が互いに直交していることから示せましたが, (2)が示せません. >それかVがE'で生成されることも定義通り証明できるのでやってみて下さい。 考えてみます.

Eseekawa
質問者

補足

E'が正規直交系 ⇒(a)E'が線形独立  (b)V=<E'> ⇔E'は基底 ただし,<E'>はE'の線形結合全体 という流れを考えているのですが, (a)はE'が互いに直交しているのでE'は線形独立 (b)について,V⊃<E'>かつV⊂<E'>ならば,V=<E'> ベクトル空間の定義よりV⊃<E'> V⊂<E'>は?です

関連するQ&A

  • 正規直交基底に関する問いです。お願いします。

    問 ?=1/3<1,2,2>を含むR³の正規直交基底を一組み構成せよ。  良く見る設定は、3次元の場合、ベクトルが3本与えられていて、そこからシュミットの直交化法を用いて、正規直交基底を作るタイプです。本問は、ベクトルが一つしか与えられてません。どのような方針で、解法はどのようになるのでしょうか?よろしくお願いします。

  • 正規直交基底

    (問題) 3つのベクトルa=(1,1,1,1) b=(1,-1,1,-1) c=(1,1,-1,-1)がある。(表記が違いますが、列ベクトルです) 1.a,b,cが互いに直交していることを示せ。 2.a,b,cの正規直交基底を求めよ。 3.a,bc,の全てに直交するベクトルを1つ求めよ。 というものなのですが。疑問点があるので答えて頂ければ幸いです。 1.の直交を示すことはそれぞれ内積a・b a・c b・cが0であることから示せます。(これは正しいと思います) 2.の正規直交基底なのですが、これは互いに直交しているため、それぞれの大きさを1になるように正規化すれば良く、複雑な計算は必要ないですよね? また、問題は四次元のベクトルですが、3つだけで正規直交基底と言えるのですか? R^4の正規直交基底と問題2が示す正規直交基底は別物ですか? また、3で全てに直交するベクトルを1つ求めよとありますが、このベクトルを正規化すれば、 それらを全て合わせてR^4の正規直交基底ということでよろしいのですか? ちなみに全てに直交するベクトルdは(1,-1,-1,1)となりました。 質問を煩雑に羅列してしまい申し訳ないですが解答よろしくおねがいします。

  • 基底・正規直交基底に関する問題

    Aをn次実正方行列、R^nの1次変換fをf(x)=Axとする 1)V1,…,VnをR^nの基底とする   f(V1),…,f(Vn)がR^nの基底 ⇒ Aが正則行列 2)V1,…,VnをR^nの正規直交基底とする   f(V1),…,f(Vn)がR^nの正規直交基底 ⇒ (tA)A=E                        (tAはAの転置行列)  という問題です。 逆はできたんですが、こちら向きの証明ができません。 よろしくお願いします。

  • 正規直交基底を持つ行列

    以下の問題についてどなたか教えていただけないでしょうか。 試しに具体的な正規直交基底の行列で計算してみたのですが、分かりませんでした。 ご回答いただけると嬉しいです。 {q_i ∈ R^n}[i=1,n]を正規直交基底とするとき、行列 A = a_1 q_1 q_1^T + a_2 q_2 q_2^T + ... + a_n q_n q_n^T, a_i ∈ R^1 について、全ての固有値と固有ベクトルを求めよ。 ("_1"は1という下付文字、"^1"は1という上付文字です。)

  • 正規直交基底について

    正規直交基底を列ベクトルにして正方行列を作ると、直交行列になりますが、 この時、行ベクトルの組も正規直交基底になっていることはどう証明すればよいのでしょうか?

  • 基底ベクトル 標準基底 正規直交基底 基本ベクトル

    基底ベクトルについて質問させて下さい。 基底の定義は、 V(Vは体K上の線形空間とする)のVの元であるベクトルの組{v1,v2,v3,・・・vn}が、 線形結合で表され、v1,v2,v3,・・・vnがそれぞれ一次独立である場合を基底という。 基底の数は無数に存在する。基底を構成するベクトルを基底ベクトルと呼ぶ。 例えばR^2の基底は、 (1,0),(0,1)や(1,0),(1,1)などである。 以上のように理解しています。 ここまでで、間違いはありますでしょうか? R^2における基底で、 (1,0),(0,1)は特に標準基底、正規直交基底などと呼ばれます。 また、基本ベクトルと呼ばれることもあります。 このR^2における(1,0),(0,1)は一般的にはどのように呼ばれる のでしょうか? 基本ベクトルと呼ぶのは、あまり一般的ではないでしょうか? 標準基底・正規直交基底と呼ぶ方が一般的なのでしょうか? 分野によって使われる言葉も違うと思いますが、ご教示下さい。 また、単位ベクトルについても教えて下さい。 単位ベクトルの定義は、ベクトルの長さ(ノルム)が1になるベクトルと理解しています。 (1,0)や(1,0,0),(0,1,0)は単位ベクトルですが、 (-1,0,0)もノルムが1のベクトルになると思います。 (-1,0,0)も単位ベクトルと言って良いのでしょうか? 以上、ご回答よろしくお願い致します。

  • 関数に対するシュミットの直交化

    a=(1,0,1)のようなベクトル系のシュミットの直交化はできるんですが 関数に対するシュミットの直交化ってどのようにやるんですか? 基底[1,x,x^2]からシュミットの直交化を用いて正規直交基底を作りたいです。

  • n次元の正規直交基底ベクトルの求め方

    ある1つのn次元ベクトルに対する正規直交基底ベクトル(無限に存在すると考えられます)をいくつか求めたいのですが、どのようなプログラムを作れば良いのか分からず困っています。どなたか教えて頂けないでしょうか。よろしくお願いします。

  • 正規直交基底

    任意の7次元ベクトルに対する正規直交基底6つを求めたいのですが、どうすれば良いのでしょうか?

  • 正規直交基底

    g_k,n(t)=e^(2πikt)1_[0,1](t-n) k,n∈Z がL_2(R)で正規直交基底であることを示して欲しいです。