Algebra de Lie,
Espacio Vectorial de las Matrices de Orden n×n,
Definición Algebra de Lie,
Corchetes de Lie ~ Levi-Civita,
Generadores Infinitesimales,
Matrices Rotación SO(2) y SO(n),
SO(3) Conexión Exponencial,
Deducción Generadores Infinitesimales,
Mapeo Exponencial,
Permutaciones,
Cubo de Rubik
Resumen
Capítulo extraído del artículo Puertas Cuánticas de Pauli ~ Base de un Algebra de Lie, donde se precisa la definición del Algebra de Lie de dimensión finita mediante una introducción a partir de la operación binaria Corchetes de Lie (conmutador de dos matrices)81. Se señala que desde el espacio vectorial de los generadores infinitesimales de un grupo matricial de Lie se conforma un Algebra de Lie en SO(n).
Particularmente aquí, se va a enunciar la definición de Algebra de Lie, sus notaciones fundamentales y exponer brevemente sus conceptos primarios, utilizando las rotaciones desde los SO(2) y SO(3). Así mismo, se ilustrará simplificación de Levi-Civita para tratar el álgebra de matrices infinitesimales generadoras y sus permutaciones asociadas.
Vamos a tratar las rotaciones del algebra lineal sobre el cuerpo de los reales, particularmente los grupos de rotación $SO(3)$ y Algebra de Lie $\mathfrak {so(3)} =\large{\mathfrak {g}}$ asociada.
Recordemos que $SO(3)$ es el conjunto de todas las rotaciones continuas de $3\times 3$ especiales y ortogonales cuya determinante es uno.
$$SO(3)=\unicode{123} M \in \mathbb{R^3} \text{/} det(M)=1 \land \underbrace{M^{T}M=M^{T}M=I}_{\text{Ortogonalidad}} \unicode{125}$$
El pequeño $\mathfrak {so(3)}$ que se denotará también como $\large{\mathfrak {g}}$ es el conjunto de todas las matrices reales tridimensionales antisimétricas, que llamaremos Algebra de Lie del grupo $\mathbf SO(3)$.
Donde una matriz cuadrada es antisimétrica cuando su traspuesta es igual ella misma pero negativa, entonces se define como:
Nótese que un Grupo de Lie no es lo mismo que Algebra de Lie.
El algebra de Lie $\large{\mathfrak {g}}$ se define como el conjunto de matrices que forman un espacio vectorial119 con el conmutador (Corchetes de Lie) de dos matrices $[XY]=XY-YX$.
La definición de la operación binaria Corchete de Lie trabaja sobre un espacio vectorial de matrices, donde la multiplicación entre matrices no es conmutativa. En este caso, se ilustrará con matrices en $SO(2) \text{ y } SO(3)$.
Veremos que $\large{\mathfrak {g}}$ es cerrado bajo la operación denotada como $[.,.]$.
Por lo tanto, el conmutador $[XY]^T=-[XY]$ de las dos matrices $X,Y \in \large{\mathfrak {g}}$ es también antisimétrico.
La relación entre los grupos $SO(3)$ y su algebra de Lie $\large{\mathfrak {g}}$ se puede generar mediante el enfoque exponencial,
Si $X \in \large{\mathfrak {g}}$ entonces $\large{e^{X}} \in SO(3)$, i.e. $\large{e^{X}}$ es una matriz de rotación en $\mathbb {R^3}$. (Conexión Grupo de Lie con Mapeo Exponencial)
Desde ahí entonces, abordaremos la rotación en un espacio tridimensional, i.e. partiendo desde $SO(2)$ hacia $SO(3)$.
$$\mathbf {SO(2)\mapsto SO(3)}$$
Esta transformación la realizamos mediante una matriz aumentada $M_{3×3}$ que multiplicada por el vector $X$ obtiene nuevas coordenadas en $X'$, i.e. generando un sistema de coordenadas sobre la variedad SO(3).
De modo que rotando infinitesimalmente el objeto en el plano $xy$ en torno al eje $z$, se obtienen los tres generadores matriciales $\vec P=\unicode{123}X_1,X_2,X_3\unicode{125}$ del Algebra de Lie $\mathfrak {so(3)}=\large{\mathfrak {g}}$ asociada.
Con los generadores de $SO(3)$ se ilustran las rotaciones cíclicas y anticíclicas y se describe el símbolo de Levi-Civita representando las permutaciones tridimensionales del Algebra de Lie, desde SO(3).
Un Algebra de Lie $Mn(K)$ se define en un espacio vectorial sobre un campo $K$119.
Específicamente
es un espacio vectorial de matrices de orden $n×n$, dotado con una operación binaria propia $[\text{ }· \text{, · }]$ denominada Corchetes de Lie, donde dicha operación debe cumplir las siguientes propiedades90:
i) Bilineal
$[\alpha X +\beta Y,Z]=\alpha[X,Z]+\beta[Y,Z] \land [Z,\alpha X + \beta Y]=\alpha[Z,X]+\beta[Z,Y]$
Donde $\alpha, \beta \in K$
ii) Antisimétrica
$([X, Y] = -[Y, X]) (\Rightarrow [X,X]=0)$
iii) Satisfacer la Identidad de Jacobi:
$([X, [Y, Z]] + [X, [Z, X]] + [Z, [X, Y]] = 0)$.
Luego, $Mn(K)$ es un álgebra asociativa no conmutativa con elemento unidad 122.
En el presente caso, se trabaja con matrices ortogonales sobre el espacio n-dimensional, donde el cuerpo $K$ en este documento siempre lo consideramos como los Reales o Complejos.
Es decir, conmutan los elementos, - que son matrices-, en un espacio de dimensión $n$, sobre un campo $K$
Se dice que $Mn(K)$ (o $\large{\mathfrak {g}}$) es un Algebra de Lie con esta operación Corchetes de Lie (medición o conmutador de dos matrices).
Toda Algebra de Lie de dimensión finita se obtiene fundamentalmente bajo esta forma.
+ Nota: Definición como Variedad Diferenciable
Grupo de Lie $G$ $\longrightarrow$ Algebra de Lie $\large{\mathfrak {g}}$
Otro enfoque de la definición del Algebra de Lie, es a partir de un Grupo de Lie $G$ 81, en tanto es una variedad diferenciable topológica o una Variedad Suave ("Manifold" o superficie como un plano, un circulo, una esfera, u otras superficies suaves en diferentes dimensiones) 105
Por tanto, un Grupo de Lie $(G,·)$ es:
i) Un grupo dotado de una operación binaria 80;
ii) Adicionalmente, $G$ es una variedad topológica suave diferenciable, con una operación binaria propia (Corchete de Lie) que mapea de
$$[·,·]:G \times G \longrightarrow G\\
(g_1,g_2)\longrightarrow g_1·g_2
$$
Nótese que tanto el producto vectorial $G \times G$ es una variedad topólogica suave y $G$ es una variedad suave también, por tanto, se tiene un mapeo sobre variedades suaves, donde se garantiza una función inversa $inv:G \times G \longrightarrow G$ con $g \longrightarrow g^{-1}$.
En términos simples, una variedad es suave cuando la superficie no tiene quiebres y es homeomorfa a un parche en $R^n$.
Por ejemplo, el grupo $G=(R^n,+)$ tiene una estructura suave, porque si se operan dos vectores de $R^n$ se obtiene la suma de esos dos vectores, el cual es un vector resultante suave. Por otro lado, si aplica la función de multiplicar por $-1$ es también una función suave. De modo que $(R^n,+)$ es un grupo de Lie, abeliano y también llamado grupo n-dimensional de traslación.
Otro ejemplo simple de estructura suave es $S(1)=\unicode{123} z \in \mathbb {C} \text{ / } |z|=1 \unicode{125}$ que es un círculo unitario, donde $z_{\theta}$ es un grupo de Lie de rotación pasiva.
Sea $\mathbf {z_{\theta}}$ el operador lineal que utilizaremos en el ejemplo, el cual lo aplicamos a un vector cualquiera definido en el plano complejo $\mathbb {C}$ de la figura, de la forma $\mathbf {\vec v}=\overline {OQ}$ de ángulo $\alpha$. Es decir,
al multiplicarlo vectorialmente por $\mathbf{\vec {z}}$, será rotado en un ángulo $\theta$, obteniendo un vector resultante $\mathbf{\vec w} $ cuyo ángulo con respecto al eje de la $x$, será de $\theta + \alpha$:
$$ \mathbf {\vec w = \vec z· \vec v} \text{, donde } \mathbf{|w|=|zv|=|v|} \text{, dado que } \mathbf{|z|}=1$$
Sea $v= \mathbf{e}^{i\alpha}\Rightarrow z· w = {e}^{i(\theta + \alpha)}$
Grupo de Lie Conmutativo en $S(1)$ ~ $U(1)$
En general, en toda la serie de publicaciones acerca del tema 123, me he centrado en los Grupos de Lie que operan con matrices $n \times n$, tanto en los reales como en los complejos y cuya determinante es diferente de cero, donde el producto de estas matrices es también un ejemplo de variedad suave.
Es decir, matrices invertibles ($G=\unicode{123} M \in SO(n) \text{/} det(M)\neq 1 \land M^{T}M=M^{T}M=I\unicode{125}$), las cuales son globalmente clasificadas como $GL(n,\mathbb R)$ (General Linear Groups):
En la figura, se representa una superficie que tiene la estructura algebraica de un grupo.
Por tanto, si se toma un par de elementos $g_1,g_2$ de esa variedad $G$ y se aplica su correspondiente operación binaria, se obtendrá una resultante $g_3$, que también pertenece a la variedad $G$, i.e. $g_1 · g_2=g_3, \text{ donde } \forall g_1,g_2,g_3 \in G$.
Así mismo, encontramos el elemento Identidad e $\in G$ , sobre el cual se saca el plano tangente de la superficie.
Este plano tangente es un Algebra de Lie $\large{\mathfrak {g}}$, cuyos generadores infinitesimales son el conjunto de matrices $\vec P=\unicode{123}X,Y,Z\unicode{125}$ y sus relaciones de conmutación. (Ver más adelante Generadores $SO(3)$)
Luego, desde una perspectiva de la geometría euclídea este grupo especial $G$ se conecta con un Algebra de Lie mediante el espacio tangente al punto Identidad de $G$, utilizando la operación binaria, - previamente definida -, Corchetes de Lie, i.e. se satisfacen las propiedades de ser bilineal, antisimétrica y cumplir con identidad de Jacobi.
La figura muestra un círculo contenido en $R^2$, con un vector longitud $1$ y ángulo $\theta$, donde el punto $q$ tiene asociada la matriz $M_{2 \times 2}(\theta)$, - que es la operador de rotación que constituye un Grupo de Lie en $SO(2)$ -, y la recta tangente en el punto $p=(1,0)$, - que corresponde al elemento Identidad -. Luego, la recta tangente es un Algebra de Lie $\large{\mathfrak {g}}$.
El conmutador $[XY]=XY - YX$ se considera como una medida. Nótese que actúan las operaciones ordinarias del álgebra de matrices, donde la multiplicación matricial no es conmutativa.
Efectivamente, el espacio vectorial de los generadores infinitesimales de un grupo80 matricial de Lie conforma un Algebra de Lie en $SO(n)$82.(La propiedad de antisimetría es equivalente a: $[X,X]=XX-XX=0 = 0, \forall X\in g$).
Transformación desde $SO(n)$ hacia un Algebra de Lie
La operación es una transformación lineal de la forma:
$$[X,Y]: G × G\longrightarrow G \text{, donde } \forall X,Y,Z \in G$$
En otras palabras, el producto vectorial, - no sólo de vectores sino también matrices-, también está dentro de $G$. Por esa razón se le denomina el Algebra de Lie asociada al grupo $G$. 128
Donde $G$ es un grupo de $SO(n)$. Es decir, la operación binaria Corchete de Lie, transforma un par ordenado de matrices desde el producto vectorial $G × G$ hacia una Algebra de Lie (Nuestra notación será $g \lor Mn(K)$, ambos indistintamente).
En otras palabras, $G$ es un grupo especial ortogonal de dimensión $n$109:
$$G=\unicode{123} M \in SO(n) \text{/} det(M)=1 \land M^{T}M=M^{T}M=I\unicode{125}$$
Conexión Grupo de Lie con Mapeo Exponencial
Una conexión elemental de los Grupos de Lie con las Algebras de Lie, se realiza entonces mediante el mapeo exponencial:
Obsérvese que este mapeo exponencial nos indica básicas propiedades para transformar la suma hacia la descomposición en factores de un producto. Es decir, propiedades que nos ayudarán a comprender las rotaciones infinitesimales de la forma:
En efecto, se demuestra desde la serie de Taylor de $\large{e}^X$, junto a la propiedad antisimétrica de los corchetes de Lie $([XY]=-[YX])$ conforman una relación simple mediante el mapeo exponencial. (Serie que es convergente para matrices $M_{n \times n} \in SO(n)$, tanto en $\Bbb R$ como $ \Bbb C$):
$$exp: G × G\longrightarrow G \text{, sobre } \Bbb C$$
$$exp(X)=\large{e}^X= \sum_{k=0}^{\infty} \frac{1}{k!}X^k= I+ X + \frac{1}{2}X^2 + \frac{1}{3!}X^3+\frac{1}{4!}X^4 + \frac{1}{5!}X^5 + \frac{1}{6!}X^6+\frac{1}{7!}X^7+ \cdots\cdots$$
Utilizando las conocidas propiedades de las potencias de igual base:
$$ \rhd \text{ } [XY]=0 \Rightarrow \large{e}^{X+Y}=\large{e}^X\large{e}^Y$$
Y la conocida propiedad de una potencia con exponente negativo:
Luego, cuando las matrices $X,Y \in G$ conmutan, entonces se pueden aplicar todas las operaciones algebraicas que se utilizan con los números complejos.
Generador $SO(2)$
El generador de $SO(2)$ es la matriz antisimétrica93:
Luego, el conjunto especial de matrices ortogonales de $2 \times 2, SO(2)$, - i.e. en dos dimensiones.
En $SO(2)$ la operación Corchete de Lie es trivial porque con un sólo generador su producto es idénticamente cero (i.e. la rotación que da donde mismo $X \Rightarrow [XX]=0$), entonces todo espacio vectorial se convierte en un álgebra de Lie Abeliana trivial i.e. Conmutan completamente). Las rotaciones conmutan, como se ilustra en la siguiente figura:
Rotación impar($-1$) y par($+1$) Dimensión 2
Rotación Par($+1$) Dimensión 2
Una propiedad importante de la definición de la operación es la antisimetría:
$[XY]=XY-YX=-[YX]$,
donde $X,Y \in SO(2) \land X \ne Y$
Recordar que esta definición de la operación Corchete de Lie trabaja sobre un espacio vectorial de matrices, donde la multiplicación entre matrices no es conmutativa. En este caso, se ilustra con matrices en $SO(2) \text{ y } $SO(3)$ $.
La finalidad de iniciar con los los grupos de Lie $SO(2)$ y $SO(3)$, es que son objetos geométricos visualizables en el plano euclideano, que nos llevan al marco general de los siguientes pasos abstractos que se aplican con el Algebra de Lie.120
La rotación de objetos en un espacio tridimensional se realiza desde $SO(2)$, puesto que, - por ejemplo en la figura -, se está rotando el objeto en torno al eje $z$ en la planta, el cual apunta hacia arriba, i.e. se está rotando un objeto sólo en dos dimensiones en el plano $xy$. Lo mismo con las otras rotaciones independientes localizadas en la parte superior del robot que se van encadenando.
$SO(2)$ Brazo Robótico en $R^3$.Múltiples Rotaciones
Corchetes de Lie ~ Levi-Civita
Utilizando el símbolo Levi-Civita107 en dos dimensiones, donde $+1$(par) representa la rotación en el sentido de los punteros del reloj y $-1$(impar) contrario al sentido de los punteros del reloj:
$$
\epsilon _{ij} =
\begin{cases}
+1, & \text{si (ij) es (1,2)} \\\\
-1, & \text{si (ij) es (2,1)}
\end{cases}
$$
Generadores $SO(3)$
La rotación de matrices $M$ (frecuentemente denotada también como $R_{\theta}$) constituye una representación de los $SO(3)$ ('Special Orthogonal Group of Dimension $3$').
Luego, las matrices $\vec P=\unicode{123}X_1,X_2,X_3\unicode{125}$, unido a la matriz identica $I=\mathbf {1}$, que describiremos a continuación son también denominadas Generadores Infinitesimales de $SO(3)$, dado que toda rotación de un ángulo infinitesimal $d\theta$ puede ser expresado como:
Estos generadores forman una base vectorial para la representación matricial del Algebra de Lie SO(3), en este caso el conjunto de todas las matrices antisimétricas de $3 \times 3$ .Incluyendo la matriz identidad $I$.
En síntesis, se mostrará que aplicar a los generadores infinitesimales $P=\unicode{123}X_1,X_2, X_3\unicode{125}$ el símbolo de Levi-Civita, implica que:
$[X_1 X_2]=\epsilon _{123}X_3 \text{, } [X_2 X_3]=\epsilon_{231} X_1 \text{, } [X1,X3]=\epsilon_{132} X2 \dots$, etc. como se detallará más adelante.
Nótese que en la ingeniosa combinación de la notación Levi-Civita, la permutación de los dos primeros subíndices ${ij..}$ de $\epsilon$ corresponden a los subíndices de la matrices que están dentro de los corchetes $[X_i X_j]$ y el último $k$ a la matriz resultante. (Sin considerar aún que $\epsilon _{ijk}$ puede tomar los valores $-1,0,1$).
Es decir, $\epsilon _{123}=\epsilon _{231}=\epsilon _{312}=1$ y $\epsilon _{132}=\epsilon _{321}=\epsilon _{213}=-1$
La notación de Levi-Civita es muy útil para la comprensión del cálculo tensorial y facilita considerablemente a los físicos en sus trabajos con operaciones vectoriales, tanto en el ámbito experimental como teórico. En síntesis, esta notación es una poderosa herramienta para derivar complejos vínculos vectoriales.
Permutación Par o Cíclica
Permutación Impar o Anticíclica
Así mismo se mostrará que las permutaciones $\epsilon _{ijk}$ cuando son $+1$(par), representan la rotación en el sentido de los punteros del reloj, $-1$ (impar) lo contrario al sentido de los punteros del reloj y $0$ en los otros casos. Dicho de otro modo, hay dos tipos de permutaciones, llamadas pares e impares, según el número de trasposiciones en que se descompongan.
Ahora, en $SO(3)$,- i.e. en tres dimensiones-, los elementos generadores infinitesimales $P=\unicode{123}X_1,X_2,X_3\unicode{125}$ y sus relaciones de conmutación constituyen un Algebra de Lie:
Los grupos en $SO(3)$ consisten en rotaciones en tres dimensiones, que en este caso se configuraron a partir de la matriz $M_{2 \times 2} \in SO(2)$ aumentada con los vectores canónicos.
$$
\begin{pmatrix} x \\ y \\ z \end{pmatrix} \mapsto
x \mathbf{\vec i} +
y \mathbf{\vec j} +
z \mathbf{\vec k}
$$
Ciertamente la matriz real $M_{2\times 2}$, - sobre un ángulo de rotación $\theta$ -, en torno a un origen o centro de rotación en el plano cartesiano, constituye un generador del Grupo de Lie, i.e. un grupo especial ortogonal de dimensión 2:
A partir de esta matriz de base $M_{2 \times 2}(\theta)$, se construyen las tres matrices generadoras en $SO(3)$, que hemos denotado como $G$, que son:
Ilustremos la extensión mediante un operador $M_{3 \times 3}(\beta)$ en el plano euclidiano que al ser aplicado a un vector aumentado de coordenadas rectangulares $(x_1,x_2,1)$, - localizado en torno a un punto de origen $0$ -, lo hace rotar en un ángulo $\beta$ hacia un vector $X'$ de coordenadas $(x_1',x_2',1)$.
En otros términos, se aplica el mismo procedimiento previo de SO(2), i.e. una matriz aumentada $M_{3 \times 3}$ que multiplicada por el vector $X$ obtenga estas nuevas coordenadas en $X'$, i.e. de esta forma obtendremos un sistema de coordenadas sobre la variedad SO(3):
Este conjunto de matrices cumple las condiciones de rotación en el plano euclidiano y constituye un Grupo de Lie en $SO(3)$.
Rotaciones Independientes en Torno a Ejes121
También denotadas y descritas como se señala a continuación:
$Rx(\alpha)$ rota el plano yz alrededor del origen por un ángulo $\alpha$.
$Ry(\beta)$ rota el plano xz alrededor del origen por un ángulo $\beta$.
$Rz(\gamma)$ rota el plano xy alrededor del origen por un ángulo $\gamma$.
Es decir, el grupo completo $G \in SO(3)$ consiste en el producto de estas matrices, las cuales al multiplicarlas por sus transpuestas son iguales a la matriz identidad $I$. Por tanto, cumplen con la condición de ortogonalidad en lo reales:
Las rotaciones se realizan sobre los ejes de coordenadas Cartesianas en el espacio tridimensional euclidiano, se identifican los ángulos de rotación en torno a cada eje, tomando como referencia el giro en torno al eje $z$ como $\gamma$, el giro en torno al eje $y$ como $\beta$, y el giro en torno al eje $x$ como $\alpha$.
Nótese que la matriz $M_{2 \times 2}\in SO(2)$ se aumenta introduciendo los vectores canónicos: en el caso $M_{x}(\alpha)$, se introdujo $\vec i$ en la primera fila y primera columna; en $M_{y}(\beta)$ se introdujo $\vec j$ en la segunda fila y segunda columna; y en $M_{z}(\gamma)$ se introdujo $\vec k$ en la tercera fila y tercera columna.
Estas tres rotaciones son independientes, las unas de las otras.
Luego, al diferenciar cada una de estas tres matrices y evaluarlas en $\theta=0$, se obtienen los generadores infinitesimales de rotación, en torno a cada uno de los ejes respectivamente $\vec P=\unicode{123}X_{1},X_{2},X_{3}\unicode{125}$ en $SO(3)$.
Es decir, $\vec P=\unicode{123}X_{1},X_{2},X_{3}\unicode{125}$, el cual es un generador unitario del Algebra de Lie en tres dimensiones, se obtiene de las derivadas de cada una de estas tres matrices $M_{x}(\alpha), M_{y}(\beta), M_{z}(\gamma)$
De esa forma se demuestra cómo se deduce el generador unitario del Algebra de Lie $\large{\mathfrak {g}}$ en tres dimensiones $\vec P=\unicode{123}X_{1},X_{2},X_{3}\unicode{125}$, el cual se mapea como $SO(2)\mapsto SO(3)$, i.e. aumentandando la matriz $M_{2\times 2}$ con los vectores canónicos y obteniendo tres matrices $M_{3\times 3}$ de rotación, en torno a cada eje. Posteriormente, se deriva cada una de las matrices de rotación $G=\unicode{123} M_{x}(\alpha), M_{y}(\beta), M_{z}(\gamma) \unicode{125}$ y se obtiene $\vec P$.
Esto, nos permite aproximar $d\theta$ en términos finitos como:
$$\theta \approx n\Delta \theta$$
De donde aplicando este pequeño incremental en la rotación, i.e. sustituyendo $\Delta \theta$ por $d\theta$ en $[L11]$, se tiene la siguiente expresión finita:
Esta expresión $[L12]$, nos induce hacia la exponenciación de $M(\theta)$, utilizando la forma análoga que se obtiene en los números reales:
$\lim\limits_{n\to\infty}\Big(1+\frac{x}{n}\Big)^n=\large{e}^x$, donde $x\in R$
En efecto, este resultado obtenido en los reales lleva al desarrollo de la exponenciación con matrices antisimétricas, tal como se trató en el sub-capítulo Conexión Grupo de Lie con Mapeo Exponencial
y en sus respectivos videos:
A fin de simplificar las operaciones de permutación, se recurre a la utilización del símbolo Levi-Civita en tres dimensiones:
$$
\epsilon _{ijk} =\begin{cases}+1, & \text{si (ijk) es (1,2,3)(2,3,1)(3,1,2)} \\\\
-1, & \text{si (ijk) es (3,2,1)(2,1,3)(1,2,3)} \\\\
\text{ }0, & \text{si (ijk) de otro modo i=j o j=k o k=i}
\end{cases}
$$
Matriz Dimensión 3 con Símbolo de Levi-Civita125
Es decir, en vez de multiplicar explícitamente las matrices generadoras de $3\times 3$, sintetizamos con los indicadores del símbolo de Levi-Civita, donde $\epsilon=1$ si es una permutación par(+1), $\epsilon=-1$ si es una permutación impar(-1) y $\epsilon=0$ en cualquier otro caso. Ilustremos los casos:
Nótese que de acuerdo con Levi-Civita en tres dimensiones: $\epsilon _{123},\epsilon_{231},\epsilon _{312}, \epsilon _{132},\epsilon _{312},\epsilon _{213} \text{ son }\ne 0$
Luego, la matriz asociada a los valores resultantes de las permutaciones del conjunto de
generadores infinitesimales $P=\unicode{123} X_1, X_2, X_3\unicode{125}$ aplicando el símbolo Levi-Civita $\epsilon_{ijk}$ se señala en la siguente tabla:
·
$\mathbf {X_1}$
$\mathbf {X_2}$
$\mathbf {X_3}$
$\mathbf {X_1}$
$0$
$X_3$
$-X_2$
$\mathbf {X_2}$
$-X_3$
$0$
$X_1$
$\mathbf {X_3}$
$X_2$
$-X_1$
$0$
Tabla Resultante de Permutaciones $\vec P=\unicode{123} X_1, X_2, X_3\unicode{125}$ 129
Las Permutaciones par son 123, 231, 312
Las Permutaciones impar son 132,312, 213
Por tanto, de esa forma se puede representar todas la permutaciones tridimensionales del Algebra de Lie, desde $SO(3)$.
Una excelente ilustración es el Cubo de Rubik, cuya imagen animada se muestra a continuación, dado que es un ejemplo de un grupo de permutación. Los grupos de simetría $SO(n)$ son grupos de permutación, donde cada una de las rotaciones, en este caso con alguna de las caras del Cubo de Rubik-, constituye una permutación. Estas rotaciones forman un conjunto generador del Algebra de Lie 121.
Cubo de Rubik Ejemplo de Grupo Simétrico de Permutación