Sari la conținut

Rotație (matematică)

De la Wikipedia, enciclopedia liberă
Acest articol se referă la rotațiile matematice. Pentru alte sensuri, vedeți Rotație (dezambiguizare).
Rotația unei figuri geometrice în plan în jurul unui punct, O

În matematică o rotație este un concept care provine din geometrie. O rotație este o deplasare în spațiu, care conservă poziția a cel puțin un punct. De exemplu ea poate descrie deplasarea unui solid rigid în jurul unui punct fix. O rotație este diferită de alte tipuri de deplasări: translațiile, care nu au nici un punct fix, sau reflexiile, rotațiile având o zonă plană (n−2)-dimensională de puncte fixe în spațiul n-dimensional. Sensul pozitiv al unei rotații este sensul trigonometric (sensul antiorar), o rotație în sens orar fiind o rotație cu o valoare negativă.

Matematic, o rotație este o aplicație. Toate rotațiile din jurul unui punct fix formează un grup al legii de compoziție rotație numit grup de rotații (al unui anumit spațiu). Dar în mecanică și, mai general, în fizică, acest concept este frecvent înțeles ca o transformare de coordonate (a unei baze ortonormate), deoarece pentru orice deplasare a unui corp există o transformare (în sens invers) care, dacă este aplicată sistemului de referință, are ca rezultat aceleași coordonate ale corpului. De exemplu, în două dimensiuni, rotirea unui corp în sensul acelor de ceasornic în jurul unui punct menținând axele fixe este echivalentă cu rotirea axelor în sens invers acelor de ceasornic în timp ce corpul este menținut fix.

Definiții și terminologie asociată

[modificare | modificare sursă]

Grupul de rotații este un grup Lie de rotații în jurul unui punct fix. Acest punct fix se numește centru de rotație și de obicei este considerat originea. Grupul de rotații este un punct stabilizator într-un grup mai larg de deplasări (conservarea orientării).

Pentru o anumită rotație:

O reprezentare a rotațiilor este un formalism, fie algebric, fie geometric, utilizat pentru parametrizarea unei aplicații de rotație. Această semnificație este cumva inversă față de sensul din teoria grupului.

Rotațiile spațiilor afine ale punctelor și ale spațiilor vectoriale nu sunt întotdeauna distincte. Primele sunt uneori denumite rotații afine (deși termenul este înșelător), în timp ce acelea din urmă sunt rotații vectoriale (v. mai jos).

Definiții și reprezentări

[modificare | modificare sursă]

În geometria euclidiană

[modificare | modificare sursă]
O rotație în plan în jurul unui punct urmată de o altă rotație în jurul unui alt punct are ca rezultat o deplasare totală care este fie o rotație, fie o translație (fie ambele, ca în această imagine)

O deplasare a unui spațiu euclidian este aceeași cu izometria sa: după transformare lasă neschimbată distanța între oricare două puncte. Dar o rotație (adecvată) trebuie, de asemenea, să păstreze orientarea. Expresia „rotație improprie” se referă la izometrii care inversează (răstoarnă) orientarea (după un număr impar de reflexii). În limbajul teoriei grupurilor distincția este exprimată ca izometrii „directe” vs „indirecte”, însă mulți geometri nu acceptă izometriile indirecte că ar fi rotații. Orice deplasare euclidiană directă poate fi reprezentată ca o compunere a unei rotații în jurul unui punct fix și a unei translații.

Într-un spațiu unidimensional nu există rotații netriviale. Într-un spațiu bidimensional este necesar doar un singur parametru pentru a specifica o rotație în jurul originiiunghiul de rotație, care specifică un element din grupul cercului (cunoscut și sub numele de ). Rotația acționează pentru a roti un obiect în sens trigonometric cu un unghi θ în jurul originii. Compunerea rotațiilor însumează unghiurile lor modulo o rotație completă (360°, 2) ceea ce implică faptul că toate rotațiile bidimensionale față de „același” punct sunt comutative. Rotațiile față de puncte „diferite” în general nu sunt comutative. Orice deplasare directă bidimensională este fie o translație, fie o rotație (fie o compunere a lor).

Rotațiile Euler ale Pământului: cea proprie (verde) cea de precesie (albastru) și cea de nutație (roșu)

Rotațiile din spațiul tridimensional diferă de cele din două dimensiuni într-o serie de moduri importante. Rotațiile în trei dimensiuni nu sunt în general comutative, deci ordinea în care se aplică rotațiile este importantă chiar și în același punct. Spre deosebire de cazul bidimensional, o deplasare directă tridimensională într-o poziție oarecare nu este doar o rotație, ci una elicoidală. Rotațiile au trei grade de libertate, corespunzătoare celor trei perechi de axe de coordonate din spațiul tridimensional, deci ele pot fi caracterizate prin trei parametri.

O rotație tridimensională poate fi specificată în mai multe moduri. Cele mai uzuale metode sunt:

  • Unghiurile lui Euler. Orice rotație în jurul originii poate fi reprezentată ca o compunere a trei rotații, definite ca deplasarea obținută prin schimbarea unuia dintre unghiurile lui Euler menținând constante celelalte două. Acestea constituie un sistem de axe de rotație mixte, deoarece unghiurile sunt măsurate în raport cu mai multe sisteme de coordonate diferite în loc să fie măsurate față de un singur sistem, fie pur extern, fie pur intrinsec. Mai exact, primul unghi deplasează linia nodurilor în jurul axei externe z, al doilea rotește în jurul liniei nodurilor, iar al treilea este o rotație în jurul unei axe fixate de corpul care se mișcă. Unghiurile Euler sunt de obicei notate α, β și γ, sau φ, θ și ψ. Această prezentare este convenabilă numai pentru rotații în jurul unui punct fix.
Reprezentare axă–unghi
  • Reprezentarea axă–unghi specifică în jurul căreia are loc rotația și unghiul de rotație în jurul ei. Poate fi vizualizată cu ușurință. Există două variante care o reprezintă:
  • ca o pereche formată din versorul axei și unghiul de rotație.
  • ca un vector euclidian obținut prin înmulțirea valorii unghiului cu versorul axei, vector numit în acest caz vector de rotație (deși, strict vorbind, este un pseudovector).
O proiecție tridimensională în perspectivă a unui tesseract care se rotește în spațiul euclidian cvadridimensional

O rotație generală în spațiul cvadridimensional are un singur punct fix, centrul de rotație și nici o axă de rotație; vezi rotație în spațiul euclidian cvadridimensional pentru detalii. În schimb, rotația se poate efectua în două plane de rotație reciproc ortogonale, fiecare dintre ele fiind fix în sensul că punctele din fiecare plan rămân în planele respective. Rotația are două unghiuri de rotație, unul pentru fiecare plan de rotație în care se rotesc punctele din planuri. Dacă acestea sunt ω1 și ω2, atunci toate punctele care nu se află în aceste plane se rotesc cu un unghi între ω1 și ω2. Rotațiile în patru dimensiuni în jurul unui punct fix au șase grade de libertate (corespunzătoare celor perechi de axe). O deplasare directă în patru dimensiuni în poziția generală este o rotație în jurul unui anumit punct (ca în toate spațiile euclidiene cu un număr par de dimensiuni), dar există și rotații în elice.

Formalismul algebrei liniare și multiliniare

[modificare | modificare sursă]

Când se iau în considerare deplasările spațiului euclidian care păstrează originea, distincția dintre puncte și vectori, importantă în matematica pură, poate fi ștearsă deoarece există o corespondență biunivocă între puncte și vectorii de poziție. Același lucru este valabil și pentru alte geometrii decât cea euclidiană, dar al căror spațiu este un spațiu afin cu o structură suplimentară (v. mai jos). Alternativ, descrierea vectorială a rotațiilor poate fi înțeleasă ca o parametrizare a rotațiilor geometrice și compunerea lor cu translațiile. Cu alte cuvinte, o rotație vectorială este echivalentă cu mai multe rotații ale tuturor punctelor din spațiu.

O deplasare care păstrează originea este o transformare liniară pe vectori care păstrează aceeași structură geometrică, dar exprimată sub formă vectorială. Pentru un vectorul euclidian această expresie este „mărimea” lui (distanța euclidiană). Un astfel de operator este exprimat printr-o matrice ortogonală cu n × n care se înmulțește cu vectori coloană.

După cum s-a spus, o rotație (proprie) este diferită de o deplasare arbitrară cu un punct fix în conservarea orientării spațiului vectorial. Astfel, determinantul unei matrici ortogonale de rotație trebuie să fie 1. Singura altă posibilitate pentru determinantul unei matrice ortogonale este să fie −1, iar acest rezultat înseamnă că transformarea este o reflexie, o „rotație improprie”. Matricile tuturor rotațiilor corespunzătoare formează grupul ortogonal special.

În două dimensiuni

[modificare | modificare sursă]

În două dimensiuni, pentru a efectua o rotație folosind o matrice, punctul (xy) care trebuie rotit în sens trigonometric este reprezentat de un vector coloană, apoi înmulțit cu o matrice de rotație calculată pentru unghiul θ:

.

Coordonatele punctului după rotație sunt xy, iar formulele pentru x′ și y′ sunt

Vectorii și au același modul și diferă prin ungiul θ, după cum era de așteptat.

Punctele din planul R2 pot fi și ele considerate numere complexe: punctul (x, Y) în plan este reprezentat de numărul complex

Acesta poate fi rotit cu unghiul θ prin înmulțirea cu e, apoi dezvoltând produsul folosind formula lui Euler:

iar echivalarea părților reale și imaginare dă același rezultat ca o matrice bidimensională:

Deoarece numerele complexe formează un inel comutativ, rotațiile vectoriale în două dimensiuni sunt comutative, spre deosebire de cele din dimensiunile superioare. Au un singur grad de libertate, deoarece astfel de rotații sunt în întregime determinate de unghiul de rotație.[1]

În trei dimensiuni

[modificare | modificare sursă]

Ca și în două dimensiuni, o matrice poate fi folosită pentru a roti un punct (x, y, z) în punctul (x′, y′, z′). Matricea folosită este o matrice 3×3,

care este înmulțită cu vectorul care reprezintă punctul:

Setul tuturor matricelor adecvate împreună cu operația înmulțirea matricilor este grupul de rotație SO(3). Matricea A este un membru al grupului ortogonal special tridimensional, SO(3), adică este o matrice ortogonală cu determinantul 1. Faptul că este o matrice ortogonală înseamnă că rândurile sale sunt un set de versori (deci sunt o bază ortonormată) la fel ca și coloanele sale, simplificând detectarea și verificarea dacă o matrice este o matrice de rotație validă.

Unghiurile lui Euler și reprezentarea axă–unghi menționate mai sus pot fi transformate simplu într-o matrice de rotație.

Cuaternionii unitate, sau versorii, sunt oarecum cea mai puțin intuitivă reprezentare a rotațiilor tridimensionale. Însă nu sunt un exemplu pentru o abordare generală. Sunt mai compacți decât matricile și mai ușor de lucrat cu ei decât toate celelalte metode, așa că sunt adesea preferați în aplicațiile din lumea reală.

Un versor (numit și „cuaternion de rotație”) constă din patru numere reale, însă cu norma 1. Această constrângere limitează gradele de libertate ale cuaternionului la trei, cum și este necesar. Spre deosebire de matrici și numere complexe, sunt necesare două înmulțiri:

unde q este versorul, q−1 este inversul său, iar x este vectorul, tratat drept cuaternion cu partea scalară zero. Cuaternionul poate fi legat de forma vectorului de rotație de tip axă–unghi prin aplicația exponențială asupra cuaternionilor,

unde v este vectorul de rotație tratat drept cuaternion.

O singură înmulțire cu un versor, fie la stânga, fie la dreapta, este ea însăși o rotație, dar în patru dimensiuni. Orice rotație în patru dimensiuni în jurul originii poate fi reprezentată cu două înmulțiri ale cuaternionului: una la stânga și una la dreapta, prin două cuaternioni unitate diferiți.

Note suplimentare

[modificare | modificare sursă]

Mai general, rotațiile coordonatelor în orice dimensiune sunt reprezentate de matrici ortogonale. Setul tuturor matricilor ortogonale în dimensiunile n care descriu rotații proprii (determinant = +1), împreună cu operația de înmulțire a matricilor formează grupul ortogonal special SO(n).

Matricile sunt adesea folosite pentru efectuarea transformărilor, mai ales atunci când se transformă un număr mare de puncte, deoarece sunt o reprezentare directă a operatorului liniar. Rotațiile reprezentate în alte moduri sunt adesea convertite în matrice înainte de a fi efectuate. Ele pot fi extinse pentru a reprezenta rotații și transformări în același timp folosind coordonate omogene. Transformările proiective sunt reprezentate de matrici 4×4. Acestea nu sunt matrici de rotație, dar o transformare care reprezintă o rotație euclidiană are o matrice de rotație 3×3 în colțul din stânga sus.

Principalul dezavantaj al matricelor este că necesită resurse de calcul mai mari. De asemenea, în calculele în care instabilitatea numerică este o problemă, matricile pot fi mai predispuse la ele, deci calculele pentru restabilirea ortonormalității, care sunt costisitoare pentru matrici, trebuie făcute mai des.

Alte formalizări

[modificare | modificare sursă]

Așa cum s-a arătat mai sus, există trei formalizări pentru rotații: una U(1), sau numere complexe, pentru două dimensiuni și alte două cu versori sau cuaternioni, pentru trei și patru dimensiuni.

În general (chiar și pentru vectorii unei forme pătratice dintr-un spațiu Minkowski) rotația unui spațiu vectorial poate fi exprimată printr-un bivector. Acest formalism este utilizat în algebra geometrică și, mai general, în reprezentarea din algebra Clifford a grupurilor Lie.

În cazul unei forme pătratice euclidiene definite pozitiv, grupul de acoperire dublu al grupului de izometrie este cunoscut sub numele de grupul spinorial, . Poate fi descris convenabil în termeni de algebră Clifford. Cuaternionii unitate dau grupului .

În geometriile neeuclidiene

[modificare | modificare sursă]

În geometria sferică (de exemplu în geometria eliptică), o deplasare directă a unei n-sfere este aceeași cu o rotație a spațiului euclidian (n + 1)-dimensional față de origine (SO(n + 1)). Pentru n impar, majoritatea acestor deplasări nu au puncte fixe pe n-sferă și, strict vorbind, nu sunt rotații ale sferei; astfel de deplasări sunt numite uneori translații Clifford. Rotațiile față de un punct fix în geometriile eliptice și hiperbolice nu sunt diferite de cele euclidiene.

Geometria afină și cea proiectivă nu au o noțiune distinctă privind rotația.

În relativitate

[modificare | modificare sursă]

O aplicație a celor spuse este în relativitatea restrânsă, deoarece se poate considera că funcționează în spațiul-timp cu patru dimensiuni, trei spațiale și una de timp. În relativitatea restrânsă, acest spațiu este liniar, iar rotațiile în patru dimensiuni, numite transformări Lorentz, au interpretări fizice practice. Spațiul Minkowski nu este un spațiu metric, iar termenul izometrie nu este aplicabil transformărilor Lorentz.

Dacă o rotație este doar în cele trei dimensiuni ale spațiului, adică într-un plan care este în întregime în spațiu, atunci această rotație este aceeași cu o rotație spațială în trei dimensiuni. Dar o rotație într-un plan care este într-un spațiu-timp este o rotație hiperbolică, o transformare între două sisteme de coordonate diferite, care este uneori numită „impuls Lorentz”. Aceste transformări demonstrează natura pseudoeuclidiană a spațiului Minkowski și apar frecvent pe diagramele spațiu-timp care vizualizează geometria pseudoeuclidiană (1+1)-dimensională în diagrame în plan. Studiul relativității se referă la grupul Lorentz generat de rotațiile spațiului și rotațiile hiperbolice.[2]

În timp ce în fizică și astronomie rotațiile SO(3) corespund rotațiilor sferei cerești ca 2-sferă în 3-spațiul euclidian, transformările Lorentz din SO(3;1)+ induc transformări conforme ale sferei cerești. Este o clasă mai largă a transformărilor sferei, cunoscute sub numele de transformări Möbius.

Rotațiile definesc clase importante de simetrie: simetria de rotație este invariantă în ceea ce privește o anumită rotație. Simetria circulară este o invarianță față de toate rotațiile în jurul unei axei fixe.

Rotațiile euclidiene se aplică la dinamica solidului rigid. Mai mult, majoritatea formalizărilor matematice din fizică (cum ar fi calculul vectorial) sunt invariante față de rotație. Rotațiile euclidiene și, mai general, simetria Lorentz sunt considerate a fi legi de simetrie ale naturii.

  1. ^ Lounesto 2001, p. 30.
  2. ^ Hestenes 1999, pp. 580–588.
  • en Hestenes, David (). New Foundations for Classical Mechanics. Dordrecht: Kluwer Academic Publishers. ISBN 0-7923-5514-8. 
  • en Lounesto, Pertti (). Clifford algebras and spinors. Cambridge: Cambridge University Press. ISBN 978-0-521-00551-7. 
  • en Brannon, Rebecca M. (). „A review of useful theorems involving proper orthogonal matrices referenced to three-dimensional physical space” (PDF). Albuquerque: Sandia National Laboratories.