Rotación (xeometría)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Axes_changes.png/220px-Axes_changes.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/87/Rotation_illustration2.svg/220px-Rotation_illustration2.svg.png)
A rotación en matemáticas é un concepto orixinado na xeometría. Calquera rotación é un movemento dun determinado espazo que conserva polo menos un punto. Pode describir, por exemplo, o movemento dun corpo ríxido arredor dun punto fixo. A rotación pode ter un signo (como o signo dun ángulo): unha rotación no sentido horario é unha magnitude negativa polo que un xiro no sentido antihorario ten unha magnitude positiva. Unha rotación é diferente doutros tipos de movementos: translacións, que non teñen puntos fixos, e (hiperplano) reflexións, con (n-1) dimensións de puntos fixos nun espazo de n dimensións.
Matematicamente, unha rotación é un mapa. Todas as rotacións arredor dun punto fixo forman un grupo baixo composición chamado grupo de rotación (dun espazo particular). Mais en mecánica e, máis xeralmente, en física, este concepto é frecuentemente entendido como unha transformación de coordenadas (importante, unha transformación dunha base ortonormal), porque para calquera movemento dun corpo hai unha transformación inversa que se se aplica ao marco de referencia dá como resultado que o corpo estea nas mesmas coordenadas. Por exemplo, en dúas dimensións xirar un corpo no sentido horario arredor dun punto mantendo os eixos fixos equivale a xirar os eixos no sentido antihorario sobre o mesmo punto mentres o corpo se mantén fixo. Estes dous tipos de rotación chámanse transformación activa e pasiva.[1][2]
Sexa E un espazo vectorial euclidiano. Unha rotación de E é un elemento do grupo especial ortogonal SO(E). Se escollemos unha base ortonormal de E, a súa matriz nesta base é ortogonal directa.
Rotación vectorial plana
[editar | editar a fonte]Escritura matricial
[editar | editar a fonte]No plano vectorial euclidiano orientado, unha rotación vectorial defínese simplemente polo seu ángulo . A súa matriz nunha base ortonormal directa é :
Noutras palabras, un vector de compoñentes ten a imaxe do vector de compoñentes que se pode calcular coa ecuación de matrices :
Escritura complexa
[editar | editar a fonte]Isto pódese comparar coa seguinte fórmula, escrita con números complexos :
ou mesmo :
Sentido da rotación
[editar | editar a fonte]Cando está entre e e se o plano está orientado do xeito habitual, a rotación faise no “sentido antihorario“ dise que a rotación é á esquerda. Se está entre e , a rotación faise no sentido horario e chámase rotación cara á dereita.
Composición
[editar | editar a fonte]O composto de dúas rotacións vectoriais é unha rotación vectorial cuxo ángulo é a suma dos ángulos das dúas rotacións, que se traduce dicindo que o grupo de rotacións vectoriais é isomorfo ao grupo .
Rotacións e ángulos
[editar | editar a fonte]Na construción axiomática da xeometría baseada na álxebra linealr, é a definición de rotacións planas a que permite definir a noción de ángulo [3] (ver tamén o artigo Ángulo).
Rotación vectorial no espazo tridimensional
[editar | editar a fonte]Escritura matricial
[editar | editar a fonte]No espazo euclidiano orientado de dimensión 3, unha rotación vectorial defínese por :
- un vector unitario , que determina o seu eixo: a liña de vectores invariante por esta rotación vectorial é xerada e orientada por este vector;
- o seu ángulo , a da rotación vectorial plana asociada, que é a restrición desta rotación ao plano ortogonal ao eixo.
A orientación deste plano vén determinada pola elección da orientación do eixo. As parellas e representan polo tanto a mesma rotación no espazo.
Denotamos como as coordenadas do vector unitario nunha base ortonormal directa :
Sexa calquera vector. Imos denotar como a súa imaxe pola rotación .
Caso particular sinxelo
[editar | editar a fonte]Comecemos co estudo do caso particular .
O plano é entón o plano xerado polos vectores E . O vector descomponse nun vector colinear a que é invariante pola rotación e un vector que sofre unha rotación angular no plano , e podemos aplicar a as fórmulas estabelecidas no caso de rotacións de vectores planos. Por iso podemos escribir :
que se pode escribir en forma sintética :
|
Caso xeral
[editar | editar a fonte]Se o vector unitario é arbitrario en relación á base ortonormal directa que se usa para expresar os compoñentes, o razoamento é máis delicado.
O vector divídese na suma de , colinear con e invariante baixo rotación, e , elemento de e que sufrirá unha rotación neste plano. O vector directamente ortogonal a no plano e da mesmo norma é , deste modo a imaxe de coa rotación angular é
Finalmente, a imaxe de pola rotación resulta:
e se substituímos polo seu valor , conseguimos :
de aí finalmente a fórmula de rotación de Rodrigues [4]:
|
A fórmula enmarcada arriba dá a expresión vectorial da imaxe dun vector calquera, por rotación .
Podemos presentar o mesmo resultado na seguinte forma matricial equivalente :
con:
|
Observacións
[editar | editar a fonte]A matriz M chámase matriz de rotación. É unha matriz ortogonal directa, o que significa que as súas columnas forman unha base ortonormal directa, ou que a súa matriz transposta é igual á súa matriz inversa e que o seu determinante é 1.
Pola contra, dada calquera matriz de rotación, atopamos facilmente o coseno do ángulo de rotación. De feito, a traza da matriz (é dicir, a suma dos seus elementos diagonais) é igual a . A maiores, notamos que:
que permite atopar rapidamente o eixo e o seno asociados á rotación. Xeométricamente, e forman os dous lados dun rombo cuxo vector é a diagonal, ortogonal ao eixo de rotación. Este é o rombo de Olinde Rodrigues.
Usando cuaternións
[editar | editar a fonte]Tamén podemos utilizar a noción de cuaternións. De feito, podemos calcular a imaxe do vector utilizando o produto de cuaternións na seguinte forma :
|
Composición de dúas rotacións vectoriais
[editar | editar a fonte]A composición de dúas rotacións vectoriais e do espazo tridimensional é unha rotación vectorial. As características desta están determinadas a partir de , onde é o produto das matrices de rotación iniciais, ou a partir do produto dos cuaternións que definen cada unha das rotacións, ou ben compoñendo as fórmulas de Rodrigues relativas a cada rotación.
Descubrimos que :
Rotacións na dimensión 4
[editar | editar a fonte]As matrices do grupo ortogonal SO(4) pódense poñer de xeito similar en forma canónica (despois da diagonalización en C); mostramos que existen dous planos vectoriais ortogonais de tal xeito que nunha base ortonormal que consta de dous vectores de cada plano, a matriz escrívese
Vemos, polo tanto, que a rotación está composta por dúas rotacións planas e, en particular, non ten un vector fixo (non hai "eixo") a non ser que un dos ángulos α ou β sexa cero (neste caso, podemos falar, por analoxía co caso tridimensional, de rotación "arredor" dun plano). Se , os dous planos son únicos, e son os únicos planos globalmente invariantes pola rotación; no caso (as chamadas rotacións isóclina), todos os planos xerados por un vector e a súa imaxe son globalmente invariantes.
Notas
[editar | editar a fonte]- ↑ Weisstein, Eric W. "Transformación Alibi". De MathWorld: un recurso web de Wolfram.
- ↑ Weisstein, Eric W. "Alias Transformation". De MathWorld: un recurso web de Wolfram.
- ↑ 3,0 3,1 Jean Dieudonné (1964). Algèbre linéaire et géométrie élémentaire. Hermann. p. p.113 pour l'étude mathématique (e ver tamén o prefacio) ,p. 13.
- ↑ Olinde Rodrigues (1840). "Des lois géométriques qui régissent les déplacements d'un corps solide dans l'espace, et de la variation des coordonnées provenant de ces déplacements considérés indépendammet des causes qui peuvent les produire". Journal de mathématiques pures et appliquées. pp. 380–440, especfiamente p.403.
Véxase tamén
[editar | editar a fonte]![]() |
Wikimedia Commons ten máis contidos multimedia na categoría: Rotación ![]() |
Bibliografía
[editar | editar a fonte]- Hestenes, David (1999). New Foundations for Classical Mechanics. Dordrecht: Kluwer Academic Publishers. ISBN 0-7923-5514-8.
- Lounesto, Pertti (2001). Clifford algebras and spinors. Cambridge: Cambridge University Press. ISBN 978-0-521-00551-7.
- Brannon, Rebecca M. (2002). "A review of useful theorems involving proper orthogonal matrices referenced to three-dimensional physical space." (PDF). Albuquerque: Sandia National Laboratories.
Outros artigos
[editar | editar a fonte]Ligazóns externas
[editar | editar a fonte]