Eine Abbildung zwischen zwei Mengen, die sowohl injektiv als auch surjektiv ist, sodass jedes Element der Definitionsmenge genau einem Element der Zielmenge entspricht und jedes Zielmengen-Element von genau einem Definitionsmengen-Element getroffen wird.

Prinzip

Eine Bijektion stellt eine Eins-zu-eins-Korrespondenz her und damit eine Gleichheit der Kardinalitäten zwischen Mengen; sie liefert ein invertierbares Paarungsschema, aus dem eine Umkehrfunktion vom Codomain zum Domain konstruiert werden kann.

Demonstration

Typische Beispiele: jede Permutation der Menge {1,2,3} ist eine Bijektion; für unendliche Mengen existiert eine Bijektion zwischen N und der Menge der geraden Zahlen, wenn diese Menge als Ziel gewählt wird, oder Kodierungen parität/Index definieren Bijektionen zwischen N und N×{0,1}.

Fehlanwendung

Eine Bijektion der zugrundeliegenden Mengen zur Erhaltung zusätzlicher Struktur (algebraisch, topologisch oder glatt) zu erklären, ohne die strukturerhaltenden Bedingungen zu prüfen; eine Bijektion alleine sagt nichts über Kompatibilität mit Operationen oder Topologie aus.

Konsequenz

Bijektionen implizieren gleiche Mächtigkeit und erlauben Inversion: kombinatorische Zählungen, Kardinalarithmetik und der Transfer von Beschriftungen oder Enumerationsargumenten beruhen auf bijektiven Korrespondenzen.

Umkehrung

Eine Abbildung, die injektiv, aber nicht surjektiv ist, oder surjektiv, aber nicht injektiv, ist keine Bijektion; sie zeigt entweder fehlende Zielmengen-Elemente oder zusammengefallene Definitionsmengen-Elemente.

Abgrenzung

Bijektion ist ein mengen theoretischer Begriff, unabhängig von zusätzlicher Struktur; sie gewährt nicht automatisch Stetigkeit, Linearität oder andere kategorielle Eigenschaften, sofern diese nicht gesondert geprüft sind.

Semantische Spannung

Bijektion kann mit Isomorphismus verwechselt werden, wenn zusätzliche Struktur ignoriert wird; die Spannung besteht darin, ob eine bloße Eins-zu-eins-Korrespondenz oder eine strukturerhaltende Äquivalenz verlangt wird.

Synthese

Eine Bijektion ist die invertierbare Mengenabbildung, die Domain- und Codomain-Elemente eins-zu-eins und vollständig paaren und so exakte Korrespondenz und gleiche Mächtigkeit herstellen.