Morphismus

Morphismus

In der Kategorientheorie (einem Teilgebiet der Mathematik) betrachtet man so genannte Kategorien, die jeweils gegeben sind durch eine Klasse von Objekten und für je zwei Objekte X und Y eine Klasse von Morphismen von X nach Y (auch als Pfeile bezeichnet).

Man schreibt:

f\colon X\to Y.

Zu der Kategorie gehört noch eine partielle Verknüpfung der Morphismen, die bestimmte Bedingungen erfüllen muss.

Im Fall einer konkreten Kategorie sind die Objekte Mengen mit einer Struktur, und ein Morphismus ist eine Funktion zwischen den zugrunde liegenden Mengen, die mit der Struktur verträglich ist. Die Verknüpfung ist in diesem Fall die gewöhnliche Hintereinanderausführung von Funktionen. Es gibt aber auch ganz anders gebildete Kategorien, in der man sich Morphismen nicht als Funktionen vorstellen kann, etwa die Kategorie Toph, deren Objekte topologische Räume und deren Morphismen Homotopieklassen stetiger Funktionen sind, oder die Kategorie Rel, deren Objekte Mengen und deren Morphismen die Menge der Relationen zwischen je zwei Objekten ist.

Beispiele

Beispiele von Morphismen sind Homomorphismen der Kategorien, die in der universellen Algebra studiert werden (z.B. Gruppen oder Ringe), stetige Funktionen zwischen topologischen Räumen, differenzierbare Funktionen zwischen differenzierbaren Mannigfaltigkeiten.

Jede Quasiordnung (M,\le) definiert eine Kategorie, in der die Objekte die Elemente von M sind und die Morphismen x \to y zwischen den Objekten genau dann ein Element enthalten, wenn x \le y.

Typen

In der Kategorientheorie wird die oben angegebene Definition noch verallgemeinert. Ein Morphismus f\colon X\to Y heißt ein Isomorphismus, wenn er ein beidseitiges Inverses g\colon Y\to X besitzt, d. h.

f\circ g=\operatorname{id}_Y und g\circ f=\operatorname{id}_X.


  • Jedes Objekt X in jeder Kategorie hat einen identischen Morphismus, geschrieben \operatorname{id}_X, der ein neutrales Element der Komposition ist.
  • Wenn ein Morphismus f eine rechte Inverse besitzt, d.h. wenn es einen Morphismus g mit f\circ g=\operatorname{id} gibt, dann heißt f Retraktion. Analog bezeichnet man mit Schnitt (Sektion, Coretraktion) einen Morphismus, der eine linke Inverse besitzt.
  • Ist f sowohl eine Retraktion als auch eine Sektion, dann heißt f Isomorphismus. In dem Fall können die Objekte X und Y als gleichartig innerhalb ihrer Kategorie betrachtet werden. (Isomorphismen sind beispielsweise in der Kategorie der Mengen die bijektiven Homomorphismen)
  • Ein Morphismus von X nach X heißt Endomorphismus von X.
  • Ein Endomorphismus, der gleichzeitig ein Isomorphismus ist, heißt Automorphismus.
  • Ein Morphismus f\colon X\to Y mit folgender Eigenschaft heißt Epimorphismus:
    Sind g, h\colon Y\to Z beliebige Morphismen mit g\circ f=h\circ f, dann ist stets g = h. (z.B. ist jeder surjektive Homomorphismus ein Epimorphismus)
  • Ein Epimorphismus f heißt extremal wenn aus f=v\circ w und v ist ein Monomorphismus, stets folgt: v ist ein Isomorphismus.
  • Ein Morphismus f\colon X\to Y mit folgender Eigenschaft heißt Monomorphismus:
    Sind g, h\colon W\to X beliebige Morphismen mit f\circ g = f \circ h, dann ist stets g = h. (z.B. ist jeder injektive Homomorphismus ein Monomorphismus)
  • Ein Monomorphismus f heißt extremal wenn aus f= w\circ v und v ein Epimorphismus, stets folgt v ist ein Isomorphismus.
  • Ist f sowohl ein Epimorphismus als auch ein Monomorphismus, dann ist f ein Bimorphismus. Beachte dass nicht jeder Bimorphismus ein Isomorphismus ist. Es ist jedoch jeder Morphismus ein Isomorphismus, der Epimorphismus und Sektion, oder Monomorphismus und Retraktion ist.
    Ein Beispiel für einen Bimorphismus, der kein Isomorphismus ist, liefert die Einbettung der Ganzen Zahlen in die Rationalen Zahlen als Homomorphismus von Ringen.

Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Morphismus — Morphịsmus,   Abbildung zwischen strukturierten Mengen, die die Struktur erhält, z. B. eine stetige Abbildung zwischen topologischen Räumen; Verallgemeinerung des Begriffes Homomorphismus. (Kategorientheorie) …   Universal-Lexikon

  • Morphismus — Mor|phis|mus der; , ...men <zu ↑morpho... u. ↑...ismus> strukturerhaltende Abbildung zwischen strukturierten Mengen (Math.) …   Das große Fremdwörterbuch

  • Universelle Eigenschaft — Eine universelle Eigenschaft ist eine Methode der Mathematik, und dort insbesondere der abstrakten Algebra, sich eine gewünschte Struktur ohne Angabe einer konkreten Konstruktion zu verschaffen. Dabei wird für Objekte einer bestimmten Kategorie …   Deutsch Wikipedia

  • Pfeil (Kategorientheorie) — In der Kategorientheorie (einem Teilgebiet der Mathematik) betrachtet man so genannte Kategorien, die aus einer Vielzahl von Objekten und Morphismen bestehen. Eine Kategorie ist gegeben durch zwei Daten: Eine Klasse von Objekten und für je zwei… …   Deutsch Wikipedia

  • Basiswechsel (Faserprodukt) — Unter einem Basiswechsel versteht man eine spezielle Sichtweise der Bildung eines Faserproduktes in relativen Situationen, insbesondere in der algebraischen Geometrie. In diesem Zusammenhang wird das Faserprodukt oft auch als pull back bezeichnet …   Deutsch Wikipedia

  • Frobeniushomomorphismus — Der Frobeniushomomorphismus ist in der Algebra ein Endomorphismus von Ringen, deren Charakteristik eine Primzahl ist. Der Frobeniushomomorphismus ist nach dem deutschen Mathematiker Ferdinand Georg Frobenius benannt. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

  • Bild (Kategorientheorie) — In der Kategorientheorie ist ein Bild eines Morphismus ein Unterobjekt von Y, das die folgende universelle Eigenschaft hat: Es gibt einen Morphismus mit f = hg. Für jedes Unterobjekt , das obige Eigenschaft erfüllt (f = lk) …   Deutsch Wikipedia

  • Einbettung (Kategorientheorie) — Treue Funktoren und die hier ebenfalls zu besprechenden vollen und volltreuen Funktoren, die eng damit zusammenhängen, sind in der mathematischen Theorie der Kategorientheorie betrachtete Funktoren mit speziellen Eigenschaften. Inhaltsverzeichnis …   Deutsch Wikipedia

  • Kobild — In der Kategorientheorie ist ein Bild eines Morphismus f: X → Y ein Unterobjekt i: im f → Y von Y, das die folgende universelle Eigenschaft hat: Ist t: T → Y ein Morphismus aus einem Testobjekt T, so dass t über f faktorisiert, so gibt es genau… …   Deutsch Wikipedia

  • Treuer Funktor — Treue Funktoren und die hier ebenfalls zu besprechenden vollen und volltreuen Funktoren, die eng damit zusammenhängen, sind in der mathematischen Theorie der Kategorientheorie betrachtete Funktoren mit speziellen Eigenschaften. Inhaltsverzeichnis …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”