![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?8acaa2e)
以下の質問について教えて頂きたくお願いします。
n次元ベクトル空間にk個のm次元部分空間W1,...,Wkがあり、
各部分空間Wi(i=1,...k)を張る正規直交基底ベクトルwi1,...,wik(i=1,...k)が分かっていて、
これらの部分空間の共通部分が原点以外にも存在するとき、
この共通部分である部分空間Xを張る正規直交基底を得る方法を考えているのですが、
良い方法を思いつきません。
以下に考えてきたことを書かせていただきます。
----------ここから考えてきたこと-------------------------
とっかかりとして大きさ1のベクトルx∈Xを得ようとしてみる。
X⊂W1なのでx∈Xはw11,...,w1mの線形結合で表され、
x=a11 w11+...+a1m w1m
を満たす実数aj11,...,aj1mが存在する。同様にX⊂W2,...,X⊂Wkなので
x=a21 w21+...+a2m w2m,
...
x=ak1 wk1+...+akm wkm
を満たす実数a21,...,akmが存在する。
W1の基底を列ベクトルとする行列を[W1]、...
Wkの基底を列ベクトルとする行列を[Wk]で表し、
a1=(a11,...,a1m),...,ak=(ak1,...,akm)と表すと、
x=[W1]a1=...=[Wk]ak. ←(*)
この等式を同時に満たすa1,...akが得られればxが得られる。
さてこの方程式(*)をどう解けば良いのか分からない。
--------------------------------------------------
(別の考え)
上の行列[W1]を用いた行列[W1][W1]'(転置との積)は部分空間W1への直交射影を表し、固有値は全て1で固有ベクトルはW1の基底。
W1,...Wkに共通部分が原点以外にあるならば
[W1][W1]'+...+[Wk][Wk]' ←(**)
の最大固有値はkでこの固有値に対応する固有ベクトルが
共通部分を張る基底ベクトル。
よって行列(**)の固有値kに対応する固有ベクトルを全て求めればいいのだが、
多重固有値に対応する固有ベクトルを求めるための良い方法が分からないし、
そもそもこんなに問題を複雑にしなくても解けるのではないかと疑念。
-------------ここまで考えてきたこと-----------------
といった感じでもうお手上げ状態です。
ちょっとしたことでもよいので
何かアドバイスを頂ければ幸いです。
よろしくお願い申し上げます。
A 回答 (1件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
とりあえず, 「正規」とか「直交」という条件は忘れてしまって「基底」を求めることに集中してください. 基底さえ求まってしまえば正規直交基底は (数学的には) 容易に求まります.
で基底を求めるには上の考え方を使うのがよいと思う.
まず, 各i に対し Wi を表す方程式を求めます. つまり
x ∈ Wi iff Ai x = 0
を満たす Ai を求めるということですな.
で最終的に Ai x = 0 (i = 1, 2, ..., k) という連立方程式を解く.
これが x = 0 以外の解を持つなら x' = A x'' (x', x'' は x の分割) という形になって, x'' に「1つの成分だけ 1 であとは全部 0」というベクトルを代入すると求める X の基底が得られます.
この回答への補足
「明日に...」と申し上げたにも関わらず理解が難航してしまい、
ご報告が遅れましたこと大変申し訳ございません。
ご回答最後の2行について自分なりの考察を確認させて下さい。
--------------
「この回答へのお礼」欄に示したn次元正方行列A1,...,Akを縦に並べた
nk×n行列をAとし、Ax=0を解いていく。
例えばAを三角化していった結果
n'(<=n)次元正方上三角行列Uと(一般には密な)n'×(n-n')行列Bと
(nk-n')×n零行列Oを用いて
|UB|x=0
|O |
と表わされる。
n'=nの場合には方程式Ax=0の解はx=0のみで、
部分空間W1,...,Wkの共通部分は原点のみ。
n'<nの場合にはxをn'次元ベクトルx'と(n-n')次元ベクトルx''に分割して
Ux'+Bx''=0
すなわち
x'=-(Uの逆行列)Bx''
これはx''の次元(n-n')だけ自由度があって
部分空間W1,...,Wkの共通部分Xが(n-n')次元空間であることを表わす。
Xの互いに1次独立な(n-n')個の要素(基底)は
x''に互いに1次独立な(n-n')個のベクトル、例えば
「1つの成分だけ 1 であとは全部 0」というベクトルを代入することによって得られる。
得られた(n-n')個の(正規直交とは限らない)基底からGram-Schmidtの直交化法などを用いて
Xの正規直交基底を得る。
-------------------
アドバイスにしたがって自分の無理解を補足できたと思っておりますが、
もし、お気づきの点がございましたら
ご指摘頂ければ幸いです。
まずはアドバイスを有難うございました。
早速のご回答有難うございます。
連立方程式を解く問題に持っていくのは「なるほど!」でした。
x∈W1より、x=b1 w11+...+bm w1mと表わされ、
A1=(I-w11 w11'-...-w1m w1m')
とするとw11,...w1mの正規直交性から
A1 x=(I-w11 w11'-...-w1m w1m')(b1 w11+...+bm w1m)=0.
同様に
Ai=(I-wi1 wi1'-...-wim wim')
とするとAi x=0.
これらAiを用いて連立方程式を解くところまでまずは理解しました。
ご回答最後の2行について何となくは分かりましたが
(1年生のときにやった気がするのですが...)
実際に手を動かすには今は眠すぎますので
明日にさせて頂きます。
あらためて有難うございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 3次元実ベクトル空間において, 平面 P:x-y+z+1=0 と直線 L:2(x-1)=-y=-z 3 2022/10/29 14:39
- 物理学 ベクトルと座標系につきまして 1 2022/04/03 06:23
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 物理学 角速度ベクトルにつきまして 3 2022/08/09 15:44
- 数学 線形代数学の問題です! Vは 4 次元ベクトル空間とし線形変換 f ∶ V→ V のある基底 v1, 1 2022/06/12 09:25
- 数学 線形代数の問題について教えて欲しいです。 3 2023/05/06 23:13
- 数学 2*2の行列に対して固有値の最大実部を与えるkの値を求めたい 3 2022/11/08 16:26
- 数学 線形代数の正規直行系についての問題がわからないです。 1 2022/07/16 11:20
- 数学 連立微分方程式の解き方について 7 2022/12/16 13:39
- 物理学 スピン 行列表示 固有状態 測定値 1 2022/08/16 18:39
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
正値ってなんですか
-
行列 線形代数 "diag"って何...
-
行列の対角化について
-
|AB|=|BA|。成り立つはずないと...
-
あまりわかりません。 A, Bをn...
-
行列の積の可換条件
-
【行列】積の可換性について
-
画像のHessian行列の固有値の意...
-
なぜ正規行列で対角化するの??
-
行列の正定・半正定・負定
-
固有ベクトルと基底
-
行列の読み方
-
線形代数 Im f・Ker fの次元と基底
-
正定値対称行列の逆行列も正定...
-
線形・行列の証明がさっぱり。。。
-
固有多項式の定数項が(-1)^n|A|...
-
『行列の2つの列を入れ替える...
-
可換で対角化可能な2つの行列...
-
3次の正方行列Cが3次の対称行列...
-
調和振動子のハミルトニアンの...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報