Isomorphismus - LinkFang.de





Isomorphismus


Dieser Artikel bezieht sich auf die Isomorphie in der Mathematik; zu anderen Bedeutungen siehe Isomorphie.

In der Mathematik ist ein Isomorphismus (von altgr. ἴσος (ísos) - „gleich“ und μορφή (morphḗ) - „Form“, „Gestalt“) eine Abbildung zwischen zwei mathematischen Strukturen, durch die Teile einer Struktur auf „bedeutungsgleiche“ Teile einer anderen Struktur umkehrbar eindeutig (bijektiv) abgebildet werden.

Definition

Universelle Algebra

In der universellen Algebra heißt eine Funktion [math]\varphi[/math] zwischen zwei algebraischen Strukturen (zum Beispiel Gruppen, Ringen, Körpern oder Vektorräumen) ein Isomorphismus, wenn:

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

Die Aussage „[math]X[/math] und [math]Y[/math] sind isomorph“ wird üblicherweise durch [math]\simeq[/math] oder durch [math]X \cong Y[/math] notiert.

Ist [math]\varphi[/math] ein bijektiver Homomorphismus zwischen zwei algebraischen Strukturen, dann ist immer auch [math]\varphi^{-1}[/math] ein bijektiver Homomorphismus. Dies gilt jedoch nicht für alle mathematischen Strukturen, daher muss eine allgemeine Definition, die auch für andere mathematische Strukturen Gültigkeit besitzt, zusätzlich fordern, dass ebenso

  • [math]\varphi^{-1}[/math] ein Homomorphismus ist.

Kategorientheorie

In der Kategorientheorie definiert man einen Isomorphismus allgemein als einen Morphismus [math]f\colon X \to Y,[/math] der ein beidseitiges Inverses [math]f^{-1}\colon\, Y \to X[/math] besitzt:

[math]f \circ f^{-1} = \operatorname{id}_Y[/math] und [math]f^{-1} \circ f = \operatorname{id}_X.[/math]

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.

Funktionalanalysis

In der Funktionalanalysis nennt man eine Abbildung [math]T: X \to Y[/math] zwischen normierten Räumen [math](X, \| \cdot \| _X), (Y, \| \cdot \| _Y)[/math] einen Isomorphismus, wenn sie folgende Eigenschaften hat:

Falls zusätzlich für alle [math]x \in X[/math] gilt [math]\|T(x)\|_Y = \|x\|_X[/math], so nennt man [math]T[/math] einen isometrischen Isomorphismus.

Bedeutung

In der Kategorientheorie ist von entscheidender Bedeutung, dass Funktoren Isomorphismen erhalten, d. h. ist [math]f\colon X\to Y[/math] ein Isomorphismus in einer Kategorie [math]C[/math] und [math]F\colon C\to D[/math] ein Funktor, dann ist

[math]F(f)\colon F(X)\to F(Y)[/math]

ebenfalls ein Isomorphismus, in der Kategorie [math]D[/math]. 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 [math](X, \cdot)[/math] und [math]\left(Y, +\right)[/math] Mengen mit einer binären Verknüpfung, dann ist ein Isomorphismus von [math]X[/math] nach [math]Y[/math] eine Bijektion [math]f\colon X \to Y[/math] mit

[math]f(u) + f(v) = f(u \cdot v)[/math]

für alle [math]u, v \in X[/math]. So ist etwa der Logarithmus ein Isomorphismus von [math](\mathbb{R}^+, /)[/math] nach [math](\mathbb{R}, -)[/math], da [math]\log(x) - \log(y) = \log\left(\tfrac{x}{y}\right)[/math].

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 [math](X, \leq_X)[/math] und [math](Y, \leq_Y)[/math] total geordnete Mengen, dann ist ein Isomorphismus von X nach Y eine ordnungserhaltende Bijektion. Diese Isomorphismen spielen in der Theorie der Ordinalzahlen eine wichtige Rolle.

Sind [math]\left(X, d\right)[/math] und [math]\left(Y, D\right)[/math] metrische Räume und ist f ein Isomorphismus von [math]X[/math] nach [math]Y[/math] mit der Eigenschaft

[math]D\left(f(u), f(v)\right) = d(u, v)[/math] für alle [math]u, v \in X[/math],

dann nennt man f einen isometrischen Isomorphismus.

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

Siehe auch

Literatur

  • Klaus Jänich, Topologie, Springer-Verlag, 1.korrigierter Nachdruck der 8. Auflage 2006, ISBN 3-540-21393-7

Weblinks

 Wiktionary: Isomorphismus – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen


Kategorien: Algebra | Kategorientheorie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Isomorphismus (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.