## [Isomorphismus](/de/node/59337) Definition Eine bijektive, struktur­erhaltende Abbildung zwischen zwei mathematischen Objekten, deren Umkehrabbildung ebenfalls struktur­erhaltend ist; sie identifiziert die Objekte bezüglich der betrachteten Struktur als gleichwertig. ## Prinzip Prinzip Zwei Objekte gelten in einer Theorie als ununterscheidbar, wenn ein Isomorphismus zwischen ihnen existiert; Erhalt der Struktur und Invertierbarkeit sind die Kriterien für Äquivalenz. ## Demonstration Demonstration Ein linearer Isomorphismus zwischen endlichdimensionalen Vektorräumen: eine bijektive lineare Abbildung f: V → W mit linearer Umkehrabbildung; sie überträgt Basen, Dimension und lineare Relationen exakt. ## Fehlanwendung Fehlanwendung Isomorphe Objekte in allen Kontexten wörtlich als identisch behandeln (z. B. isomorphe Gruppen ignorierend bezüglich zusätzlicher topologischer oder metrischer Strukturen) oder das Vorhandensein eines kanonischen Isomorphismus annehmen, obwohl nur nicht-kanonische existieren. ## Konsequenz Konsequenz Alle strukturellen Invarianten (die in der Sprache der Struktur formuliert sind) bleiben exakt erhalten und lassen sich übertragen; Klassifikation reduziert sich auf Isomorphieklassen. ## Umkehrung Umkehrung Eine Nicht-Isomorphie kann ein Homomorphismus ohne Bijektivität oder eine Bijektion ohne Strukturerhalt sein; in beiden Fällen geht strukturelle Äquivalenz verloren. ## Abgrenzung Abgrenzung Erfordert Bijektivität und Erhalt der betrachteten Struktur; verschiedene Kategorien verlangen unterschiedliche Erhaltungsvoraussetzungen (ein Isomorphismus in einer Kategorie muss in einer anderen nicht Isomorphie sein). Gleichheit der zugrundeliegenden Mengen ist weder erforderlich noch impliziert. ## Semantische Spannung Semantische Spannung Umgangssprachliches 'gleich' versus technisches 'isomorph' — Isomorphie behauptet Gleichheit der Struktur, nicht Identität; oft Verwechslung zwischen Isomorphie und Kategorieäquivalenz (schwächer). ## Synthese Synthese Ein Isomorphismus ist die invertierbare, struktur­erhaltende Identifikation, die bestätigt, dass zwei Objekte hinsichtlich der vorgegebenen Struktur als dasselbe gelten.