„Homomorphismus“ – Versionsunterschied
[gesichtete Version] | [gesichtete Version] |
RPI (Diskussion | Beiträge) |
RPI (Diskussion | Beiträge) Ergänzungen |
||
Zeile 8: | Zeile 8: | ||
:<math>\varphi\colon \boldsymbol A \to \boldsymbol B.</math> |
:<math>\varphi\colon \boldsymbol A \to \boldsymbol B.</math> |
||
== Bemerkung == |
=== Bemerkung === |
||
Manche Autoren<ref>[[Wilhelm Klingenberg (Mathematiker)|Wilhelm Klingenberg]]: ''Lineare Algebra und Geometrie.'' Springer, Berlin/Heidelberg 1984, ISBN 3-540-13427-1, S. 7.</ref> nennen einen Homomorphismus auch nur kurz ''Morphismus'', während andere<ref>Fritz Reinhardt, Heinrich Soeder: ''dtv-Atlas Mathematik.'' Band 1: Grundlagen, Algebra und Geometrie. 9. Auflage, Deutscher Taschenbuchverlag, München 1991, 3-423-03007-0, S. 36–37.</ref> jede strukturverträgliche Abbildung „Morphismus“ nennen und nur einen Homomorphismus zwischen algebraischen Strukturen als „Homomorphismus“ bezeichnen. |
Manche Autoren<ref>[[Wilhelm Klingenberg (Mathematiker)|Wilhelm Klingenberg]]: ''Lineare Algebra und Geometrie.'' Springer, Berlin/Heidelberg 1984, ISBN 3-540-13427-1, S. 7.</ref> nennen einen Homomorphismus auch nur kurz ''Morphismus'', während andere<ref>Fritz Reinhardt, Heinrich Soeder: ''dtv-Atlas Mathematik.'' Band 1: Grundlagen, Algebra und Geometrie. 9. Auflage, Deutscher Taschenbuchverlag, München 1991, ISBN 3-423-03007-0, S. 36–37.</ref> jede strukturverträgliche Abbildung „Morphismus“ nennen und nur einen Homomorphismus zwischen algebraischen Strukturen als „Homomorphismus“ bezeichnen. |
||
== Homomorphismus algebraischer Strukturen == |
== Homomorphismus algebraischer Strukturen == |
||
Zeile 16: | Zeile 16: | ||
Für [[algebraische Struktur]]en gilt speziell: |
Für [[algebraische Struktur]]en gilt speziell: |
||
Es seien <math>\boldsymbol A = (A,(f_i))</math> und <math>\boldsymbol B = (B,(g_i))</math> zwei algebraische Strukturen vom gleichen Typ und <math>\sigma_i'</math> bezeichne für jedes <math>i</math> die [[Stelligkeit]] der [[ |
Es seien <math>\boldsymbol A = (A,(f_i))</math> und <math>\boldsymbol B = (B,(g_i))</math> zwei algebraische Strukturen vom gleichen Typ und <math>\sigma_i'</math> bezeichne für jedes <math>i</math> die [[Stelligkeit]] der fundamentalen [[Verknüpfung (Mathematik)|Operationen]] <math>f_i</math> und <math>g_i.</math><ref>Jede <math>n</math>-stellige Operation ist eine spezielle <math>n+1</math>-stellige homogene [[Relation (Mathematik)#Eigenschaften zweistelliger Relationen|Relation]] (Funktion).</ref> Eine Abbildung <math>\varphi\colon A \to B</math> ist genau dann ein ''Homomorphismus'' von <math>\boldsymbol A</math> in <math>\boldsymbol B,</math> wenn für jedes <math>i</math> und für alle <math>a_1,\ldots,a_{\sigma_i} \in A</math> gilt: |
||
: <math>\varphi(f_i(a_1,\ldots,a_{\sigma_i'})) = g_i(\varphi(a_1),\ldots,\varphi(a_{\sigma_i'})).</math> |
: <math>\varphi(f_i(a_1,\ldots,a_{\sigma_i'})) = g_i(\varphi(a_1),\ldots,\varphi(a_{\sigma_i'})).</math> |
||
Zeile 24: | Zeile 24: | ||
* Homomorphismen in der [[Inzidenzgeometrie]], zum Beispiel Homomorphismus projektiver Räume |
* Homomorphismen in der [[Inzidenzgeometrie]], zum Beispiel Homomorphismus projektiver Räume |
||
* [[Homomorphismus (Universelle Algebra)|Homomorphismen algebraischer Strukturen]] |
* [[Homomorphismus (Universelle Algebra)|Homomorphismen algebraischer Strukturen]] |
||
* Homomorphismus zwischen [[Modelltheorie#Grundbegriffe der Modelltheorie|Modellen]] |
* Homomorphismus zwischen [[Modelltheorie#Grundbegriffe der Modelltheorie|Modellen]]<ref>Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: ''Einführung in die mathematische Logik.'' 3., vollst. überarb. u. erw. Auflage, Bibliographisches Institut, Mannheim 1992, ISBN 3-411-15603-1, S. 225.</ref> |
||
== Verallgemeinerungen == |
== Verallgemeinerungen == |
||
Zeile 37: | Zeile 37: | ||
== Weitere Begriffe == |
== Weitere Begriffe == |
||
Ein Homomorphismus <math>\varphi</math> heißt |
Ein Homomorphismus <math>\varphi</math> heißt |
||
*''[[Epimorphismus]]'', wenn <math>\varphi</math> [[Surjektivität|surjektiv]] ist, |
* ''[[Epimorphismus]]'', wenn <math>\varphi</math> [[Surjektivität|surjektiv]] ist, |
||
*''[[Monomorphismus]]'', wenn <math>\varphi</math> [[Injektivität|injektiv]] ist, |
* ''[[Monomorphismus]]'', wenn <math>\varphi</math> [[Injektivität|injektiv]] ist, |
||
*''[[Isomorphismus]]'', wenn <math>\varphi</math> [[bijektiv]] ist und zusätzlich <math>\varphi^{-1}</math> homomorph ist, |
* ''[[Isomorphismus]]'', wenn <math>\varphi</math> [[bijektiv]] ist und zusätzlich <math>\varphi^{-1}</math> homomorph ist, |
||
*''[[Endomorphismus]]'' auf <math>A</math> |
* ''[[Endomorphismus]]'' auf <math>A,</math> wenn <math>\varphi\colon A \to A</math> (<math>\varphi</math> bildet <math>A</math> in sich selbst ab), |
||
*''[[Automorphismus]]'' auf <math>A</math> |
* ''[[Automorphismus]]'' auf <math>A,</math> wenn <math>\varphi\colon A \to A</math> ein Isomorphismus ist. |
||
=== Bemerkung === |
|||
Ein Homomorphismus <math>\varphi</math> zwischen algebraischen Strukturen ist sogar schon dann ein |
|||
* ''Isomorphismus'', wenn <math>\varphi</math> bijektiv ist. |
|||
== Siehe auch == |
== Siehe auch == |
||
Zeile 49: | Zeile 53: | ||
== Literatur == |
== Literatur == |
||
* {{Literatur |
* {{Literatur |
||
| Autor= |
| Autor= Gunther Schmidt, Thomas Ströhlein |
||
| Titel= Relationen und Graphen |
| Titel= Relationen und Graphen |
||
| Verlag= Springer |
| Verlag= Springer |
||
| Ort= Berlin/Heidelberg |
| Ort= Berlin/Heidelberg/New York |
||
| Jahr= 1989 |
| Jahr= 1989 |
||
| ISBN= 3-540-50304-8 |
|||
| Seiten= |
| Seiten= 144–153 |
||
}} |
}} |
||
* {{Literatur |
* {{Literatur |
||
Zeile 76: | Zeile 81: | ||
}} |
}} |
||
== Einzelnachweise == |
== Einzelnachweise und Anmerkungen == |
||
<references /> |
<references /> |
||
[[Kategorie:Algebra]] |
[[Kategorie:Algebra]] |
Version vom 26. November 2013, 12:57 Uhr
Als Homomorphismus (zusammengesetzt aus altgriech. ὁμός (homós) ‚gleich‘ oder ‚ähnlich‘, und μορφή (morphé) ‚Form‘; nicht zu verwechseln mit Homöomorphismus) werden in der Mathematik Abbildungen bezeichnet, die mit (oft algebraischen) mathematischen Strukturen gleichen Typs verträglich sind.
Definition
Es seien und zwei mathematische Strukturen vom gleichen Typ und bezeichne für jedes die Stelligkeit der Relationen und Eine Abbildung heißt dann eine homomorphe Abbildung oder ein Homomorphismus von in wenn für jedes und für alle gilt:
Schreibweise:
Bemerkung
Manche Autoren[1] nennen einen Homomorphismus auch nur kurz Morphismus, während andere[2] jede strukturverträgliche Abbildung „Morphismus“ nennen und nur einen Homomorphismus zwischen algebraischen Strukturen als „Homomorphismus“ bezeichnen.
Homomorphismus algebraischer Strukturen
Für algebraische Strukturen gilt speziell:
Es seien und zwei algebraische Strukturen vom gleichen Typ und bezeichne für jedes die Stelligkeit der fundamentalen Operationen und [3] Eine Abbildung ist genau dann ein Homomorphismus von in wenn für jedes und für alle gilt:
Beispiele
- Ordnungshomomorphismus
- Graphenhomomorphismus
- Homomorphismen in der Inzidenzgeometrie, zum Beispiel Homomorphismus projektiver Räume
- Homomorphismen algebraischer Strukturen
- Homomorphismus zwischen Modellen[4]
Verallgemeinerungen
Auch Abbildungen, die verträglich sind mit Strukturen, die unendlichstellige Operationen besitzen, werden Homomorphismus genannt:
- ein vollständiger Verbandshomomorphismus ist verträglich mit beliebigen (auch unendlichen) Vereinigungen und Durchschnitten
In einigen Teilgebieten der Mathematik beinhaltet der Begriff des Homomorphismus, dass die Verträglichkeit noch weitere Zusatzstrukturen umfasst:
- ein Homomorphismus topologischer Gruppen ist ein stetiger Gruppenhomomorphismus
- ein Lie-Gruppen-Homomorphismus ist ein differenzierbarer Gruppenhomomorphismus
Weitere Begriffe
Ein Homomorphismus heißt
- Epimorphismus, wenn surjektiv ist,
- Monomorphismus, wenn injektiv ist,
- Isomorphismus, wenn bijektiv ist und zusätzlich homomorph ist,
- Endomorphismus auf wenn ( bildet in sich selbst ab),
- Automorphismus auf wenn ein Isomorphismus ist.
Bemerkung
Ein Homomorphismus zwischen algebraischen Strukturen ist sogar schon dann ein
- Isomorphismus, wenn bijektiv ist.
Siehe auch
Literatur
- Gunther Schmidt, Thomas Ströhlein: Relationen und Graphen. Springer, Berlin/Heidelberg/New York 1989, ISBN 3-540-50304-8, S. 144–153.
- Bartel Leendert van der Waerden: Algebra I. 8. Auflage der Modernen Algebra. Springer, Berlin/Heidelberg/New York 1971, ISBN 978-3-540-03561-3(?!), S. 27–30.
- Heinrich Werner: Einführung in die allgemeine Algebra. Bibliographisches Institut, Mannheim 1978, ISBN 3-411-00120-8, S. 48, 19.
Einzelnachweise und Anmerkungen
- ↑ Wilhelm Klingenberg: Lineare Algebra und Geometrie. Springer, Berlin/Heidelberg 1984, ISBN 3-540-13427-1, S. 7.
- ↑ Fritz Reinhardt, Heinrich Soeder: dtv-Atlas Mathematik. Band 1: Grundlagen, Algebra und Geometrie. 9. Auflage, Deutscher Taschenbuchverlag, München 1991, ISBN 3-423-03007-0, S. 36–37.
- ↑ Jede -stellige Operation ist eine spezielle -stellige homogene Relation (Funktion).
- ↑ Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Einführung in die mathematische Logik. 3., vollst. überarb. u. erw. Auflage, Bibliographisches Institut, Mannheim 1992, ISBN 3-411-15603-1, S. 225.