In der Mathematik ist ein Isomorphismus eine Abbildung zwischen zwei mathematischen Strukturen, durch die Teile einer Struktur auf „bedeutungsgleiche“ Teile einer anderen Struktur umkehrbar eindeutig (bijektiv) abgebildet werden.

Für weitere Bedeutungen siehe auch Isomorphie.

Definition

---

Eine Funktion f zwischen zwei Strukturen heißt Isomorphismus, wenn:

• f bijektiv ist,
• f ein Homomorphismus ist,
• die Umkehrfunktion f ^-1 ein Homomorphismus ist.

Gibt es einen Isomorphismus zwischen zwei Strukturen, dann heißen die beiden Strukturen zueinander isomorph. Isomorphe Strukturen sind in gewisser Weise "dasselbe", nämlich dann, wenn man von der Darstellung der Elemente der zugrundeliegenden Mengen und den Namen der Relationen und Verknüpfungen absieht.

Die Aussage "$X$ und $Y$ sind isomorph" wird üblicherweise als $X\backslash cong\; Y$ geschrieben; es sind aber auch die Zeichen $\backslash simeq$ oder $\backslash approx$ üblich.

Man beachte, dass bei Gruppen, Ringen, Körpern, Vektorräumen und einigen anderen Strukturen die dritte Bedingung aus den anderen beiden folgt, man im Allgemeinen jedoch nicht auf sie verzichten kann.

Definition der Kategorientheorie

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

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

Spezialfälle dieses Isomorphiebegriffes sind beispielsweise Homöomorphismen als Isomorphismen in der Kategorie der topologischen Räume und stetigen Abbildungen oder Homotopieäquivalenzen als Isomorphismen in der Kategorie der topologischen Räume mit den Homotopieklassen von Abbildungen als Morphismen.

Bedeutung

---

Oft kann man bestimmte Strukturen nur bis auf Isomorphie eindeutig bestimmen, wie z.B.

• den einzigen endlichen Körper der Ordnung pⁿ,
• den algebraischen Abschluss eines Körpers,
• die Vervollständigung eines metrischen Raums.

Isomorphismen werden in der Mathematik gern ausgenutzt, um einen leichteren Rechenweg zu beschreiten. Durch die oben genannten Definitionen (bijektiv) ist dies möglich.

Beispiele: Laplace-Transformation; s-Transformation

In der Kategorientheorie ist von entscheidender Bedeutung, dass Funktoren Isomorphismen erhalten, d. h. ist $f\backslash colon\; X\backslash to\; Y$ ein Morphismus in einer Kategorie $C$ und $F\backslash colon\; C\backslash to\; D$ ein Funktor, dann ist

$F(f)\backslash colon\; F(X)\backslash to\; F(Y)$

ein Isomorphismus in der Kategorie $D$. In der algebraischen Topologie wird diese Eigenschaft häufig ausgenutzt, um Räume unterscheiden zu können: Sind beispielsweise die Fundamentalgruppen zweier Räume nicht isomorph, so sind die Räume nicht homöomorph.

Beispiele

---

Sind $(X,\; *)$ und $(Y,\; +)$ Mengen mit einer binären Verknüpfung, dann ist ein Isomorphismus von $X$ nach $Y$ eine Bijektion $f:\; X\; \backslash rightarrow\; Y$ mit

$f(u)\; +\; f(v)\; =\; f(u\; *\; v)$

für alle $u,\; v\; \backslash in\; X$.

z.B.: $\backslash log(5)\; -\; \backslash log(2)\; =\; \backslash log(5\; /\; 2)$

Sind die Strukturen Gruppen, dann heißt ein solcher Isomorphismus Gruppenisomorphismus. Meist meint man mit Isomorphismen solche zwischen algebraischen Strukturen wie Gruppen, Ringen, Körpern oder Vektorräumen.

Sind $(X,\; \backslash leq\_X)$ und $(Y,\; \backslash leq\_Y)$ total geordnete Mengen, dann ist ein Isomorphismus von X nach Y ein nennt man ordnungserhaltende Bijektionen. Sie spielen in der Theorie der Ordinalzahlen eine wichtige Rolle.

Sind (X, d) und (Y, D) metrische Räume, dann ist ein Isomorphismus von X nach Y eine Bijektion f mit der Eigenschaft

D(f(u), f(v)) = d(u, v)

für alle u, v in X. Solche Isomorphismen nennt man Isometrien.

In der universellen Algebra kann man eine allgemeine Definition eines Isomorphismus angeben, die diese und andere Situationen abdeckt. Die Definition eines Isomorphismus in der Kategorientheorie ist noch allgemeiner.

Lässt man in den gegebenen Beispielen die Forderung der Bijektivität weg, erhält man jeweils Homomorphismen.

Siehe auch

---

• Morphismus, Isomorphie von Graphen, Isomorphiesatz

Algebra | Kategorientheorie

Izomorfismus | Isomorphism | Isomorfismo | Isomorfismi | Isomorphisme | איזומורפיזם (מתמטיקה) | Isomorfismo | Isomorfisme | Isomorfisme | Izomorfizm | Изоморфизм (математика) | Isomorfism