Isometrie (wiskunde)

wiskundige transformatie die afstanden behoudt

In de wiskunde is een isometrie of isometrische afbeelding een functie die twee metrische ruimten op elkaar afbeeldt en die daarbij de afstanden bewaart. Bij een isometrie wordt een figuur steeds afgebeeld op een congruente figuur. De samenstelling van twee of meer isometrieën is weer een isometrie.

De isometriegroep van een metrische ruimte is de verzameling van alle isometrieën van die metrische ruimte op zich zelf, met de functiecompositie als groepsbewerking.

Definitie bewerken

Zij   en   twee gegeven metrische ruimten,   en   twee punten in   en   en   een afbeelding met de eigenschap:

 ,

dan noemt men   een isometrie van   naar  

Een isometrie is altijd injectief. Als   bijectief is, noemt men   een isometrisch isomorfisme en noemt men de metrische ruimten   en   isometrisch isomorf.

In andere gevallen noemt men   een isometrische inbedding van   in  .

Euclidische isometrie bewerken

Een euclidische isometrie is een isometrie in de  -dimensionale euclidische ruimte. Ze zijn van de vorm   met   een orthogonale matrix, dus zodat  , en vormen de euclidische groep  .

Een directe isometrie is een euclidische isometrie die de oriëntatie niet verandert, ze vormen de speciale euclidische groep  . Bij een directe isometrie is de determinant   van   gelijk aan 1, bij een indirecte -1. De samenstelling van een aantal isometrieën is dus direct als het aantal indirecte isometrieën even is en anders indirect.

Bij een directe isometrie is een geleidelijke overgang via tussenliggende isometrieën mogelijk van de identiteit naar die isometrie, alsof een traject in stappen wordt afgelegd.

Indirect zijn:

  • een dimensie: spiegeling in een punt
  • twee dimensies: spiegeling in een lijn, inclusief glijspiegeling
  • drie dimensies: spiegeling in een vlak, inclusief glijspiegeling en draaispiegeling

Isometrieën in een euclidische ruimte met de oorsprong als dekpunt bewerken

De isometrieën in de  -dimensionale euclidische ruimte met de oorsprong als dekpunt vormen de orthogonale groep  . Ze worden geheel bepaald door hun restrictie tot de eenheidsbol van de betreffende ruimte: in één dimensie twee punten, in twee dimensies een cirkel en in drie dimensies een boloppervlak. De algemene vorm is   met   een orthogonale matrix, dus  .

Isometrieën in het euclidische vlak bewerken

  is de verzameling directe isometrieën in het euclidische vlak. Elk element is van een van de volgende types:

  • rotatie om  :  
  • translatie:  

met als gemeenschappelijk triviaal geval de identieke afbeelding  . De overige rotaties en translaties worden de echte genoemd.

Een combinatie van een echte rotatie en een translatie is altijd een pure rotatie over dezelfde hoek, met een ander draaipunt.   is dan inverteerbaar.

De rest van   bestaat uit de indirecte isometrieën: de glijspiegeling, dit is spiegeling ten opzichte van een lijn met een translatie evenwijdig aan die lijn, met als speciaal geval een pure spiegeling.

Indeling naar de verzameling dekpunten:

  • het hele vlak: identieke afbeelding
  • een lijn: pure spiegeling
  • een punt: echte rotatie
  • leeg:
    • echte translatie
    • echte glijspiegeling

Hier moeten bijzondere gevallen in ieder geval wel apart worden behandeld en wordt 'echt' bij de overige toegevoegd.

Indeling naar aantal vrijheidsgraden:

  • 0: identieke afbeelding
  • 2:
    • translatie
    • pure spiegeling
  • 3:
    • rotatie
    • glijspiegeling

Isometrieën in het euclidische vlak met de oorsprong als dekpunt bewerken

De orthogonale groep O(2) is de groep van isometrieën in het euclidische vlak met de oorsprong als dekpunt en ook die op de eenheidscirkel. De algemene vorm is   met   een orthogonale matrix, dus  .

  voor rotaties om de oorsprong en   voor spiegelingen ten opzichte van een lijn door de oorsprong.

Een combinatie van een rotatie en een spiegeling is een spiegeling in een andere lijn.

Indeling naar de verzameling dekpunten:

  • het hele vlak: identieke afbeelding
  • een lijn: pure spiegeling
  • alleen de oorsprong: echte rotatie

Indeling naar aantal vrijheidsgraden:

  • 0: identieke afbeelding
  • 1: rotatie
  • 1: spiegeling

Isometrieën in de driedimensionale euclidische ruimte bewerken

De isometrieën in de driedimensionale euclidische ruimte zijn:

  •  , directe isometrieën, mogelijke veranderingen van positie en stand van een star lichaam: schroefverplaatsing, d.w.z. rotatie met translatie langs de as (met als speciale gevallen geen rotatie en/of geen translatie)
  • de rest van  , indirecte isometrieën: draaispiegeling (spiegeling met rotatie om een as loodrecht op de spiegel) en glijspiegeling (een translatie met een translatievector evenwijdig aan de spiegel), met als gemeenschappelijk triviaal geval een pure spiegeling

Voor elke directe isometrie   met   dus een orthogonale matrix met  , is er (anders dan in twee dimensies) een indirecte isometrie  .

Indeling naar de verzameling dekpunten:

  • de hele ruimte: identieke afbeelding
  • een vlak: pure spiegeling
  • een lijn: echte rotatie
  • een punt: echte draaispiegeling
  • leeg:
    • echte translatie en echte schroefverplaatsing
    • echte glijspiegeling

Indeling naar aantal vrijheidsgraden:

  • 0: identieke afbeelding
  • 3:
    • translatie
    • pure spiegeling
  • 5:
    • rotatie
    • glijspiegeling
  • 6:
    • schroefverplaatsing
    • draaispiegeling

De puntspiegeling (inversie) ten opzichte van een punt   is de speciale draaispiegeling  , met 3 vrijheidsgraden. Anders dan andere draaispiegelingen is deze onafhankelijk van de richting van de rotatie-as.

Een achirale isometriegroep van de driedimensionale ruimte die deze puntspiegeling bevat en waarvan elke isometrie   als dekpunt heeft, bestaat uit zijn directe isometrieën en voor elk de samenstelling met deze puntspiegeling. Deze samenstelling is commutatief.

Isometrieën in de driedimensionale euclidische ruimte met de oorsprong als dekpunt bewerken

  is de groep van isometrieën in de driedimensionale euclidische ruimte met de oorsprong als dekpunt, en ook die op de eenheidsbol. De algemene vorm is   met   een orthogonale matrix, en dus  .

  voor rotaties om de oorsprong en   voor spiegelingen t.o.v. een vlak door de oorsprong, of een draaispiegeling.

Voor elke directe isometrie   met dus  , is er een indirecte isometrie  .

Indeling naar de verzameling dekpunten:

  • de hele ruimte: identieke afbeelding
  • een vlak: pure spiegeling
  • een lijn: echte rotatie
  • alleen de oorsprong: echte draaispiegeling

Indeling naar aantal vrijheidsgraden:

  • 0: identieke afbeelding
  • 2: pure spiegeling
  • 3:
    • rotatie
    • draaispiegeling

De puntspiegeling (inversie) ten opzichte van de oorsprong is de speciale draaispiegeling  , met 0 vrijheidsgraden. Anders dan andere draaispiegelingen is deze onafhankelijk van de rotatie-as.

Een achirale isometriegroep van de driedimensionale ruimte die deze puntspiegeling bevat bestaat uit zijn directe isometrieën en voor elk de samenstelling met deze puntspiegeling. Deze samenstelling is commutatief.

Isometrieën in het complexe vlak bewerken

Isometrieën in het complexe vlak, met als afstand tussen twee complexe getallen de absolute waarde van het verschil, komen overeen met de isometrieën in het euclidische vlak.

Met complexe getallen   en  , waarbij  , zijn de isometrieën:[1]

  •  , de directe isometrieën
  •  , de indirecte isometrieën

Niet alleen translaties, maar ook rotaties, spiegelingen en glijspiegelingen in een vlak kunnen zo eenvoudig genoteerd worden.

Het equivalent van translatievector is hierbij translatiegetal.