(特殊)ユニタリ行列と(回転)直交行列を、カルノー図にまとめてみた

 
宇仁多利直交(うにたりなおまざ) 1811年 - 1832年フランス
正規直交基底　宇喜多直家
 


以前もやったんですが、肝心なところが抜けてました。
やっぱりカルノー図やベン図をやるなら、囲ってナンボよね！

つまり、特殊直交(回転)群SO、直交(回転)群O、特殊ユニタリ群SU、ユニタリ群Uのうち、一番広い集合はU、一番狭い集合はSOということになると思います。
ベン図は各自作ってみてね！

念のため調べてみましたが、
「特殊ユニタリ群はユニタリ群の部分群である」という文脈は多々見つかりましたし
「特殊直交群は直交群の部分群である」という文脈も多々見つかりました。

ただ、「直交(回転)群はユニタリ群の部分群である」という文脈は多々見つからず
替わりに知恵袋が見つかりました。

どうやら、部分集合ではあるらしいんですが、(部分)群をなしているかどうかは別問題のようです。
ただ、「ユニタリ行列は直交行列を拡大したものである」といった文脈は見られ、
どうも「行列の中身」に関しては体かもしれませんが、行列自体が体かどうかは明示されていませんでした。



それにしても、そこの知恵袋の回答者、字面だけ見ると「なんだこのおっさんぶっきらぼうな回答の仕方しやがって。これがベストアンサーサーのすることかよおおおお！」って思ったんですが
元担任をイメージしながら脳内再生したら、案外アリかなとも思えてきました。


 にっこにっこにー　三大廃校アニメ　ツインテ　角谷杏　世界の矢澤　ひん
リー群はwikiが長い！
なんか強そうじゃないですかー。名前だけで挫折するタイプ。
先生、リーくんは名前だけで挫折させるタイプだと思いまーす！don't　think,FeeeeeeeLした結果がこれだよ！orZ=:3

にほんブログ村