3-dimensia turnada grupo
En matematiko, turnada grupo estas la grupo de ĉiuj turnadoj ĉirkaŭ la fonto de koordinatoj - la punkto (0, 0, 0) de 3-dimensia eŭklida spaco R3 sub la operacio de komponaĵo.
Laŭ difino, turnado ĉirkaŭ la fonto estas lineara transformo kiu konservas longojn kaj orientiĝon (dekstrecon) de spaco. Longo-konservanta transformo kiu donas la malan orientiĝon estas nepropra turnado.
Kompono de du turnadoj donas ankaŭ turnadon. Ĉiu turnado havas unikan inversan turnadon. Ankaŭ identa bildigo estas turnado. Pro la pli supre donitaj propraĵoj, la aro de ĉiuj turnadoj estas grupo sub komponaĵo. Ankaŭ, la turnada grupo havas naturan sternaĵan strukturon por kiu la grupaj operacioj estas glataj; tiel ĝi estas fakte grupo de Lie. La turnada grupo estas ofte skribata kiel SO(3), vidu pli sube pri la kaŭzoj.
La turnada grupo estas neabela grupo (ne komuta grupo). Tio estas ke gravas la ordo en kiu kelkaj turnadoj estas komponitaj. Ekzemple, kvaroncirkla turno je la pozitiva x-akso sekvita per kvaroncirkla turno je la pozitiva y-akso estas malsama turnado ol tiu ricevita per unue turno ĉirkaŭ y-akso kaj poste ĉirkaŭ x-akso. Ĉi tio estas malsama de turnado en du dimensioj, kie ordo de turnadoj ne gravas.
Konservadaj propraĵoj
[redakti | redakti fonton]Krom konservado de longo, ĉiu turnado konservas ankaŭ angulojn. Ĉi tiu sekvas de tio ke la skalara produto de du vektoroj u kaj v povas esti skribata nur per longoj:
De ĉi tie, ĉiu longo-konservanta transformo en R3 konservas la skalaran produton, kaj tiel la angulon. Ĉiu turnado bildigas ortonormalan bazon en R3 ankaŭ al ortonormala bazo.
Turnado estas ofte difinita kiel lineara transformo kiu konservas la enan produton sur R3. Pro la pli supre donita argumento, ĉi tio estas ekvivalento al postulo de konservo de longo.
Turnada akso
[redakti | redakti fonton]Ĉiu netriviala turnado en 3 dimensioj fiksas unikan 1-dimensian rekton kiu estas nomata kiel la rotacia akso (ĉi tio estas eŭlera turnada teoremo). Ĉiu turnado agas kiel normala 2-dimensia turnado en ĉiu ebeno perpendikulara al ĉi tiu akso. Pro tio ke ĉiu 2-dimensia turnado povas esti prezentita per angulo
Por donita unuobla vektoro n en R3 kaj angulo
Ĉiu turnado povas esti prezentita per unika angulo
- n estas ajna se
φ = 0. - n estas unika se 0 <
φ <π . - n estas unika supren ĝis signo se
φ =π , tio estas ke turnadoj R(π , n) kaj R(π , -n) estas identaj.
Propraĵoj de turnado estas ke por ĉiuj n kaj
- R(0, n) estas la identa transformo
- R(
φ , n) = R(-φ , -n) - R(
π +φ , n) = R(π -φ , -n) - R(
φ , n) = R(φ +2π k, n) por ĉiu entjero k
Matrica prezento
[redakti | redakti fonton]Kiel ĉiu lineara transformo, turnado povas ĉiam esti prezentita per matrico.
Ekzemple, kontraŭhorloĝnadlaj turnadoj ĉirkaŭ pozitivaj x, y kaj z aksoj je angulo
Estu R donita turnado. Kun respekto al la norma bazo (e1, e2, e3) de R3 la kolumnoj de R estas donitaj per (Re1, Re2, Re3). Pro tio ke la norma bazo estas ortonormala, la kolumnoj de R formas ankaŭ ortonormalan bazon. Ĉi tiu ortonormaleco povas esti esprimita kiel
- RTR = I
kie RT estas la transpono de R kaj I estas la 3 × 3 identa matrico. Matricoj por kiu ĉi tiu propraĵo veras estas perpendikularaj matricoj. La grupo de ĉiuj 3 × 3 perpendikularaj matricoj estas skribata kiel O(3).
Aldone al konservado de longo, turnado konservas ankaŭ orientiĝon. Matrico priskribanta la transformon konservas aŭ malkonservas orientiĝon laŭ tio ĉu ĝia determinanto estas pozitiva aŭ negativa respektive. Por orta matrico R, det RTR = det I = 1, kun tio ke det RT = det R ĉi tio implicas ke (det R)2 = 1 kaj do det R = ±1. La subgrupo de perpendikularaj matricoj kun determinanto 1 estas nomata kiel la speciala perpendikulara grupo, skribata kiel SO(3).
Tial ĉiu turnado povas esti prezentita unike per orta matrico kies determinanto estas 1. Ankaŭ, pro tio ke komponaĵo de turnadoj respektivas al matrica multipliko, la turnada grupo estas izomorfia al la speciala perpendikulara grupo SO(3).
Nepropraj turnadoj estas donataj per perpendikularaj matricoj kun determinanto -1. Ili ne formas grupon ĉar komponaĵo de du nepropraj turnadoj estas propra turnado.
Topologio
[redakti | redakti fonton]Konsideru solidan pilkon en R3 de radiuso
Notu, ke la pilko ne estas tiu objekto kiu estas turnata per la transformoj. Temas pri turnado de iu la alia objekto.
La pilko kun antipodaj surfacaj punktoj identigitaj estas glata sternaĵo, kaj ĉi tiu sternaĵo estas difeomorfa al la turnada grupo. Ĝi estas ankaŭ difeomorfa al la 3-dimensia reela projekcia spaco RP3, tiel la lasta povas ankaŭ servi kiel topologia modelo por la turnada grupo.
Ĉi tiuj identigoj ilustras ke SO(3) estas koneksa sed ne simple koneksa. Por montri ne simplan koneksecon de la pilko kun antipodaj surfacaj punktoj identigitaj, konsideru vojojn de la norda poluso (0, 0,
Tamen, se trapasi la vojon dufoje, tiel ke
La sama rezonado povas esti plenumita ĝenerale, kaj ĝi montras ke la fundamenta grupo de SO(3) estas cikla grupo de ordo 2. En fizikaj aplikoj, la ne-banaleco de la fundamenta grupo permesas ekziston de specifaj objektoj, kaj estas grava laborilo en la evoluo de la spino-statistika teoremo.
La universala kovro de SO(3) estas grupo de Lie nomata kiel Spino(3). La grupo Spino(3) estas izomorfia al la speciala unuargumenta grupo SU(2); ĝi estas ankaŭ difeomorfa al la unuobla 3-sfero S3 kaj povas esti komprenita kiel la grupo de kvaternionoj kies estas absoluta valoro 1.
Prezentoj de turnadoj
[redakti | redakti fonton]Estas diversaj manieroj prezenti turnadon:
- Per perpendikulara matrico kun determinanto 1
- Per akso kaj turnada angulo
- Per punkto en pilko en R3 de radiuso
π - Per kvaterniono kies estas absoluta valoro 1
- Per eŭleraj anguloj - kiel vico de turnadoj ĉirkaŭ iuj fiksitaj aksoj.
Ĝeneraligoj
[redakti | redakti fonton]La turnada grupo povas esti ĝeneraligita al n-dimensia eŭklida spaco Rn. La grupo de ĉiuj propraj kaj nepropraj turnadoj en n dimensioj estas nomata kiel la perpendikulara grupo, O(n), kaj ĝia subgrupo de nur propraj turnadoj estas nomata kiel la speciala perpendikulara grupo, SO(n).
La turnada grupo SO(3) estas subgrupo de E+(3), la eŭklida grupo de direktaj izometrioj de R3. Ĉi tiu pli granda grupo estas la grupo de ĉiuj movoj de solido. Ĉiu movo estas kombinaĵo de turnado ĉirkaŭ ajna akso kaj paralela movo, tiel kombinaĵo de ero de SO(3) kaj ajna paralela movo.
En speciala teorio de relativeco estas uzata 4-dimensia spaco de Minkowski. Malsimile al 4-dimensia eŭklida spaco, spaco de Minkowski havas enan produton kun nedifinita metrika signumo. Tamen, tie estas difinita lorenca transformo, kiu estas ĝeneraligita turnado kiu konservas ĉi tiun enan produton. La grupo de ĉiuj tiuj transformoj estas nomata kiel lorenca grupo.
Ĝenerale, la turnada grupo de objekto estas la geometria simetria grupo en la grupo de direktaj izometrioj; en aliaj vortoj, la intersekco de la plena geometria simetria grupo kaj la grupo de direktaj izometrioj. Por nememspegulsimetria objekto ĝi estas la sama kiel la plena geometria simetria grupo.
Vidu ankaŭ
[redakti | redakti fonton]- Perpendikulara grupo - ĝeneraligo al pli altaj dimensioj
- Koordinata turnado
- Solido
- Angula rapido
- Angula movokvanto
- Abakoj sur SO(3)
- Eŭleraj anguloj
- Infinitezima turnado
- Lorenca grupo
- Paralela mova grupo