Revista Cientı́fica de Puno en Fı́sica & Matemática

RCPFM

Recibido: 26 de Mayo de 2018 / Aceptado: 16 de Julio de 2018

CONTENIDO

Rotaciones e Invariantes de Grupos de Lie y

Lorentz:
Mr. Alex Rossi Quispe Rodriguez

Gmail:alexrossiquisperodriguez@gmail.com
 Revista Cientı́fica de Puno en Fı́sica & Matemática

Resumen
En el presente trabajo expondré todo mis conocimientos investigados acerca
de teorı́a de grupos y como esta idea matemática esta estrechamente ligada ala
fı́sica moderna, primeramente mostrare un estudio de grupos para después con-
tinuar con el tema principal que viene a ser los grupos de Lorentz, para poder
entender con total claridad introduje ejemplos sencillos y como punto final pongo
en este trabajo las transformaciones de coordenadas que se obtiene de todo este
desarrollo, y que su gran utilidad se da en la teorı́a de la relatividad especial.
Palabras claves; Transformación, rotación, coordenadas, grupo, relatividad.

1. INTRODUCCIÓN como. Mi profesor de la universidad siem-

El estudio de la fı́sica o mejor dicho de
la naturaleza en si se a convertido en una
adicción para la humanidad, ya que desde
muchos siglos atrás se a querido entender
como funciona este mundo en que vivimos,
si nos ponemos a hablar de todos los su-
jetos que pasaron sus vidas tratando de
entender y que lograron dar aportes muy
necesarios para avanzar con el mejor en-
tendimiento del mundo, creo que nos to-
marı́a mas de 100 hojas e inclusive mas.
Hay algo muy importante aparte de esto
que me gustarı́a discutir. En toda nuestra
antigua asistencia los filósofos han tomado
las riendas del conocimiento de la natura-
leza pero mientras transcurrı́a el tiempo
los seres humanos querı́an ser mas preci-
sos en los cálculos ası́ que la simple com-
prensión no bastaba por lo que se dividió
de aquellos filósofos a unos seres llamados
fı́sicos, los cuales tomaron una rienda mu-
cho mas precisa pero de una forma técnica
y algo compleja para los simples morta-
les, . . . broma e!!!, Los fı́sicos estamos en
la idea de buscar la comprensión total del
mundo en que vivimos o mejor dicho el
cosmos. Es en esto lo que se llego a dife-
renciar tan dramática con los filósofos ya
que ellos se encargan del porque y no del
pre nos dijo que si un estudiante de fı́si-
ca a leı́do lo suficiente de diversos temas
ya sean bibliografias, artı́culos, libros con
teorı́as complejas y sobre todo que a leı́do
libros de divulgación cientı́fica, ese estu-
diante es un fı́sico con una mente algo filo-
sofa, ya que al a ver leı́do de tantos temas
acerca de la ciencia (y la ciencia abarca
harto noma e !!! ), a lo que yo me pre-
guntaba, sera verdad?, ahora que yo tengo
una cantidad considerable de textos leidos
puedo decir que si a esta interrogante, la
cuestión ahora es que usted responda a es-
ta mi pregunta, si en verdad cree que un
fisico puede ser parte filosofo, yo creo que
si, ya que al leer de tantos temas uno puede
conversar con cualquier persona de temas
inimaginables desde poder explicar la im-
portancia de fracciones hasta la idea mis-
ma de la existencia y de porque estamos
aquı́ o quien nos creo y todas esas cosas.
El filosofo mas renombrado de nuestros si-
glos dijo; La única tarea que le queda a la
filosofı́a es el análisis del lenguaje. [5]
Las traslaciones que aremos tal ves no
le suene muy conocidas o que diga que no
tiene mucha utilidad, pero déjeme decirle
que esta es la base de donde puede darse la
aprobación a todas las teorı́as fı́sicas que
tenemos hasta el dı́a de hoy [4], por poner

1
 Revista Cientı́fica de Puno en Fı́sica & Matemática

un ejemplo; imaginemos que yo realizo un mos usar el ejemplo que nos da en el libro
experimento en una parte del mundo ya de Stephen W. Hawking en su libro histo-
que la tierra es esférica otra persona que ria del tiempo, aquı́ nos expone una idea
esta en otra parte del mundo realiza el mis- muy interesante, yo lo usare para el ejem-
mo experimento, pregunta?, como deben plo de teorı́as; uno podemos decir que la
de ser nuestros resultados, la respuesta tal tierra esta sobre una tortuga gigante como
ves sea muy logia, usted puede decir que antes todos creı́an o también puede ser la
tiene que ser iguales, y pues esta en lo co- existencia de una supercuerda que al vi-
rrecto, aquı́ la idea de invarianza (se discu- brar dotan de valores a todo lo que con-
tirá mas adelante), que in experimento o la comes, la cuestión es que a ambas teorı́as
fı́sica en si en un suceso visto por una per- les falta comprobación cientı́fica, nadie a
sona A tiene que ser igual al experimento visto una tortuga gigante como también
de una persona que este en otro lugar del nadie a visto una super cuerda, la cues-
mundo o espacio, esto tiene algunas res- tión es que la segunda es mas técnica y
tricciones las cuales tocaremos en el ultimo matemática y podemos hacer experimen-
capitulo, la idea es entender la importan- tos y también introducir nuestras ideas de
cia de que un evento tiene que ser invarian- invarianza para poder darle el paso libre
te bajo algunas transformaciones. Si usted y continuar estudiando esta teorı́a o de-
a llevado el curso de Fı́sica moderna segu- jarla ahy, es la importancia de saber que
ramente a comprobado la invarianza de la cosas son invariantes en este mundo en que
ecuación electromagnética de Maxwell, en vivimos. Se trabajara de una forma técni-
donde de seguro su profesor le pidió que ca este trabajo pero tratando de explicar
realizara la prueba con las transformacio- lo mas detallado posible para el entendi-
nes de coordenadas de Galileo y vio que miento de todos, . . . eso espero!!!.
salı́an un orro, diciendo por lo cual que no
era invariante bajo las coordenadas gali-
leanas, para su alivio y no botar la teorı́a 2. GRUPOS DE LIE
electromagnética ala basura el profesor le
dio unas nuevas transformación de coorde- El desarrollo de los grupos de Lie ha
nadas las cuales eran las transformación de abarcado diversas áreas de la matemática
Lorentz, y al probar se da con la gran sor- pura y aplicada, causando un gran impac-
presa y respira por fin dándose cuenta de to en cada una de estas, mucho más de
que la teorı́a electromagnética estaba bien lo esperado por el mismo Lie. Las aplica-
y era invariante solo bajo las transforma- ciones de los grupos de simetrı́a de Lie se
ciones de Lorentz. [6] pueden encontrar en topologı́a algebráica,
geometrı́a diferencial, teorı́a de invarian-
Ası́ como hemos visto esa es la impor- tes, teorı́a de bifurcaciones, mecánica clási-
tancia de probar una teorı́a es invariante o ca, etc. No obstante, el estudio de los tra-
no, ya que si no cumple estamos ante una bajos de Lie y de los grupos que llevan su
teorı́a de penumbra que casualmente nos nombre comenzarı́a hace poco más de un
a de llevar errores en las perdiciones, ası́ siglo, ya que desafortunadamente cayeron
como cuando hablamos de teorı́as, pode- en el olvido por un largo periodo de tiempo

2
 Revista Cientı́fica de Puno en Fı́sica & Matemática

durante el siglo XIX, hasta que se logró Observación 2.1 En la gran mayorı́a de
reformular la geometrı́a diferencial y gra- textos de álgebra abstracta la unicidad del
cias también al impulso que Eli Cartan les elemento neutro e inverso no se incluyen
dio al estudiar sus usos geométricos. [1] [2] en la definición de grupo, aun ası́, en esos
casos no es difı́cil demostrar estas propie-
Definición 2.1 Una operación binaria o dades.
ley de composición interna φ sobre un con-
junto G es una función que aplica G×G en Definición
0
2.3 Un grupo G es abeliano si
G. Esto es, para cada (a, b) ∈ G×G, φ(a, b) φ(a b) = φ(b, a) para todos los elementos a
será un elemento de G, φ(a, b) ∈ G. y b en G.
Ejemplo 2.1 (Z, +) es un grupo abe-
liano, donde + denota la adición usual en
φ:G×G→G Z.
(a, b) 7→ φ(a, b) Ejemplo 2.2 (Q, ·) no es un grupo por
El elemento φ(a, b) se llama el com- que 0 ∈ Q y no posee inverso.
puesto de a con b.
Ejemplo 2.3 Las propiedades conocidas
de la multiplicación de los racionales,
Definición 2.2 Un grupo hG, φi es un
reales y los números complejos nos permi-
conjunto de elementos G, con una ley de
ten mostrar que los conjuntos Q∗ , R∗ y C∗
composición interna φ, que satisface los si-
de números no negativos bajo la multipli-
guientes axiomas:
cación son grupos abelianos.
(a) Propiedad Asociativa. Para todos los Entendiendo todo este formalismo, la
a, b, c ∈ G, tenemos: idea que nos a de interesar sera rotaciones
pero definidas por una matriz, entonces la
φ(a, φ(b, c)) = φ(φ(a, b), c) pregunta es que si para unas matrices se
cumple mas propiedades de un grupo, la
(b) Elemento Identidad. Existe un único respuesta es inmediata ya que debido a al
elemento e en G tal que para todo definición de matrices se puede afirmar las
x ∈ G, tres condiciones de un grupo, eso si con la
operación de la multiplicación.
φ(x, e) = φ(e, x) = x
Para Matrices, el grupo: (G,•)
(c) Elemento Inverso. Para todo a ∈ G,
existe un único elemento a0 en G tal a) ASOCIATIVIDAD
que,
(g1 .g2 ) .g3 = g1 . (g2 .g3 ) (1)
φ(a, a0 ) = φ(a0 , a) = e,
b) IDENTIDAD
el elemento a0 se llama inverso de a y
se nota como a−1 . ∃ I / g.I = I.g = g (2)

3
 Revista Cientı́fica de Puno en Fı́sica & Matemática

c) INVERSO Ahora notemos de la ecuación 4 que las

raı́ces se pueden simplificar, a esto lo de-
∀g ∈ G ∃g −1 /g.g −1 = g −1 .g = I finiremos con la letra (s), la cual para los
(3) fı́sicos es como el Santo Grial ya que es la
relación de invariante, ası́ que tengámoslo
Para poder llamar grupo de LIE tie- muy presente.
ne que ser un grupo infinito y continuo lo
cual en la sección siguiente veremos que se 2 2
s2 = (x0 1 ) + (x0 2 ) = x1 2 + x2 2 (6)
cumple.
La relación de la ecuación 5 nos indi-
ca que R es una matriz por lo que puedo
3. INVARIANTE escribir:

 0    
Ahora viene lo divertido de este traba- x1 R11 R12 x1
=
jo, vayamos a caracterizar la idea de inva- x02 R21 R22 x2
riante; si tengo un plano (X, Y ) y un vec-
tor ~x si el plano esta en una posición ini-
x0 1
   
R11 x1 + R12 x2
cial recto por ası́ decirlo, las coordenadas =
x02 R21 x1 + R22 x2
de este serán ~x = (x1 , x2 ) y ahora si rota-
mos el eje en una dimension extra (puede Remplazando en la ecuación 6:
ser z) el vector tomara otras coordenadas
según este nuevo eje ~x = (x0 1 , x0 2 ), ahora 2 2
es el momento de pensar, si tengo ese plano (R11 x1 + R12 x2 ) + (R21 x1 + R22 x2 )
y gira un cierto angulo que magnitud se
mantiene invariante bajo esta rotación, la = x1 2 + x2 2
respuesta es; la magnitud del vector o dis-
tancia que tiene el vector, por lo que tengo Trabajando:
la relación siguiente: [4]
R11 2 + R21 2 x1 2 + R12 2 + R22 2 x2 2 +

2 (R11 R12 + R21 R22 ) x1 x2 = x1 2 + x2 2

q
2 2
p
(x0 1 ) + (x0 2 ) = x1 2 + x2 2 (4)
Según la igualdad podemos decir las si-
Esta ecuación es importante ası́ como guientes tres afirmaciones:
la idea que queremos formar, la cual es que
quiero tener un cambio de transformación
R11 2 + R21 2 = 1


de coordenadas de equis primas a equis sin
primas, esto se puede expresar como:
R12 2 + R22 2 = 1

   0   
x1 x1 x
7−→ =R 1 (5)
x2 x02 x2 (R11 R12 + R21 R22 ) = 0

4
 Revista Cientı́fica de Puno en Fı́sica & Matemática

Si tomamos la matriz R y su transpues-  T

ta RT : x~0 = (R~x)
T

     T
R11 R12 T R11 R21 x~0 = ~xT RT (11)
R= , R =
R21 R22 R12 R22
Entonces con estas ecuaciones (8, 9, 10,
Ası́ entonces debido a las afirmaciones 11) remplazando en 6.
y las matrices podemos llegar a:
2 2
RT R = I (7) x1 2 + x2 2 = (x0 1 ) + (x0 2 )

Definición 3.1 Matriz ortogonal se defi- T

~xT .~x = x~0 .x~0
ne a la multiplicación de una matriz por su
transpuesta y cuyo resultado de la identi-
dad: ~xT .~x = ~xT RT R~x
PTP = I
~xT .~x = ~xT .~x, RT R = I
Notemos ahora las dos notaciones:
Entonces la idea hasta el momento a
   0 
x1 ~ 0 x1 resaltar es la obtención de la matriz orto-
~x = , x =
x2 x02 gonal.
Por lo que la ecuación 5 se reduce a:
T
~xT .~x = x~0 .x~0 ⇒ RT R = I (12)
x~0 = R~x (8)
Si tomamos la transpuesta del vector 4. LA GRAN IDEA DE
equis sin prima
SOPHUS LIE
~xT = x1


x2
La idea a la que me refiero es que el
Y multiplicamos por vector equis, te- dijo:
nemos una interesante relación:
θ
  Rotar θ ⇐⇒ N veces
Rotar

x1 N
~xT .~x = x1 x2 = x1 2 + x2 2 (9)
x2 Osea para mejor entendimiento pode-
mos tomar los siguientes ejemplos:
realizando de la misma forma para el
vector equis prima:
T
Rotar 30 = rotar 30 veces 1
2 2
x~0 .x~0 = (x0 1 ) + (x0 2 ) (10)
Si pongo a la transpuesta la ecuación 30
8, obtenemos Rotar 30 = rotar 100veces
100

5
 Revista Cientı́fica de Puno en Fı́sica & Matemática

Entonces tomando una postura ma- Con las matrices A y AT de la siguiente

temática mas apropiada decimos que la ro- manera tenemos:
tación total θ es igual a todas las veces
necesarias para logar el giro, matemática-  
a11 a12
mente: A=
a21 a22
  N
θ
R (θ) = R (13)
 
a11 a21
N AT =
a12 a22
haciendo un milite ya que queremos
que las veces que se realice el giro sea finito 
0 a

y continuo. A = (18)
−a 0
A lo que esta forma de A no es muy
  N
θ usada, se usa la siguiente forma, como a
R (θ) = lı́m R (14) es cualquier numero muy pequeño, mejor
N →∞ N
llamaremos ε y sacaremos de la matriz en
A lo que si el giro es pequeño esto se donde para ser mas precisos ε tendrá el va-
puede expresar como la suma de la matriz lor de el angulo entre el numero de veces
identidad mas una pequeña matriz en don- a girar, matemáticamente;
de se tiene que cumplir A2 = 0, entonces
tenemos:  
0 1 θ
A=ε = εB, ε= (19)
 
θ −1 0 N
R =I +A (15)
N Ya que los giros son muy pequeños, po-
Por lo que de la ecuación 14 tenemos: demos usar la herramienta mas usada en
la fı́sica, la cual es la Polinomio de Taylor,
N
R (θ) = (I + A) (16) el cual dice:
Si I + A es una matriz de giro muy pe-
00 2 000 3
queño que diremos que es igual a R esto f (x) = f (0)+f 0 (0)x+ f (0)x + f (0)x +. . .
tenemos que llevar a la ecuación 7, a lo 2! 3!
que: (20)
Un caso como ejemplo seria para la
R = I + A, RT R = I función ex

T x2 x3
(I + A) (I + A) = I ex = 1 + x + + + ... (21)
2! 3!
Con este polinomio y teniendo las de-
I + A + AT + O(A2 ) = I
rivas de R(θ), podemos decir:
N
A + AT = 0 (17) R (θ) = (I + A)

6
 Revista Cientı́fica de Puno en Fı́sica & Matemática

las transformaciones que dejan invariante

N
R (θ) = [I + εB] a una rotación, en caso de R2 llegaremos
a.
 N
θ 
cos θ sin θ

R (θ) = I + B (22) R (θ) =
N − sin θ cos θ

R (0) = I Entonces podemos resaltar esta ecua-

ción ya que de aquı́ se va de uno a otro
lado, como se muestra a continuación.
R0 (0) = B
  
0 1
R00 (0) = B 2 R (θ) = exp θ ⇐⇒
−1 0

R000 (0) = B 3 T
~xT .~x = x~0 .x~0 (24)

R(n) (0) = B n
5. GRUPO DE LO-
En el Polinomio de Taylor tenemos:
RENTZ
R00 (0) Este grupo es importanticimo debido
R (θ) = R (0) + θR0 (0) + θ2 + ...
2! a que tiene que ver en la relatividad espe-
cial y es también un grupo que se incorpo-
ra a la cuántica de campos. Tomemos de
B2 una forma similar una especie de rotación
R (θ) = I + θB + θ + ...
2! R (θ), pero desde acá ya le voy diciendo
de que no es una rotación, podemos tomar
El cual se asemeja bastante con la varios formar de entrar a este estudio, pe-
ecuación 21, por lo que tenemos. ro como ya hablamos de rotaciones y las
rotaciones en grupos de Lie nos sale asi:
R (θ) = eθB [3]
   
0 1 0 1
θ θ
−1 0 −1 0
R (θ) = e (23) R (θ) = e
Esta es la ecuación mas importante, o El caso para el grupo de lorentz es
tal ves mas rara que usted aya visto ya que simplemente quitaremos el menos, y
que debe estar diciendo;-Una matriz como desarollando como se vio en la seccion an-
exponente-, y cosas as, pero vimos con el terior por series de Taylor se llega a una
tratamiento que se llega a eso y algo mas forma muy similar a la ya encontrada in-
genial sera que de aqui podremos llegar a variante de grupos de Lie, la cual era:

7
 Revista Cientı́fica de Puno en Fı́sica & Matemática

pero la ecuación encontrada nos muestra

0 2 0 2
(x 1 ) + (x 2 ) = x1 + x2 2 2 la invariaza de la fı́sica a sistemas de re-
ferencias inerciales, lo cual indica que si
y el cambio que hacemos: un cuerpo se mueve a velocidad constante
   este puede observar o medir lo mismo que
0 1 un observador fijo. La variable ω tiene una
Λ (ω) = exp ω (25)
1 0 relación algo muy interesante la cual es:
 00   0
x x V
1 = Λ (ω) 1 (26) tanh(ω) =
x0 x c
Entonces usted puede agregar o poner Esta ecuación nos muestra lo que siempre
algún termino pero siempre en cuando la se habla, lo cual es; la velocidad limite que
matriz sea antisimentrica y ortogonal y cualquier cuerpo puede experimentar es la
demás propiedades ya vistas en las seccio- velocidad de la Luz. A partir de aquı́ tra-
nes pasadas. La ayuda que le brindo es su- temos de continuar los desarrollos de la re-
gerirle que para el caso en donde ya este latividad especial.
haciendo por la serie de Taylor los valo-
res serán senos y cosenos hiperbólicos. La
relacio que nos sale es: [3] Referencias
 2 [1] Philippe Tondeur, CURSO Y SE-
00 2 1
2
2
− x0 = x0 − x1 MINARIO DE MATEMÁTICAS, De-


x (27)
partamento de Matemática.
Donde se opta por esas nomenclaturas
relativistas ya conocidas, . . . supongo!!!. [2] Joan Sebastián Gaitian Rive-
En caso que no pues es simple. ra, ECUACIONES DIFERENCIA-
LES ORDINARIAS, Mediante grupos
x0 = ct de LIE, Universidad Distrital Francis-
co José de Caldas.
x1 = x [3] Walter Greiner, RELATIVISTIC
Y reemplazando en 27 tenemos la rela- QUANTUM MECHANICS, Wave
cion invariante bajo estas transformacio- equations, Third Edition.
nes: [4] Leonardo Balart Vergara,
TEORÍAS DE GAUGE, Facultad de
2 2 2 2
(ct0 ) − (x) = (ct) − (x) (28) Fı́sica, P. Universidad Católica de
Chile,

6. CONCLUSIONES [5] Edward Frenkel, AMOR Y MA-

La variable θ en cuestión de grupos de
Lie indica las rotaciones y se puede ver la
invarianza, pero en el caso de los grupos
de Lorentz la variable ω queda incierta,
TEMÁTICAS, texto de divulgación
cientı́fica.
[6] Stephen W. Hawking, HISTORIA
DEL TIEMPO, texto de divulgación
cientı́fica.