同型写像のソースを表示

{{読み仮名|'''同型写像'''|どうけいしゃぞう|{{lang-en-short|isomorphism}}<ref group=note>from the [[Ancient Greek]]: [[wikt:ἴσος|ἴσος]] ''isos'' "equal", and [[wikt:μορφή|μορφή]] ''morphe'' "form" or "shape"</ref>}}あるいは単に'''同型'''とは、[[数学]]において[[準同型|準同型写像]]あるいは[[射 (圏論)|射]]であって、逆射を持つものである<ref group=note>逆関数ではない</ref>。

== 解説 ==
2つの[[数学的対象]]が'''同型''' (isomorphic) であるとは、それらの間に同型写像が存在することをいう。''[[自己同型]]写像''は始域と終域が同じ同型写像である。同型写像の興味は2つの同型な対象は写像を定義するのに使われる性質のみを使って区別できないという事実にある。したがって同型な対象はこれらの性質やその結果だけを考える限り同じものと考えてよい。

{{multiple image
| footer    = [[1の冪根|1の5乗根]]が乗法についてなす群は正五角形の回転が合成についてなす群に同型である。
| width     = 200
| image1    = One5Root.svg
| alt1      = Fifth roots of unity
| image2    = Regular polygon 5 annotated.svg
| alt2      = Rotations of a pentagon
}}

[[群 (数学)|群]]や[[環 (数学)|環]]を含むほとんどの[[代数的構造]]に対して、準同型写像が同型写像であることと[[全単射]]であることは同値である。

[[位相幾何学]]において、射とは[[連続写像]]のことであるが、同型写像は[[同相写像]]あるいは双連続写像とも呼ばれる。[[解析学]]において、射は[[可微分関数]]であり、同型写像は[[微分同相]]とも呼ばれる。

'''標準的な同型写像''' (canonical isomorphism) は同型であるような{{仮リンク|標準的な写像|en|canonical map}}である。2つの対象が'''標準的に同型''' (canonically isomorphic) であるとは、それらの間に標準的な同型写像が存在することをいう。例えば、有限次元ベクトル空間 {{mvar|V}} から二重双対空間への標準的な写像は標準的な同型写像である。一方、{{mvar|V}} は双対空間に同型であるが、一般には標準的にではない。

同型写像は[[圏論]]を用いて形式化される。ある圏の射 {{math|''f'': ''X'' → ''Y''}} が同型射であるとは、両側逆射を持つことをいう。すなわち、その圏における別の射 {{math|''g'': ''Y'' → ''X''}} があって、{{math|1=''gf'' = 1<sub>''X''</sub>}} かつ {{math|1=''fg'' = 1<sub>''Y''</sub>}} となる。ただし {{math|1<sub>''X''</sub>}} と {{math|1<sub>''Y''</sub>}} はそれぞれ {{mvar|X}} と {{mvar|Y}} の恒等射である<ref>{{cite book|author=Awodey, Steve|chapter=Isomorphisms|title=Category theory|publisher=Oxford University Press|year=2006|isbn=9780198568612|page=11|url=https://books.google.com/books?id=IK_sIDI2TCwC&pg=PA11}}</ref>。

==例==<!-- This section is linked from [[List of small groups]] -->

===対数と指数===

{{math|'''R'''{{sup|+}}}} を[[正の実数]]のなす乗法群とし、{{mathbf|R}} を実数のなす加法群とする。

[[対数関数]] {{math|log: '''R'''{{sup|+}} &rarr; '''R'''}} はすべての {{math|''x'', ''y'' &isin; '''R'''{{sup|+}}}} に対して {{math|1=log(''xy'') = log ''x'' + log ''y''}} を満たすので、それは[[群準同型]]である。[[指数関数]] {{math|exp: '''R''' &rarr; '''R'''{{sup|+}}}} はすべての {{math|''x'', ''y'' &isin; '''R'''{{sup|+}}}} に対して {{math|1=exp(''x'' + ''y'') = (exp ''x'')(exp ''y'')}} を満たすので、それも準同型である。

恒等式 {{math|1=log exp ''x'' = ''x''}} および {{math|1=exp log ''y'' = ''y''}} は {{math|log}} と {{math|exp}} が互いの[[逆関数]]であることを示している。{{math|log}} は準同型である逆関数を持つ準同型であるから、群同型である。

{{math|log}} は同型だから、正の実数の積を実数の和に翻訳する。この機能により、[[定規]]と{{仮リンク|対数表|en|table of logarithms}}を用いて、あるいは対数スケールの[[計算尺]]を用いて実数を掛けることができる。

===6を法とした整数===
{{math|0}} から {{math|5}} までの整数が 6 を[[合同算術|法]]とした加法でなす群 {{math|('''Z'''{{sub|6}}, +)}} を考える。また、群 {{math|1=('''Z'''{{sub|2}} &times; '''Z'''{{sub|3}}, +)}} を考える。これは {{mvar|x}} 座標が 0 か 1 で {{mvar|y}} 座標が 0 か 1 か 2 の順序対で、加法は {{mvar|x}} 座標は 2 を法とし、{{mvar|y}} 座標は 3 を法とする。

これらの構造は以下の対応によって同型である：

:{{math|(0,0) → 0}}
:{{math|(1,1) → 1}}
:{{math|(0,2) → 2}}
:{{math|(1,0) → 3}}
:{{math|(0,1) → 4}}
:{{math|(1,2) → 5}}

あるいは一般に {{math|(''a'', ''b'') → (3''a'' + 4''b'') mod 6.}}

例えば、{{math|1=(1, 1) + (1, 0) = (0, 1)}} であり、もう一方に翻訳すると {{math|1=1 + 3 = 4}} である。

これらの2つの群は集合が異なる元を含むという意味で違って「見える」にもかかわらず、それらは実際'''同型'''であり、構造は全く同じである。より一般に、2つの[[巡回群]] {{math|'''Z'''{{sub|''m''}}}} と {{math|'''Z'''{{sub|''n''}}}} の[[群の直積|直積]]が {{math|'''Z'''{{sub|''mn''}}}} と同型であるのは、{{mvar|m}} と {{mvar|n}} が[[互いに素 (整数論)|互いに素]]であるとき、かつそのときに限る。

===関係を保つ同型===
1つの対象が集合 {{mvar|X}} と[[二項関係]] {{math|R}} からなり、もう1つの対象が集合 {{mvar|Y}} と二項関係 {{math|S}} からなるとき、{{mvar|X}} から {{mvar|Y}} への同型写像は全単射 {{math|1=''f'': ''X'' → ''Y''}} であって
:<math> \operatorname{S}(f(u),f(v)) \iff \operatorname{R}(u,v) </math>
なるものである<ref>{{Cite book|author=Vinberg, Ėrnest Borisovich|title=A Course in Algebra|publisher=American Mathematical Society|year=2003|isbn=9780821834138|page=3|url=https://books.google.com/books?id=kd24d3mwaecC&pg=PA3}}</ref>。

{{math|S}} が[[反射関係|反射的]]、非反射的、[[対称関係|対称的]]、[[反対称関係|反対称的]]、[[非対称関係|非対称的]]、[[推移的関係|推移的]]、[[完全関係|完全]]、[[二項関係#集合上の関係|三分的]]、[[半順序]]、[[全順序]]、{{仮リンク|strict weak order|en|strict weak order}}、{{仮リンク|Strict weak order#Total preorders|en|Strict weak order#Total preorders|label=total preorder}} (weak order)、[[同値関係]]、あるいは任意の他の特別な性質を持つ関係であることと、{{math|R}} がそうであることは同値である。

例えば、{{math|R}} が{{仮リンク|順序理論|label=順序|en|Order theory}} {{math|≤}} で {{math|S}} が順序 <math>\scriptstyle \sqsubseteq</math> ならば、{{mvar|X}} から {{mvar|Y}} への同型は全単射 {{math|1=''f'': ''X'' → ''Y''}} であって
:<math>f(u) \sqsubseteq f(v) \iff u \le v  </math>
なるものである。そのような同型は'''{{仮リンク|順序同型|en|order isomorphism}}''' (order isomorphism, isotone isomorphism) と呼ばれる。

{{math|1=''X'' = ''Y''}} ならば、これは関係を保つ[[自己同型]]である。

==同型と全単射準同型の違い==
{{仮リンク|具体圏|en|concrete category}}（すなわち、大雑把に言って、対象が集合で射が集合の間の写像である圏）、例えば[[位相空間の圏]]や代数的対象（群、環、加群など）の圏、において、同型射は台集合上全単射でなければならない。代数的な圏（具体的には{{仮リンク|variety (universal algebra)|label=普遍代数学の意味での varieties|en|variety (universal algebra)}} の圏）において、同型射は台集合上全単射な準同型と同じである。しかしながら、全単射準同型が同型射とは限らない具体圏（例えば位相空間の圏）があり、各対象が台集合を持つが同型射が全単射とは限らない圏（例えば CW 複体のホモトピー圏）がある。

==応用==
[[抽象代数学]]において，2つの基本的な同型射が定義される：
* [[群同型]]、2つの[[群 (数学)|群]]の間の同型
* [[環同型]]、2つの[[環 (数学)|環]]の間の同型（[[可換体|体]]の間の同型は実は環同型であることに注意）

[[代数的構造]]の[[自己同型]]が[[群 (数学)|群]]をなすのと全く同様に、共通の構造を持つ2つの代数の間の同型は {{仮リンク|heap (mathematics)|en|heap (mathematics)|label=heap}} をなす。特定の同型に2つの構造を同一視させることでこの heap は群になる。

[[解析学]]において、[[ラプラス変換]]は難しい[[微分方程式]]を簡単な[[代数方程式]]に写す同型写像である。

[[圏論]]において、[[圏 (数学)|圏]] {{mvar|C}} は2つの[[クラス (集合論)|クラス]]からなるとしよう。1つは対象のクラスで、1つは[[射 (数学)|射]]のクラスである。このとき前の例や多くの他の場合を含む同型射の一般的な定義は：同型射とは逆射をもつ射 {{math|1=''f'': ''a'' → ''b''}} である、すなわち射 {{math|1=''g'': ''b'' → ''a''}} であって {{math|1=''fg'' = 1<sub>''b''</sub>}} かつ {{math|1=''gf'' = 1<sub>''a''</sub>}} なるものが存在する射である。例えば、全単射[[線型写像]]は[[ベクトル空間]]の間の同型写像であり、逆関数も連続な全単射[[連続関数]]は[[位相空間]]の間の[[同相写像]]と呼ばれる同型写像である。

[[グラフ理論]]において、2つのグラフ {{mvar|G}} と {{mvar|H}} の間の同型写像は {{mvar|G}} の頂点たちから {{mvar|H}} の頂点たちへの全単射 {{mvar|f}} であって次の意味で「辺の構造」を保つものである：{{mvar|G}} において[[頂点 (グラフ理論)|頂点]] ''u'' から頂点 {{mvar|v}} に辺があるのは {{mvar|H}} において {{math|''f''(''u'')}} から {{math|''f''(''v'')}} に辺があるとき、かつそのときに限る。[[グラフ同型]]を参照。

解析学において、2つの[[ヒルベルト空間]]の間の同型写像は和とスカラー倍と内積を保つ全単射である。

{{仮リンク|logical atomism|en|logical atomism}} の早期の理論において、facts と true propositions の間の形式的な関係は[[バートランド・ラッセル]]と[[ルートヴィヒ・ヴィトゲンシュタイン]]によって同型であると理論化された。この方向の考えの例はラッセルの {{仮リンク|Introduction to Mathematical Philosophy|en|Introduction to Mathematical Philosophy}} において見つけられる。

[[サイバネティックス]]において。{{仮リンク|Good Regulator|en|Good Regulator}} あるいは Conant-Ashby theorem は "Every Good Regulator of a system must be a model of that system" と述べられる。Whether regulated or self-regulating an isomorphism is required between regulator part and the processing part of the system.

==等式との関係==
{{See also|等式}}
数学のある分野、特に[[圏論]]では、[[等式|等しいこと]]と同型とを区別するのが大切である{{sfn|Mazur|2007}}。等しいとは2つの対象が全く同じであることであり、一方について正しいすべてのことは他方についても正しい。一方同型は一方の対象の構造のある指定された部分について正しいすべてのことは他方についても正しいことを意味する。例えば、集合
:<math>A = \{ x \in \mathbb{Z} \mid x^2 < 2\}</math> と <math>B = \{-1, 0, 1\} \,</math>
は等しい；それらは整数の同じ部分集合で表示が違うだけである――前者は{{仮リンク|内包的定義|label=内包的|en|intensional definition}}（{{仮リンク|set builder notation|en|set builder notation}}）であり、後者は{{仮リンク|外延的定義|label=外延的|en|extensional definition}}（明示的な列挙）である。対照的に、集合 {{math|1={{mset|''A'', ''B'', ''C''}}}} と {{math|{{mset|1, 2, 3}}}} は等しくはない――前者の元は文字だが後者の元は数である。これらは集合として同型である、なぜならば有限集合は[[濃度 (数学)|濃度]]（元の個数）によって同型を除いて決定され、これらは両方とも3つの元を持っているからであるが、同型写像の選び方はたくさんある――1つの同型写像は
:<math>\text{A} \mapsto 1, \,\text{B} \mapsto 2, \,\text{C} \mapsto 3</math>
であり、別の同型写像は
:<math>\text{A} \mapsto 3, \,\text{B} \mapsto 2, \,\text{C} \mapsto 1</math>
であり、どれか1つの同型写像が本質的に他のよりも良いということはない<ref group="note">注意深い読者は {{math|''A'', ''B'', ''C''}} が慣習的な順序、すなわちアルファベット順であり、同様に {{math|1, 2, 3}} も整数の順番だから、1つの特定の同型、すなわち
:<math>\text{A} \mapsto 1, \text{B} \mapsto 2, \text{C} \mapsto 3</math>
が「自然」だと思うかもしれない。より形式的には、''集合''としてはこれらは同型であるが、自然に同型ではない（同型写像の複数の選び方がある）。一方で、''順序集合''としては自然に同型である（上で与えられた一意的な同型写像がある）、なぜならば{{仮リンク|有限全順序|en|finite total order}}は濃度による一意的な同型を除いて一意的に決定されるからである。

この直観は以下のように言うことで定式化できる。同じ濃度をもった任意の2つの有限[[全順序集合]]は次のような自然な同型を持つ。前者の[[最小元]]を後者の最小元に送り、前者の残りの最小元を後者の残りの最小元に送り、……。しかし一般には。与えられた有限濃度の集合の対は自然に同型ではない、なぜならば写像の選び方が1つよりも多くあるからだ――ただし濃度が 0 あるいは 1 のときは除く。このときは一意的な選択がある。</ref><ref group="note">実は、2つの3元集合の間の異なる同型写像はちょうど {{math|1=3! = 6}} 個ある。これは与えられた3元集合の[[自己同型]]の個数に等しく（そして3文字の[[対称群]]の位数に等しく）、一般に2つの対象の間の同型写像の集合 {{math|Iso(''A'', ''B'')}} は {{mvar|A}} の自己同型群 {{math|Aut(''A'')}} の {{仮リンク|torsor|en|torsor}} であり {{mvar|B}} の自己同型群の torsor でもある。実は、対象の自己同型は、この後述べるようにベクトル空間のその双対や二重双対との同一視における基底の変換の影響によって論証されるように、同型と等号を区別する主な理由である。</ref>。この観点と意味において、これらの2つの集合は「同一」とは考えられないから等しくない：それらの間の同型を選ぶことは出来るが、これは同一であることよりも弱い主張であり、選ばれた同型の文脈でしか有効でない。

同型は明らかで従わざるを得ないように見えることもあるが、なお等号ではない。単純な例として、[[:en:Joseph Kennedy|Joe]]、[[:en:John F. Kennedy|John]]、[[:en:Robert F. Kennedy|Bobby]] Kennedy の間の[[系譜学]]的関係は、実際の意味で、Manning family の[[アメリカン・フットボール]]の[[クォーターバック]]、[[:en:Archie Manning|Archie]]、[[:en:Peyton Manning|Peyton]]、[[:en:Eli Manning|Eli]] の間の系譜学的関係と同じである。父子関係と兄弟関係は完璧に対応している。2つの家族の間のこの類似性は用語 ''isomorphism'' (Greek ''iso''-, "same," and -''morph'', "form" or "shape") の起源を説明する。しかしケネディー一家はマニング一家と同じ人々ではないから、2つの系譜学的構造は単に同型であって等しくはない。

別の例はより形式的で等号を同型と区別する動機づけをより直接に説明する：[[有限次元ベクトル空間]] {{mvar|V}} と {{mvar|V}} からその係数体 {{mathbf|K}} への線型写像のなす[[双対空間]] {{math|1=''V''* = { ''φ'': V → '''K''' {{)}}}} との区別である。これらの空間は同じ次元を持ち、したがって抽象的なベクトル空間としては同型である（なぜなら，集合が濃度で分類されるのとちょうど同じように、代数的にはベクトル空間は次元によって分類されるため）が、同型写像 <math> V \, \overset{\sim}{\to} \, V^*</math> の「自然」な選択は存在しない。{{mvar|V}} の基底を選ぶと、これは同型を生む：すべての {{math|1=''u'', ''v'' ∈ ''V''}} に対して、
:<math>v \ \overset{\sim}{\mapsto} \ \phi_v \in V^* \quad \text{such that} \quad \phi_v(u) = v^\mathrm{T} u</math>.

これは[[列ベクトル]]（{{mvar|V}} の元）を[[行ベクトル]]（{{mvar|V*}} の元）に[[転置行列|転置]]で変換することに対応するが、基底の異なる選択は異なる同型を与える：同型は「基底のとり方に依存する」のである。より微妙なことに、ベクトル空間 {{mvar|V}} からその{{仮リンク|二重双対|en|double dual}} {{math|1= ''V''** = { ''x'': ''V''* → '''K''' {{)}}}} への基底のとり方に依らない写像が''存在する''：すべての {{math|1=''v'' ∈ ''V''}} と {{math|''φ'' ∈ ''V''*}} に対して、
:<math>v \ \overset{\sim}{\mapsto} \ x_v \in V^{**} \quad \text{such that} \quad x_v(\phi) = \phi(v).</math>

これは第三の概念、[[自然同型]]を導く：{{mvar|V}} と {{mvar|''V''**}} は異なる集合であるが、それらの間の同型写像の「自然」な取り方が存在する。「任意の選択に依存しない同型写像」というこの直観的な概念は[[自然変換]]の概念において定式化される；端的には、''任意の''ベクトル空間に対して一貫した方法でベクトル空間とその二重双対を同一視、あるいはより一般に、写す <math>V \, \overset{\sim}{\to} \, V^{**}</math> ことができる。この直観の定式化は圏論の発展の動機づけである。

しかしながら、自然同型と等号の区別が通常されない場合がある。[[普遍性]]によって特徴づけられる対象に対してである。実は、同じ普遍性を共有する2つの対象の間には、自然でなければならない一意的な同型が存在する。典型的な例は[[実数]]の集合であり、無限十進展開、無限二進展開、[[コーシー列]]、[[デデキント切断]]、多くの他の方法によって定義できる。形式的にはこれらの構成は異なる対象を定義するが、すべて同じ普遍性の解である。これらの対象はちょうど同じ性質を持つから、構成の手法は忘れてそれらを等しいと考えることができる。これが "''the'' set of the real numbers" と言う時に誰もがやっていることである。同じことは[[商集合|商空間]]で起こる：それらは一般に[[同値類]]の集合として構成される。しかしながら、集合の集合を話すことは直観に反するかもしれず、商空間は一般に、しばしば「点」と呼ばれる未決定な対象の集合とこの集合への全射との対と考えられる。

任意の同型（選択に依存するもの）と自然同型（一貫してできるもの）との区別を描きたい場合、自然でない同型には {{math|≈}} を書き、自然同型には {{math|{{larger|≅}}}} と書くことができる。例えば {{math|1=''V'' ≈  ''V''*}} と {{math|1=''V'' <span style="font-size:120%">≅</span> ''V''**}} である。この慣習は広く用いられているものではなく、自然でない同型と自然同型を区別したい著者は一般に明示的に違いを述べる。

一般に、2つの対象が「等しい」と言うことは、これらの対象が住んでいるより大きい（周囲の）空間の概念が存在するときのためにとってある。ほとんどの場合、（上の整数の集合の例のように）与えられた集合の2つの部分集合の等号について話すが、抽象的に表示された2つの対象については話さない。例えば、3次元空間における2次元単位球面
:<math>S^2 := \{ (x,y,z) \in \mathbb{R}^3 \mid x^2 + y^2 + z^2 = 1\}</math>
と[[複素平面]]の[[一点コンパクト化]] {{math|1='''C''' &cup; {{mset|∞}}}} として表せる[[リーマン球面]] <math>\widehat{\mathbb{C}}</math> と複素[[射影直線]]（[[商位相空間|商空間]]）
:<math>\mathbf{P}_{\mathbb{C}}^1 := (\mathbb{C}^2\setminus \{(0,0)\}) / (\mathbb{C}^*)</math>
として表せるリーマン球面は1つの数学的対象の3つの異なる記述であり、すべて同型であるが、すべてある1つの空間の部分集合ではないから、等しくない：1つ目は {{math|'''R'''<sup>3</sup>}} の部分集合で、2つ目は {{math|1='''C''' ≅ '''R'''}}<sup>2</sup><ref group="note">正確には、複素数の実平面との同一視
:<math>\mathbf{C} \cong \mathbf{R}\cdot 1 \oplus \mathbf{R} \cdot i = \mathbf{R}^2</math>
は {{mvar|i}} の取り方に依存する；{{math|−i}} を選ぶこともでき、異なる同一視を生む――形式的には、[[複素共役]]が自己同型である――が、実際にはそのような同一視をしたとしばしば仮定する。</ref> に追加の一点を加えたもので、3つ目は {{math|'''C'''<sup>2</sup>}} の {{仮リンク|subquotient|en|subquotient}} である。

圏論の文脈では、対象は通常せいぜい同型である――実際、圏論の発展の動機づけは[[ホモロジー論]]における異なる構成が同値な（同型な）群を生むことを示すことであった。しかしながら、2つの対象 {{mvar|X}} と {{mvar|Y}} の間の写像たちが与えられると、それらが等しいかどうか（それらは集合 {{math|Hom(''X'', ''Y'')}} の元なので、等しいかどうかは適切な関係である）を、特に[[可換図式]]において、問う。

==脚注==
{{脚注ヘルプ}}
=== 注釈 ===
{{Reflist|group=note}}
=== 出典 ===
{{refimprove|date=September 2010}}
{{Reflist}}

== 参考文献 ==
* {{Citation | first = Barry | last = Mazur | authorlink = Barry Mazur | title = When is one thing equal to some other thing? | date = 12 June 2007 | url = http://www.math.harvard.edu/~mazur/preprints/when_is_one.pdf | ref = harv}}

==関連項目==
{{Portal|数学}}
*[[双模倣性]]
*{{仮リンク|Heap (数学)|en|Heap (mathematics)}}
*[[等長写像]]
*{{仮リンク|同型類|en|Isomorphism class}}
*[[同型定理]]
*[[普遍性]]

==外部リンク==
{{Wiktionary|isomorphism}}
*{{SpringerEOM|title=Isomorphism|urlname=Isomorphism}}
*{{planetmath reference|id=1936|title=Isomorphism}}
*{{MathWorld | urlname=Isomorphism | title = Isomorphism}}

{{Normdaten}}
{{DEFAULTSORT:とうけいしやそう}}
[[Category:射]]
[[Category:数学に関する記事]]