title: Isomorfisme
text: In de abstracte algebra, een deelgebied van de wiskunde, is een isomorfisme of isomorfie (Oudgrieks: ἴσος isos "gelijk", en μορφή morphē "vorm") een bijectieve afbeelding  zodat zowel  als  zijn inverse  homomorf zijn, dat wil zeggen, structuurbewarende afbeeldingen. 
  
  In de meer algemene setting van de categorietheorie is een isomorfisme een morfisme  in een categorie waarvoor er  een "inverse"  bestaat, met de eigenschap dat zowel geldt  als .
  
  Informeel gesproken is een isomorfisme een soort van afbeelding tussen objecten die een relatie laat zien tussen twee eigenschappen of operaties. Wanneer er een isomorfisme tussen twee structuren bestaat, noemt men de twee structuren isomorf. Als men ervoor kiest om zekere details te negeren die voortvloeien uit de manier waarop de structuren zijn gedefinieerd, zijn isomorfe structuren in zekere zin structureel identiek.
  
  Bijzondere gevallen
  Isomorfismen kunnen het gemakkelijkst worden gedefinieerd door te kijken naar concrete situaties:
  
   In de lineaire algebra spreekt men wel van vectorruimte-isomorfismen. Veronderstel dat  en  twee vectorruimten zijn. Een vectorruimte-isomorfisme van  naar  is dan een morfisme van vectorruimten , zo dat er een invers morfisme van vectorruimten  bestaat waarvoor voldaan is aan de relaties  en . In het bijzonder zijn de vectorruimte-isomorfismen bijectieve vectorruimte-morfismen. Indien het duidelijk is dat er met vectorruimten wordt gewerkt, spreekt men ook gewoonweg van morfismen en isomorfismen.
  
   In de groepentheorie spreekt men van groepsisomorfismen of isomorfismen van groepen. Een isomorfisme van de groep  naar de groep  is een morfisme van groepen  zodat er een morfisme van groepen  bestaat met  en .
  
   Twee geordende verzamelingen zijn orde-isomorf als er een bijectie is met corresponderende ordening.
  
   Geheel analoog kan men spreken van isomorfismen van lie-algebra's, lie-groepen, euclidische ruimten, algebra's, velden(B)/lichamen(NL), ringen, modulen, enz.
  
  Definitie
  Veronderstel dat  en  twee objecten zijn met een gelijksoortige structuur, d.w.z. het zijn beide lie-algebra's (of velden, of vectorruimten, of anders). Een isomorfisme van  naar  is dan een morfisme  zodanig dat er een invers morfisme  bestaat. Merk op dat het woord morfisme hier gedefinieerd is in termen van de structuur die werd uitgekozen.
  
  Twee objecten zijn isomorf indien er een isomorfisme tussen deze objecten bestaat.
  
  Voorbeelden
   Een isomorfisme tussen twee metrische ruimten heet een isometrie.
   De isomorfismen tussen twee affiene euclidische ruimten zijn de isometrieën met betrekking tot de bij de affiene euclidische ruimte behorende metriek. Ze bestaan alleen bij gelijke dimensies.
   De isomorfismen tussen twee euclidische vectorruimten zijn slechts de isometrieën met de oorsprong als dekpunt. Ze bestaan alleen bij gelijke dimensies.
   Beschouw een tweedimensionale (reële of complexe) vectorruimte . Definieer de afbeelding van  naar zichzelf die alle vectoren met een vaste factor twee vermenigvuldigt. Dan is deze afbeelding een morfisme van de vectorruimte  naar zichzelf. Het inverse morfisme is hier het morfisme dat alle vectoren door twee deelt. In het bijzonder hebben we te maken met een isomorfisme van vectorruimten. Als het echter euclidische vectorruimten zijn dan zijn ze in die hoedanigeheid niet isomorf, want daar zijn het inwendig product en de daarvan afgeleide norm onderdeel van de structuur.
   Beschouw de volgende groepen: de groep van de positieve reële getallen voorzien van de vermenigvuldiging enerzijds, en de groep van alle reële getallen voorzien van de optelling anderzijds. Dan is de logaritmische functie van de eerste groep naar de tweede groep, een isomorfisme van groepen. Het inverse morfisme is in dit geval de welbekende exponentiële functie. Bovendien zijn de twee morfismen ook continu (voor de evidente topologieën). In het bijzonder hebben we dus isomorfismen van topologische groepen.
   In de lineaire algebra is er het volgende resultaat. Twee eindigdimensionale vectorruimten zijn isomorf dan en slechts dan als hun dimensies gelijk zijn. Deze uitspraak hoeft zeker niet op te gaan voor andere objecten zoals Lie-algebra's.
   In sommige theorieën is een isomorfisme niets anders dan een bijectief morfisme. Dit is bijvoorbeeld zo bij groepen en vectorruimten.
  
  Abstracte algebra
  Categorietheorie