同型写像

同型写像とは

同型写像（isomorphism）とは、数学において、ある構造を保ったまま、二つの数学的対象間の対応関係を示す写像のことです。簡単に言うと、同型写像が存在する場合、二つの対象は構造的に同一であるとみなせます。これは、対象を定義するために使用される性質のみを考慮すれば、区別できないことを意味します。

例えば、代数構造（群や環など）においては、準同型写像が全単射であれば同型写像となります。また、位相幾何学においては、連続写像が同相写像（双連続写像）であれば同型写像となります。解析学では、可微分関数が微分同相であれば同型写像です。

同型写像の定義

同型写像は、圏論を用いてより形式的に定義できます。圏Cにおける射f: X → Yが同型射であるとは、逆射g: Y → Xが存在し、g∘f = 1X かつ f∘g = 1Y を満たすことを指します。ここで、1X と 1Y はそれぞれXとYの恒等射です。

同型写像の重要性

同型写像の興味深い点は、同型な対象は、その構造を定義するために使用する性質のみを考慮した場合、区別できないということです。つまり、これらの性質やその結果だけを考える限り、同型な対象は「同じもの」として扱うことができます。この概念は、数学のさまざまな分野で重要な役割を果たします。

具体例

以下に同型写像の具体例をいくつか示します。

1. 対数関数と指数関数

正の実数の乗法群 (R+) と実数の加法群 (R) を考えます。対数関数 log: R+ → R は、log(xy) = log x + log y を満たすため、群準同型です。同様に、指数関数 exp: R → R+ も、exp(x + y) = (exp x)(exp y) を満たすため、群準同型です。恒等式 log(exp x) = x および exp(log y) = y は、log と exp が互いに逆関数であることを示しています。したがって、log は群同型です。

この同型写像は、正の実数の積を実数の和に変換する機能を提供し、計算尺などの道具を用いた実数の乗算を可能にします。

2. 6を法とする整数

6を法とした加法によって構成される群 (Z6, +) と、(Z2 × Z3, +) を考えます。ここで、(Z2 × Z3, +) は、x座標が0または1で、y座標が0、1、または2である順序対で構成され、加法はx座標は2を法とし、y座標は3を法とします。これらの群は、以下の対応関係によって同型になります。

(0,0) → 0
(1,1) → 1
(0,2) → 2
(1,0) → 3
(0,1) → 4
(1,2) → 5

この対応関係は、一般に (a, b) → (3a + 4b) mod 6 と表せます。例えば、(1, 1) + (1, 0) = (0, 1) であり、対応する数値では 1 + 3 = 4 となります。これらの群は要素は異なるものの、構造的には完全に同じです。より一般的に、二つの巡回群ZmとZnの直積がZmnと同型であるのは、mとnが互いに素である場合に限られます。

3. 関係を保つ同型写像

対象が集合Xと二項関係Rから成り、もう一つの対象が集合Yと二項関係Sから成るとき、XからYへの同型写像f: X → Yは全単射であり、S(f(u), f(v)) ⇔ R(u, v) を満たします。ここで、関係Sが反射的、対称的、推移的などの特定の性質を持つ場合、関係Rも同様の性質を持ちます。例えば、関係Rが順序≤で、Sが順序⊑であれば、同型写像fはf(u) ⊑ f(v) ⇔ u ≤ vを満たします。このような同型写像は順序同型と呼ばれます。

同型と全単射準同型の違い

具体圏、例えば位相空間や代数的対象の圏では、同型射は台集合上で全単射である必要があります。代数的な圏では、同型射は台集合上で全単射な準同型と同じです。しかし、位相空間のように、全単射準同型が同型射ではない具体圏や、対象が台集合を持ちながら同型射が全単射でない圏も存在します。

同型写像の応用

同型写像は、数学のさまざまな分野で応用されています。

抽象代数学では、群同型や環同型が重要な概念です。代数構造の自己同型は群をなし、共通の構造を持つ2つの代数の間の同型はheapをなします。
解析学では、ラプラス変換が微分方程式を代数方程式に変換する同型写像として用いられます。
圏論では、同型射は逆射を持つ射として定義され、ベクトル空間間の線形写像や位相空間間の同相写像など、多くの例を含みます。
グラフ理論では、グラフ同型はグラフの頂点間の全単射であり、辺の構造を保ちます。
* 解析学では、ヒルベルト空間間の同型写像は、和、スカラー倍、内積を保つ全単射です。

等号との関係

数学において、等しいことと同型は区別されます。等しいとは二つの対象が全く同じであることを意味しますが、同型とは構造が同じであることを意味します。例えば、集合A = {x ∈ Z | x^2 < 2} と B = {-1, 0, 1} は、異なる表示で同じ集合を指すため等しいですが、集合{A, B, C}と{1, 2, 3}は等しくありませんが、同型です。

同型写像の存在は、二つの対象が構造的には同一であることを示す強力な証拠となります。しかし、これは二つの対象が全く同じであることを意味する等号とは異なる概念であることに注意が必要です。

まとめ

同型写像は、数学的構造を保ちつつ、異なる対象間の対応関係を理解する上で不可欠な概念です。様々な分野で応用され、数学的な思考を深めるために重要な役割を果たしています。この記事が、同型写像に関する理解の一助となれば幸いです。

• ---

もう一度検索