Está en la página 1de 40

UNA VISIÓN ELEMENTAL DE LA ESTRUCTURA

DE LA GEOMETRIA SIMPLÉCTICA

Erdulfo Ortega Patiño

Universidad de Nariño
veortegap@hotmail.com
RESUMEN

Se trata de hacer una presentación concisa, en términos


elementales, de los conceptos básicos de la Geometría
Simpléctica, de su importancia en las matemáticas y de algunas
de sus aplicaciones en la física, en particular en la mecánica
clásica.
La noción de Estructura Simpléctica puede
ser considerada desde tres puntos de vista:
1. Desde el punto de vista algebráico:
Una estructura simpléctica sobre un espacio vectorial real de dimensión finita, 𝑉, es
una forma bilineal antisimétrica 𝜔2 : 𝑉 ⨯ 𝑉 ⟶ ℝ tal que la aplicación asociada
ഥ 2 : 𝑉 → 𝑉 ∗ definida por 𝜔
𝜔 ഥ2 𝑢 𝑣 = 𝜔 ഥ 2 (𝑢, 𝑣) es un isomorfismo. (𝑉 ∗ es el dual de
𝑉).

Ejemplo. Si 𝑉 es cualquier espacio vectorial real, entonces 𝑉⨁𝑉 ∗ tiene una estructura
simpléctica natural o canónica 𝜔𝑉2 definida por:
𝜔𝑉2 = 𝜔𝑉2 𝑣1 ⨁𝑣1∗ , 𝑣2 ⨁𝑣2∗ = 𝑣2∗ 𝑣1 − 𝑣1∗ 𝑣2
Este es un ejemplo básico, puesto que un espacio vectorial de este tipo es
simplectomorfo a cualquier espacio vectorial simpléctico.
2. Desde el punto de vista algebráico – geométrico.

Una estructura Simpléctica sobre un fibrado vectorial (suave) 𝑈 en un espacio


(variedad) 𝑀 es una familia (suave) contínua de estructuras simplécticas.
𝜔2 = 𝜔𝑋2 sobre las fibras de 𝑈. El objeto asociado
ഥ2 = 𝜔
𝜔 ഥ𝑋2 es, entonces, un isomorfismo de fibrados de 𝑈 hacia 𝑈 ∗ (dual de 𝑈).

Ejemplo. Si 𝑈 es cualquier fibrado vectorial en 𝑀, entonces 𝑈⨁𝑈 ∗ es un fibrado


vectorial simpléctico.
3. Desde el punto de vista Geométrico.
Una estructura simpléctica sobre una variedad suave 𝑀 es una estructura simpléctica
𝜔2 en el sentido algebráico – geométrico sobre el fibrado tangente 𝑇𝑀, la cual,
considerada como una 2-forma diferencial exterior sobre 𝑀, es cerrada, esto es,
𝑑𝜔2 = 0.

Ejemplo. El ejemplo más simple de variedad simpléctica es el espacio ℝ2𝑛 con la


estructura.
𝜔2 = σ𝑛𝑖=1 𝑑𝑝𝑖 Λ 𝑑𝑞𝑖 ,
donde 𝑝1 , … , 𝑝𝑛 , 𝑞1 , … , 𝑞𝑛 son las coordenadas y
𝜕 𝜕
ഥ2
𝜔 = 𝑑𝑞𝑖 , ഥ2
𝜔 = −𝑑𝑝𝑖
𝜕𝑝𝑖 𝜕𝑞𝑖
I. ESPACIOS VECTORIALES SIMPLÉCTICOS.
La Geometría Euclidiana, desde el punto de vista moderno, puede ser considerada como el
estudio de las parejas (V,ω) donde V es un espacio vectorial de dimensión finita y ω una forma
bilineal simétrica y positivamente definida llamada producto escalar euclidiano. El par (V,ω)
constituye, entonces, un espacio euclidiano. En forma análoga, la Geometría Simpléctica es el
estudio de las parejas (V,ω^2 ) de las cuales se hablará en seguida.

Definición 2.1. Sea 𝑉 un espacio vectorial de dimensión finita sobre ℝ. Una forma simpléctica
sobre 𝑉 es una forma bilineal.
𝜔2 : 𝑉 ⨯ 𝑉 ⟶ ℝ, tal que
𝜔2 es oblicuo-simétrica. Esto es, 𝜔2 (X,Y)= −𝜔2 𝑌, 𝑋 , para todo 𝑋, 𝑌 en 𝑉.
Si 𝑋 está en 𝑉 y 𝜔2 𝑋, 𝑌 = 0 para todo 𝑌 en 𝑉, entonces 𝑋 = 0. En este caso se dice que la
2-forma 𝜔2 es no degenerada.
(ℝ es el conjunto de los número reales)
Observación 2.1. La condición (b) se interpreta de la manera siguiente: Si V^* es el
espacio dual de V, entonces se puede construir un isomorfismo F_(ω^2 ) entre V y
V^*, así:
F_(ω^2 ):V⟶V^*
X⟼F_(ω^2 ) (X)=ω^2 (X,.)
Donde ω^2 (X,.):V⟶R
〖Y⟼F〗_(ω^2 ) (X),Y=ω^2 (X,Y)
De este modo, decir que ω^2 no es degenerada equivale a afirmar que
Ker[F_(ω^2 ) (X)]={0}
Definición 2.2. Un espacio vectorial 𝑉, de dimensión finita, provisto de una forma
simpléctica 𝜔2 , se llama espacio vectorial simpléctico y se simbolizan 𝑉, 𝜔2 .
Se dice entonces que la 2-forma 𝜔2 define una estructura lineal simpléctica sobre 𝑉.
Una situación análoga se tiene con el producto escalar euclidiano, el cual establece
una estructura Euclidea sobre un espacio vectorial.
Ejemplo 2.1. Definamos un espacio vectorial 𝑉 de dimensión par de la siguiente
manera:
𝑉 = 𝑊 ⨯ 𝑊∗
Donde 𝑊 es un espacio vectorial y 𝑊 ∗ su dual. Si 𝑋 pertenece a 𝑉, entonces 𝑋 =
𝑥, 𝑓 con 𝑥 en 𝑊 y 𝑓 en 𝑊 ∗ . La 2-forma 𝜔2 definida por:
𝜔2 𝑥, 𝑓 , 𝑥 0 , 𝑓 0 = 𝑓 0 𝑥 − 𝑓(𝑥 0 )
Es bilineal, oblicuo-simétrica y además, es no degenerada puesto que si 𝑥, 𝑓 ≠
(0,0), 𝑥 0 ≠ 0, el teorema de Hahn-Banach garantiza la existencia de un funcional 𝑓 0
en 𝑊 ∗ tal que: 𝑓 0 𝑥 ≠ 𝑓(𝑥 0 ).
Observación 2.2. La 2-forma definida en este ejemplo es independiente de la estructura
coordenada del espacio vectorial 𝑊, por lo cual es una forma intrínseca en 𝑊 ⨯ 𝑊 ∗ .
Es posible probar además, que toda forma simpléctica es de este tipo, para alguna
presentación de 𝑉 como el producto cartesiano 𝑊 ⨯ 𝑊 ∗ . Este es el caso de la
estructura de lo que se conoce en el lenguaje de la Mecánica como el espacio posición-
momento (𝑞, 𝑝).
Ejemplo 2.2. Supongamos que 𝑊 es un espacio vectorial con producto interior , y
definimos 𝑉 = 𝑊 ⨯ 𝑊 y la 2-forma 𝜔2 como:
𝜔2 𝑋, 𝑋ሶ , (𝑌, 𝑌)
ሶ = 𝑋, 𝑌ሶ − 𝑋,ሶ 𝑌 ,
Donde 𝑋,ሶ 𝑌ሶ pueden representar vectores velocidades en 𝑋 y 𝑌 respectivamente.
En particular, si 𝑊 = ℝ3 podemos considerar el caso de una partícula que se mueve en
ℝ3 , donde 𝑞1 , 𝑞2 , 𝑞3 son las coordenadas que determinan su posición 𝑞1ሶ , 𝑞2ሶ , 𝑞3ሶ es
su velocidad. Si consideramos otra partícula cuyo vector de posición es 𝑟1 , 𝑟2 , 𝑟3 y su
velocidad es 𝑟1ሶ , 𝑟2ሶ , 𝑟3ሶ , entonces:
𝜔2 𝑞, 𝑞ሶ , 𝑟, 𝑟ሶ = σ3𝑖=1 𝑞𝑖 𝑟𝑖ሶ − σ3𝑖=1 𝑟𝑖 𝑞ሶ 𝑖
La estructura de este ejemplo se llama espacio posición-velocidad y de simboliza 𝑞, 𝑞ሶ .
Ejemplo 2.3. Sea 𝐻 un espacio de Hilbert complejo. En este caso 𝐻 está provisto de un producto hermítico que se denota , , esto es;
Lineal en la primera variable:
𝛼𝑋 + 𝛽𝑌, 𝑍 = 𝛼 𝑋, 𝑍 + 𝛽 𝑌, 𝑍 , donde 𝛼 y 𝛽 son números complejos y 𝑋, 𝑌, 𝑍 elementos de 𝐻.
𝑋, 𝑌 = 𝑋, 𝑌 , con 𝑋, 𝑌 en 𝐻.
Si 𝑋, 𝑌 = 0, para todo 𝑌 en 𝐻, entonces 𝑋 = 0. Es decir, , es no degenerado.
Si se define la 2-forma 𝜔2 : 𝐻 ⨯ 𝐻 ⟶ ℝ
𝑋, 𝑌 ⟶ 𝜔2 𝑋, 𝑌 = −𝐼𝑚 𝑋, 𝑌
Las propiedades de 𝜔2 surgen en forma inmediata de las propiedades de la forma hermítica.
Por otra parte, si 𝑊 es un espacio vectorial real con un producto interior, entonces el complexificado de 𝑊 es: 𝐻 = 𝑊⨁𝑖𝑊 y tiene de
manera natural un producto hermítico definido por:
𝑥 + 𝑖𝑦, 𝑠 + 𝑖𝑧 = 𝑥. 𝑠 + 𝑦. 𝑧 + 𝑖(𝑦. 𝑠 − 𝑥. 𝑧)
De aquí resulta que si se define la 2-forma 𝜔2 como:
𝜔2 𝑥 + 𝑖𝑦, 𝑠 + 𝑖𝑧 = −(𝑦. 𝑠 − 𝑥. 𝑧)
Se tiene la misma 2-forma del ejemplo 2.2. En este caso 𝐻 = 𝑊⨁𝑊 tiene también un producto interno natural, considerado como espacio
vectorial real:
𝑥 + 𝑖𝑦, 𝑠 + 𝑖𝑧 = 𝑥. 𝑠 + 𝑦. 𝑧
El producto hermítico se puede escribir así:
𝑈1 , 𝑈2 = 𝑈1 . 𝑈2 + 𝑖𝜔2 𝑈1 , 𝑈2
Donde 𝑈1 y 𝑈2 están en 𝐻.
“Ortogonalidad” en espacios vectoriales
simplécticos.
Definición 2.3. Si 〖(V,ω〗^2) es un espacio vectorial simpléctico y X,Y son vectores en V, se
dice que X y Y son “ortogonales” con respecto a ω^2 cuando ω^2 (X,Y)=0 . Tales vectores
se denominan oblicuo-ortogonales o también ω^2-ortogonales.
De inmediato se tiene que:
En un espacio simpléctico 〖(V,ω〗^2) cada vector es oblicuo-ortogonal a sí mismo.
Si X_1 y X_2 son vectores de V, linealmente dependientes, entonces:
ω^2 (X_1,X_2)=0.

Definición 2.4. El conjunto de todos los vectores oblicuo-ortogonales a un vector no nulo


X de un espacio simpléctico V se denomina complemento oblicuo-ortogonal de X y se
simboliza X^1. Esto es,
X^1={Y∈V/ω^2 (X,Y)=0}
Proposición 2.1. Si V es un espacio simpléctico de dimensión n y X un vector no nulo de V,
entonces:
dim X^1=dimV-1=n-1
Prueba. Si todos los vectores de V fueran oblicuo-ortogonales a X, entonces ω^2 (X,Y)=0
para todo Y en V, y esto significa que ω^2 es degenerada, lo cual no es verdad si X≠0.
Consideremos el isomorfismo
F_(ω^2 ):V⟶V^*
X⟼F_(ω^2 ) (X)
Donde F_(ω^2 ) (X):V⟶R
Y⟼ω^2 (X,Y), Y en V
Es claro que X^1=Ker(F_(ω^2 ) (X)).
Como dimV=n y F_(ω^2 ) (X) es sobre, entonces:
dimV=dimI(F_(ω^2 ) (X))+dimKer (F_(ω^2 ) (X)).
Luego: 〖dimX〗^1=dimV-1=n-1.
Bases especiales en un espacio simpléctico.
Definición 2.5. Una base Simpléctica de un espacio simpléctico 〖(V,ω〗^2) de dimensión 2n es un
conjunto de 2n vectores:
{e_1,…,e_n,v_1,…,v_n }={e_i,v_i }
Los cuales satisfacen las relaciones:
ω^2 (e_i,e_j )=ω^2 (e_i,v_j )=ω^2 (v_i,v_j )=0 para i≠j
ω^2 (e_i,v_i )=1, con i,j=1,…,n
Los vectores e_i,v_i, que tienen el mismo índice se llaman asociados.
Teorema 2.1. Si 〖(V,ω〗^2) es un espacio simpléctico, entonces:
Existe una base Simpléctica para V.
Se puede escoger cualquier vector no nulo como primer elemento de tal base.
La dimensión de V es par.
(La demostración se realiza por inducción sobre la dimensión de V).
Subespacios simplécticos.
Definición 2.6. Sea 〖(V,ω〗^2) un espacio simpléctico y W un subconjunto de V. Se dice que
W es subespacio simpléctico de V si la restricción de ω^2 a W es también una forma
Simpléctica en W. Es decir, si (W,ω^2 |_w ) es un espacio simpléctico.
Sea 〖(V,ω〗^2) un espacio simpléctico y W un subespacio de V.
1. El complemento oblicuo-ortogonal de W es: W^1={Yε∀/ω^2 (Y,X)=0,∀XεW}
2. Si W es un subconjunto de W^1, entonces W es un subespacio ISOTROPICO.
3. Si W^1 es un subconjunto de W, entonces W es un subespacio COISOTROPICO.
4. Si W es isotrópico y admite un complemento isotrópico W^' tal que V=W⨁W^',
entonces W es un subespacio LAGRANGIANO.
5. Cuando V es un espacio de Hilbert, un subespacio lagrangiano recibe el nombre
de ISOTROPICO MAXIMAL.
Proposición 2.2. Sea (𝑉, 𝜔2 ) un espacio simpléctico. 𝑊 es un espacio simpléctico de
𝑉 si, y solo si 𝑊 ∩ 𝑊 1 = 0 .

Prueba. Observemos en primer lugar que si 𝑊 es subespacio simpléctico de 𝑉,


también lo es 𝑊 1 , luego la intersección de 𝑊 y 𝑊 1 es no vacía.
Sea 𝑍 un elemento de 𝑊 ∩ 𝑊 1 = 0 , entonces 𝜔2 𝑍, 𝑋 = 0, ∀𝑋𝜀𝑊, lo cual
implica que 𝑍 = 0. Por lo tanto 𝑊 ∩ 𝑊 1 = 0 .
Supongamos que 𝑊 ∩ 𝑊 1 = 0 . Entonces el único vector de 𝑊 que es oblicuo-
ortogonal a todo vector 𝑋 en 𝑊 es el vector 𝑂. Esto significa que 𝜔2 𝑋, 𝑌 = 0, para
todo 𝑌 en 𝑊, implica que 𝑋 = 0. De este modo, 𝜔2 es no degenerada en 𝑊. Por lo
tanto 𝑊 es un espacio simpléctico.
Lema 2.1. Si V es un espacio simpléctico de dimensión finita y W es un subespacio cualquiera,
entonces:
dimV=dimW^1+dimW
Demostración. Sea I:W⟶V la aplicación inclusión; su dual es la aplicación π:V^*⟶W^*, esto es,
la proyección de V^* sobre W^*, definida por π(f)=f|_W, donde f:V⟶ R es una aplicación lineal.
Es claro que π es sobreyectica. Por lo tanto, utilizando el isomorfismo F_(ω^2 ) (X) se tiene:
π o Fω^2:V⟶W^*

Ahora observemos que:


Ker(π o Fω^2)={YεV/ω^2 (Y,X)=0,∀XεW}
={YεV/ω^2 (Y,W)=0}=W^1
Como π o Fω^2 es también sobreyectiva, se tiene:
dimV=dimW^1+dimW^*=〖dimW〗^1+dimW
Corolario 2.1. Si 𝑊 es un subespacio de un espacio simpléctico de dimensión finita 𝑉,
entonces 𝑊 11 = 𝑊.
Prueba. De la definición de complemento oblicuo-ortogonal se deduce que: 𝑊 ⊂ 𝑊 11 . Por
el lema 2.1:
dim 𝑊 + 𝑑𝑖𝑚𝑊 1 = 𝑑𝑖𝑚𝑉 = 𝑑𝑖𝑚𝑊 11 + 𝑑𝑖𝑚𝑊 1
Por lo tanto 𝑊 11 = 𝑊.
Lema 2.2. Si 𝑊1 y 𝑊2 son Subespacios de un espacio simpléctico 𝑉, entonces:
𝑊11 ∩ 𝑊21 = 𝑊1 + 𝑊2 1
Demostración.
a) 𝑋𝜀 𝑊11 ∩ 𝑊21 ⟹ 𝑋𝜀 𝑊1 + 𝑊2 1 , entonces 𝑊11 ∩ 𝑊21 ⊂ 𝑊1 + 𝑊2 1

Recíprocamente:
𝜔2 𝑋, 𝑊1 + 𝑊2 = 0 ⟹ 𝜔2 𝑋, 𝑊1 = 0 y 𝜔2 𝑋, 𝑊2 = 0
b) Aplicando el corolario 2.1. y la parte (a), se tiene:
𝑊1 ∩ 𝑊2 1 = 𝑊111 ∩ 𝑊211 1 = 𝑊11 ∩ 𝑊21
Proposición 2.3. Supongamos que 〖(V,ω〗^2) es un espacio simpléctico. Si W es un
subespacio coisotrópico de V, entonces la 2-forma ω^2 induce una forma simpléctica
en el espacio cociente W/W^1 determinado por W^1.

Proposición 2.4. Si V es un espacio simpléctico de dimensión finita y W es un


subespacio de V, entonces son equivalentes las siguientes proposiciones:
a) W es lagrangiano.
b) W=W^1
c) W es isotrópico y además dimW=1/2 dimV.
El espacio simpléctico estándar 〖(R〗^(2^n ),ω^2).
𝑛
Definición 2.7. El conjunto de 2𝑛 vectores de ℝ2 :
𝑒𝑝1 , … , 𝑒𝑝𝑛 , 𝑒𝑞1 , … , 𝑒𝑞𝑛 = 𝑒𝑝𝑖 , 𝑒𝑞𝑖 = 𝑒𝑝 , 𝑒𝑞
Que satisfacen las relaciones:
𝜔2 𝑒𝑝𝑖 , 𝑒𝑝𝑗 = 𝜔2 𝑒𝑝𝑖 , 𝑒𝑞𝑗 = 𝜔2 𝑒𝑞𝑖 , 𝑒𝑞𝑗 = 0, si 𝑖 ≠ 𝑗
𝜔2 𝑒𝑝𝑖 , 𝑒𝑞𝑖 = 1, si 𝑖, 𝑗 = 1, … , 𝑛
2𝑛
Se llama base canónica Simpléctica de ℝ .
Esta base es oblicuo-ortogonal.
Definición 2.8. Sean 𝑝1 , … , 𝑝𝑛 , 𝑞1 , … , 𝑞𝑛 las funciones coordenadas sobre el espacio ℝ2𝑛 con respecto a la base
canónica 𝑒𝑝 , 𝑒𝑞 . Definimos la 2-forma 𝜔2 : ℝ2𝑛 ⨯ ℝ2𝑛 ⟶ ℝ por la expresión:
La matriz canónica Simpléctica.
Proposición 2.5. Si T es cualquier transformación simpléctica en R^2n y M_T es su
matriz asociada, entonces: 〖det(M〗_T)=1.
Proposición 2.6. Sea T:R^2n⟶R^2n una transformación lineal. T es simpléctica sí y
sólo si aplica cualquier base simpléctica cobre una base simpléctica.
Observación 2.3. En lo que sigue se identifica la matriz con el mismo símbolo de la
transformación lineal.
Teorema 2.2. Sea T:R^2n⟶R^2n una transformación lineal. T es simpléctica sí y sólo si
su matriz (T), en el sistema coordenado simpléctico (p,q), satisface la relación T^t
JT=J. (T^t es la transpuesta de T).
Teorema 2.3. Si 𝑇: ℝ2𝑛 ⟶ ℝ2𝑛 es una transformación simpléctica y 𝑃(𝜆) es su
polinomio característico, entonces:
1
2𝑛
a) 𝑃 𝜆 = det 𝑇 − 𝜆𝐼 = 𝜆 𝑝𝜆
1 1
b) Si 𝜆 es un valor propio complejo de 𝑇, , 𝜆ҧ 𝑦 ഥ lo son también y tienen la misma
𝜆 𝜆
multiplicidad.
c) Si 1 o -1 es valor propio, entonces tiene multiplicidad par.
Planos simplécticos.
Teorema 2.4. En un espacio simpléctico, un plano π es no nulo sí y sólo si el plano Jπ es
oblicuo-ortogonal a π.
Demostración: Sean X,Y en π, entonces:
ω^2 (X,Y)=〈X,JY〉=〈X,Y ̅ 〉=0 si y sólo si Jπ es oblicuo-ortogonal a π.
Además, puesto que para cada X en π, JX está en Jπ y J es lineal y no singular en R^2n
entonces: dim π=dimJπ.
Corolario 2.2. La dimensión de un plano nulo en R^2n es menor o igual que n.
Demostración. Si la dimensión de un plano nulo fuera K>n, entonces los planos K-
dimensionales π y Jπ no serían oblicuo-ortogonales.
Definición 2.12. Dados dos planos n-dimensionales π y π_2 en R^2n se dice que son
transversales sí y sólo si π_1 〖∩π〗_2=0. (0 en R^2n).
Teorema 2.5. En el espacio coordenado simpléctico R^2n todo plano nulo n-
dimensional π es transversal al menos a uno de los 2n planos coordenados nulos.
El grupo simpléctico.
La estructura compleja en el espacio
2𝑛
simpléctico ℝ .
II. VARIEDADES SIMPLECTICAS.
MECANICA HAMILTONIANA.

Si se desea considerar las ecuaciones de la mecánica desde el punto de vista de flujos


de campos vectoriales se debe tener en cuenta que existen campos vectoriales V y v*
sobre T(M) y sobre T*(M), respectivamente, tales que las curvas integrales
correspondientes a V en T(M), escritas en coordenadas naturales, satisfacen las
ecuaciones de Lagrange, y las curvas integrales correspondientes a V* en T*(M),
escritas en coordenadas naturales, satisfacen las ecuaciones de Hamilton. La
construcción de estos campos vectoriales está establecida, de manera natural, por
una 2- forma canónica denominada estructura Simpléctica sobre T*(M).
CAMPOS VECTORIALES HAMILTONIANOS.
TRAYECTORIAS Y ECUACIONES DE
MOVIMIENTO.
TEOREMA DE LA CONSERVACION DE LA
ENERGIA.
REFERENCIAS:
ABRAHAM, Ralph. Fundations of Mechanics. Princeton, W.A. Benjamin, Inc. 1969. 296 p.
ARNOLD, Vladimir, I. Mathematical Methods of Classicla Mechanics, 2a. Ed., New York,
Springe- Verlag. 1980. 287 p.
CURTIS, W MILLER, F. Differential manifolds and Theoretical Physics. New York, Aca-demic
Press, Inc. 1985. 392 p.
PLANCHAR, Enrique. Geométria Simpléctica. Caracas, VII Escuela Latinoamericana de
Matemáticas. 1984. 109 p.
STERNBERG, Shlomo. Lectures on Differential Geometry. 1a Edición. Englewood Cliffs,
Prentice – Hall. Inc. 1962. 389 p.
WEINSTEN, Alan. Lectures on Symplectic Manifolds. CBMS. Regional Conference Se-ries, Vol.
29. AMS 1977

También podría gustarte