Epimorphismus

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Der Begriff Epimorphismus (von griechisch ἐπί epi- auf und griechisch μορφή morphē Gestalt, Form) wird in der Mathematik unterschiedlich gebraucht. In der universellen Algebra ist ein Epimorphismus ein Homomorphismus, der surjektiv ist. In der Kategorientheorie ist Epimorphismus der duale Begriff zu Monomorphismus und verallgemeinert den (mengentheoretischen) Begriff der surjektiven Abbildung.

Äquivalent sind die beiden Begriffe zumindest in den folgenden Fällen:

Epimorphismus in der Kategorientheorie[Bearbeiten | Quelltext bearbeiten]

Definition[Bearbeiten | Quelltext bearbeiten]

In der Kategorientheorie ist ein Epimorphismus ein Morphismus mit folgender Eigenschaft:

Sind beliebige Morphismen mit , dann ist stets . (Man sagt auch: ist „rechtskürzbar“.)[1]

(zusammen mit ) heißt dann ein Quotientenobjekt von .

In den Pfeildiagrammen der homologischen Algebra wird ein Epimorphismus als kurze exakte Sequenz

oder unter Verwendung eines Zweispitzenpfeils mit zwei Termen als

notiert.

Spezielle Epimorphismen[Bearbeiten | Quelltext bearbeiten]

Ein Epimorphismus heißt extremal, wenn er Epimorphismus ist und zusätzlich folgende Extremaleigenschaft erfüllt:

Ist , wobei ein Monomorphismus ist, dann muss ein Isomorphismus sein.

Beispiele[Bearbeiten | Quelltext bearbeiten]

Epimorphismen von Vektorräumen oder allgemein Moduln sowie (abelschen) Gruppen sind genau die surjektiven Homomorphismen.

Epimorphismen von Ringen sind im Allgemeinen nicht surjektiv, siehe unten.

In den Kategorien Set, Grp sind die Epimorphismen genau die extremalen Epimorphismen, und zwar die surjektiven Morphismen.

In der Kategorie der topologischen Räume sind die Epimorphismen die surjektiven stetigen Abbildungen und die extremalen Epimorphismen die Quotientenabbildungen.

In der Kategorie Top2 der Hausdorff-Räume sind die extremalen Epimorphismen die gleichen wie in Top, jedoch die Epimorphismen sind die stetigen Abbildungen mit dichtem Bild. Diese Tatsache wird häufig ausgenutzt bei so genannten „Dichteschlüssen“: Um zu zeigen, dass zwei stetige Funktionen mit gemeinsamen Definitionsbereich dom (ein Hausdorff-Raum) gleich sind, genügt es zu zeigen, dass sie auf einer dichten Teilmenge D des Definitionsbereichs übereinstimmen. Die Inklusionsabbildung D dom ist ein Epimorphismus, woraus die Gleichheit auf dem gesamten Definitionsbereich folgt.

In der Kategorie BanSp1 sind die Epimorphismen die linearen stetigen Abbildungen mit dichtem Bild (Banachräume sind Hausdorffsch) und die extremalen Epimorphismen sind die surjektiven stetigen linearen Abbildungen.

Epimorphismus in der universellen Algebra[Bearbeiten | Quelltext bearbeiten]

In der universellen Algebra ist ein Epimorphismus definiert als surjektiver Homomorphismus.

Beispiele[Bearbeiten | Quelltext bearbeiten]

Ist ein Homomorphismus, so ist surjektiv, also ein Epimorphismus.

Zu jedem Normalteiler einer Gruppe gibt es einen kanonischen Epimorphismus , der ein Element von auf seine Restklasse abbildet.

Bekannteste Beispiele für kanonische Epimorphismen sind die Abbildungen, die einer ganzen Zahl ihren Rest bei Division durch eine natürliche Zahl zuordnet, wobei dieser Rest als Element des Restklassenringes aufgefasst wird.

Die Parallelprojektion ist in der linearen Algebra ein Vektorraum-Homomorphismus, der einen Vektorraum surjektiv auf einen Untervektorraum abbildet.

Beispiel: nicht surjektiver Monoidepimorphismus[Bearbeiten | Quelltext bearbeiten]

Betrachten wir die Einbettung der natürlichen Zahlen einschließlich der Null in die ganzen Zahlen (beide sind Monoide mit der Addition als Verknüpfung und als neutralem Element):

Sie ist nicht surjektiv und somit kein Epimorphismus im Sinne der universellen Algebra. Sie ist jedoch ein Epimorphismus in der Kategorie der Monoide.

Beweis: Es sei ein Monoid, dessen Operationen auch mit und bezeichnet werden (obwohl keine Kommutativität angenommen wird!). Weiter seien Monoid-Homomorphismen und . Zu zeigen ist nun, dass . Wegen stimmen und auf nicht-negativen ganzen Zahlen überein. Dass sie auch auf negativen Zahlen übereinstimmen, zeigt folgende Gleichungskette, die für ein beliebiges negatives gilt:

Siehe auch[Bearbeiten | Quelltext bearbeiten]

Einzelnachweise[Bearbeiten | Quelltext bearbeiten]

  1. Steve Awodey: Category theory. Clarendon Press, Oxford 2010, ISBN 0-19-923718-2, S. 25.