線型写像のちょっとした拡張について
行列の基本的な事柄について見直し中。今回は双対変換と双一次形式、その行列表示に関する三位一体のお話。
-線型写像
体の拡大及び-同型について考える。-ベクトル空間について、が-線型であるとは、が加法的かつを満たすことをいう。
例えばのときは普通の線型写像、でのときは共役線型(conjugate-linear)写像になる。これらを一つに纏めた議論を行うのが今回の目的でもある。
さて、の基底を、の基底をとする。このとき-線型写像がに関する行列表示を持つことを示そう。まずに対して
と一意的に表せるので、について
が従う。そこでと定めればであり、行列について
が成り立つ。逆にを与えれば上の式より-線型写像が定まり、この対応は互いに逆を定める。このときをのに関する行列表示という。
この議論から次の命題が成り立つことが分かる。
命題 -線型写像全体は「普通の」線型空間になり、その次元はとなる。
基底を変えると、行列表示はどのように変化するだろうか。今、の基底及びの基底を取り、可逆な行列を用いて
が成り立つとする。ただし、これらの式はの意味で用いている。さて、の及びに関する行列表示をそれぞれとしよう。即ち
が成り立つとする。
より、
を得る。以上より行列表示の一意性からが成り立つことが分かる。
この関係()は反射的かつ推移的だが、対称的とは限らない。であれば対称的となり、同値関係を定める。
-双対空間
ここではについて考える。このとき上の-線型写像全体をと表し、の-双対空間と呼ぶ。前節の通りは線形空間であり、その次元はの次元に等しい。
の基底に関しては次が言える。
命題 の基底をとする。このときで定まる-線型写像について、はの基底を定める。
(証明)が-線型写像になることは明白なので、基底であることを示そう。に対し、と定める。すると
となるので、と表せる。またならとなるので、達は一次独立である。
命題のを-双対基底と呼ぶ。
ここで-ペアリングというものを考えよう。に対しと定めれば、第一成分について-線型、第二成分について線型な写像(-双線型写像とも呼ぶ)を与えることができる。
基底を取れば、その成分表示
を得ることができる。
命題 に対してを、により定める。このときはとの線形空間としての同型写像を与える。
(証明)は上の-線型写像となる。実際
が成り立つ。またの基底を取れば、に対しと表せば、あるについてとなる。ここでについてが成り立つが、なので、結局が分かる。つまりは単射であり、より同型となることが分かる。
以下もほぼ明らかだろう。
- を次元部分空間とする。はの次元部分空間となる。
- を次元部分空間とする。はの次元部分空間となる。
-双対変換と-双一次形式
-線型写像のことを-一次変換と呼ぶことにしよう。このとき任意のに対して
を満たす-一次変換のことを、の-反傾(contragradient)と呼ぶ。
命題 -反傾は一意的に存在する。
(証明)とすると、が常に成り立つ。任意ので成り立つので、でなければならない。これが任意ので成り立つことからが従うので一意性が分かる。またの基底を取り、のに関する行列表示を、記号の乱用を許してと置く。するとについて、であるから
が成り立つ。故に
となる。よってはの-反傾である。
行列についてと書くことにする。また-一次変換の-反傾もと書く。
特にのとき、-一次変換のことを-双対変換と呼ぶ。また-双線型写像のことを-双一次形式と呼ぶ。
-双対変換について、基底を変えると行列表示はどのように変化するだろうか。の基底 を取り、その-双対基底をとしよう。としたとき、の-双対基底たちはと表せる。このを求めるには、を計算すればよい。実際であり、一方であるから、を得る。故に行列表示はとなる。
定理 -双対変換と-双一次形式は一対一に対応する。
(証明)-双対変換について、は-双一次形式である。また-双一次形式に対し、は-双対変換を定める。これらの対応は互いに逆を定める。
-双対変換がを満たすとき、-対称変換という。また-双一次形式がを満たすとき、-対称形式という。
系 -対称変換と-対称形式は、定理の対応で一対一に対応する。
(証明)-対称変換に対しては、
より-対称形式を定める。また逆に-対称形式に対しては、についてであり、またとなる。よってが従う。故には-対称変換となる。
行列表示を見てみると、のとき
となる。よって-対称行列(を満たす)は、のとき、基底の変換(-合同変換)で-対称行列に移り合う。
以上より、のときには、
及び
という三位一体が得られる。
例えば体の拡大としてを考えて、とすると上記の対応が作れる。
所感
今回の議論は線型代数のどんな教科書にも載っているような話。エルミート変換は色々な場面で現れるので、似たような理論が-変換でも行えると思う。いずれにせよ対称や歪対称といった話を、体の拡大という立場から統一的に議論できるので便利かなと思う。
追記:-線型は-半線型(semi-linear)とも呼ぶそうです。
行列式の導出について
だんだん日が短くなってきて、あぁ今年ももう終わりかと思うようになりました。夕日をぼんやり眺めていると、ふと「行列式ってなんだろう?」という疑問が湧いてきたのです。もちろん定義は頭に入っています。色んなやり方があり、様々な性質を示すことだって多分できます。でもその定義がどこから来るのかという疑問について、今まで一度たりとも考えたことはありませんでした。本やネットを調べてみました。しかし納得できる説明はありませんでした。強いて言えば、歴史的に長い時間を掛けて整理された式であるということが分かった位でした。なので自分で納得できる理解の仕方が欲しいなと思い、少し考えてみることにしました。
素朴な発想
行列論の源は、次の連立一次方程式を解く、ということにあったはずです。
これをと書いたのがスタートラインであり、与えられたに対して上の式を満たすを求めるという問題が、過不足のないのときに必ず解けるかが肝になります。
ひとまず解があることをすぐに判断できる簡単な状況から考えます。上三角の場合、つまりならを満たすときを考えてみます。
このとき、もしが成り立つならば、から順繰りに式を計算することで、件の問題は解けることが分かります。このことから、問題が可解であるかどうかを決定づける(determine)式として、
が妥当であることが分かります。今は形式的な議論なので、整域性などは深く考えないようにします。
一般的な行列式の定義
一般の連立方程式であっても上三角に変形できることは、数学科の学生に限らず、全ての大学生が等しく学ぶはずです。行目の式を倍して、各行に倍したものを加えることで、から行目の式からを「消去」できます。
ここで行目以降に着目してみます。
と置くことで得られる
についても同様な操作を行ってみます。再び
と置けば、結局
という上三角行列を得ることができます。
先の素朴な考察を思い出せば、一般的な行列に対しては
を計算すれば良いと分かります。
可換の場合
可換性を仮定して少し計算してみると、馴染みの深い式が出てきます。
のときはです。
のときはです。
を気合いで計算すると、
となります。
式の形から、次の予想が成り立ちます。
定理 可換性を仮定すれば、
が成り立つ。ただしは文字の置換全体を動く。
(証明)に関する帰納法で示す。まず
であるから、帰納法の仮定より
が従う。和を前に出すと、中身は
となる。もし異なるがあれば、とすると、に対してだから、符号のみがずれて、お互いに打ち消し合ってしまう。故に
を得る。前は添え字に関係しない部分、後ろは添え字のとを互換したものに相当するから、これは
に等しい。
まとめ
上記の考察から、連立方程式の可解性を決定する式という素朴な発想から、行列式の通常の定義を導くことができました。いつも天下り的に定義するのが不満だったのですが、一応納得できそうな屁理屈を述べることができたのではないかと思います。帰納的定義など、他の方法でもこのような意味付けができるかは不明です。
重み付き余代数グラフ(weighted graph coalgebra)
以前「余代数のグラフ表現について」という記事を書いた。
最後の方に述べた注意で、例4に挙げたdivided power coalgebraはグラフ余代数(またはその剰余)として表すことが出来ない(知られていない)が、適切な重みを付けてやれば良いだろうと書いた。最近になって真面目に計算してみたら、2変数の重み付けではダメで3変数にしたらいい感じになったので報告しておく。
グラフ余代数
まず簡単なおさらいから始めよう。
は可換環とする。を頂点とする有向グラフは反射的()かつ推移的(なら)かつ局所有限()であるとする。辺の自由加群において、
及びと定めると組は余代数を定める。即ち
が成り立つ。この余代数をグラフ余代数と呼ぶ。
一方のdivided power coalgebraとはとして、
及びはクロネッカーのデルタ、と定めたものだ。係数が違うのでグラフ余代数ではない。
重み付きグラフ余代数(weighted graph coalgebra)を以下で定めよう。「重み」とはに対するのことである。
定理 重みは以下の条件を満たすとする。
このとき
は余代数を定める。
定義 上記を重み付きグラフ余代数と呼ぶ。
例えば先ほどのdivided power coalgebraは、についてとしたときの、
による重み付きグラフ余代数である。
数論的関数に関する例
最近、数論的関数について調べていたのもあり、面白そうな例を思いついた。
についてのときと定める。これは推移的かつ局所有限である。今とし、数論的関数による重み付けを考えたい。重みを
と定めると、上記の条件を満たすにはであればよい。つまりconvolutionで可逆でない数論的関数に対し、重み付けグラフ余代数が定義できる。
もちろん重みの付け方は他にもあるだろう。いずれにせよ(重み付け)グラフ余代数は例が非常に豊富なので、何か新しいことができる予感はある。「こんな結果があるよ」というのがあれば、コメントなり表示名 - Mathtodonなりで是非教えてください。