Sari la conținut

Rotație în spațiul euclidian cvadridimensional

De la Wikipedia, enciclopedia liberă

În matematică, grupul rotațiilor în spațiul euclidian cvadridimensional este notat SO(4). Numele provine din faptul că este grupul ortogonal special de ordinul 4.

În acest articol prin rotație se înțelege o deplasare de rotație față de un punct fix. Din motive de unicitate, se presupune că unghiurile de rotație se află în intervalul , cu excepția cazurilor în care se precizează altceva sau rezultă clar din context. Un "plan fix" este un plan în care fiecare vector din plan rămâne neschimbat după rotație. Un "plan invariant" este un plan în care fiecare vector din plan rămâne în plan după rotație.

Geometria rotațiilor în 4 dimensiuni

[modificare | modificare sursă]

În 4 dimensiuni rotațiile sunt de două feluri: simple și duble

Rotații simple

[modificare | modificare sursă]

O rotație simplă R în jurul centrului de rotație O păstrează fix întregul plan A față de O. Orice plan B care este complet ortogonal[a] cu A intersectează A într-un punct P. Orice asemenea punct P este centrul unei rotații bidimensionale deretminată în B de R. Toate aceste rotații bidimensionale au același unghi de rotație α.

Semidreptele din O în planul axei A nu sunt deplasate; semidreptele din O ortogonale la A sunt rotite cu unghiul α; toate celelalte semidrepte sunt rotite cu un unghi mai mic decât α.

Rotații duble

[modificare | modificare sursă]
Proiecție stereografică a unui tesseract, într-o rotație dublă
O proiecție stereografică în 3D a unui tor Clifford cvadridimesnional arată ca un tor, iar o rotație dublă poate fi văzută ca o mișcare elicoidală pe acel tor. Pentru o rotație la care raportul celor două unghiuri de rotație este un număr rațional, la un moment dat calea mișcării se va închide, dar dacă acest raport este un număr irațional calea mișcării nu se va închide niciodată. O rotație izoclinică va forma un cerc Villarceau pe tor, în timp ce o rotație simplă va forma un cerc paralel cu, sau perpendicular pe axa centrală.

La fiecare rotație R din 4-spațiu (fixând originea), există cel puțin o pereche de 2-plane ortogonale A și B, fiecare din ele fiind invariant, iare suma lor directă AB fiind întregul 4-spațiu. Prin urmare o rotație R produce în aceste plane o rotație obișnuită. Pentru aproape orice R (în toate seturile de rotații 6-dimensionale cu excepția subsetului 3-dimensional), unghiurile de rotație α în planul A și β în planul B — presupunând că niciunul nu este zero — sunt diferite. Unghiurile de rotație inegale α și β satisfying −π < α, β < π sunt aproape[b] unic determinate de R. Presupunând că 4-spațiul este orientat, atunci orientările celor 2-plane A și B pot fi alese în concordanță cu această orientare în două moduri. Dacă unghiurile de rotație sunt inegale (αβ), R este uneori denumită „rotație dublă”.

În acest caz al dublei rotații, A și B sunt singura pereche de plane invariante, iar semidreptele din orrigine din A, B sunt rotite cu unghiurile α respectiv β, iar semidreptele din origine care nu sunt în A sau B sunt rotite cu unghiuri strict între α și β.

Rotații izoclinice

[modificare | modificare sursă]

Dacă unghiurile de rotație ale unei duble rotații sunt egale, atunci există infinit de multe plane invariante în loc de doar două, iar toate semidreptele din O sunt rotite cu același unghi. Astfel de rotații se numesc izoclinice, rotații echiunghiulare sau deplasări Clifford. De notat că nu toate planele prin O sunt invariante sub rotații izoclinice; numai planele care sunt generate de semidrepte, iar deplasarea acelor semidrepte este invariantă.

Presupunând că a fost aleasă o orientare fixă pentru spațiul 4-dimensional, rotațiile izoclinice cvadridimensionale pot fi împărțite în două categorii. Pentru a vedea acest lucru, fie o rotație izoclinică R și un set ordonat conform orientării semidreptelor reciproc perpendiculare OU, OX, OY, OZ în O (notate ca OUXYZ) astfel încât OU și OX generează un plan invariant, și, prin urmare, OY și OZ generează și ele un plan invariant. Acum, se presupune că este specificat doar unghiul de rotație α. Apoi, în general, există patru rotații izoclinice în planele OUX și OYZ cu unghiul de rotație α, în funcție de sensurile rotațiilor din OUX și OYZ.

Se face covenția că sensurile rotațiilor de la OU la OX și de la OY la OZ sunt cele pozitive. Atunci vor exista patru rotații R1 = (+α, +α), R2 = (−α, −α), R3 = (+α, −α) și R4 = (−α, +α). R1 șiR2 sunt una inversa celeilalte, la fel și R3 și R4. cât timp α se află între 0 și aceste patru rotații vor fi diferite.

Rotațiile izoclinice cu semne similare sunt notate ca izoclinice la stânga, iar cele cu semne opuse ca izoclinice la dreapta. Rotațiile izoclinice la stânga și la dreapta sunt reprezentate, respectiv, prin înmulțirea la stânga și la dreapta cu cuaternioni unitate (v. mai jos).

Cele patru rotații sunt diferite în perechi, cu excepția cazului în care sau Unghiul corespunde rotației identice (fără rotație), iar corespunde cu simetria față de centru, dată de negativul matricei unitate. Aceste două elemente ale sunt singurele care sunt simultan izoclinice și la stânga și la dreapta.

Rotațiile izoclinice la stângă și la dreaptă definite mai sus par să depindă de rotația izoclinică specifică care a fost aleasă. Totuși, dacă se alege o altă rotație izoclinică R′, cu propriile axe OU′, OX′, OY′, OZ′, apoi se poate alege oricând ordinea (printr-o permutare pară) a U′, X′, Y′, Z′ astfel încât OUXYZ să poată fi transformată în OU′X′Y′Z′ printr-o rotație mai degrabă decât printr-o rotație-reflexie (adică astfel încât baza ordonată OU′, OX′, OY′, OZ′ să fie și ea compatibilă cu aceeași alegere fixă a orientării ca și cea a OU, OX, OY, OZ). Prin urmare, odată ce s-a ales o orientare (adică un sistem OUXYZ de axe care este considerat pe dreapta), se poate determina caracterul pe stânga sau pe dreapta a unei rotații izoclinice specifice.

Structura grupului SO(4)

[modificare | modificare sursă]

este un grup Lie 6-dimensional compact necomutativ.

Fiecare plan care trece prin centrul de rotație O este planul axei unui subgrup comutativ izomorf cu . Toate aceste subgrupuri sunt reciproc conjugate în .

Fiecare pereche de planuri complet ortogonale prin O este perechea de planuri invariante ale unui subgrup comutativ al izomorf cu .

Aceste grupuri sunt toruri maxime ale , care se conjugă reciproc în .

Toate rotațiile izoclinice pe stânga formează subgrupul necomutativ al care este izomorf cu grupul multiplicativ al cuaternionilor unitate. Toate rotațiile izoclinice pe dreapta formează subgrupul necomutativ al care este izomorf cu grupul multiplicativ . Ambele și sunt subgrupuri maximale ale .

Fiecare rotație izoclinică pe stânga comută cu fiecare rotație izoclinică pe dreapta. Astea implică faptul că există produsul direct de grupuri , ambele grupuri factor sunt izomorfe cu alți factori ai produsului direct, adică izomorfe cu . (Acesta nu este sau un subgrup al său, deoarece și nu sunt disjuncte: fiecare dintre identitatea I și inversa față de centru I aparțin ambelor și .)

Fiecare rotație cvadridimensională A este în două feluri produsul rotațiilor izoclinice pe stânga și pe dreapta AL și AR. AL și AR sunt determinate împreună de inversarea față de centru, adică atunci când ambele AL și AR sunt inversate față de centru produsul lor este tot A.

Asta implică faptul că este grupul de acoperire universal al  — este unicul grup de dublă acoperire — și atunci și sunt subgrupuri normale ale . Rotația identică (nulă) I și inversa sa față de centru I formează grupul de ordinul 2, care este centrul și al ambelor și . Centrul unui grup este un subgrup normal al grupului. Grupul factor al în este izomorf cu . Grupul factor al față de și al față de sunt fiecare izomorfe cu . Similar, grupul factor al față de și al față de sunt fiecare izomorfe cu .

Topologia este aceeași cu a grupului Lie adică cu spațiul unde este spațiul proiectiv real cu dimensiunea 3 iar este o 3-sferă. Este de remarcat faptul că deși este un grup Lie, el nu este un produs direct de grupuri Lie, ca urmare nu este izomorf cu .

O proprietate particulară a SO(4) printre grupurile de rotații în general

[modificare | modificare sursă]

Grupurile de rotații impare nu conțin inversarea față de centru și sunt grupuri simple.

Grupurile de rotații pare conțin inversarea față de centru I și au grupul ca centru. Pentru n ≥ 6 par, este aproape simplu prin aceea că grupul factor al față de centrul său este un grup simplu.

este diferit: nu există o conjugare a niciunui element al care să transforme rotațiile izoclinice pe stânga și pe dreapta una în cealaltă. Reflexiile transformă o rotație izoclinică pe stânga într-una izoclinică pe dreapta prin conjugare și invers. Acest lucru implică faptul că în grupul O(4) al tuturor izometriilor cu punct fix O subgrupurile distincte și se conjugă între ele, prin urmare nu pot fi subgrupuri normale ale . Grupul de rotații 5-dimensional și toate grupurile de rotații superioare conțin subgrupuri izomorfe cu . Ca și , toate grupurile de rotații uniforme conțin rotații izoclinice. Dar, spre deosebire de , în și în toate grupurile de rotații din dimensiuni superioare pare, oricare două rotații izoclinice cu același unghi sunt conjugate. Setul tuturor rotațiilor izoclinice nu este nici măcar un subgrup al , darămite un subgrup normal.

Algebra rotațiilor cvadridimensionale

[modificare | modificare sursă]

De obicei este identificat drept grupul aplicațiilor liniare izometrice de conservare a orientării unui spațiu vectorial cvadridimensional cu produsul său interior asupra numerelor reale pe el însuși.

Cu privire la o bază într-un astfel de spațiu, este grupul de matrici ortogonale de ordinul 4 cu determinantul +1.

Descompunere izoclinică

[modificare | modificare sursă]

O rotație cvadridimensională dată de o matrice este descompusă într-o rotație izoclinică pe stânga și una pe dreapta după cum urmează. Fie:

matricea sa în raport cu o bază ortonormală arbitrară.

Se calculează așa-numita „matrice asociată”:

M are rangul unu și este un vector 16-dimesnional cu norma euclidiană 1 dacă și numai dacă A este într-adevăr o matrice de rotație cvadridimensională. În acest caz există numere reale a, b, c, d și p, q, r, s astfel încât

și

Există doar două seturi de a, b, c, d și p, q, r, s astfel încât și . Ele sunt reciproc contrarii.

Matricea de rotație este apoi egală cu

Aceasta este formula lui Van Elfrinkhof (1897). Primul factor în această descompunere reprezintă o rotație izoclinică la stânga, al doilea factor o rotație izoclinică la dreapta. Factorii sunt determinați până la matricea unitate de ordinul 4 negativă, adică inversarea față de centru.

Relația cu cuaternionii

[modificare | modificare sursă]

Un punct din spațiul cvadridimensional cu coordonatele carteziene (u, x, y, z) poate fi reprezentat de un cuaternion P = u + xi + yj + zk.

O rotație izoclinică la stânga este reprezentată de înmulțirea la stânga cu un cuaternion unitate QL = a + bi + cj + dk. În limbajul matricial–vectorial asta înseamnă

La fel, o rotație izoclinică la dreapta este reprezentată de înmulțirea la dreapta cu un cuaternion unitate QR = p + qi + rj + sk, care în formă matricial–vectorială este

În secțiunea precedentă (descompunere izoclinică) se arată cum o rotație cvadridimensională oarecare este descompusă în factori izoclinici pe dreapta și pe stânga.

În limbajul cuaternionilor formula lui Van Elfrinkhof devine

sau, în formă simbolică,

După matematicianul German Felix Klein această formulă îi era cunoscută lui Cayley în 1854.

Înmulțirea cuaternionilor este asociativă. Prin urmare,

ceea ce arată că rotațiile izoclinică la stânga și izoclinică la dreapta pot comuta.

Valorile proprii ale matricilor de rotație cvadridimensională

[modificare | modificare sursă]

Cele patru valori proprii ale unei matrice de rotație cvadridimensională apar în general ca două perechi conjugate de numere complexe cu modulul unitate. Dacă o valoare proprie este reală, trebuie să fie ±1, deoarece o rotație lasă neschimbat modulul unui vector. Conjugatul acelei valori proprii este, de asemenea, unitate, rezultând o pereche de vectori proprii care definesc un plan fix, astfel încât rotația este simplă. În notația cu cuaternioni, o rotație (fără inversare) în SO(4) este o rotație simplă dacă și numai dacă părțile reale ale cuaternionilor unitate QL și QR sunt egale ca mărime și au același semn.[c] Dacă ambele sunt zero, toate valorile proprii ale rotației sunt unități, iar rotația este rotația nulă. Dacă părțile reale ale QL și QR nu sunt egale atunci toate valorile proprii sunt complexe, iar rotația este o rotație dublă.

Formula Euler–Rodrigues pentru rotații cvadridimensionale

[modificare | modificare sursă]

Spațiul obișnuit tridimensional este tratat în mod convenabil ca subspațiul cu sistemul de coordonate 0XYZ al spațiului cvadridimensional cu sistemul de coordonate UXYZ. Grupul său de rotații SO(3) este identificat cu subgrupul SO(4) format din matricile

În formula lui Van Elfrinkhof, această restricție la trei dimensiuni duce la p = a, q = −b, r = −c, s = −d, sau în reprezentarea cu cuaternioni: QR = QL′ = QL−1. În tridimensional matricea de rotație devine

care este reprezentarea unei rotații tridimensionale prin parametrii Euler–Rodrigues: a, b, c, d.

Formula corespunzătoare cu cuaternioni P′ = QPQ−1, unde Q = QL, sau, în formă dezvoltată:

este cunoscută drept formula HamiltonCayley.

Generarea matricilor rotațiilor cvadridimensionale

[modificare | modificare sursă]

Rotațiile cvadridimensionale pot fi deduse din formulele lui Rodrigues și Cayley. Fie A o matrice antisimetrică 4 × 4. Matricea antisimetrică A poate fi descompusă în mod unic în două matrici antisimetrice A1 și A2

având proprietățile A1A2 = 0, A13 = −A1 și A23 = −A2, unde θ1i și θ2i sunt valorile proprii ale A. Apoi matricele de rotație cvadridimensională pot fi obținute din matricile A1 și A2 cu formulele lui Rodrigues și Cayley.[2]

Fie A o matrice antisimetrică 4 × 4 nenulă, cu valorile proprii

Atunci A poate fi descompusă în

unde A1 și A2 sunt matrici antisimetrice cu proprietățile

Mai mult, matricile antisimetrice A1 și A2 se obțin în mod unic drept

și

Atunci,

este matricea de rotație în E4 generată de formula lui Rodrigues, cu setul valorilor proprii

De asemenea,

este o matrice de rotație în E4, care este generată de formula de rotație a lui Cayley, astfel încât setul de valori proprii ale R este

Matricea de rotație generatoare poate fi clasificată în funcție de valorile θ1 și θ2 după cum urmează:

  1. dacă θ1 = 0 și θ2 ≠ 0 sau invers, atunci formulele generează rotații simple;
  2. dacă θ1 și θ2 sunt nenule și θ1θ2, atunci formulele generează rotații duble;
  3. dacă θ1 și θ2 sunt nenule și θ1 = θ2, atunci formulele generează rotații izoclinice.

Coordonate Hopf

[modificare | modificare sursă]

Rotațiile în spațiul tridimensional pot fi făcute mult mai ușor de urmărit matematic prin utilizarea coordonatelor sferice. Orice rotație în tridimensional poate fi caracterizată printr-o axă de rotație fixă și un plan invariant perpendicular pe acea axă. Fără pierderea generalității, se poate considera planul xy ca plan invariant și axa z ca axă fixă. Deoarece distanțele radiale nu sunt afectate de rotație, ea se poate caracteriza prin efectul său asupra sferei unitate (2-sferă) prin coordonate sferice legate de axa fixă și planul invariant:

Deoarece x2 + y2 + z2 = 1, punctele se află pe 2-sferă. Un punct aflat la {θ0, φ0} rotit cu unghiul φ în jurul axei z este specificată simplu prin {θ0, φ0 + φ}. În timp ce coordonatele hipersferice pot fi folosite pentru rotațiile cvadridimensionale, un sistem de coordonate și mai comod în spațiul cvadridimensional este cel al coordonatelor Hopf {ξ1, η, ξ2},[3] care sunt un set de trei coordonate unghiulare care specifică o poziție pe o 3-sferă. De exemplu:

Deoarece u2 + x2 + y2 + z2 = 1, punctele se află pe 3-sferă.

În spațiul cvadridimensional, fiecare rotație în jurul originii are două planuri invariante care sunt complet ortogonale între ele, se intersectează în origine și sunt rotite cu două unghiuri independente ξ1 și ξ2. Fără pierderea generalității, se pot alege planele uz respectiv xy ca plane invariante. O rotație cvadridimensională a unui punct {ξ10, η0, ξ20} cu unghiurile ξ1 și ξ2 este exprimată simplu în coordonatele Hopf drept {ξ10 + ξ1, η0, ξ20 + ξ2}.

Vizualizarea rotațiilor cvadridimensionale

[modificare | modificare sursă]
Traiectoriile unui punct pe un tor Clifford:
Fig. 1: rotație simplă (cu negru) și rotații izoclinice pe stânga și pe dreapta (cu roșu și albastru)
Fig. 2: O rotație generală cu un raport al unghiurilor de 1:5
Fig. 3: O rotație generală cu un raport al unghiurilor de 5:1
Toate imaginile sunt proiecții stereografice

Fiecare rotație în spațiul tridimensional are o axă invariantă, neschimbată de rotație. Rotația este complet specificată prin axa de rotație și unghiul de rotație în jurul ei. Fără pierderea generalității, această axă poate fi aleasă ca axa z a unui sistem de coordonate carteziene, permițând o vizualizare mai simplă a rotației.

În spațiul tridimensional, coordonatele sferice {θ, φ} pot fi văzute ca o expresie parametrică a unei 2-sfere. Pentru θ fix, ele descriu cercuri pe 2-sferă, care sunt perpendiculare pe axa z. Aceste cercuri pot fi privite ca traiectorii ale unui punct pe sferă. Un punct {θ0, φ0} pe sferă, rotit în jurul axei z, va urma o traiectorie {θ0, φ0+φ} deoarece unghiul φ variază. Traiectoria poate fi privită ca o rotație parametrică în timp, unde unghiul de rotație este liniar în timp: φ = ωt, ω fiind viteza unghiulară.

Analog cazului tridimensional, fiecare rotație în spațiul cvadridimensional are cel puțin două plane ale axelor care sunt invariante la rotație și sunt complet ortogonale (adică se intersectează într-un punct). Rotația este complet specificată prin specificarea planelor axelor și a unghiurilor de rotație în jurul lor. Fără pierderea generalității, aceste plane de axe pot fi alese pentru a fi planele uz și xy ale unui sistem de coordonate carteziene, permițând o vizualizare mai simplă a rotației.

În spațiul cvadridimensional unghiurile Hopf {ξ1, η, ξ2} parametrizează 3-sfera. Pentru η fix ele descriu o parametrizare a unui tor ξ1 și ξ2, cu η = π/4 fiind un caz particular al unui tor Clifford în planele xy și uz. Aceste toruri nu sunt cele obișnuite din spațiul tridimensional. Deși au suprafețe bidimensionale statice, ele sunt cuprinse într-o 3-sferă. 3-sfera poate fi proiectată stereografic într-un spațiu tridimensional euclidian, iar atunci aceste toruri apar ca toruri de revoluție obișnuite. Se poate vedea că un punct specificat de {ξ10, η0, ξ20} supus unei rotații în planele uz și xy va rămâne pe torul specificat de η0.[4] Traiectoria unui punct poate fi scrisă în funcție de timp drept {ξ10 + ω1t, η0, ξ20 + ω2t} și este proiectată stereografic pe torul său asociat ca în figurile de mai jos.[5] În aceste figuri punctul inițial este {0, π/4, 0}, adică pe torul Clifford. În Fig. 1 două traiectorii ale unor rotații simple sunt colorate cu negru, iar traiectoriile rotațiilor izoclinice pe stânga și pe dreapta sunt colorate cu roșu, respectiv cu albastru. În Fig. 2 se arată o rotație generală în care ω1 = 1 și ω2 = 5, iar în Fig. 3 se artă o rotație generală în care ω1 = 5 și ω2 = 1.

Note explicative

[modificare | modificare sursă]
  1. ^ Două subspații plane S1 și S2 cu dimensiunile M și N a spațiului eucidian S cu cel puțin M + N dimesniuni sunt complet ortogonale dacă oricare dreaptă din S1 este ortogonală pe oricare dreaptă din S2. Dacă dim(S) = M + N atunci S1 și S2 se intersectează într-un singur punct O. Dacă dim(S) > M + N atunci S1 și S2 pot să se intersecteze sau nu. Dacă dim(S) = M + N atunci o dreaptă din S1 și una din S2 se pot intersecta sau nu; dacă se intersectează, etunci se intersectează în O.[1]
  2. ^ Presupunând că 4-spațiul este orientat, atunci orientările fiecăruia dintre cele 2-plane A și B pot fi alese pentru a fi în concordanță cu această orientare a spațiului 4 în două moduri la fel de valabile. Dacă unghiurile dintr-o astfel de alegere de orientări ale A și B sunt {α, β}, atunci unghiurile din cealaltă alegere sunt {–α, –β}. (Pentru a măsura un unghi de rotație într-un 2-plan este necesar să fie specificată o orientare pe acel 2-plan. Un unghi de rotație de este același cu unul de . Dacă orientarea 4-spațiului este inversată, unghiurile rezultate ar fi fie {α, –β}, fie {–α, β}. Prin urmare, valorile absolute ale unghiurilor sunt bine definite complet independent de orice opțiuni.)
  3. ^ Exemplu cu semne opuse: inversarea față de centru; în reprezentarea cu cuaternioni părțile reale sunt +1 și −1, iar inversarea față de centru nu poate fi realizată printr-o singură rotație simplă.
  1. ^ Schoute 1902, Volume 1.
  2. ^ en Erdoğdu, M.; Özdemir, M. (). „Generating Four Dimensional Rotation Matrices”. 
  3. ^ en Karcher, Hermann, „Bianchi–Pinkall Flat Tori in S3, 3DXM Documentation, 3DXM Consortium, accesat în  
  4. ^ en Pinkall, U. (). „Hopf tori in S3 (PDF). Invent. Math. 81 (2): 379–386. Bibcode:1985InMat..81..379P. doi:10.1007/bf01389060. Accesat în . 
  5. ^ en Banchoff, Thomas F. (). Beyond the Third DimensionNecesită înregistrare gratuită. W H Freeman & Co. ISBN 978-0716750253. Accesat în .