記事の概要
つの線形空間が与えられ,それらの間に線形同型写像があれば,それらの線形空間を同一視することができます.
では,「つの線形写像が」与えられたときに,どのような条件が満たされれば,それらの線形写像を同一視できるでしょうか?実はこの疑問に対する答えが,線形代数でよく見かけるであり,四角い可換図式なのです.
この記事では,つの線形写像,あるいは群準同型や環準同型などを同一視できるための条件について,例を交えて解説します.この記事の内容は,数学のあらゆる分野に現れる重要なものですから,あなたの興味がどの分野にあるかによらず,きっと役に立つことでしょう.ぜひ読んでみてください!
みなさんきっとお忙しいでしょうから,最後まで読まなくてもいいように重要な内容ほど最初の方に載せています.冒頭の少しだけでも目を通してみてください.
定義色々な分野の具体例圏論による整理,という順番に記述していきます.
後編はここです:
記事「2つの準同型を同一視する【後編】」
準同型を同一視するための条件
2.1 射同型の定義
いきなり本題から入りましょう.
なんらかの意味での準同型(線形写像や群準同型や環準同型など,あるいはただの写像)からなる可換図式
があり,縦の本の射が同型であるとき,ととは射同型であるといい,と表す.を明記して,ととはにより射同型であるともいい,とも書くことにする.
実はが射同型のとき,準同型や写像としての性質が同じになります.例えば一方が全射なら他方も全射になるとか,核どうしが同型になるなどです.
(定義に出てくる用語や記号の使い方は,この記事だけの用語・記号であり,一般的なものではないので注意してください.また,「射が同型(同型写像)であること」と「つの射が射同型の関係にあること」とはもちろん異なる概念なので,注意してください.前者は1つの射が持つ性質,後者は2つの射の関係を表す語です.この区別のためにこの記事では射同型という独自の用語を用いました.)
少し説明します.
まず「射」とは,この記事では準同型とか写像のことだと思っていいです.
「可換図式」とは,どの経路で射を合成しても,合成した結果が同じになるような図式のことです.定義に出てくる図式について言えば,が成り立つことが,これが可換図式であるための必要十分条件です.
なので結局,定義は,「でが同型のとき,とは射同型ということにするよ」ということを述べています.
2.2 定義と同値な条件
定義と同値な条件を述べます.
可換図式とは限らない図式
があり,は同型とする.
このとき,この図式が可換図式になる(よってとなる)ための必要十分条件はが成り立つことである.
軽く示しておくと,のとき,両辺の右端にを合成することでが得られます.逆にとすると,両辺の右端にを合成することでが得られますね.
数学をしていて射の合成についてのという関係式が出てきたら(が同型なら)命題により,射同型チャンスと見ることができます.(もちろん定義の可換図式を見た時も射同型チャンスです.)このとき,「は同一視できる,色々の性質を共にするはずだ!」と思ってよいです.
また命題とほぼ同じことですが,次の形でも頭に入れておくといいでしょう:
つの射からなる図式
があり,は同型とする.このとき,図式
は可換図式であり,したがって射同型が成り立つ.
要するに,射が同型で挟まれているのを見たら,射同型チャンスということです.このときとは同一視できます.(さらに言うと,やがの場合を考えることで,と,あるいはととを同一視できることも頭に入れておくといいでしょう.)
様々な具体例を見てみよう
3.1 線形代数
この記事では行列はそのまま線形写像とみなします.
3.1.1 対角化
という行列を考え,それぞれ線形写像とみなします.すると,計算によりがわかり,または線形同型写像(正則行列)であるため,線形写像のなす図式
は定義の条件を満たし,が得られます.
ここで,はパッと見ではどんな線形写像なのかわかりません.一方,は成分を倍,成分を倍にするだけの簡単な線形写像ですね().射同型は,「よくわからないは,実はわかりやすいと同一視できるよ」ということを教えてくれています.
さてはの対角化になっています.実際の両辺にを右からかけるとというよく見る形になりますね.行列の対角化には,よくわからない行列をわかりやすい対角行列と同一視することで,わからなかった行列のことをわかることができるという意味があるのです.
(もう少し詳しく見ると,のつの列ベクトルを取ると,はの基底であり,計算によりとなっていることがわかります.よっては方向に倍,方向に倍に伸ばすような線形写像になっています.これは対角行列が方向に倍,方向に倍に伸ばすような線形写像になっていることと対応しています.ととは射同型なだけあって,確かに似ていますね!)
とは似ている
3.1.2 掃き出し
行列に対して掃き出しを行い,階段行列にすることを考えましょう.次のようになります:
回行われた操作はそれぞれ正則行列を左からかけることに相当し,次の可換図式が成立します:
ただし,左の縦の射の二重線は恒等写像を表します.
と次々に射同型な射に移っていき,もとの行列と階段行列との射同型が得られています.
実際,図式の番外側が次のように定義の条件を満たす可換図式になっています:
のランクなどはパッと見ではわかりませんが,階段行列のランクなどはすぐにわかります.与えられた行列を,射同型,射同型...で変換していって最終的に階段行列というわかりやすい行列に変換するというのが,掃き出しという操作なのです.
3.2 集合の写像
3.2.1 書き換え
この項で説明する書き換えという概念が射同型を理解する上でめちゃくちゃ大事です.(書き換えという用語も必ずしも一般的なものではないかもしれません.私がそう呼んでいるだけです.)
つの集合を次のように定めます:
写像を次のように定めます:
唐突な手書き
は全単射であり,次の可換図式が成立します:
したがってです.ここでとをよく比べてみてください.
の対応表を,を用いて書き換えてみましょう.つまり,は小文字を大文字に変換する写像なのでの始域の小文字を大文字に書き換え,また,はひらがなをカタカナに変換する写像なので,の終域のひらがなをカタカナに書き換えてみましょう.すると,
を用いての対応表を書き換えた
の対応表になりました!
これはめちゃくちゃ重要な事実です.一般に写像の射同型があれば,をによって書き換えたものがになっているのです!
ここで,なので,次のように表現することもできます:
集合の間の写像があり,は全単射とする.
このとき,合成写像は(の対応表)をによって書き換えたものになっている.
(なおこのときでは全単射なので)
射同型なつの射は書き換えたものに過ぎないとわかると,色々な性質を共にすることも納得できるのではないでしょうか.
さらに,グラフについても書き換えになっていることを見てみましょう.
先ほど定義したのグラフは次のようになっています:
のグラフ
のグラフを,を用いて書き換えてみましょう.つまりにより始域の小文字を大文字に,により終域のひらがなをカタカナに書き換えます.すると次のようになります:
のグラフをで書き換えた
のグラフが書き換えによってのグラフになりました!一般に写像の射同型が成り立つとき,のグラフをにより書き換えたものが,のグラフになっているのです.
3.2.2 単射と全射
は集合で,写像のなす可換図式
があり,縦の本の射が全単射であるとします.(よって)
ととは射同型なので,の一方が単射なら,他方も単射であってほしいですよね.同様に,一方が全射なら,他方も全射であってほしいです.実際これらのことは成立します.
(証明は省略しますが,は3.2.1項で見たように互いに書き換えたものになっていることを考えれば,これらの命題は当たり前に思えるのではないでしょうか?)
3.2.3 みなし部分集合と本当の部分集合
集合と単射があるときに,この単射をもってをの部分集合とみなすことが数学においてはよくあります.ではこのとき,の本当の部分集合であってに対応するものは何でしょうか?
とを使っての部分集合を作ろうと思ったら,自然に像を思いつくと思います.実際を包含写像とすると,次の図式は可換になります:
ここで右の縦の射の二重線は恒等写像を表します.またはの終域を制限したものです:
よってとなり,単射は包含写像と同一視できることがわかりました.はに対応し,単射は包含写像と対応します.
(この項で見たことのさらなる具体例を3.5.2項に載せています.)
3.3 グラフの平行移動
3.3.1 放物線を平行移動する
関数をで定めます.のグラフは次のとおりです:
の大雑把なグラフ
このグラフを軸方向に平行移動させることを考えましょう.
軸方向の平行移動を表す関数をで定めます.は全単射です.次のような図式を考えましょう:
もしこの図式を可換にするがあれば,となり,はによる軸方向の平行移動でに対応すると言えそうです.なお右の縦の射が恒等写像なのは,軸方向へは動かさないからです.はどのように定めればいいでしょうか?インスピレーションが必要でしょうか?
いえいえ,は計算により導き出せます.命題により,と定めればいいです.計算してみると,
となります.このにより上の図式は可換図式になり,です.
軸方向のの平行移動により,はに対応することがわかりました.実際グラフを描くと,のグラフを軸方向に平行移動させたものがのグラフになることがわかります.
(よく,次のような疑問を見かけます:
「どうしてのグラフを軸方向に平行移動したグラフが,ではなくになるの?」
この疑問に対するつの回答として次のようなものがありうると思います:
「上の図式を可換にするためには,とならなくてはならないが,でされる分をでしないと合わなくなるから」
実際と定めることで,となりますね.)
さて,3.2.1項で見たことと同じことをしてみましょう.
の対応表は次の通りです:
もちろん一部だけ
の対応表を,で書き換えましょう.つまりにより始域の数字をします.(終域はで書き換える…つまり何もしません.)すると次のようになります:
で書き換えた
の対応表になりました!
また,のグラフは次の通りです:
再掲
やはり始域の数字をによって書き換えましょう.すると次のようになります:
書き換えた
のグラフになりました!
3.2.1項で見たことがここでも確認されました.
これで前編を終わります.後編では群論,環論,環上の加群に関する具体例を見たあと,定義を圏論を使って整理します.
後編はこちら:
記事「2つの準同型を同一視する【後編】」