Professional Documents
Culture Documents
DE LA GEOMETRIA SIMPLÉCTICA
Universidad de Nariño
veortegap@hotmail.com
RESUMEN
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.
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.
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.