Isometrie (wiskunde)
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
bewerkenZij 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
bewerkenEen 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
bewerkenDe 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
bewerkenis 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
bewerkenDe 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
bewerkenDe 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
bewerkenis 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
bewerkenIsometrieë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.
- ↑ T Collins, A Reaves, T Naugle en G Williams. A classification of Frieze patterns, Gearchiveerd op 3 augustus 2023.