bijektive lineare Abbildung f : U → V zwischen zwei Mengen, meist Vektorräumen U und V.

Die Hintereinanderausführung gf : U → W zweier Isomorphismen f : U → V und g : V → W ist wieder ein Isomorphismus; ebenso die Umkehrabbildung f^-1 : V → U.

Eine lineare Abbildung f : U → V ist genau dann ein Isomorphismus, wenn sie eine beliebige Basis von U auf eine Basis von V abbildet. Zwischen zwei endlich-dimensionalen Vektorräumen (Dimension eines Vektorraumes) über demselben Körper existiert genau dann ein Isomorphismus, wenn die Räume gleiche Dimension besitzen. Bzgl. fest gewählter Basen (u₁,…,u_n) von U und (ν₁,…,ν_n) von V wird ein Isomorphismus durch eine reguläre (n × n)-Matrix beschrieben und umgekehrt; die Isomorphismen zwischen n-dimensionalen Vektorräumen entsprechen bzgl. fest gewählter Basen also umkehrbar eindeutig den regulären (n × n)-Matrizen. Eine lineare Abbildung zwischen zwei endlich-dimensionalen Vektorräumen ist genau dann bijektiv, d. h. ein Isomorphismus, wenn sie injektiv und surjektiv ist.

Beispiele: (1) Ist B = (b_i)_i∈I eine Basis des \({\mathbb{K}}\)- Vektorraumes V, so ist V isomorph zu \({\mathbb{K}}\)^I Ein Isomorphismus ist gegeben durch \begin{eqnarray}f:V\to {{\mathbb{K}}}^{I};\upsilon =\sum _{i\in I}{\alpha }_{i}{b}_{i}\mapsto {({\alpha }_{i})}_{i\in I}.\end{eqnarray} (2) Ist die Abbildung F : U → V linear, ist (u₁,…,u_m, w₁,…,w_n) eine Basis von U mit ⟨u₁,…,u_m⟩ = KerF, und bezeichnet W den von w₁,…,w_n aufgespannten Unterraum von U, so ist durch die Abbildung F|_W : W → Im F; w ↦ F(w) ein Isomorphismus gegeben.

Neben der hier beschriebenen (und in der Praxis am häufigsten auftretenden) Isomorphie von Vektorräumen existiert der Begriff des Isomorphismus auch in anderen Bereichen, siehe etwa Isomorphismus von Kategorien; fundamental ist dabei immer die Tatsache, daß es sich um eine eineindeutige Beziehung zwischen zwei Strukturen handelt.