stringtranslate.com

Grupo de rotación 3D

En mecánica y geometría , el grupo de rotación 3D , a menudo denominado SO (3) , es el grupo de todas las rotaciones alrededor del origen del espacio euclidiano tridimensional bajo la operación de composición . [1]

Por definición, una rotación sobre el origen es una transformación que conserva el origen, la distancia euclidiana (por lo que es una isometría ) y la orientación (es decir, la lateralidad del espacio). La composición de dos rotaciones da como resultado otra rotación, cada rotación tiene una rotación inversa única y la función identidad satisface la definición de rotación. Debido a las propiedades anteriores (junto con la propiedad asociativa de las rotaciones compuestas ), el conjunto de todas las rotaciones es un grupo bajo composición.

Toda rotación no trivial está determinada por su eje de rotación (una línea que pasa por el origen) y su ángulo de rotación. Las rotaciones no son conmutativas (por ejemplo, rotar R 90° en el plano xy seguido de S 90° en el plano yz no es lo mismo que S seguido de R ), lo que hace que el grupo de rotación 3D sea un grupo no abeliano . Además, el grupo de rotación tiene una estructura natural como variedad para la cual las operaciones del grupo son suavemente diferenciables , por lo que de hecho es un grupo de Lie . Es compacto y tiene dimensión 3.

Las rotaciones son transformaciones lineales de y, por lo tanto, pueden representarse mediante matrices una vez que se ha elegido una base de . En concreto, si elegimos una base ortonormal de , cada rotación se describe mediante una matriz ortogonal de 3 × 3 (es decir, una matriz de 3 × 3 con entradas reales que, al multiplicarse por su transpuesta , da como resultado la matriz identidad ) con determinante 1. Por lo tanto, el grupo SO(3) puede identificarse con el grupo de estas matrices bajo la multiplicación de matrices . Estas matrices se conocen como "matrices ortogonales especiales", lo que explica la notación SO(3).

El grupo SO(3) se utiliza para describir las posibles simetrías rotacionales de un objeto, así como las posibles orientaciones de un objeto en el espacio. Sus representaciones son importantes en física, donde dan lugar a las partículas elementales de espín entero .

Longitud y ángulo

Además de preservar la longitud, las rotaciones también preservan los ángulos entre los vectores. Esto se desprende del hecho de que el producto escalar estándar entre dos vectores u y v se puede escribir puramente en términos de longitud (véase la ley de los cosenos ):

De ello se deduce que toda transformación lineal que preserva la longitud en preserva el producto escalar y, por lo tanto, el ángulo entre vectores. Las rotaciones se definen a menudo como transformaciones lineales que preservan el producto interno en , lo que equivale a exigirles que preserven la longitud. Véase el grupo clásico para un tratamiento de este enfoque más general, donde SO(3) aparece como un caso especial.

Matrices ortogonales y de rotación

Toda rotación asigna una base ortonormal de a otra base ortonormal. Como cualquier transformación lineal de espacios vectoriales de dimensión finita , una rotación siempre se puede representar mediante una matriz . Sea R una rotación dada. Con respecto a la base estándar, e 1 , e 2 , e 3 de las columnas de R están dadas por ( R e 1 , R e 2 , R e 3 ) . Dado que la base estándar es ortonormal, y dado que R conserva los ángulos y la longitud, las columnas de R forman otra base ortonormal. Esta condición de ortonormalidad se puede expresar en la forma

donde R T denota la transpuesta de R e I es la matriz identidad 3 × 3 . Las matrices para las que se cumple esta propiedad se denominan matrices ortogonales . El grupo de todas las matrices ortogonales 3 × 3 se denota O(3) , y consta de todas las rotaciones propias e impropias.

Además de preservar la longitud, las rotaciones adecuadas también deben preservar la orientación. Una matriz preservará o invertirá la orientación según si el determinante de la matriz es positivo o negativo. Para una matriz ortogonal R , observe que det R T = det R implica (det R ) 2 = 1 , por lo que det R = ±1 . El subgrupo de matrices ortogonales con determinante +1 se denomina grupo ortogonal especial , denotado SO(3) .

De esta manera, cada rotación puede representarse de forma única mediante una matriz ortogonal con determinante unitario. Además, dado que la composición de rotaciones corresponde a la multiplicación de matrices , el grupo de rotaciones es isomorfo al grupo ortogonal especial SO(3) .

Las rotaciones impropias corresponden a matrices ortogonales con determinante −1 , y no forman un grupo porque el producto de dos rotaciones impropias es una rotación propia.

Estructura del grupo

El grupo de rotación es un grupo bajo la composición de funciones (o equivalentemente el producto de transformaciones lineales ). Es un subgrupo del grupo lineal general que consiste en todas las transformaciones lineales invertibles del espacio real de 3 elementos . [2]

Además, el grupo de rotación no es abeliano . Es decir, el orden en que se componen las rotaciones marca la diferencia. Por ejemplo, un cuarto de vuelta alrededor del eje x positivo seguido de un cuarto de vuelta alrededor del eje y positivo es una rotación diferente a la que se obtiene al girar primero alrededor de y y luego de x .

El grupo ortogonal, formado por todas las rotaciones propias e impropias, se genera por reflexiones. Toda rotación propia es la composición de dos reflexiones, un caso especial del teorema de Cartan-Dieudonné .

Clasificación completa de subgrupos finitos

Los subgrupos finitos de están completamente clasificados . [3]

Todo subgrupo finito es isomorfo a un elemento de una de dos familias infinitas contables de isometrías planas: los grupos cíclicos o los grupos diedros , o a uno de otros tres grupos: el grupo tetraédrico , el grupo octaédrico o el grupo icosaédrico .

Eje de rotación

Cada rotación propia no trivial en 3 dimensiones fija un subespacio lineal unidimensional único que se denomina eje de rotación (este es el teorema de rotación de Euler ). Cada una de estas rotaciones actúa como una rotación bidimensional ordinaria en el plano ortogonal a este eje. Dado que cada rotación bidimensional se puede representar mediante un ángulo φ , se puede especificar una rotación tridimensional arbitraria mediante un eje de rotación junto con un ángulo de rotación sobre este eje. (Técnicamente, es necesario especificar una orientación para el eje y si la rotación se toma en el sentido de las agujas del reloj o en el sentido contrario a las agujas del reloj con respecto a esta orientación).

Por ejemplo, la rotación en sentido antihorario alrededor del eje z positivo por un ángulo φ se da por

Dado un vector unitario n en y un ángulo φ , sea R ( φ ,  n ) una rotación en sentido antihorario alrededor del eje que pasa por n (con orientación determinada por n ). Entonces

Usando estas propiedades se puede demostrar que cualquier rotación puede ser representada por un ángulo único φ en el rango 0 ≤ φ ≤ π y un vector unitario n tal que

En la siguiente sección, esta representación de rotaciones se utiliza para identificar SO(3) topológicamente con el espacio proyectivo real tridimensional.

Topología

El grupo de Lie SO(3) es difeomorfo al espacio proyectivo real [4]

Consideremos la bola sólida en un radio π (es decir, todos los puntos de distancia π o menos desde el origen). Dado lo anterior, para cada punto en esta bola hay una rotación, con eje a través del punto y el origen, y ángulo de rotación igual a la distancia del punto desde el origen. La rotación identidad corresponde al punto en el centro de la bola. La rotación a través de un ángulo 𝜃 entre 0 y π (sin incluir ninguno) está en el mismo eje a la misma distancia. La rotación a través de ángulos entre 0 y − π corresponde al punto en el mismo eje y distancia desde el origen pero en el lado opuesto del origen. El único problema restante es que las dos rotaciones a través de π y a través de − π son las mismas. Entonces identificamos (o "pegamos") puntos antípodas en la superficie de la bola. Después de esta identificación, llegamos a un espacio topológico homeomorfo al grupo de rotación.

De hecho, la bola con puntos de superficie antípoda identificados es una variedad lisa , y esta variedad es difeomorfa al grupo de rotación. También es difeomorfa al espacio proyectivo tridimensional real , por lo que este último también puede servir como modelo topológico para el grupo de rotación.

Estas identificaciones ilustran que SO(3) está conectado , pero no simplemente conectado . En cuanto a esto último, en la bola con puntos de superficie antípoda identificados, considere la ruta que va desde el "polo norte" directamente a través del interior hasta el polo sur. Este es un bucle cerrado, ya que el polo norte y el polo sur están identificados. Este bucle no se puede encoger a un punto, ya que no importa cómo se deforme, el punto de inicio y el final deben permanecer antípoda, o de lo contrario el bucle se "abrirá". En términos de rotaciones, este bucle representa una secuencia continua de rotaciones sobre el eje z que comienza (por ejemplo) en la identidad (centro de la bola), a través del polo sur, saltando al polo norte y terminando nuevamente en la rotación identidad (es decir, una serie de rotaciones a través de un ángulo φ donde φ va de 0 a 2 π ).

Sorprendentemente, recorrer el camino dos veces, es decir, recorrer desde el polo norte hasta el polo sur, saltar de nuevo al polo norte (utilizando el hecho de que los polos norte y sur están identificados) y luego recorrer de nuevo desde el polo norte hasta el polo sur, de modo que φ va de 0 a 4 π , da un bucle cerrado que se puede reducir a un solo punto: primero, mueva los caminos de forma continua hacia la superficie de la pelota, aún conectando el polo norte con el polo sur dos veces. El segundo camino se puede reflejar entonces hacia el lado antípoda sin cambiar el camino en absoluto. Ahora tenemos un bucle cerrado ordinario en la superficie de la pelota, que conecta el polo norte consigo mismo a lo largo de un gran círculo. Este círculo se puede reducir al polo norte sin problemas. El truco de la placa y trucos similares lo demuestran de forma práctica.

El mismo argumento se puede realizar en general, y muestra que el grupo fundamental de SO(3) es el grupo cíclico de orden 2 (un grupo fundamental con dos elementos). En aplicaciones de física , la no trivialidad (más de un elemento) del grupo fundamental permite la existencia de objetos conocidos como espinores , y es una herramienta importante en el desarrollo del teorema de estadística de espín .

La cubierta universal de SO(3) es un grupo de Lie llamado Spin(3) . El grupo Spin(3) es isomorfo al grupo unitario especial SU(2); también es difeomorfo a la unidad 3-esfera S 3 y puede entenderse como el grupo de versores ( cuaterniones con valor absoluto 1). La conexión entre cuaterniones y rotaciones, comúnmente explotada en gráficos de computadora , se explica en cuaterniones y rotaciones espaciales . La función de S 3 sobre SO(3) que identifica puntos antípodas de S 3 es un homomorfismo sobreyectivo de grupos de Lie, con núcleo {±1}. Topológicamente, esta función es una función de cubierta dos a uno . (Véase el truco de la placa ).

Conexión entre SO(3) y SU(2)

En esta sección, damos dos construcciones diferentes de un homomorfismo dos a uno y sobreyectivo de SU(2) sobre SO(3).

Utilizando cuaterniones de norma unitaria

El grupo SU(2) es isomorfo a los cuaterniones de norma unitaria a través de una función dada por [5] restringida a donde , , , y , .

Identifiquémonos ahora con el lapso de . Se puede entonces verificar que si está en y es un cuaternión unidad, entonces

Además, el mapa es una rotación de Además, es lo mismo que . Esto significa que hay un homomorfismo 2:1 desde los cuaterniones de norma unitaria hasta el grupo de rotación 3D SO(3) .

Se puede resolver este homomorfismo explícitamente: el cuaternión unitario, q , se asigna a la matriz de rotación

Se trata de una rotación alrededor del vector ( x , y , z ) en un ángulo 2 θ , donde cos θ = w y |sin θ | = ‖ ( x , y , z ) . El signo adecuado para sin θ está implícito, una vez que los signos de los componentes del eje están fijados. La naturaleza 2:1 es evidente ya que tanto q como q se asignan al mismo Q .

Utilizando transformaciones de Möbius

Proyección estereográfica desde la esfera de radio1/2 desde el polo norte ( x , y , z ) = (0, 0, 1/2 ) ​​en el plano M dado por z = − 1/2 coordinado por ( ξ , η ) , aquí mostrado en sección transversal.

La referencia general para esta sección es Gelfand, Minlos y Shapiro (1963). Los puntos P en la esfera

puede, salvo el polo norte N , ponerse en biyección uno a uno con los puntos S ( P ) = P' en el plano M definido por z = − 1/2 , ver figura. La proyección S se llama proyección estereográfica .

Sean las coordenadas de M ( ξ , η ) . La línea L que pasa por N y P se puede parametrizar como

Exigiendo que la coordenada z de sea igual a 1/2 , uno encuentra

Tenemos De ahí el mapa

donde, para mayor comodidad, el plano M se identifica con el plano complejo

Para la inversa, escribe L como

y demanda x 2 + y 2 + z 2 = 1/4 para encontrar s = 1/1 + ξ 2 + η 2 y por lo tanto

Si g ∈ SO(3) es una rotación, entonces llevará puntos en S a puntos en S por su acción estándar Π s ( g ) en el espacio de incrustación. Al componer esta acción con S se obtiene una transformación S ∘ Π s ( g ) ∘ S −1 de M ,

Por lo tanto, Π u ( g ) es una transformación de asociada a la transformación Π s ( g ) de .

Resulta que g ∈ SO(3) representado de esta manera por Π u ( g ) se puede expresar como una matriz Π u ( g ) ∈ SU(2) (donde la notación se recicla para utilizar el mismo nombre para la matriz que para la transformación que representa). Para identificar esta matriz, considere primero una rotación g φ alrededor del eje z a través de un ángulo φ ,

Por eso

lo cual, como era de esperar, es una rotación en el plano complejo. De manera análoga, si g θ es una rotación alrededor del eje x a través de un ángulo θ , entonces

que, después de un poco de álgebra, se convierte en

Estas dos rotaciones corresponden entonces a transformaciones bilineales de R 2CM , es decir, son ejemplos de transformaciones de Möbius .

Una transformación general de Möbius viene dada por

Las rotaciones generan todos los SO(3) y las reglas de composición de las transformaciones de Möbius muestran que cualquier composición de se traduce en la composición correspondiente de las transformaciones de Möbius. Las transformaciones de Möbius se pueden representar mediante matrices

ya que un factor común de α , β , γ , δ se cancela.

Por la misma razón, la matriz no está definida de forma única, ya que la multiplicación por I no tiene efecto ni sobre el determinante ni sobre la transformación de Möbius. La ley de composición de las transformaciones de Möbius sigue la de las matrices correspondientes. La conclusión es que cada transformación de Möbius corresponde a dos matrices g , − g ∈ SL(2, C ) .

Utilizando esta correspondencia se puede escribir

Estas matrices son unitarias y por lo tanto Π u (SO(3)) ⊂ SU(2) ⊂ SL(2, C ) . En términos de ángulos de Euler [nb 1] se encuentra para una rotación general

uno tiene [6]

Para el caso inverso, considere una matriz general

Hacer las sustituciones

Con las sustituciones, Π( g α , β ) asume la forma del lado derecho ( RHS ) de ( 2 ), que corresponde bajo Π u a una matriz en la forma del lado derecho de ( 1 ) con los mismos φ , θ , ψ . En términos de los parámetros complejos α , β ,

Para verificar esto, sustituya α . β por los elementos de la matriz en el lado derecho de ( 2 ). Después de algunas manipulaciones, la matriz asume la forma del lado derecho de ( 1 ).

De la forma explícita en términos de ángulos de Euler se desprende claramente que el mapa

El grupo que acabamos de describir es un homomorfismo de grupo suave, 2:1 y sobreyectivo . Por lo tanto, es una descripción explícita del espacio de recubrimiento universal de SO(3) a partir del grupo de recubrimiento universal SU(2) .

Álgebra de Lie

Asociado a cada grupo de Lie está su álgebra de Lie , un espacio lineal de la misma dimensión que el grupo de Lie, cerrado bajo un producto alterno bilineal llamado corchete de Lie . El álgebra de Lie de SO(3) se denota por y consiste en todas las matrices 3 × 3 antisimétricas . [7] Esto puede verse diferenciando la condición de ortogonalidad , A T A = I , A ∈ SO(3) . [nb 2] El corchete de Lie de dos elementos de está, como para el álgebra de Lie de cada grupo de matrices, dado por el conmutador matricial , [ A 1 , A 2 ] = A 1 A 2A 2 A 1 , que nuevamente es una matriz antisimétrica. El corchete del álgebra de Lie captura la esencia del producto del grupo de Lie en un sentido hecho preciso por la fórmula de Baker–Campbell–Hausdorff .

Los elementos de son los "generadores infinitesimales" de rotaciones, es decir, son los elementos del espacio tangente de la variedad SO(3) en el elemento identidad. Si denota una rotación en sentido antihorario con un ángulo φ sobre el eje especificado por el vector unitario, entonces

Esto se puede utilizar para demostrar que el álgebra de Lie (con conmutador) es isomorfa al álgebra de Lie (con producto vectorial ). Bajo este isomorfismo, un vector de Euler corresponde a la función lineal definida por

En más detalle, la base más adecuada para un espacio vectorial tridimensional es

Las relaciones de conmutación de estos elementos base son,

que concuerdan con las relaciones de los tres vectores unitarios estándar de bajo el producto vectorial.

Como se anunció anteriormente, se puede identificar cualquier matriz en esta álgebra de Lie con un vector de Euler [8]

Esta identificación a veces se denomina mapa de sombrero . [9] Bajo esta identificación, el corchete corresponde al producto vectorial ,

La matriz identificada con un vector tiene la propiedad de que

donde el lado izquierdo es la multiplicación de matrices ordinarias. Esto implica que está en el espacio nulo de la matriz antisimétrica con la que se identifica, porque

Una nota sobre las álgebras de Lie

En las representaciones del álgebra de Lie , el grupo SO(3) es compacto y simple de rango 1, y por lo tanto tiene un único elemento de Casimir independiente , una función invariante cuadrática de los tres generadores que conmuta con todos ellos. La forma de Killing para el grupo de rotación es simplemente la delta de Kronecker , y por lo tanto este invariante de Casimir es simplemente la suma de los cuadrados de los generadores, del álgebra

Es decir, el invariante de Casimir viene dado por

Para representaciones irreducibles unitarias D j , los valores propios de este invariante son reales y discretos, y caracterizan cada representación, que es de dimensión finita, de dimensionalidad . Es decir, los valores propios de este operador de Casimir son

donde j es un número entero o semientero, y se denomina espín o momento angular .

Por lo tanto, los generadores 3 × 3 L mostrados arriba actúan sobre la representación triplete (spin 1), mientras que los generadores 2 × 2 a continuación, t , actúan sobre la representación doblete ( spin-1/2 ). Al tomar productos de Kronecker de D 1/2 consigo mismo repetidamente, uno puede construir todas las representaciones irreducibles superiores D j . Es decir, los generadores resultantes para sistemas de espín superior en tres dimensiones espaciales, para j arbitrariamente grande , se pueden calcular utilizando estos operadores de espín y operadores de escalera .

Para cada representación irreducible unitaria D j existe una equivalente, D j −1 . Toda representación irreducible de dimensión infinita debe ser no unitaria, ya que el grupo es compacto.

En mecánica cuántica , el invariante de Casimir es el operador de "momento angular al cuadrado"; los valores enteros de espín j caracterizan las representaciones bosónicas , mientras que los valores semienteros caracterizan las representaciones fermiónicas . Las matrices antihermíticas utilizadas anteriormente se utilizan como operadores de espín , después de que se multiplican por i , por lo que ahora son hermíticas (como las matrices de Pauli). Por lo tanto, en este lenguaje,

y por lo tanto

Las expresiones explícitas para estos D j son,

donde j es arbitrario y .

Por ejemplo, las matrices de espín resultantes para el espín 1 ( ) son

Obsérvese, sin embargo, cómo estos están en una base equivalente, pero diferente, la base esférica , que los i L anteriores en la base cartesiana. [nb 3]

Para giros más altos, como el giro 3/2 ( ):

Para girar5/2 ( ),

Isomorfismo con 𝖘𝖚(2)

Las álgebras de Lie y son isomorfas. Una base para está dada por [10]

Estos están relacionados con las matrices de Pauli por

Las matrices de Pauli cumplen con la convención de los físicos para las álgebras de Lie. En esa convención, los elementos del álgebra de Lie se multiplican por i , la función exponencial (abajo) se define con un factor adicional de i en el exponente y las constantes de estructura permanecen iguales, pero la definición de ellas adquiere un factor de i . Del mismo modo, las relaciones de conmutación adquieren un factor de i . Las relaciones de conmutación para las son

donde ε ijk es el símbolo totalmente antisimétrico con ε 123 = 1. El isomorfismo entre y se puede establecer de varias maneras. Para mayor comodidad, y se identifican mediante el mapeo

y extendiéndose por linealidad.

Mapa exponencial

El mapa exponencial para SO(3) es, dado que SO(3) es un grupo de Lie matricial, definido utilizando la serie exponencial matricial estándar,

Para cualquier matriz antisimétrica A ∈ 𝖘𝖔(3) , e A siempre está en SO(3) . La demostración utiliza las propiedades elementales de la matriz exponencial

Como las matrices A y A T conmutan, esto se puede demostrar fácilmente con la condición de matriz antisimétrica. Esto no es suficiente para demostrar que 𝖘𝖔(3) es el álgebra de Lie correspondiente para SO(3) , y se debe demostrar por separado.

El nivel de dificultad de la prueba depende de cómo se defina el álgebra de Lie de un grupo de matrices. Hall (2003) define el álgebra de Lie como el conjunto de matrices

en cuyo caso es trivial. Rossmann (2002) utiliza como definición las derivadas de segmentos de curvas suaves en SO(3) a través de la identidad tomada en la identidad, en cuyo caso es más difícil. [11]

Para un A ≠ 0 fijo , e tA , −∞ < t < ∞ es un subgrupo de un parámetro a lo largo de una geodésica en SO(3) . Que esto da un subgrupo de un parámetro se deduce directamente de las propiedades de la función exponencial. [12]

El mapa exponencial proporciona un difeomorfismo entre un vecindario del origen en 𝖘𝖔(3) y un vecindario de la identidad en SO(3) . [13] Para una prueba, consulte Teorema de subgrupo cerrado .

La función exponencial es sobreyectiva . Esto se deduce del hecho de que cada R ∈ SO(3) , ya que cada rotación deja un eje fijo ( teorema de rotación de Euler ), y es conjugada a una matriz diagonal en bloques de la forma

tal que A = BDB −1 , y que

junto con el hecho de que 𝖘𝖔(3) está cerrado bajo la acción adjunta de SO(3) , lo que significa que BθL z B −1 ∈ 𝖘𝖔(3) .

Así, por ejemplo, es fácil comprobar la identidad popular.

Como se muestra arriba, cada elemento A ∈ 𝖘𝖔(3) está asociado con un vector ω = θ u , donde u = ( x , y , z ) es un vector de magnitud unitaria. Como u está en el espacio nulo de A , si ahora se rota a una nueva base, a través de alguna otra matriz ortogonal O , con u como eje z , la columna y fila finales de la matriz de rotación en la nueva base serán cero.

Por lo tanto, sabemos de antemano a partir de la fórmula para la exponencial que exp( OAO T ) debe dejar u fija. Es matemáticamente imposible proporcionar una fórmula sencilla para dicha base como función de u , porque su existencia violaría el teorema de la bola peluda ; pero la exponenciación directa es posible y da

donde y . Esto se reconoce como una matriz para una rotación alrededor del eje u por el ángulo θ : cf. Fórmula de rotación de Rodrigues .

Mapa de logaritmos

Dado R ∈ SO(3) , sea la parte antisimétrica y sea Entonces, el logaritmo de R está dado por [9]

Esto se manifiesta al inspeccionar la forma de simetría mixta de la fórmula de Rodrigues,

donde el primer y el último término del lado derecho son simétricos.

Muestreo aleatorio uniforme

está doblemente cubierto por el grupo de cuaterniones unitarios, que es isomorfo a la 3-esfera. Dado que la medida de Haar en los cuaterniones unitarios es solo la medida de 3 áreas en 4 dimensiones, la medida de Haar en es solo el avance de la medida de 3 áreas.

En consecuencia, generar una rotación aleatoria uniforme en es equivalente a generar un punto aleatorio uniforme en la esfera tridimensional. Esto se puede lograr de la siguiente manera:

donde son muestras aleatorias uniformes de . [14]

Fórmula de Baker-Campbell-Hausdorff

Supongamos que X e Y en el álgebra de Lie están dadas. Sus exponenciales, exp( X ) y exp( Y ) , son matrices de rotación, que se pueden multiplicar. Dado que la función exponencial es una sobreyección, para algún Z en el álgebra de Lie, exp( Z ) = exp( X ) exp( Y ) , y se puede escribir tentativamente

para C alguna expresión en X e Y. Cuando exp( X ) y exp( Y ) conmutan, entonces Z = X + Y , imitando el comportamiento de la exponenciación compleja.

El caso general se da mediante la fórmula BCH más elaborada , una expansión en serie de corchetes de Lie anidados. [15] Para matrices, el corchete de Lie es la misma operación que el conmutador , que monitorea la falta de conmutatividad en la multiplicación. Esta expansión general se desarrolla de la siguiente manera, [nb 4]

La expansión infinita en la fórmula BCH para SO(3) se reduce a una forma compacta,

para coeficientes de funciones trigonométricas adecuados ( α , β , γ ) .

Los coeficientes trigonométricos

Los ( α , β , γ ) están dados por

dónde

para

El producto interno es el producto interno de Hilbert-Schmidt y la norma es la norma asociada. Bajo el isomorfismo del sombrero,

lo que explica los factores para θ y φ . Esto desaparece en la expresión para el ángulo.

Vale la pena escribir este generador de rotación compuesto como

para enfatizar que esta es una identidad del álgebra de Lie .

La identidad anterior se cumple para todas las representaciones fieles de 𝖘𝖔(3) . El núcleo de un homomorfismo del álgebra de Lie es un ideal , pero 𝖘𝖔(3) , al ser simple , no tiene ideales no triviales y, por lo tanto, todas las representaciones no triviales son fieles. Se cumple en particular en la representación de doblete o espinor. La misma fórmula explícita se deduce, por tanto, de una manera más sencilla a través de las matrices de Pauli, cf. la derivación 2×2 para SU(2) .

El caso SU(2)

La versión vectorial de Pauli de la misma fórmula BCH es la ley de composición de grupo algo más simple de SU(2),

dónde

la ley esférica de los cosenos . (Nótese que a', b', c' son ángulos, no a , b , c anteriores).

Es evidente que este formato es el mismo que el anterior.

con

de modo que

Para la normalización uniforme de los generadores en el álgebra de Lie involucrada, exprese las matrices de Pauli en términos de t -matrices, σ → 2 i t , de modo que

Para verificar entonces que estos son los mismos coeficientes que los anteriores, calcule las razones de los coeficientes,

Finalmente, γ = γ' dada la identidad d = sin 2 c' .

Para el caso general n × n , se podría utilizar la referencia [16] .

El caso del cuaternión

La formulación del cuaternión de la composición de dos rotaciones R B y R A también produce directamente el eje de rotación y el ángulo de la rotación compuesta R C = R B R A .

Sea el cuaternión asociado a una rotación espacial R construido a partir de su eje de rotación S y el ángulo de rotación φ de este eje. El cuaternión asociado viene dado por,

Entonces la composición de la rotación R R con R A es la rotación R C = R B R A con eje de rotación y ángulo definido por el producto de los cuaterniones

eso es

Expande este producto para obtener

Divida ambos lados de esta ecuación por la identidad, que es la ley de los cosenos en una esfera ,

y calcular

Esta es la fórmula de Rodrigues para el eje de una rotación compuesta definida en términos de los ejes de las dos rotaciones. Derivó esta fórmula en 1840 (véase la página 408). [17]

Los tres ejes de rotación A , B y C forman un triángulo esférico y los ángulos diedros entre los planos formados por los lados de este triángulo están definidos por los ángulos de rotación.

Rotaciones infinitesimales

Una matriz de rotación infinitesimal o matriz de rotación diferencial es una matriz que representa una rotación infinitamente pequeña .

Mientras que una matriz de rotación es una matriz ortogonal que representa un elemento de (el grupo ortogonal especial ), la diferencial de una rotación es una matriz antisimétrica en el espacio tangente (el álgebra de Lie ortogonal especial ), que en sí misma no es una matriz de rotación.

Una matriz de rotación infinitesimal tiene la forma

donde es la matriz identidad, es extremadamente pequeña, y

Por ejemplo, si se representa una rotación tridimensional infinitesimal alrededor del eje x , un elemento base de

Las reglas de cálculo para matrices de rotación infinitesimales son las habituales, salvo que se descartan rutinariamente los infinitesimales de segundo orden. Con estas reglas, estas matrices no satisfacen todas las mismas propiedades que las matrices de rotación finitas ordinarias bajo el tratamiento habitual de los infinitesimales. [18] Resulta que el orden en el que se aplican las rotaciones infinitesimales es irrelevante .

Realizaciones de rotaciones

Hemos visto que hay una variedad de formas de representar rotaciones:

Armónicos esféricos

El grupo SO(3) de rotaciones euclidianas tridimensionales tiene una representación de dimensión infinita en el espacio de Hilbert.

donde son armónicos esféricos . Sus elementos son funciones complejas integrables cuadradas [nb 5] en la esfera. El producto interno en este espacio está dado por

Si f es una función integrable cuadrada arbitraria definida en la esfera unitaria S 2 , entonces se puede expresar como [19]

donde los coeficientes de expansión están dados por

La acción del grupo de Lorentz se limita a la de SO(3) y se expresa como

Esta acción es unitaria, es decir que

La D ( ) se puede obtener a partir de la D ( m ,  n ) de arriba usando la descomposición de Clebsch–Gordan , pero se expresan más fácilmente de manera directa como una exponencial de una representación su (2) de dimensión impar (la tridimensional es exactamente 𝖘𝖔(3) ). [20] [21] En este caso, el espacio L 2 ( S 2 ) se descompone claramente en una suma directa infinita de representaciones irreducibles de dimensión finita impar V 2 i + 1 , i = 0, 1, ... según [22]

Esto es característico de las representaciones unitarias de dimensión infinita de SO(3) . Si Π es una representación unitaria de dimensión infinita en un espacio de Hilbert separable [nb 6] , entonces se descompone como una suma directa de representaciones unitarias de dimensión finita. [19] Por lo tanto, una representación de este tipo nunca es irreducible. Todas las representaciones de dimensión finita irreducibles (Π, V ) pueden hacerse unitarias mediante una elección apropiada del producto interno, [19]

donde la integral es la única integral invariante sobre SO(3) normalizada a 1 , expresada aquí utilizando la parametrización de ángulos de Euler . El producto interno dentro de la integral es cualquier producto interno sobre V.

Generalizaciones

El grupo de rotaciones se generaliza de forma bastante natural al espacio euclidiano de n dimensiones , con su estructura euclidiana estándar. El grupo de todas las rotaciones propias e impropias en n dimensiones se denomina grupo ortogonal O( n ), y el subgrupo de rotaciones propias se denomina grupo ortogonal especial SO( n ), que es un grupo de Lie de dimensión n ( n − 1)/2 .

En la relatividad especial , se trabaja en un espacio vectorial de cuatro dimensiones, conocido como espacio de Minkowski , en lugar de un espacio euclidiano tridimensional. A diferencia del espacio euclidiano, el espacio de Minkowski tiene un producto interno con una signatura indefinida . Sin embargo, se pueden definir rotaciones generalizadas que conserven este producto interno. Dichas rotaciones generalizadas se conocen como transformaciones de Lorentz y el grupo de todas esas transformaciones se denomina grupo de Lorentz .

El grupo de rotación SO(3) puede describirse como un subgrupo de E + (3) , el grupo euclidiano de isometrías directas de Euclides. Este grupo más grande es el grupo de todos los movimientos de un cuerpo rígido : cada uno de ellos es una combinación de una rotación alrededor de un eje arbitrario y una traslación, o dicho de otra manera, una combinación de un elemento de SO(3) y una traslación arbitraria.

En general, el grupo de rotación de un objeto es el grupo de simetría dentro del grupo de isometrías directas; en otras palabras, la intersección del grupo de simetría completo y el grupo de isometrías directas. Para los objetos quirales es lo mismo que el grupo de simetría completo.

Véase también

Notas al pie

  1. ' ^ Esto se logra aplicando primero una rotación a través deφ sobre eleje z para tomar laeje x a la líneaL , la intersección entre los planosxy yx'y , siendo este último el plano xy rotado . Luego, rota con a través de θ alrededor de L para obtener el nuevo eje z a partir del antiguo, y finalmente rota con a través de un ángulo ψ alrededor del nuevo eje z , donde ψ es el ángulo entre L y el nuevo eje x . En la ecuación, y se expresan en una base rotada temporal en cada paso, lo que se ve desde su forma simple. Para transformarlos de nuevo a la base original, observe que Aquí en negrita significa que la rotación se expresa en la base original . Asimismo,
    De este modo
  2. ^ Para una derivación alternativa de , véase Grupo clásico .
  3. ^ En concreto, para
  4. ^ Para una prueba completa, véase Derivada de la función exponencial . Aquí se pasan por alto las cuestiones de convergencia de esta serie al elemento correcto del álgebra de Lie. La convergencia está garantizada cuando y La serie puede converger incluso si no se cumplen estas condiciones. Siempre existe una solución ya que exp es sobreyectiva en los casos considerados.
  5. ^ Los elementos de L 2 ( S 2 ) son en realidad clases de equivalencia de funciones. Dos funciones se declaran equivalentes si difieren únicamente en un conjunto de medida cero . La integral es la integral de Lebesgue para obtener un espacio de producto interno completo .
  6. ^ Un espacio de Hilbert es separable si y solo si tiene una base contable. Todos los espacios de Hilbert separables son isomorfos.

Referencias

  1. ^ Jacobson (2009), pág. 34, Ejemplo 14.
  2. ^ n  ×  n matrices reales son idénticas a las transformaciones lineales de expresadas en su base estándar .
  3. ^ Coxeter, HSM (1973). Politopos regulares (tercera edición). Nueva York. p. 53. ISBN 0-486-61480-8.{{cite book}}: CS1 maint: location missing publisher (link)
  4. ^ Propuesta 1.17 del Salón 2015
  5. ^ Rossmann 2002 pág. 95.
  6. ^ Estas expresiones fueron, de hecho, fundamentales en el desarrollo de la mecánica cuántica en la década de 1930, cf. Cap. III, § 16, BL van der Waerden, 1932/1932
  7. ^ Propuesta 3.24 del Salón 2015
  8. ^ Rossmann 2002
  9. ^ desde Engø 2001
  10. ^ Hall 2015 Ejemplo 3.27
  11. ^ Véase Rossmann 2002, teorema 3, sección 2.2.
  12. ^ Rossmann 2002 Sección 1.1.
  13. ^ Hall 2003 Teorema 2.27.
  14. ^ Shoemake, Ken (1 de enero de 1992), Kirk, DAVID (ed.), "III.6 - Rotaciones aleatorias uniformes", Graphics Gems III (versión IBM) , San Francisco: Morgan Kaufmann, págs. 124-132, ISBN 978-0-12-409673-8, consultado el 29 de julio de 2022
  15. ^ Salón 2003, cap. 3; Varadarajan 1984, §2.15
  16. ^ Curtright, Fairlie y Zachos 2014 Los elementos del grupo SU(2) se expresan en forma cerrada como polinomios finitos de los generadores del álgebra de Lie, para todas las representaciones de espín definidas del grupo de rotación.
  17. ^ Rodrigues, O. (1840), Des lois géométriques qui régissent les déplacements d'un système solide dans l'espace, et la variación des coordonnées provenant de ses déplacements considérés indépendamment des cause qui peuvent les produire, Journal de Mathématiques Pures et Appliquées de Liouville 5, 380–440.
  18. ^ (Goldstein, Poole y Safko 2002, §4.8)
  19. ^ abc Gelfand, Minlos y Shapiro 1963
  20. ^ En la mecánica cuántica, teoría no relativista de Landau y Lifshitz, los D de orden más bajo se calculan analíticamente.
  21. ^ Curtright, Fairlie y Zachos 2014 Se da una fórmula para D ( ) válida para todos los ℓ .
  22. ^ Hall 2003 Sección 4.3.5.

Bibliografía