[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む56 (768ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
79(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2018/12/16(日) 23:30:44.02 ID:JTc4r8fR(54/55) AAS
>>74 補足
１）Herm(n)= ｛Y∈C(n×n)|Y*=Y｝の方は、エルミート行列で、これは常識問題かな？（＾＾
２）U(n)=｛X∈C^(n×n)|X*+X=0｝は、名前はないかも。（Uは普通ユニタリー行列だが、違うね）
３）どちらも、行列成分に落として、与えられた条件式から成分の条件を出す（これ行列の常套手段）
４）次元は、示したように、単位行列Eijとか使ってベクトル基底を構成して、次元を数えること（常套手段？）
PS
そういえば、余談だが、高校数学で、「添え字にｉを使うな。間違い（計算ミスとか）をする確率が高くなるから」と言われていたことを思い出したよ
（読み手も、ijでは視認性が悪いか）
まあ、キーボードタイプはij使うのが楽なんだけどね
85(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2018/12/17(月) 07:28:53.69 ID:vPN/J1lJ(1/14) AAS
>>79 補足
"２）U(n)=｛X∈C^(n×n)|X*+X=0｝は、名前はないかも。"
ここな
歪エルミート行列な（下記）
X*+X=0
↓
X*=-X
と視点を換えないといけなかった
おれも鈍いね（＾＾；
https://ja.wikipedia.org/wiki/%E6%AD%AA%E3%82%A8%E3%83%AB%E3%83%9F%E3%83%BC%E3%83%88%E8%A1%8C%E5%88%97
歪エルミート行列
(抜粋)
歪エルミート行列（わいえるみーとぎょうれつ、英語: Skew-Hermitian matrix）あるいは反エルミート行列（はんえるみーとぎょうれつ、英語: Anti-Hermitian matrix）とは、自身のエルミート共役が自身に負号をつけたものに等しいような複素正方行列のことである。つまり、n 次正方行列 A に対し、そのエルミート共役を A* で表すとき、A が歪エルミートならば、以下の条件を満たす。
A^*=-A.
行列 A の成分をあらわに書けば、これは次のようにも表せる。
(A^*)_{ij}=￣ {A_{ji}}}=-A_{ij} (1 <= i,j <= n)
歪エルミート行列と似た定義を持つ行列として、エルミート行列がある。エルミート行列は自身と自身のエルミート共役が等しい。
H^*=H.
歪エルミート行列はエルミート行列と同じく、正規行列の特別な場合であり、?1 をユニタリ行列 U と見なせば、以下の正規行列の定義を満たしている。
A^*=AU.
性質
多くの点で歪エルミート行列はエルミート行列とちょうど反対の性質を持つ。
歪エルミート行列の成分を虚数単位 i で除することによりエルミート行列にできる。すなわち歪エルミート行列 A に対して
A=iH} A=iH
を満たす H はエルミート行列となる。実際、(iH)* = ?iH* なので iH は歪エルミートである。同様に ?iH も歪エルミートである。従って、A/i = ?iA および A/(?i) = iA はエルミートである。
歪エルミート行列 A の対角成分はすべて純虚数である。
(A^*)_{ii}=￣ {A_{ii}}}=-A_{ii} (1 <= i <= n)
従って、そのトレースも純虚数である。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s