Eine bijektive Abbildung zwischen zwei mathematischen Objekten, die die relevante Struktur (Operationen, Relationen oder ausgezeichnete Elemente) erhält und deren Umkehrabbildung die Struktur ebenfalls erhält; sie identifiziert die Objekte hinsichtlich der betrachteten Struktur als gleich.

Prinzip

Zwei Objekte gelten in einem gegebenen formalen Rahmen als äquivalent, wenn eine Bijektion existiert, die mit den strukturdefinierenden Operationen oder Relationen kommutiert, sodass alle strukturformulierten Eigenschaften korrespondieren.

Demonstration

In der Gruppentheorie ist die Abbildung f: Z4 → {1,a,a^2,a^3} mit k (mod 4) ↦ a^k ein Isomorphismus: sie ist bijektiv und f(k+l)=f(k)f(l), also wird die Gruppenoperation erhalten und die Umkehrabbildung erhält ebenfalls die Struktur.

Fehlanwendung

Eine beliebige Bijektion der zugrunde liegenden Mengen als Isomorphismus zu bezeichnen, ohne die Erhaltung der definierenden Struktur zu prüfen — etwa willkürlich Elemente zweier Ringe paaren und Ringisomorphie behaupten — ignoriert das Zusammenspiel von Addition und Multiplikation.

Konsequenz

Existiert ein echtes Isomorphismus, so entsprechen alle strukturellen Aussagen, die im Rahmen der Struktur formulierbar sind (Gleichungen, Ordnungsrelationen, homologische Invarianten), genau zwischen den Objekten; Konstruktionen und Beweise lassen sich über die Abbildung übertragen.

Umkehrung

Eine Bijektion, die die Struktur nicht erhält — etwa eine Bijektion zwischen Gruppen, die das Gruppenlaw nicht respektiert — demonstriert Nicht-Isomorphie trotz Eins-zu-eins-Korrespondenz.

Abgrenzung

Gilt innerhalb einer festgelegten Kategorie oder Signatur: Was als strukturerhaltend zählt, hängt von den gewählten Operationen und Relationen ab. Ein Isomorphismus als Mengen ist nicht notwendigerweise ein Isomorphismus als Gruppen, topologische Räume oder differenzierbare Mannigfaltigkeiten.

Semantische Spannung

Isomorphismus steht im begrifflichen Spannungsfeld zur bloßen Bijektion und zu schwächeren Äquivalenzen (Homomorphismus, Einbettung); die Frage ist, ob man strukturelle Gleichheit (Isomorphismus) oder eine schwächere Entsprechung verlangt.

Synthese

Ein Isomorphismus ist die bijektive, strukturerhaltende Abbildung (mit strukturerhaltender Umkehrabbildung), die zwei mathematische Objekte hinsichtlich der gewählten Struktur als gleich ausweist.