Inclusion | 埋め込みという同型について既知の例を使い解説
Inclusion （埋め込み）について、高校数学までで既に学習している例を使って解説をしています。代数構造についての内容を、知っている身近な例を通して説明をしています。
抽象的なものを具体的に理解できるように心がけて記述したブログ記事になります。
特に、線形同型写像であり、環としての同型写像でもある対応を取り挙げています。
複素数について、高校数学の復習になりつつ、大学などで扱われる代数学の基本となる内容へと話を展開していきます。少しでも、代数学の理解になれれば幸いです。
Inclusion :線形写像から
数学において、inclusion（埋め込み）といったときに、様々なタイプのものがあります。
まずは、大学の数学で、すぐに学習する線形代数についての埋め込みから解説をしていきます。
代数学を学習していくときに、次の意味で線形代数は基本的と考えられます。線形代数において、加法とスカラー倍が定義されていますが、さらに加法とは異なる二項演算である積（乗法）が定義されるときがあります。
そのときに、単なる線形代数ではなく、積のことまで考えて、algebra（代数）と呼ばれます。
algebra において、積について、結合法則が成立するときに、結合代数といわれます。非可換なものは、さておき、積について交換法則が成立するもので、身近なもの考えてみます。
具体的な代数で様子を見る
【定義】
A と B を体 K 上の線形代数（ベクトル空間）とする。
f : A → B が線形写像であり、かつ f が単射であるとき、f を A から B への線形写像としての inclusion（埋め込み）という。
このように、大学の数学を学習するときに、いきなり抽象的な定義が出てくることが多いです。
そんなときこそ、平易な具体例を通して内容を確認することが大切になるかと思います。具体例を通して考えると、意外と自分がこれから扱っていけそうだと思えたりするときもあります。
実数全体 R は、体 R 上の線形代数です。そして、複素数全体 C も 体 R 上の線形代数です。定義の A と B として、それぞれ R と C を当てはめて、以下で議論を進めていきます。
線形写像 f : R → C を次のように定義します:
f(r) = r + 0 × i ∈ C（ただし、r ∈ R, i は虚数単位）
ここで、0 × i は 0 なので、f(r) = r と表記するようにします。
※ 線形代数（ベクトル空間）のスカラー倍や加法についての公理は、このリンク先で細かい部分を解説しています。
x, y ∈ R に対し、f(x+y) = x+y = f(x)+f(y) であり、c ∈ R に対して f(cx) = cx = cf(x) となっているので、f は線形写像です。
さらに、x1, x2 ∈ R について、x1 ≠ x2 であるとき、f(x1) = x1 ≠ x2 = f(x2) です。
これは、f が単射ということを示しています。
Inclusion のイメージ
f(R) = {f(x) | x ∈ R} を R の f による像といいます。高校数学で、値域といっていた対応する値をすべて集めた集合です。今、R を R 上の線形代数として考えています。
代数的な二項の対応としては、加法とスカラー倍を考えています。
f は、inclusion の定義を満たしていました。このときに、どうなっているのかというと、R と f(R) が、R 上の線形代数として、同じ構造をしていると考えられます。
x, y に対し 和 x + y
f(x), f(y) に対し 和 f(x) + f(y)
加法について、x と y の表面的な見た目が f(x) と f(y) になっているだけです。
見た目が異なるだけで、本質的な二項演算の規則として、同じ加法となっているということです。
2 + 3 = 5
f(2) + f(3) = f(5)
スカラー倍についても、見た目が x と f(x) と異なる表記になっているだけで、本質は同じです。
x ∈ R, c ∈ R に対し、スカラー倍 cx
f(x) ∈ R, c ∈ R に対し、スカラー倍 cf(x)
加法やスカラー倍の定義には、直積集合の元である組に値が対応させられているのですが、見た目の記号を x は f(x) と置き換えると、同様のことが起きていることになります。
※ 直積集合についての詳細は、リンク先に書いています。
この見た目の表記が異なるだけで、線形代数として同じ構造物であることを線形代数として同型といいます。そのため、R と f(R) は線形代数として同型ということになります。
ここで、f : R → C でした。
それゆえに、f(R) ⊂ C となっています。そして、R と f(R) は、R 上の線形代数として同じ構造をしています。
このことから、R 上の線形代数として、R と同じものが C の中に内蔵されていると考えられます。
このことを、f による R の埋め込みといいます。英語で書くと、included されているということです。写像という名詞として、inclusion と呼んでいます。
抽象度が上がってきたので、もう少し具体的に内容を反復します。
はじめに、r ∈ R に対して、f(r) = r + 0 × i と定義しました。
虚部が 0 なので、f(r) = r としました。これは、同型だからこそできる略記です。
r1, r2 に対し、和 r1 + r2
f(r1), f(r2) に対し、和 (r1+0i) + (r2+0i)
r1 と f(r1), r2 と f(r2) と、表面的な見た目が違うだけで、本質的に同じ加法を計算しているということになります。スカラー倍についても、cr と c(r + 0i) は本質的に同じということです。
Inclusion :代数として
線形代数であって、さらに積（乗法）という加法とは異なる二項演算が定義されているときに algebra（代数）ということでした。
R と f(R) ⊂ C について、積も考えて、algebra としての同型について様子を見てみます。
※ただし、この algebra は R 上の代数として考えています。
そこで、複素数全体 C における乗法という二項演算を確認しておきます。
a, b, x, y ∈ R について、
(a + bi)(x + yi)
= (ax – by) + (bx + ay)i
※ 実部と虚部などの複素数についての基本事項は、リンク先の以前に書いた記事にまとめています。
r1, r2 ∈ R について、R における乗法の結果である積は、r1r2 です。
f : R → C について、f(r1), f(r2) ∈ C における複素数どおしの乗法を確認すると、
f(r1)f(r2) = (r1 + 0i)(r2 + 0i)
= r1r2 + 0i と分かります。
少し見た目が違っているだけで、0i を省略してしまうと、
f(r1)f(r2) = r1r2 です。
やはり本質的に同じ乗法についての対応規則になっています。R における乗法は、交換法則が成立するので、可換代数といわれます。
※ 複素数の乗法に関して、乗法逆元については、複素数の除法という記事で高校数学の内容で詳しく解説をしています。
可換代数として、R と f(R) は同型です。
そして、f(R) は、C の中に埋め込まれているということになります。
そのため、R 上の可換代数 C の中に、f(R) として R が埋め込まれています。
同一視について
大学の数学を学習していると、「同一視する」という内容が出てくるときがあります。
難しい抽象的な内容を扱っているときに、この同一視を初めて見ると、何のことかよく分からなくなってしまうと思います。昔の私もそうでした。
そうならないように、先ほどの例を同一視の例として認識をしておくと、その他の内容の理解への足掛かりになるかと思います。
f(R) = { r + 0i | r ∈ R} は、複素数全体 C の真部分集合になっています。ここで、同一視という聞き慣れない言葉を使うと、「r + 0i を r と同一視する」といいます。
これは、先ほどの埋め込みについて、F(R) と R が R 上の可換代数として同型ということからできる見なし方です。
R 上の可換代数としての振る舞いが同じなので、r + 0i のことを R と考えてしまうということです。
(r1 + 0i) + (r2 + 0i) と記述するのは、やや面倒なので、表面的な記号の違いを無視します。
そうすると、r1 + r2 と本質的に同じ加法の振る舞いなので、いっそ r1 + r2 と記述します。（ただし、r1, r2 ∈ R）
積や R からのスカラー倍についても同じく表面的な記号の書き方が違って見えているだけです。本質的な可換結合代数としての扱いは、f(R) も R も同じ振る舞いです。
それゆえに、いっそ f(R) のことを R としてしまうということです。
この同一視は、高校の数学のときに、複素数の計算でよくしていました。
(2 + 0i) + (3 + 0i) = 5 + 0i
2 + 3 = 5
上の書き方は、複素数全体を R 上 2 次元の可換結合代数と考えたときの定義通りの計算です。
しかし、やや記述するのが面倒に感じます。R と f(R) を同一視して、下の「2 + 3 = 5」のようにすると、すっきりします。
複素数平面を埋め込む inclusion
R × R = {(x, y) | x, y ∈ R} は xy-座標平面です。複素数平面について、高校の数学で学習をします。この複素数平面を R2 と表すことにします。
一方、C = {x + yi | x, y ∈R } という複素数全体も、R2 と同じく、R 上 2 次元のベクトル空間となっています。
f : R2 → C を
f((x, y)) = x + yi と定義することで、R 上の線形代数として同型になります。
C については、複素数どおしの乗法が定義されていました。
つまり、
(x1 + y1i)(x2 + y2i)
= (x1x2 – y1y2) + (x1y2 + y1x2)i
高校数学では、複素数平面において、乗法が定義されていませんでした。しかし、回転運動を複素数についての乗法を利用して表しています。
複素数平面（xy-座標平面/ガウス平面）において、乗法が定義されていなかったので、平面上の点に対応する複素数を考え、複素数についての乗法を C において行っていました。
そして、乗法の結果として得られた複素数を再び平面上の点と対応させることをしていました。この一連の操作をショートカットするように、逆算思考で複素数平面 R2 に乗法を定義します。
乗法は二項演算なので、直積集合 R2 × R2 から R2 への写像を定義することになります。
p : R2 × R2 → R2 を
p((x1, y1), (x2, y2))
= (x1x2 – y1y2, x1y2 + y1x2) と定めます。
写像（関数）の記号を使うと複雑に見た目がなるので、「×」の記号を使って乗法を表すことにします。
(x1, y1) × (x2, y2)
= (x1x2 – y1y2, x1y2 + y1x2)
これで、複素数平面 R2 の 2 点について、その座標を使って、直接に乗法が計算できるようになりました。
先ほどの線形代数としての同型写像 f について、algebra としての積が保存成立します。
f((x1, y1) × (x2, y2))
= f((x1x2 – y1y2, x1y2 + y1x2))
= (x1x2 – y1y2) + (x1y2 + y1x2)i
一方、
f((x1, y1))f((x2, y2))
= (x1 + y1i) × (x2 + y2i)
= (x1x2 – y1y2) + (x1y2 + y1x2)i
f((x1, y1) × (x2, y2)) = f((x1, y1))f((x2, y2)) と確かになっています。どちらも同じ値の複素数になっています。
これで、f(R2) を C の中に埋め込めました。ただ、この像 f(R2) は C に一致しています。
この像が行き先の集合と一致するとき、つまり全射であるときに、同型写像といいます。
数と1行1列の行列を同一視する
埋め込みや同型写像の考え方は、基本的になります。行列と数は、それぞれ異なる集合に属しています。
しかし、議論を進めていく上で、数と 1行1列の行列を同じものだと見なしておくと便利なときもあります。
a ∈ C という複素数を (a) という 1行1列の行列に対応させることで、同型写像となります。複素数全体 C は複素数体 C 上の 1 次元の可換結合代数です。
しかも、0 ではない元は、乗法についての逆元を持ちます。
(a) という複素数を成分とする 1行1列の行列全体も、複素数体 C 上の 1 次元の可換結合代数です。
零行列でない行列は、a ≠ 0 という複素数を成分とする行列なので、(a) の逆行列は (a-1) です。
(a)(a-1) = (a-1)(a) = (1)
(1) が、乗法についての単位元です。
g(a) = (a) という写像を考えると、明らかに同型写像となります。そのため、a と (a) を同一視するということが可能となります。
【関連する内容】
今回の内容で扱った同型対応のことを英語では、isomorphism といいます。線形代数と可換代数についての同型対応の具体例を上で述べました。
この同型ですが、準同型写像 f が単射であるときには、im f と同型になります。このときには、行き先の代数の中に im f として埋め込まれたことになります。
ここで、「単射であること」と、「核という ker f が {0} だけからなるイデアルであること」が同値になるということを押さえておくと、次のような発想をもつことができます。
準同型定理という定理があります。
このことと、inclusion の考え方をつなげて考えます。
準同型定理を、単射でないときの埋め込みを行うときの考えとして押さえておくことができます。
群構造についての inclusion に関しn次交代群という記事でも、この内容を使っています。
それでは、これで今回のブログ記事を終了します。
読んで頂き、ありがとうございました。