No.3ベストアンサー
- 回答日時:
Aが直交行列 ⇔ A A^T = E.
1 = det(E) = det(A A^T) = det(A) det(A^T) = det(A) det(A)
より det(A) = ±1.
これは、高校の教科書にも載ってるような計算だが、
上記の式を証明するには、まず基本的な公式の証明が要る。
det(A A^T) = det(A) det(A^T) の根拠↓
https://risalc.info/src/determinant-product.html
det(A^T) = det(A) の根拠↓
https://w3e.kanazawa-it.ac.jp/math/category/gyou …
行列関係の定理は、このように、基礎の部分が
難しくはないがチマチマ面倒くさいから、
定理としてパッケージ化してしまうことに意義が大きい。
No.2
- 回答日時:
直交行列の定義は
MM^T = E
det(M) = det(M^T) (行列式の性質)
det(MM^T)=detE=1 (単位行列の行列式)
行列の積の行列式の公式から
det(MM^T)=det(M)det(M^T)=det(M)^2=1
これで +1 又は-1 になる可能性は示されたが、
実在は未証明。
でも
1 0
0 ±1
は直交行列でdet は±1だから実在も証明された。
No.1
- 回答日時:
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 直交行列 1 2023/01/22 22:37
- 数学 直交行列について 1 2023/01/22 15:07
- 数学 線形代数の正規直行系についての問題がわからないです。 1 2022/07/16 11:20
- 計算機科学 Excel ある行と列が交わったところにマークを付けるには 7 2023/01/24 08:46
- 数学 数学の問題の解き方を教えて下さい。 ∠Aが直角の直角三角形ABCで、∠Bの二等分線と辺ACとの交点を 7 2022/05/06 21:52
- 数学 行列Xの2ノルムと行列Xの要素の絶対値の最大のものだったら行列2ノルムの方が大きくなると思いますが、 2 2022/05/11 13:57
- 中学校受験 <平行四辺形>右の図で,へABCのCAの二等分線と辺BCとの交点をDとする。また,点Dを通り辺ABに 1 2023/03/09 20:43
- 数学 線形代数の問題について教えて欲しいです。 3 2023/05/06 23:13
- 数学 代数学 同型 1 2022/05/09 16:27
- 数学 行列(I-βG)の逆行列が存在することの証明について 1 2023/06/23 01:33
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
不完全微分であることの証明
-
証明終了の記号。
-
夫が亡くなった後の義理家族と...
-
数学の証明問題で、「証明終了」...
-
コラッツ予想の証明してみました。
-
再婚、奨学金
-
AB=E ならば BA=E の証明
-
数学の「証明」のときなどの接...
-
なぜ独身だと養子が持てないの...
-
v・∇v=1/2∇(v・v)-v×(...
-
3,4,7,8を使って10を作る
-
中学2年程度数学3ケタの自然数...
-
(4^n)-1が3の倍数であることの...
-
分かる方教えてください。
-
2のn乗根で、 nを無限大に持っ...
-
limx→∞ x^n/e^x=0を高校数学の...
-
「証明証」と「証明書」はどう...
-
実数について
-
四面体の重心と外心
-
跡を継ぐということの意味
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
婿養子に入ったのに出て行けと...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
学割定期を親に買ってきてもら...
-
(4^n)-1が3の倍数であることの...
-
再婚、奨学金
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
元夫が彼女の存在を隠す理由
-
成人した後両親が離婚し別の人...
-
大学の給付型奨学金について 現...
-
直角三角形の性質
-
通学証明書の契印とは
-
無理数って二乗しても有理数に...
おすすめ情報