Monomorphismus

Monomorphismus (von griechisch μόνος monos „ein, allein“ und

μορφή

„Gestalt, Form“) ist ein Begriff aus den mathematischen Teilgebieten der Algebra und der Kategorientheorie. In der Algebra bezeichnet er einen Homomorphismus, der injektiv ist. In der Kategorientheorie verallgemeinert er den Begriff der injektiven Abbildung und erlaubt es, Objekte als Unterobjekte von anderen aufzufassen.

Man beachte, dass die universelle Algebra und die Kategorientheorie jeweils einen zu Monomorphismus dualen Begriff, nämlich den Epimorphismus, erklären, diese beiden Epimorphismus-Begriffe jedoch nicht äquivalent sind.

Monomorphismen algebraischer Strukturen

Ein Homomorphismus von

Vektorräumen oder allgemeiner Moduln
oder (abelschen) Gruppen
oder Ringen oder Körpern
oder allgemein algebraischen Strukturen,

der injektiv ist, heißt Monomorphismus.

Beispiele

Die Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle h\colon\mathbb{R}^2\to\mathbb{R}^3} mit $h\left(x,y\right)=\left(x,y,x+y\right)$ ist ein Vektorraum-Monomorphismus.
Die Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g\colon\left(\mathbb{C},+\right)\to\left(\mathbb{R},+\right)} mit $g\left(z\right)=\operatorname {Re} \left(z\right)$ ist zwar ein Gruppenhomomorphismus, aber nicht injektiv.
Ein Homomorphismus von Gruppen, Ringen oder Moduln (insbesondere Vektorräumen) ist genau dann injektiv, wenn sein Kern trivial ist. Für einen beliebigen Homomorphismus $f\colon A\to B$ von Gruppen, Ringen oder Moduln (bzw. Vektorräumen) ist

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tilde f\colon A/(\ker f)\to B}

ein Monomorphismus, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tilde f\colon [a]\mapsto f(a)} die kanonische Abbildung auf der Restklassenstruktur ist. Denn es gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ker \tilde f = \lbrace \ker f \rbrace} und damit ist

\ker {\tilde {f}}

trivial.

Homomorphismen von Körpern sind stets injektiv, also stets Monomorphismen.

Monomorphismen relationaler Strukturen

Für allgemeinere Strukturen (im Sinne der Modelltheorie), insbesondere für relationale Strukturen, ist ein Monomorphismus definiert als injektiver starker Homomorphismus.^[1] Äquivalent dazu: Die Abbildung ist ein Isomorphismus auf ihr Bild. Für den Spezialfall algebraischer Strukturen erhält man die obige Definition, da jeder Homomorphismus zwischen algebraischen Strukturen stark ist.

Monomorphismen in beliebigen Kategorien

Definition

In der Kategorientheorie ist ein Monomorphismus ein Morphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon X\to Y} mit folgender Eigenschaft:^[2]

Sind Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g,h\colon T\to X} beliebige Morphismen mit

f\circ g=f\circ h

, dann folgt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g=h} (Man sagt auch: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} ist linkskürzbar).

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} (zusammen mit $f$ ) heißt dann ein Unterobjekt von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y} .

In Kategorien von algebraischen Strukturen sowie in den Kategorien der Mengen oder der topologischen Räume sind die Monomorphismen genau die injektiven Morphismen. Es gibt aber auch konkrete Kategorien mit nicht-injektiven Monomorphismen.

In den Pfeildiagrammen der homologischen Algebra wird ein Monomorphismus $f$ als kurze exakte Sequenz

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0\longrightarrow X \;\overset{f}{\longrightarrow} \; Y}

oder unter Verwendung eines Hakenpfeils mit zwei Termen als

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X \;\overset{f}{\hookrightarrow}\; Y}

notiert.

Beispiel eines nicht injektiven Monomorphismus

Wir betrachten die Kategorie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{Div}} der teilbaren abelschen Gruppen: Die Objekte sind die abelschen Gruppen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} , für die folgendes gilt:

Für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a \in G} und alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \in \N} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n > 0} , existiert ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b \in G} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a = n b} ; das Element

a

lässt sich also „durch

n

teilen“.

Die Morphismen sind die Gruppenhomomorphismen zwischen diesen Gruppen.

Die Gruppen $(\mathbb {Q} ,+)$ und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\mathbb{Q} / \mathbb{Z}, +)} sind teilbare abelsche Gruppen. Die kanonische Projektion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi \colon \mathbb{Q} \to \mathbb{Q} / \mathbb{Z}} ist surjektiv und ein Monomorphismus in Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \mathbf {Div} } , aber nicht injektiv.

Ist nämlich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} eine beliebige teilbare Gruppe und sind Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f, g \colon X \to \Q} zwei Morphismen mit der Eigenschaft $\pi \circ f=\pi \circ g$ , dann gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \forall x\in X.\ f(x) - g(x) \in \operatorname{ker} \pi = \Z} . Wäre nun $f\neq g$ , dann gäbe es ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x\in X} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle t:=f(x)-g(x)\ne 0} . Falls $t<0$ , vertausche die Rollen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} ; somit bleibt der Fall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle t\in\N} . Weil Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} teilbar ist, gäbe es dann ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y\in X} mit $x=2ty$ . Dann wäre aber

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle t = f(x)-g(x) = f(2ty)-g(2ty) = 2t(f(y)-g(y))} ,

also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(y)-g(y) = 1/2} , was Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \forall x\in X.\ f(x) - g(x) \in \Z} widerspräche.

Extremale Monomorphismen

Ein Monomorphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} heißt extremal, wenn er zusätzlich folgende Extremaleigenschaft erfüllt:

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f=g\circ m} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m} ist ein Epimorphismus, dann muss Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m} ein Isomorphismus sein.

Weil Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m} automatisch ein Monomorphismus ist, sind in Kategorien, in denen alle Bimorphismen (das sind Monomorphismen, die Epimorphismen sind) bereits Isomorphismen sind, alle Monomorphismen extremal. Dies hat man zum Beispiel in der Kategorie der Mengen und der Kategorie der Gruppen.

In der Kategorie der topologischen Räume sind die extremalen Monomorphismen die Einbettungen. In der Kategorie der Hausdorff-Räume sind die extremalen Monomorphismen die abgeschlossenen Einbettungen.

In der Kategorie der Banachräume sind die extremalen Monomorphismen genau diejenigen linearen stetigen injektiven Abbildungen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} , für die es ein positives Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m} gibt, so dass für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} aus dem Definitionsbereich gilt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m\left\|x\right\|\leq \left\|f(x)\right\|}

Unterobjekte

Zu einem gegebenen Objekt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} einer Kategorie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal C} kann man die Unterkategorie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{QSub}(A)} der Scheibenkategorie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal C/A} betrachten, deren Objekte allesamt Monomorphismen in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal C} sind. Parallele Pfeile sind hier immer identisch; es handelt sich also um eine Quasiordnung. Die partielle Ordnung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{Sub}(A)} der Unterobjekte von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} ist nun diejenige, die aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{QSub}(A)} durch den Übergang zu Isomorphieklassen entsteht.

Siehe auch

Isomorphismus

Einzelnachweise

↑ Philipp Rothmaler: Einführung in die Modelltheorie. Spektrum Akademischer Verlag, 1995, ISBN 978-3-86025-461-5, S. 21.
↑ Steve Awodey: Category theory. Clarendon Press, Oxford 2010, ISBN 0-19-923718-2, S. 25.

[1] Philipp Rothmaler: Einführung in die Modelltheorie. Spektrum Akademischer Verlag, 1995, ISBN 978-3-86025-461-5, S. 21.

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

[1]

[2]

Anonym

Suche

Monomorphismus

Namensräume

Mehr

Seitenaktionen

Inhaltsverzeichnis

Monomorphismen algebraischer Strukturen

Beispiele

Monomorphismen relationaler Strukturen

Monomorphismen in beliebigen Kategorien

Definition

Beispiel eines nicht injektiven Monomorphismus

Extremale Monomorphismen

Unterobjekte

Siehe auch

Einzelnachweise

Navigation

Navigation

Mitmachen

Wikiwerkzeuge

Wikiwerkzeuge

Anonym

Suche

Monomorphismus

Monomorphismen algebraischer Strukturen

Beispiele

Monomorphismen relationaler Strukturen

Monomorphismen in beliebigen Kategorien

Definition

Beispiel eines nicht injektiven Monomorphismus

Extremale Monomorphismen

Unterobjekte

Siehe auch

Einzelnachweise

Navigation

Wikiwerkzeuge

Seitenwerkzeuge

Weitere Projekte

Kategorien