小内山晶: /* 関連項目 */

2010-08-19T17:00:29Z

‎関連項目

2007年5月17日 (木) 13:41にキリカによる

2007-05-17T13:41:18Z

キリカ: http://ja.wikipedia.org/w/index.php?title=準同型&oldid=11440526

2007-05-17T13:40:51Z

http://ja.wikipedia.org/w/index.php?title=準同型&oldid=11440526

新規ページ

'''準同型'''（じゅんどうけい、{{lang|en|''homomorphic''}}）とは、複数の対象（おもに[[代数的構造|代数系]]）に対して、それらの特定の[[構造 (数学)|数学的構造]]に関する類似性を表す概念で、構造を保つ[[写像]]である'''準同型写像'''（じゅんどうけいしゃぞう、{{lang|en|''homomorphism''}}, {{lang|en|''morphism''}}) を持つことを意味する。構造がまったく同じであることを表すときは、準同型・準同型写像の代わりに'''同型'''（どうけい、{{lang|en|''isomorphic''}}）および'''同型写像'''（どうけいしゃぞう、{{lang|en|''isomorphism''}}）という術語を用いる。しばしば、準同型写像・同型写像のことを指して単に準同型・同型と呼ぶ。
: 構造により、[[等長写像|等長・等距]]、[[同相]]や[[射型]]などといった特定の術語が用いられることがある。

== 定義と概要 ==
''A'' を[[台集合]]として、[[代数的構造]] ''R'' をもつ代数系を (''A'', ''R'') と記す。''R'' は[[演算]]と呼ばれる[[写像]]
:<math>\alpha\colon A \times \cdots \times A \to A</math>
の集まりである。同類である二つの代数系 (''A'', ''R''), (''B'', ''S'') (''R'' = {αλ}λ∈Λ, ''S'' = {βλ}λ∈Λ) に対し、(''A'', ''R'') から (''B'', ''S'') への'''準同型写像''' (''f'', ''F''): (''A'', ''R'') → (''B'', ''S'') (''F'' = {''f''λ}λ∈Λ) とは、台集合の間の写像 ''f'': ''A'' → ''B'' であって、''R'', ''S'' の各々対応する演算 αλ, βλ を[[可換]]にする（あるいは両立させる）写像 ''f''λ を引き起こすものをいう。つまり
:<math>f\circ \alpha_\lambda = \beta_\lambda\circ f_\lambda,\quad
\left(f_\lambda((x_i)_{i\in I_\lambda}) := (f(x_i))_{i \in I_\lambda}\right)</math>
となる写像の組 (''f'', ''F'') を準同型写像と呼ぶのである。ここで、αλ, βλ は |''I''λ| 項演算であるものとする。通常は (''f'', ''F''): (''A'', ''R'') → (''B'', ''S'') を単に準同型 ''f'': ''A'' → ''B'' と略記する。

重要なことは、''A'' の演算と ''B'' の演算とが台集合上の写像 ''f'' のみで一対一に対応させることができるということである。これを、''f'' は'''構造を保存''' {{lang|en|(structure preserving)}} する、'''構造と両立''' {{lang|en|(compatible with structure)}} する、'''構造と可換''' {{lang|en|(commute with structure)}} であるなどといい表す。これにより、''A'' における演算が ''f'' で ''B'' に移されると考えることができる。特に、準同型写像 ''f'': ''A'' → ''B'' が与えられたとき、その像 ''f''(''A'') は ''B'' の部分代数系となる。このとき一般には、像 ''f''(''A'') はもとの代数系 ''A'' からある程度 "つぶれている" ため、像 ''f''(''A'') から直接にもとの代数系 ''A'' の様子を知ることは完全にはできないのであるが、この潰れ具合は準同型の[[核 (数学)|核]]と呼ばれる[[同値関係]]によって推し量ることができ、それによってもとの代数系 ''A'' を復元することができる。一方、準同型 ''f'' が単射であれば ''A'' は ''B'' にその構造まで込めて埋め込まれる。ゆえに、単射な準同型をしばしば'''埋め込み'''（うめこみ、{{lang|en|embedding}}）と呼ぶ。なお、単射な準同型、全射な準同型はそれぞれ'''単準同型'''（たんじゅんどうけい、{{lang|en|injective homomorphism, monomorphism}}）、'''全準同型'''（ぜんじゅんどうけい、{{lang|en|surjective homomorphism, epimorphism}}）とも言われる。

準同型写像 ''f'' が逆写像 ''f''−1 を持ち、なおかつ ''f''−1 もまた準同型であるとき、''f'' は'''同型写像'''あるいは単に同型であるという。''f'' が同型ならば ''f''−1 も同型である。ある数学的構造を持つ二つの集合 ''A'', ''B'' の間に準同型写像が存在するとき、''A'' と ''B'' とは準同型であるといい、さらに同型写像が存在するとき同型であるという。互いに同型な集合はその構造に関しては同じものとみなすことができる。

[[体 (数学)|体]]の準同型（単位元持つ環としての準同型）は常に単射であり、かつ零射でないのでその像と元の体は同型になる。ゆえに体の場合は準同型といわず'''中への同型''' {{lang|en|(isomorphic into)}} とよび、さらに全射ならば'''上への同型''' {{lang|en|(isomorphic onto)}} であるという。また、[[群論|群]]や[[環論|環]]の準同型、[[ベクトル空間]]の[[線型写像]]（環上の[[加群]]としての準同型）は全単射ならば同型である。

まったく同じ写像でも、ある構造に注目したときは準同型を与えるけれども、始域・終域にさらに構造をいれたり、他の構造を持つ集合と見たりしたときには準同型でないことがありうる。したがって、同時にいくつもの構造を併せ持つ集合たちの間の準同型を扱う時には、それがどの構造と可換であるかをはっきりさせる必要が生じる。

== 諸定義 ==
=== 自己同型群・自己準同型環 ===
代数系 (''A'', ''R'') に対し、始域と終域が同じ ''A'' である準同型写像 ''f'': ''A'' → ''A'' は ''A'' 上の'''自己準同型'''（じこじゅんどうけい、{{lang|en|endomorphism}}）であると言い、さらに ''f'' が同型写像であるときには ''A'' 上の'''自己同型'''（じこどうけい、{{lang|en|automorphism}}）と呼ばれる。 ''A'' 上の自己同型の全体 Aut(''A'') は写像の合成を二項演算と考えれば、恒等写像 id''A'' を単位元とし、逆写像を逆元とする群を成す。これを ''A'' 上の'''自己同型群'''と呼ぶ。

また、''G'' が群であるとき、''G'' 上の自己準同型 ''f'', ''g'' に対し、''f''(x)''g''(''y'') = ''g''(''y'')''f''(''x'') がどんな ''x'', ''y'' ∈ ''G'' に対しても成り立つなら ''f'' と ''g'' は'''加法可能'''であると言い、(''f'' + ''g'')(''x'') := ''f''(''x'')''g''(''x'') (''x'' ∈ ''G'') と置く。特に、''G'' が[[アーベル群]]なら ''G'' 上の自己準同型の全体 End(''G'') で加法が定義され、さらに写像の合成を積として End(''G'') は環となる。これを ''G'' 上の'''自己準同型環'''という。

== 例 ==
=== マグマの準同型 ===
集合 ''M'' と ''M'' のなかで閉じたひとつの二項演算 α: ''M'' × ''M'' → ''M'' が与えられている代数系 (''M'', α) をマグマと言う。''M'' の二つの元 ''x'', ''y'' に対し、(''x'', ''y'') の α による像を ''x''α''y'' と記すことにすると、二つのマグマ (''M'', α), (''N'', β) の間の準同型 ''f'': ''M'' → ''N'' とは
:<math>f(x\alpha y) = f(x)\beta f(y)</math>
となる写像 ''f'': ''M'' → ''N'' である。

=== 群準同型 ===
[[群論|群]]は積と呼ばれる[[二項演算]] × を持ち、積に関する単位元 1''G'' の存在という 0 項演算、積に関する逆元をとる単項演算 ·−1 の三つの演算を持つ代数系である。したがって、二つの群 ''G'' = (''G'', ×, 1''G'', ·−1), ''H'' = (''H'', ×′, 1''H'';, ·−1) の間の準同型 ''f'': ''G'' → ''H'' は条件
#<math>f(x_1\times x_2) = f(x_1)\times' f(x_2)\quad(x_1,\, x_2 \in G),</math>
#<math>f(1_G) = 1_{H},</math>
#<math>f(x^{-1}) = f(x)^{-1}\quad(x\in G)</math>
を満たすものである。ただし、条件 1 は後の条件 2, 3 を導くため、群の準同型は条件 1 のみによって定義されると考えてよい。また、しばしば (''G'', ×, 1''G'', ·−1) を (''G'', ×) と略記する。

正の実数全体 '''R'''+ が乗法に関して成す群 ('''R'''+, ×) と実数全体 '''R''' が加法に関して成す群 ('''R''', +) を考えるとき、[[対数関数]] log は
:<math>\log(a\times b) = \log(a) + \log(b)</math>
を満たす。ゆえに log: '''R'''+ → '''R''' は準同型の例を与える。

=== 線型写像 ===
:{{main|線型写像|作用 (数学)}}
[[体 (数学)|体]] ''K'' 上のベクトル空間 ''V'' とは、加法と呼ばれる二項演算 + とスカラー倍と呼ばれる単項演算族 {αk: ''V'' → ''V''}''k''∈''K'' (α''k''(''v'') := ''kv'' for ''k'' ∈ ''V'') を演算として持つ代数系 (''V'', +, 0, −·, {αk}''k''∈''K'') である（ここで、0 は加法に関する単位元（[[零元]]）であり, −· は加法に関する逆元（マイナス元）を与える単項演算であるが、加法に関して ''V'' は群となるのでこれを略して (''V'', +, {αk}''k''∈''K'') と考えてもよい）。また、スカラー倍の全体からなる単項演算族は体 ''K'' から ''V'' の加法群としての[[アーベル群#アーベル群の準同型|自己準同型環]] End(''V'') への単位的環としての準同型像として得られるものである。

二つのベクトル空間 (''V'', +, {αk}''k''∈''K''), (''W'', +′, {βk}''k''∈''K'') (βk: ''W'' → ''W''; β''k''(''w'') := ''kw'' for ''k'' ∈ ''W'') の間の準同型 ''f'': ''V'' → ''W'' は
*<math>f(v_1 + v_2) = f(v_1) +' f(v_2) \quad (v_1,\,v_2 \in V),</math>
*<math>f(kv) = f(\alpha_k(v)) = \beta_k(f(v)) = kf(v)\quad (v \in V)</math>
を満たすものである。ベクトル空間（あるいはもっと一般の環上の加群）の間の準同型写像のことを通常は、[[線型写像]]と呼ぶ。

== 代数的構造以外の構造 ==
:{{main|射 (圏論)}}
[[位相群]]や[[順序体]]など、代数的構造以外に付加的な構造を持つ代数系において準同型写像と呼ぶべきものは、単に抽象代数系としての準同型になっているということだけではなく、付加された構造をも考慮したものをとるのが普通である。

たとえば[[位相空間]]の構造を持つならば準同型は[[連続写像]]である。同型写像に当たるものは全単射かつ両連続な写像であり、それは同相写像 {{lang|en|(homeomorphism)}} あるいは[[位相同型]]写像 {{lang|en|(homeomorphic isomorphism)}} と呼ばれる。同様に、[[順序集合|順序構造]]が付加されている代数系の準同型は単調写像（順序を保つ写像・順序を逆にする写像）であり、同型写像は全単射な単調写像、順序同型（順序を保つ同型・順序を逆にする同型）と呼ばれる性質を持つものを言うのである。また一方で、単なる集合を演算を持たない代数系と思えば、その間の準同型は単に写像であるということになるし、集合の中に特定の点（基点）を固定して構造として付加したものと考えるなら、基点を持つ集合の間の準同型は、基点を基点にうつす写像である。

これらの付加的な構造のいくつかは、台集合（にいくつか集合演算を施したもの）のある性質を保つ部分集合族として[[数学的構造|構造]]が特徴付けられ、したがって台集合上の写像に対して構造の上の写像が引き起こされるという状況を考えうるところは代数系における演算と同様である。この引き起こされた写像が適当な意味で構造を保つ、構造と可換であるということが準同型と呼ばれることのある所以である。本質的には、準同型写像とは特定の数学的構造のなす[[圏論|圏]]における[[射 (圏論)|射]] {{lang|en|(morphism)}} になっているような写像のことであると言ってよい（もちろん一般の圏ではその対象は集合とは限らないし、その射が写像であるとも限らない）。準同型を射のことととらえるならば代数系に考察を限る必要はない。

== 関連項目 ==
* [[数学的構造]]
* [[射 (圏論)]]
* [[核 (数学)]]

[[category:代数的構造|しゆんとうけい]]
[[Category:数学に関する記事|しゆんとうけい]]

[[de:Homomorphismus]]
[[en:Homomorphism]]
[[es:Homomorfismo]]
[[et:Homomorfism]]
[[he:הומומורפיזם_(אלגברה)]]
[[it:Omomorfismo]]
[[nl:Homomorfisme]]
[[pl:Homomorfizm]]
[[sl:Homomorfizem]]

@@ 62行目: / 62行目: @@
 * [[射 (圏論)]]
 * [[核 (数学)]]
 [[category:代数的構造|しゆんとうけい]]
@@ 67行目: / 68行目: @@
 [[en:Homomorphism]]

@@ 66行目: / 66行目: @@
 [[Category:数学に関する記事|しゆんとうけい]]
 [[en:Homomorphism]]
-[[es:Homomorfismo]]
-[[et:Homomorfism]]
+<div style="margin:0.5em 0;background-color:#f6f6f6;border:1px solid #ccc;padding:3px;font-size:80%">
-[[he:הומומורפיזם_(אלגברה)]]
+このページは [http://ja.wikipedia.org/ Wikipedia日本語版]由来のコンテンツを利用しています。もとの記事は[http://ja.wikipedia.org/wiki/準同型 '''準同型''']にあります。執筆者のリストは[http://ja.wikipedia.org/w/index.php?title=準同型&amp;action=history '''履歴''']をご覧ください。
-[[it:Omomorfismo]]
+[[Yourpedia]]と同じく、[http://ja.wikipedia.org/wiki/Wikipedia Wikipedia]は[http://www.gnu.org/copyleft/fdl.html GFDLのライセンス]で提供されています。
-[[nl:Homomorfisme]]
+コンテンツを再利用する際には同じくGFDLのライセンスを採用してください。
-[[pl:Homomorfizm]]
+</div>
-[[sl:Homomorfizem]]
+[[Category:Wikipedia出典元の記事|{{PAGENAME}}]]

準同型 - 変更履歴

小内山晶: /* 関連項目 */

2007年5月17日 (木) 13:41にキリカによる

キリカ: http://ja.wikipedia.org/w/index.php?title=準同型&oldid=11440526