線形代数のトレースの話をする。
みなさんこんにちは。きょうは、いつにもましてゆるふわな話です。線形代数で出てくる、トレースを基底を取らずに定義してみるのが目標です。
まずは、よくみる定義から。
(定義一)
を体とし、を上の次元ベクトル空間とする。このとき線形写像のトレースとは、
の、ある基底に関する行列表示の対角成分の和のこととする。
長いですね。なお、行列のトレースは既知としました。行列のトレースについて,次の性質は重要です。
が次正方行列ならば、
これをつかえば、先ほどの線形写像のトレースが
well -definedなことが次のようにわかります。
基底の取り方を変えた場合,の行列表示は,と変わるが,そのとき
で、基底の取り方によらない。
っていうのが,オードソックスなやり方なのですが,基底取りたくない時は次のようにしましょう。
(定義二)
つぎの同型に注意する:
最初の変形は、の有限次元性を使っていて、2度目の変形はテンソル積との随伴です。尚,はの双対の略記です。いまこしらえた同型による,
の像でもってトレース
とする。
定義二では、トレースそのものを基底を取らずに定義しています。これがいつものトレースと一致することを見るには,の変形を基底をとってやれば良いのです。
基底を取りたくない時は,ぜひ定義二を使ってみてください。
Peter-Weylの定理とデルタ関数part2
part1の続き。part1では、Peter-Weylの定理を紹介しました。今回は、その証明をデルタ関数を使って行おうと思います。そのためにデルタ関数を導入しましょう。畳み込みから始めます。
として、
の畳み込み
を
で定めます。
は、この'積'について-代数になるんです。単位元は何かと言いますと、それが
デルタ関数。定義は、
です。
で、畳み込みを何で持ち出したのかということですが、畳み込みで表現の重複度がわかります。
(命題)
を、の表現、特には既約表現とします。さらにそいつらの指標をとします。そのとき、におけるの重複度は
に一致する。
では、これを使ってPeter-Weylの定理を証明してみましょう。使うのは上の命題の他に、次の事実だけです:
事実:左正則表現の指標はデルタ関数である。
この事実は、当たり前といえば当たり前ですよね。では、大詰め。
(Peter-Weylの定理の証明)
を既約表現とする。その指標をとすると
左正則表現のの重複度は、命題及び事実よりに等しい。(証明終)
Peter-Weylの定理と、デルタ関数part1
今期開講されている群論の授業でのこと。群論の授業に来ていた物理科の学生からの、面白い指摘があったから書いてみようと思います。テーマは、有限群の表現に関するもの。どういう指摘かというと、デルタ関数使うと、Peter-Weylの定理が出せるという指摘。準備に取り掛かります。 が有限群のとき、 左正則表現を次で定義する: 上の表現で、 に対して、 で、 の表現が定まる。さて、主役であるPeter-Weylの定理は次の定理だ。
(Peter-Weyl) 左正則表現は、各既約表現を、重複度だけ含む。
有名な系として、表現の次元を勘定すると得られるのが次の等式:
(Burnside) が有限群のとき、
なお、ここで和気号はすべての既約表現を渡ります。
さて、このPeter-Weylの定理が、デルタ関数の考え方で導けるというのが授業に来ていた物理屋さんの指摘なのですが、詳細は次回。