A mozgás a metrikus tér transzformációja, amely megőrzi a megfelelő pontok közötti távolságot , vagyis ha és a pontok képei és , akkor . Más szóval, a mozgás a tér önmagába való izometriája .
Bár a mozgást minden metrikus térben definiálják, ez a kifejezés gyakoribb az euklideszi geometriában és a kapcsolódó területeken. A metrikus geometriában (különösen a riemann geometriában ) gyakrabban mondják: a tér izometriája önmagába . Egy metrikus tér általános esetben (például egy nem lapos Riemann-sokaság esetén) nem mindig léteznek mozgások.
Néha a mozgást az euklideszi tér olyan átalakulásaként értik, amely megőrzi az orientációt. Különösen egy sík tengelyirányú szimmetriája nem tekinthető mozgásnak, míg a forgás és a párhuzamos eltolódás mozgásnak. Hasonlóképpen az általános metrikus terek esetében a mozgás az identitásleképezés összekapcsolt összetevőjéből származó izometriacsoport eleme .
Az euklideszi (vagy pszeudoeuklideszi ) térben a mozgás automatikusan megőrzi a szögeket is, így minden pontszorzat megmarad .
Továbbá ebben a cikkben csak az euklideszi ponttér izometriáit vizsgáljuk.
Legyen egy euklideszi ponttér mozgása és a tér szabad vektorainak tere . Az affin transzformációhoz társított lineáris operátor ortogonális operátor , így determinánsa lehet ( megfelelő ortogonális operátor ) vagy ( nem megfelelő ortogonális operátor ). Ennek megfelelően és a mozgások két osztályba sorolhatók: megfelelő (if ) és helytelen (if ) [1] .
A megfelelő mozgások megőrzik a tér tájolását , a nem megfelelőek - helyettesítik az ellenkezőjére [2] . Néha a megfelelő és nem megfelelő mozgásokat elmozdulásnak , illetve anti -elmozdulásnak nevezik [3] .
Egy n - dimenziós euklideszi ponttér bármely mozgása egyértelműen meghatározható egy ortonormális keret megadásával, amelybe egy adott mozgás során a térben előre kiválasztott ortonormális keret bemegy . A képkocka az eredetivel megegyező tájolású, helytelen mozgás esetén pedig az új képkocka az ellenkező irányba. A mozgások mindig megtartják a térbeli pontok közötti távolságokat (azaz izometriák ), és nincs más izometria, kivéve a helyes és helytelen mozgásokat [4] .
A mechanikában a „mozgás” fogalmának más jelentése van; különösen mindig egy bizonyos ideig tartó folyamatos folyamatnak tekintjük (lásd a mechanikai mozgást ). Ha P. S. Aleksandrov nyomán folytonos mozgásnak nevezzük a tér olyan mozgását, amely folyamatosan függ a paramétertől (a mechanikában ez egy abszolút merev test mozgásának felel meg ), akkor az ortonormális keret folyamatos mozgással kapható meg az ortonormálisból. keret akkor és csak akkor, ha mindkét benchmark azonos orientációjú [5] .
Egy egyenes bármely mozgása vagy párhuzamos eltolódás (az egyenes minden pontjának elmozdulására redukálva ugyanazon az egyenesen fekvő vektorral), vagy egy adott egyenesen felvett pontról való visszaverődés . Az első esetben a mozgás megfelelő, a másodikban - nem megfelelő [6] .
A sík bármely mozgása a következő típusok egyikébe tartozik [2] :
Az első két típus mozgása megfelelő, az utolsó kettő helytelen [7] .
A háromdimenziós tér bármely mozgása a következő típusok egyikébe tartozik [2] :
Az első három típus mozgásai kimerítik a háromdimenziós tér sajátmozgásának osztályát ( Chall-tétel ), az utolsó három típus mozgásai pedig nem megfelelőek [7] .
A dimenziós térben a mozgások ortogonális transzformációkra , párhuzamos fordításokra és mindkettő szuperpozíciójára redukálódnak.
Az ortogonális transzformációk pedig a (megfelelő) elforgatások és tükörreflexiók szuperpozícióiként (azaz a hipersíkokhoz viszonyított szimmetriákként) ábrázolhatók .
A dimenziós euklideszi tér bármely izometriája legfeljebb n+1 tükörreflexió szuperpozíciójaként ábrázolható [8] .
Tehát a párhuzamos transzláció és forgás két visszaverődés szuperpozíciója, a csúszó reflexió és a tükör forgása három, a csavarmozgás pedig négy.