Bimorphismus

Bimorphismus i​st ein Begriff a​us dem mathematischen Teilgebiet d​er Kategorientheorie.

Definition

Ein Morphismus e​iner Kategorie heißt Bimorphismus, w​enn er Epimorphismus u​nd Monomorphismus ist.[1][2][3]

Abgrenzung

Die lateinische Vorsilbe b​i bedeutet zwei. Da e​in Bimorphismus d​urch zwei Eigenschaften definiert wird, i​st obige Definition d​amit naheliegend. Manche Autoren bezeichnen a​ber auch spezielle Abbildungen, d​ie auf e​inem Produkt zweier Objekte definiert sind, a​ls Bimorphismen, d​a diese Abbildungen i​n zwei Variablen verallgemeinern.[4][5] Das h​at mit d​em hier behandelten Begriff nichts z​u tun.

Bemerkungen

• Dieser Begriff hängt, genau wie der des Epi- und Monomorphismus, von der umgebenden Kategorie ab. Bei Verkleinerung oder Vergrößerung der Kategorie kann diese Eigenschaft verloren gehen. Siehe dazu die unten gegebenen Beispiele.
• Der Begriff ist selbstdual, das heißt ist ein Morphismus in einer Kategorie Bimorphismus, so ist derselbe Morphismus, aufgefasst als Morphismus in der dualen Kategorie, ebenfalls Bimorphismus. Das ist klar, da die Begriffe Epi- zu Monomorphismus zueinander dual sind.
• Kompositionen von Bimorphismen sind offenbar wieder Bimorphismen, da die Eigenschaften Epi- und Monomorphismus bei Kompositionen erhalten bleiben.

Vergleich mit Isomorphismen

Offenbar bestehen folgende Beziehungen z​u Retraktionen u​nd Schnitten u​nd extremen Epi- u​nd Monomorphismen:

${\displaystyle {\begin{array}{ccccccc}{\text{Isomorphismus}}&\Rightarrow &{\text{Retraktion}}&\Rightarrow &{\text{extremer Epimorphismus}}&\Rightarrow &{\text{Epimorphismus}}\\{\text{Isomorphismus}}&\Rightarrow &{\text{Schnitt}}&\Rightarrow &{\text{extremer Monomorphismus}}&\Rightarrow &{\text{Monomorphismus}}\end{array}}}$

Dass umgekehrt e​in Bimorphismus n​icht unbedingt e​in Isomorphismus ist, begründet d​en hier besprochenen Begriff d​es Bimorphismus, s​iehe Beispiele unten. Welche Umkehrungen h​ier gelten, z​eigt folgender Satz.

Für einen Bimophismus ${\displaystyle f}$ sind folgende Aussagen äquivalent:[6]

• ${\displaystyle f}$ ist ein Isomorphismus
• ${\displaystyle f}$ ist ein Epimorphismus und extremer Monomorphismus
• ${\displaystyle f}$ ist ein Monomorphismus und extremer Epimorphismus

Beispiele

• Nach obigem ist jeder Isomorphismus ein Bimorphismus. Kategorien, in denen stets die Umkehrung gilt, heißen ausgeglichen.
• Fasst man eine quasigeordnete Menge ${\displaystyle (X,\leq )}$ in üblicher Weise als Kategorie auf, das heißt die Objekte sind die Elemente von ${\displaystyle X}$ und für ${\displaystyle x,y\in X}$ ist ${\displaystyle \mathrm {Hom} (x,y)}$ einelementig, falls ${\displaystyle x\leq y}$, und leer anderenfalls, dann ist in dieser Kategorie jeder Morphismus ein Bimorphismus.[7]
• In der Kategorie der abelschen, teilbaren Gruppen und den Gruppenhomomorphismen ist die Quotientenabbildung ${\displaystyle f\colon \mathbb {Q} \rightarrow \mathbb {Q} /\mathbb {Z} }$ ein Bimorphismus, der kein Isomorphismus ist. In der größeren Kategorie aller Gruppen ist ${\displaystyle f}$ kein Monomorphismus.
• In der Kategorie der abelschen, torsionsfreien Gruppen ist die Inklusion ${\displaystyle i\colon \mathbb {Z} \rightarrow \mathbb {Q} }$ ein Bimorphismus, der kein Isomorphismus ist. In der größeren Kategorie aller Gruppen ist ${\displaystyle i}$ kein Epimorphismus.
• Ist ${\displaystyle {\mathcal {C}}}$ eine konkrete Kategorie, das heißt die Objekte haben unterliegende Mengen (per Vergissfunktor) und die Morphismen sind Abbildungen zwischen diesen Mengen, so ist jeder Morphismus, der eine bijektive Abbildung zwischen den unterliegenden Mengen ist, ein Bimorphismus.[8]
• Seien ${\displaystyle \tau _{1}}$ und ${\displaystyle \tau _{2}}$ zwei Topologien auf einer Menge ${\displaystyle X}$ mit einer echten Inklusionsbeziehung ${\displaystyle \tau _{1}\varsubsetneqq \tau _{2}}$. Dann ist ${\displaystyle \mathrm {id} _{X}:(X,\tau _{2})\rightarrow (X,\tau _{1})}$ ein Bimorphismus, der kein Homöomorphismus ist, das heißt kein Isomorphismus in der Kategorie der topologischen Räume. Dies ist ein Beispiel eines Morphismus mit unterliegender bijektiver Abbildung.
• In der Kategorie aller Hausdorffräume ist jede injektive, stetige Abbildung mit dichtem Bild ein Bimorphismus. Dies zeigt, das Bimorphismen mit unterliegenden Abbildungen zwischen Mengen nicht notwendig bijektiv sein müssen.
• In der Kategorie der differenzierbaren Mannigfaltigkeiten mit den differenzierbaren Abbildungen als Morphismen ist ${\displaystyle f:\mathbb {R} \rightarrow \mathbb {R} ,\,x\mapsto x^{3}}$ ein Bimorphismus, der kein Diffeomorphismus ist, das heißt kein Isomorphismus in der Kategorie der differenzierbaren Mannigfaltigkeiten.

Ein Faktorisierungssatz

Bimorphismen s​ind in folgendem Faktorisierungssatz d​as Bindeglied i​n der Faktorisierung e​ines Morphismus i​n extreme Mono- u​nd Epimorphismen.

Es sei ${\displaystyle {\mathcal {C}}}$ eine Kategorie mit folgenden drei Eigenschaften:

• ${\displaystyle {\mathcal {C}}}$ ist endlich vollständig.
• Zu jedem Objekt ist die Klasse der Äquivalenzklassen der Unterobjekte eine Menge.
• ${\displaystyle {\mathcal {C}}}$ besitzt Durchschnitte.

Dann besitzt jeder Morphismus ${\displaystyle f}$ in ${\displaystyle {\mathcal {C}}}$ eine Faktorisierung ${\displaystyle f=m\circ b\circ e}$, wobei ${\displaystyle e}$ ein extremer Epimorphismus, ${\displaystyle b}$ ein Bimorphismus und ${\displaystyle m}$ ein extremer Monomorphismus ist. Diese Faktorisierung ist bis auf Isomorphismen eindeutig, allgemeiner gilt: Ist

${\displaystyle {\begin{array}{ccc}\bullet &{\xrightarrow[{}]{f}}&\bullet \\{\Bigg \downarrow }{}_{g}&&{\Bigg \downarrow }{}_{h}\\\bullet &{\xrightarrow[{}]{f'}}&\bullet \end{array}}}$

ein kommutatives Quadrat und sind ${\displaystyle f=m\circ b\circ e}$ und ${\displaystyle f'=m'\circ b'\circ e'}$ Faktorisierungen der oben genannten Art, so gibt es eindeutige Morphismen ${\displaystyle k_{1},k_{2}}$, die

${\displaystyle {\begin{array}{ccccccc}\bullet &{\xrightarrow[{}]{e}}&\bullet &{\xrightarrow[{}]{b}}&\bullet &{\xrightarrow[{}]{m}}&\bullet \\{\Bigg \downarrow }{}_{g}&&{\Bigg \downarrow }{}_{k_{1}}&&{\Bigg \downarrow }{}_{k_{2}}&&{\Bigg \downarrow }{}_{h}\\\bullet &{\xrightarrow[{}]{e'}}&\bullet &{\xrightarrow[{}]{b'}}&\bullet &{\xrightarrow[{}]{m'}}&\bullet \end{array}}}$

zu e​inem kommutativen Diagramm machen.[9]

(Wählt man speziell ${\displaystyle f=f'}$ und ${\displaystyle g}$ und ${\displaystyle h}$ als identische Morphismen, so müssen ${\displaystyle k_{1}}$ und ${\displaystyle k_{2}}$ Isomorphismen sein, und man erhält die Eindeutigkeit der Faktorisierung bis auf Isomorphismen.)

Einzelnachweise

1. Horst Schubert: Kategorien I, Springer-Verlag 1970, ISBN 978-3-540-04865-7, Kapitel 5.3: Bimorphismen
2. Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Definition 6.16
3. Zbigniew Semadeni, Antoni Wiweger: Einführung in die Theorie der Kategorien und Funktoren, Teubner-Verlag 1979, Definition 3.9.1
4. Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen: Semigroups in Complete Lattices, Springer-Verlag 2018, ISBN 3-319-78947-3, Definition 3.1.28
5. Ramon Antoine, Francesc Perera, Hannes Thiel: Tensor Products and Regularity Properties of Cuntz Semigroups, Memoirs of The American Mathematical Societey 2018, Definition 3.1.28
6. Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Satz 17.13
7. Horst Schubert: Kategorien I, Springer-Verlag 1970, ISBN 978-3-540-04865-7, Absatz 5.3.2: Bimorphismen
8. Vieweg Mathematik Lexikon, Begriffe/Definitionen/Sätze/Beispiele für das Grundstudium, Vieweg-Verlag 1988, ISBN 978-3-528-06308-5, Eintrag Bimorphismus
9. Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Satz 34.6