Rotationsgrupp
Rotationsgrupp ( varvgrupp ) i mekanik och geometri - en uppsättning av alla rotationer runt origo i tredimensionellt euklidiskt rum . Per definition är en rotation runt origo en linjär transformation som bevarar längden på vektorerna och även bevarar orienteringen (höger och vänster trio av vektorer). Rotationsgruppen är isomorf till gruppen av reella ortogonala matriser med determinant 1 (kallad den speciella ortogonala gruppen av dimension 3 - ).
![3 gånger 3](https://wikimedia.org/api/rest_v1/media/math/render/svg/ddc0d4d6106875f8006be1d898512ca5843bad8e)
![{\mathrm {SO}}(3)](https://wikimedia.org/api/rest_v1/media/math/render/svg/8366fc6e92660ba077b87b745b305a4176b1d1ef)
Egenskaper
- Alla rotationsgrupper , inklusive och , är Lie-grupper .
![{\mathrm {SO}}(n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fa71842f19b6810b4bfa9eb282e92fbf285094e)
![{\mathrm {SO}}(3)](https://wikimedia.org/api/rest_v1/media/math/render/svg/8366fc6e92660ba077b87b745b305a4176b1d1ef)
![{\displaystyle \mathrm {SO} (2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f580f01b0e7df995ae24684960f9f4b3487ce)
- Grupperna av rotationer och i allmänhet för är icke- kommutativa.
![{\mathrm {SO}}(3)](https://wikimedia.org/api/rest_v1/media/math/render/svg/8366fc6e92660ba077b87b745b305a4176b1d1ef)
![{\mathrm {SO}}(n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fa71842f19b6810b4bfa9eb282e92fbf285094e)
![n > 2](https://wikimedia.org/api/rest_v1/media/math/render/svg/44e71ac55b9fbf1e9f341b946cda63d61d3ef2cd)
- Gruppen är diffeomorf till ett projektivt utrymme med dimension 3. Genom Eulers rotationssats kan vilken rotation som helst ges av en rät linje (rotationsaxeln som ges av enhetsvektorn ) som går genom centrum av koordinater och en vinkel . Man skulle kunna associera varje rotation med en vektor och därigenom identifiera elementen i rotationsgruppen med punkter i kulan med radie . En sådan jämförelse skulle dock inte vara bijektiv, eftersom samma rotation motsvarar vinklarna och . Därför, genom att identifiera diametralt motsatta punkter på bollens gräns, får vi ett projektivt utrymme .
![v](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07b00e7fc0847fbd16391c778d65bc25c452597)
![\varphi \i [-\pi,\pi]](https://wikimedia.org/api/rest_v1/media/math/render/svg/235cd7101171fc4cd11f2a3350e4234436d37f3b)
![\varphi v](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a7b6ee97f25a143adc7d046f51d8ce79a9bfeb5)
![\pi](https://wikimedia.org/api/rest_v1/media/math/render/svg/9be4ba0bb8df3af72e90a0535fabcc17431e540a)
![\pi](https://wikimedia.org/api/rest_v1/media/math/render/svg/9be4ba0bb8df3af72e90a0535fabcc17431e540a)
![-\pi](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2359073fe90a84a705e02f0c1e63b32df850a60)
- Den universella täckande gruppen är en speciell enhetlig grupp , eller, vad är detsamma, en grupp av kvaternioner av enhetsmodulo (verkar på tangentutrymmet till enhetssfären genom konjugationer). I det här fallet är beläggningen två -ark.
![{\mathrm {SU}}(2)](https://wikimedia.org/api/rest_v1/media/math/render/svg/4478ef936fe905a135afac8386be77964b8bb448)
Variationer och generaliseringar
Ibland kallas rotationsgrupper en speciell ortogonal grupp - rotationsgruppen av -dimensionellt euklidiskt rum. Ett specialfall är gruppen av planrotationer eller U(1) ; till skillnad från fallet med rotation av tredimensionellt utrymme, är det kommutativt .
![{\mathrm {SO}}(n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fa71842f19b6810b4bfa9eb282e92fbf285094e)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![{\displaystyle \mathrm {SO} (2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f580f01b0e7df995ae24684960f9f4b3487ce)
Se även
Litteratur
- Vinberg E. B. Algebrakurs. - 3:e uppl. - M . : Factorial Press, 2002. - 544 sid. - 3000 exemplar. — ISBN 5-88688-060-7 .
- Bogopolsky OV Introduktion till gruppteori. - M. : Moskva-Izhevsk: IKI, 2002. - 148 sid. — ISBN 5-93972-165-6 .