- ベストアンサー
行列の証明
- みんなの回答 (2)
- 専門家の回答
質問者が選んだベストアンサー
n=2のとき、cを任意の実数として次の行列 (1 0) (c -1) をXとすると、 X^2=Eなので、X=E,-EでなくてもOKです。 よって証明できません。
その他の回答 (1)
X^2=Eを満たす行列は、たしか射影行列だったと思います。その辺りで、問題にもっと条件は付いてないですか?
関連するQ&A
- 右逆行列の存在証明
線形代数で行列の「正則」で悩んでいます。 手持ちの線形代数の本ではどの本も 「正則」の「定義」が 正方行列 A に対して XA = AX = E(単位行列) となる X が存在する場合 A は「正則」である。 と定義し、これを出発点として様々な定義を導いています。 これはこれでよいのですが、しかし、よく考えてみると 1) XA=E が存在する場合 A は正則とする(左逆行列による正則の定義) 2) XA=E が存在する場合AX'=E が存在する(右逆行列の存在定理) 3) X = X' (左逆行列 と 右逆行列の同一性の定理) というように、定義は基本的な定義と2個の定理に 分解できるような気がします。 定理なら証明が必要と思い、いろいろ考えてみたのですが、 1),かつ2) ⇒ 3) は XAX' = X = X' なので簡単なのですが、 2) をどうしても証明できません。 そもそもこのような定義から出発するのは間違っているのでしょうか? また、2)の証明が載っている参考書はありませんでしょうか? 以上よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 行列の二項定理を使った問題です。
数Cの問題です。 わからなかったので、誰か教えてください。 二項定理の応用です。 (1)二次の正方行列Aが実数αに対し(A-αE)の二乗=0(零行列)を満たすとき、 任意の自然数nに対して Aのn+1乗=(n+1)αのn乗A-nαのn+1乗E が成り立つことを示せ。 ただし、Eは単位行列、0は零行列である。 (2)A=( 3 2 -2 -1)←二次の正方行列 のとき自然数nに対してAのn乗を求めよ。 ( 3 2 ) ↑ (-2 -1 ) 協力よろしくお願いします。
- 締切済み
- 数学・算数
- 行列
[問題] 実数dを定数とし、2次の正方行列AはA^2 -A +dE =Οを満たす。(Eは単位行列、Οは零行列) また、自然数nに対してx^n =(x^2 -x +d)*Q_n(x) +(a_n)*x +b_nとする。 (1)自然数nに対してa_(n+1) =a_n +b_nおよびb_(n+1) =-d*a_nを示せ。 (2)自然数nに対してA^n =(a_n)*A +(b_n)*Eを、(1)の式を用いて数学的帰納法で示せ。 (3)A=(1 2) (3 0)とする。 このときA^2 -A -6E =Οを示し、自然数nに対してA^nをnの式で表せ。 この問題の(3)の最後の問題についてですが、模範解答では x^n =(x -3)(x +2)*Q_n(x) +(a_n)*x +b_nとおいてx=3, -2を代入してa_nとb_nを求めています。 そしてそのままA^nを求めにかかっていますが、この部分では逆の証明は必要ないのでしょうか? よろしくお願いします。
- ベストアンサー
- 数学・算数
- 行列の問題です。よろしくお願いします。
ωを実数、iを虚数単位、行列Aを A=| 0 iω| |-iω 0 | とする。 1)適当なユニタ行列Uをもちいて、 A=U|λ1 0|Ut |0 λ2| の形に表せ。ここでλ1とλ2はAの固有値、Utは行列Uの随伴行列を表し、行列Uがユニタリであるとは、U^-1(逆行列)=Utであることをいう。 2)一般に正方行列Xの指数関数e^Xは無限級数 e^X=E+X+(1/2!)X^2+・・・+(1/n!)X^n+・・・ で定義される。 ここでEは単位行列を表す。 1)の結果を利用して、行列e^iAs(sは任意の実数)を求めよ。 以上です。 よろしくお願いします。
- 締切済み
- 数学・算数
- 行列の問題です。
ωを実数、iを虚数単位、行列Aを A=| 0 iω| |-iω 0 | とする。 1)適当なユニタ行列Uをもちいて、 A=U|λ1 0|Ut |0 λ2| の形に表せ。ここでλ1とλ2はAの固有値、Utは行列Uの随伴行列を表し、行列Uがユニタリであるとは、U^-1(逆行列)=Utであることをいう。 2)一般に正方行列Xの指数関数e^Xは無限級数 e^X=E+X+(1/2!)X^2+・・・+(1/n!)X^n+・・・ で定義される。 ここでEは単位行列を表す。 1)の結果を利用して、行列e^iAs(sは任意の実数)を求めよ。 以上です。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 行列に対して定義された式は、実数でも当てはまるか?
ある行列Xがあって、例えばXの指数関数をe^X=E+Σ【n=1→∞】{1/(n!)}*X^n の ように定義すると問題に書いてあったら、それ以上のことは何も書いてなくても 、Xは行列のみならずふつうの実数を当てはめても成り立つと考えてよろしいでし ょうか?文章が下手ですみません。つまり、例えばX=2nとして e^(2n)=1+Σ【n=1→∞】{1/(n!)}*(2n)^n というのも成り立つと考えていいか?ということです。 ある問題に対する解答で、このようなことをやっていたので、いいのかな?と疑 問に思いました。
- ベストアンサー
- 数学・算数