P ∈ R^(n×n) は, i,j = 1,...,n についてpij ≧ 0 およびj = 1,...,n について
Σ(i=1からnまで) pij = 1を満たす。
ただし, pij はP のi 行j 列要素である. 以下の各命題(1),(2),(3)について,
それが成立するならば"成立する" と記し, それを証明せよ.。成立しないならば”成立しない"
と記し, 2 × 2 行列の反例と,その反例がその命題を満たさない理由を示せ。
(1)P は正則である.
(2)x =t(x1 x2 ... xn)∈ R^n、 z =t(z1 z2 ... zn)∈ R^n、 z = Px のとき,Σ(i=1からn)xi = 1 ならば
Σ(i=1からn)zi = 1 である.
(3)P を非対称とし, P の固有ベクトルをv1,..., vn とする. このとき, i ≠ j なら
ば, vi,vj は直交する.
---------------------------------------------------------------------------
(1)det(P)=0より、Pの逆行列が存在しないため、命題を満たさない。
(2)Σ(i=1からn)zi = nとなるため、命題は満たさない。
(3)がよくわかりません。よろしければ解説をお願いします。
No.3ベストアンサー
- 回答日時:
(1)
成立しない
P=
(1/2,1/2)
(1/2,1/2)
とすると
Σ_{i=1~2}pi1=p11+p21=1/2+1/2=1
Σ_{i=1~2}pi2=p12+p22=1/2+1/2=1
だけれども
Pは正則でない
(2)
成立する
P=(pij)
Σ{i=1~n}pij=1
x=(xi)
Σ{i=1~n}xi=1
とすると
z=Px=(Σ{j=1~n}pijxj)
Σ_{i=1~n}zi
=Σ_{i=1~n}Σ{j=1~n}pijxj
=Σ{j=1~n}Σ_{i=1~n}pijxj
=Σ{j=1~n}xj
=1
(3)
成立しない
P=
(1/3,1/3)
(2/3,2/3)
とすると
Σ_{i=1~2}pi1=p11+p21=1/3+2/3=1
Σ_{i=1~2}pi2=p12+p22=1/3+2/3=1
だけれども
Pの固有値は0,1
0に応ずる固有ベクトルは
(1;-1)
1に応ずる固有ベクトルは
(1;2)
その内積は
<(1;-1),(1;2)>=1-2=-1≠0
だから
直交しない
No.2
- 回答日時:
問題の確認だけど, これは「各命題が任意の P に対して成立するかどうかを答える」という問題でいい?
で, 問題をよく読んでください. 「成立するならば"成立する" と記し」あるいは「成立しないならば”成立しない"と記し」って書いてあるでしょ? だから, 「成立する」とか「成立しない」とか書くべき. 「満たす」や「満たさない」でもわかるといえばわかるけど, 「問題の指示に従っていない」と判断されても文句は言えない. あと, あなたの書いた「満たさない」が「成立しない」という意味であれば, 「2 × 2 行列の反例と,その反例がその命題を満たさない理由を示せ」とも書かれているんだからちゃんと反例を書かなきゃいけない. この質問文のどこに反例が書いてありますか?
(3) については, そもそも P を決めないと固有ベクトルなんか決まるはずがない. だから, この命題が成立すると思ったら「任意の P に対して成り立つ」ことを示さなきゃならない (当然「固有ベクトルviのとる値」を具体的に書くことはほぼ不可能) し, 「成立しない」と思ったら 2 × 2 行列 P で固有ベクトルが直交しないものを探し出す必要がある.
ということで「成立する」と思うか「成立しない」と思うかで方針がまったく違う. あなたはどっちだと思いますか? そして, そう思った理由は?
この回答への補足
あ、うっかりしていました。たしかにこれではダメですね...問題文をもっとちゃんと読むべきですね。お恥ずかしい。
(1)成立しない。
P=(1 1; 1 1)(;は改行を表す)det(P)=0より、Pの逆行列が存在しないため、命題を満たさない。
(2)成立しない。
P=(1 1;1 1),x=(1 1)と置くと、z = Px =(2 2)となるため、命題は満たさない。
(3)は成立しないと思いました。
しかし、問題文に、
P ∈ R^(n×n) は, i,j = 1,...,n についてpij ≧ 0 およびj = 1,...,n について
Σ(i=1からnまで) pij = 1
こう書いてあるので、Pの成分は全て1になると思うのですが、非対称とするという意味がよくわかりません。対称行列になると思うのですが...。i≠jのij行列ということでしょうか?
成立しないと思った理由は固有ベクトルが全て同じになると思ったからです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 代数学のわからない問題を教えて頂きたいです。 つぎのn次正方行列の集合Hはn次一般線形群GL(n,R 5 2022/11/19 20:47
- C言語・C++・C# C言語の課題が出たのですが自力でやっても分かりませんでした。 要素数がnであるint型の配列v2の並 3 2022/11/19 17:41
- 数学 行列(I-βG)の逆行列が存在することの証明について 1 2023/06/23 01:33
- 数学 線形代数の問題について教えて下さい。 行列A、行列B、ベクトルx 1.ABx=αxを満たす定数αを求 2 2023/06/12 10:51
- 数学 数学で知識を整理したいです 同値性を意識する時はある命題の逆と同値になっていなければならないんですよ 5 2022/08/04 18:41
- 数学 数学の「命題」の範囲について、問題は解けるのですが理解がイマイチできていないところがあるので質問させ 4 2023/03/03 13:43
- 法学 *注意:正しい選択肢を選ぶ問題です。 表現の自由と名誉毀損罪に関する次の説明のうち,最も適当なものを 1 2022/11/27 08:54
- 数学 3次対称群S3はシロー部分群で因数分解できない この問題の証明が分かりません。できる範囲で教えていた 1 2022/12/13 13:10
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 数学 上三角行列のn乗の証明 2 2023/07/23 21:45
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報