今度こそテンソル積とHom の随伴性を理解する
長らく続いたテンソルに関する記事も、今回が最後である。今日は最初に掲げた4つの疑問のうち最後の1つである随伴性について考察する。以下に疑問の内容を再掲する。
テンソル積の随伴性とは一体何なのか?
より正確には、テンソル積とHomの随伴性と呼ぶようである。随伴性というのは、より一般には圏論において議論されるような、数学においてあらゆるところに現れる概念のようだが、残念ながら圏論の勉強はまだこれからの予定なので、今日はテンソル積とHomについてだけ考える。
随伴性に関する定理の主張と意味
準同型が成す加法群の構造
上記の定理を理解するためには、まずHomについて理解する必要がある。HomとはR-加群の準同型全体の集合を表す記号である。例えばR-加群X, Yについて、XからYへの準同型全体はと表される。ここで1つ重要なのは、Homが加法群になるということである。以下で簡単に確認してみる。
- 2つの写像と任意のについて、とすれば、となる。この演算について結合法則が成立することは明らかである。
- 写像について、その逆元をと定められる。
- 全てのXの元をYの単位元に移すような写像、すなわち零写像を単位元と定められる。
以上により、Homが加法群を成していることが分かった。
定理の意味
次に、随伴性に関する定理の意味を考えてみよう。定理は2つのHomの間の同型を述べるものであるが、このうち左辺のは、XとYのテンソル積からZへの準同型全体が成す加法群を表している。それに対して右辺のは、Yから"XからZへの準同型全体が成す加法群"への準同型全体が成す加法群を表しており、左辺に比べて少々複雑である。右辺のHomが述べているのは、Yの元が1つ決まると、XからZへの準同型が1つ決まるということである。
これら2つのHomが同型であるというのは、一体どういうことなのだろうか?文献[2]よると、これはカリー化と呼ばれる概念と関係があるようである。Wikipediaのカリー化に関する記事[4]の最初の一文を引用する。
カリー化 (currying, カリー化された=curried) とは、複数の引数をとる関数を、引数が「もとの関数の最初の引数」で戻り値が「もとの関数の残りの引数を取り結果を返す関数」であるような関数にすること(あるいはその関数のこと)である。
随伴性の定理に当てはめて考えると、まず準同型を、XとYの2つの引数を持つ関数であると捉える。そして、その戻り値はZの元であると考える。これがWikipediaで述べられているところの「複数の引数をとる関数」に相当する。この関数を1変数関数に変換する操作がカリー化である。すなわち、元の関数からYだけを引数とする関数を生成するのである*1。そして、カリー化により生成された関数の戻り値は、XからZへの準同型となる。別の言い方をすれば、カリー化によって高階関数が得られたということになるだろう。
以上、2変数関数をカリー化によって1変数の高階関数に変換したわけだが、それによってその関数(準同型)が成す加法群の構造が変わることはないというのが随伴性に関する定理の主張であると考えられる。
証明の概略
後の議論のために必要となるので、簡単に証明のポイントだけを記載したいと思う。詳細は文献[1][2]などを参照されたい。
まず、以下の2つの写像を考える。
このとき、を以下の式を満たすような写像だと定義する。
また、を以下の式を満たすような写像だと定義する。
このとき、ともに加法群の準同型であることを示すことができ、かつが恒等写像となることが確かめられる。これはすなわち、が同型であり、かつ互いに逆写像となっていることを意味する。
テンソル積を考える必然性
ここまでの考察で、随伴性とはカリー化前後において準同型が成す加法群Homの構造が変わらない性質のことを言うのだと理解できた。しかし、どうしても1つ引っかかることがある。それは、定理の主張にテンソル積が使われている理由である。2変数関数というのであれば、まず誰しもが直積の方を先に思いつくだろう。なぜではなく、を考えなければならないのだろうか?
その答えに辿り着くためには、証明の概略で用いた同型について再考する必要がある。証明の概略ではを考えたが、ここでは仮にだったとする。このときの部分に着目すると、これはという準同型になっているはずである。とすると、準同型の性質上、以下が成立していなければならない。
同様にに着目すると、これはという準同型になっているはずである。そのため、について以下が成立する。
ここまで来ると、が双1次形式でなければならないのではないかという予想が立つ。もうひと押しして、を示してみよう。
Xが(T, R)-両側加群、Zが左T-加群であることから、は以下の作用で左R-加群になる[1]。
また、について、準同型としての性質から以下が成立する。
よってが確認できた。
以上により、写像は双1次形式でなければならないことが分かった。という双1次形式全体の集合をと表すことにすると、これはやはり加法群になっている。以下で確かめてみる。
- 2つの写像と任意のについて、とすれば、となる。実際、とすると、例えばが成立することが容易に確かめられる。他の性質も同様に確認でき、BiLinが演算について閉じていることが分かる。この演算について結合法則が成立することは明らかである。
- 写像について、その逆元をと定められる。
- 全てのの元をZの単位元に移すような写像、すなわち零写像を単位元と定められる。
実は、BinLinについて以下の同型が成り立つ[3]。
これより、テンソル積とHomの随伴性は以下のように書いても良いように思える。
なぜこちらの書き方ではなくテンソル積を用いた書き方が常用されるのか、本当のところは分からない。ひょっとしたら私の考察に穴があり、実際にはテンソル積でなければならないのかもしれない。今のところの私の考えでは、以下のような理由ではないかと推測している。
まとめ
以上、テンソル積とHomの随伴性について考察した。本当は自然変換がどうとか、もっと奥深い話があるようだが、そこまで行くと圏論を学んでからの方が面白いことを書けそうなので、今回は割愛した。現在読んでいる本[1]では、圏論についても基本的な事柄が記載されているようなので、また理解が深まってからそのあたりのことを書いてみたいと思う。
参考
[1]
環と加群のホモロジー代数的理論 21世紀数学で重要な手法をきちんと解説する初めての本
- 作者: 岩永 恭雄,佐藤 眞久
- 出版社/メーカー: 日本評論社
- 発売日: 2002/10/01
- メディア: 単行本
- クリック: 2回
- この商品を含むブログを見る
[2-2] Adjoint Isomorphism for Tensor and Hom (Pt. II) « Abstract Nonsense
[3] http://daisy.math.sci.ehime-u.ac.jp/users/tsuchiya/math/fem/exterior/section1.pdf
[4] カリー化 - Wikipedia