Cap 05 FM

Tema 5: Elementos de geometría diferencial
José D. Edelstein
Universidade de Santiago de Compostela
F ÍSICA M ATEMÁTICA
Santiago de Compostela, abril de 2011
Coordenadas locales y atlas. Funciones y curvas. Espacios tangente y

cotangente. Flujos y derivadas de Lie.
José D. Edelstein (USC) Tema 5: Geometría diferencial abr-2011 1 / 19

Sistemas generales de coordenadas
Sea una variedad diferencial M de dimensión d. En general puede definirse

un sistema local de coordenadas (un atlas), {Oα , xαi }α=1,...,N .
M U U'
p
xµ(p) x'µ(p)
x2 x'2
xµ(x')
x'µ(x)
Rd x1 Rd x'1
En la intersección Oα ∩ Oβ tenemos las funciones de transición xβi = xβi (xα ).

Cambio de coordenadas y curvas
Dos sistemas de coordenadas {x i } y {x 0i } se relacionan a través de un

conjunto de d funciones
x 0i = f i (x) i = 1, . . . , D .
El Jacobiano no debe anularse (condición necesaria y suficiente)

0i i
∂x ∂f (x)
J= j=
6= 0 ,
∂x ∂x j
para que el cambio de coordenadas sea invertible, g := f −1 ,
x i = g i (x 0 ) i = 1, . . . , d .
Un cambio de coordenadas es un difeomorfismo, ~f : Rd → Rd .
Localmente, M es isomorfa a Rd . Ello permite utilizar el cálculo diferencial en

el entorno infinitesimal de un punto arbitrario.
Una curva es una aplicación c : R → M, t → p = c(t).

Curvas
Usando coordenadas t ∈ (a, b) ⊂ R y x i ∈ O, para un abierto O ⊂ M, la curva

viene dada por el conjunto de funciones coordenadas φ ◦ c : t → x i (t).
R M
b
c
t
c(t)
! oc
!
x2
xi(t)
x1
Rd

Curvas coordenadas y funciones
Las curvas que mantienen todas las coordenadas constantes menos una se
denominan curvas coordenadas.
E.g., la curva coordenada asociada a x 1 viene dada por
t → (x 1 (t) = t, x 2 , . . . , x d ) ,
y así sucesivamente para x 2 (t), etcétera.
Una función real, ϕ ∈ F(M) es una aplicación ϕ : M → R, p → ϕ(p).
Sean x i = φi (p) coordenadas de un abierto O ⊂ M; la función sobre M viene

especificada por x i → ϕ ◦ φ−1 (x i ).
Dado un punto p perteneciente a una carta, (O, φ), el mapa coordenado

φ = φi : p → x i = φi (p) = φi ◦ φ−1 (x) es una función real que se denomina
función coordenada.
Podemos restringir una función a una curva sobre la variedad diferencial M.

Una curva c es una subvariedad de M.
Funciones sobre curvas
La restricción de ϕ a c es una función ϕ ◦ c : R → R, t ∈ R → ϕ ◦ c(t).

R
M
p f f(p)
! f o !"1
x2
xi(p)
x1
Rd
La función puede escribirse también como Φ(x i (t)) con Φ := ϕ ◦ φ−1 .

Vectores tangentes
Un vector es un operador asociado a una curva c(t) en un punto p = c(t0 ).
Evalúa el cambio de funciones definidas sobre dicha curva en p, dΦ

dt t=t .

0
Pero Φ es función de t a través de las coordenadas de la curva x i (t):
dΦ dx i (t) ∂Φ(x)
= .
dt dt ∂x i
Como Φ puede ser cualquier función, escribimos la identidad operatorial
d dx i (t) ∂ dx i (t)
|vi := = = v i ∂i v i = v i (x(t)) = .
dt dt ∂x i dt
Se dice que ~v es un vector tangente a la curva y v i sus componentes.
La variación de una función a lo largo de la curva viene dada, así, por la

acción del vector tangente Φ → |vi[Φ].
Los vectores tangentes a las curvas coordenadas son precisamente las

derivadas parciales |ei i = ∂i ⇐⇒ |vi = v i |ei i.
Cambio de base
Los |ei i = ∂i forman una base del espacio de vectores tangentes a M en el

punto p, Tp (M). Cualquier variación es una combinación lineal de variaciones
a lo largo de las curvas coordenadas.
En la intersección de dos abiertos O ∪ O 0 , hay dos sistemas de coordenadas

0
x i y x i . Las bases tangentes asociadas son |ei i = ∂i y |ei 0 i = ∂i 0 .
Una función φ(p) en O ∪ O 0 admite una representación en cada sistema de

coordenadas,
Φ0 (x 0 ) = Φ(x(x 0 )) .
La acción de |ei 0 i (|ei i) sólo puede hacerse sobre la izquierda (derecha).
Mediante la regla de la cadena:
∂Φ0 (x 0 ) ∂Φ(x(x 0 ) ∂x i ∂Φ(x)

|ei 0 i[Φ0 ] = 0 = 0 = = Λi i 0 |ei i[Φ] .
∂x i ∂x i ∂x i 0 ∂x i
Como Φ es arbitraria, la matriz que define el cambio de base coordenada en
∂x i
el espacio tangente, ∂i 0 = Λi i 0 ∂i es Λi i 0 = (el Jacobiano).
∂x i 0
Campo vectorial
0
La invariancia de |vi = v i ∂i = v i ∂i 0 implica la regla de transformación contra-
0 0 0
variante para las componentes v i = Λi i v i , donde las matrices Λi i y Λi i 0 son,
consistentemente, inversas la una de la otra
0
∂x i ∂x i
i i0∂x i
Λ Λ j= 0i0 = = δi j .
∂x i ∂x j ∂x j
El espacio tangente, Tp (M), es una noción ligada a p. Tiene dimensión finita,
igual a la de M. Un campo vectorial es una elección de un elemento de cada
espacio tagente, de manera que el resultado sea continuo y diferenciable.
Basta con pedir que las v i que especifican un vector en cada punto sean
funciones continuas y diferenciables de las coordenadas x i en O ⊂ M,
|vi = v i (x) ∂i x i = x i (p) ∀p ∈ O .
0
El cambio de coordenadas x i → x i (x) afecta también al argumento de v i
0 0
v i (x 0 (x)) = Λi i (x) v i (x) .
El espacio T (M) tiene dimensión infinita, puesto que las componentes de un
campo vectorial son funciones v i (x) ∈ F(M).
Co-vectores tangentes
Al espacio vectorial Tp (M) le está asociado, de forma natural, un espacio

dual, Tp? (M), de 1-formas lineales sobre Tp (M), hw| : Tp (M) → R,
hw| : |vi → hw|vi = a .
La base canónica dual, hei |, verifica
hei |ej i = δ i j .
En el caso de T (M) en un abierto O, contamos con la base coordenada

|ei i = ∂i . La base canónica dual la denominamos hei | = hdx i |,
hdx i |∂j i = δ i j .
Un co-vector tangente se expande en una base coordenada hw| = wi hdx i |; el

producto dual viene dado por la contracción natural de componentes,
a = hw|vi = wi v j hdx i |∂j i = wi v j δ i j = wi v i .
Al igual que los campos vectoriales, la extensión de wi a funciones wi (x) en

M permite definir un campo de 1-formas, w = wi (x) dx i ∈ T ? (M).
El gradiente
Sea un campo vectorial, |vi ∈ T (M); en p ∈ M hay dos maneras de producir

un número:
• Hacer actuar |vi sobre una función, f ∈ F(M) para obtener |vi[f ], su
variación a lo largo de la curva a la que |vi es tangente en ese punto.
• Escoger un elemento hw| ∈ T ? (M) y efectuar la contracción hw|vi.
Definimos la 1-forma gradiente de f , hdf |, como aquella que verifica
hdf |vi = |vi[f ] ∀ |vi ∈ T (M) .
En un sistema de coordenadas, podemos expandir hdf | := ∂i f (x) hdx i | y

|vi = v j (x) ∂j y encontramos coincidencia
hdf |vi = ∂i f (x) v i = (v i ∂i )f (x) = |vi[f ] .
En particular, los propios elementos de la base co-tangente, hdx i |, son las

1-formas gradiente de las funciones coordenadas f (p) = x i (p).

Tensores de rango (p, q)
Dadas las coordenadas {x i } en un abierto, la base coordenada {∂i } es un

conjunto de elementos de Tp (M), ∀ p ∈ M.
Una combinación lineal dependiente del punto, en la forma v = v i (x) ∂i será

un campo vectorial si y sólo si v i (x) son C ∞ .
De forma general, un sistema de coordenadas define una base de dimensión

d p+q para el espacio de campos tensoriales T (M)p q , cuya base es
∂i1 ⊗ · · · ⊗ ∂ip ⊗ dx j1 ⊗ · · · ⊗ dx jq ,
en cada p ∈ M. Un campo tensorial, entonces, involucra las correspondientes
funciones componentes, T i1 ...ip j1 ...jq (x),
T = T i1 ...ip j1 ...jq (x) ∂i1 ⊗ ... ⊗ ∂ip ⊗ dx j1 ⊗ ... ⊗ dx jq
Sus propiedades de transformación ante cambios de coordenadas locales,1

0 0 0 0
T i1 ...ip j10 ...jq0 (x 0 (x)) = Λi1 i1 (x) · · · Λip ip (x) T i1 ...ip j1 ...jq (x) Λj1 j10 (x) · · · Λjp jp0 (x) .
1 Ante transformaciones restringidas, hablaremos de tensores de rotaciones, Galileanos, etc.
Curva integral y flujos
Sea v un campo vectorial sobre M. x i (t) será una curva integral de v si en

todo punto de la misma, el vector tangente y el del campo coinciden.
En una base coordenada, v = v i (x) ∂i . Entonces, x i (t) será curva integral si

se cumple la ecuación diferencial de ordinaria
dx i (t)
ẋ i (t) := = v i (x(t)) ,
dt
d
ya que el vector tangente a la curva es dt = ẋ i (t) ∂i .
Dada una condición inicial, x i (0) = x0i , la teoría general de EDOs asegura la
existencia y unicidad de la solución en un entorno de x0i .
Dado un campo vectorial v ∈ T (M), el flujo asociado es la congruencia de

curvas integrales del campo. Su forma coordenada es una aplicación σ,
σ :R×M →M (t, x0 ) → σ i (t, x0 )
tal que, ∀ x0 , σ i (t, x0 ) son las coordenadas de una curva integral que pasa por
i
x0 , dσ dt
(t,x0 )
= v i (t, x0 ).
Mapa exponencial
Dado v ∈ T (M), ¿cómo reconstruir el flujo asociado σ i (t, x)?
Para cualquier curva x i (t), expandimos en serie de Taylor una función sobre
la curva f (t) := f (x i (t)) en una vecindad de t0 ,
t 2 d 2 f (t)

df (t)
f (t) = f (t0 ) + t + + ... .
dt t0 2 dt 2 t0
Si x i (t) es una curva integral, entonces,

dx i (t) ∂f (x)

df (t)
= = v[f ] ,
dt t0 dt t0 ∂x i

x=x(t0 ) x(t0 )
y podemos rescribir la serie de Taylor formalmente como
t2 2 t3 3

tv

f (t) = 1 + t v + v + v + · · · f (x)
= e f (x) .
2 3! x=x(t0 ) x=x(t0 )
Un caso particular se obtiene para las funciones coordenada f (x) = x i .

Arrastre de Lie
Entonces, dada la condición inicial f (t0 ) = x i (t0 ) = x0i , la expansión anterior

reconstruye la curva del flujo que pasa por este punto,

x i (t) = σ i (t, x0 ) = et v x i

.
x=x0
Definamos σt := σ(t, ·) a t fijo,
σt : M → M x i → σt i (x) = σ i (t, x) .
σt es un difeomorfismo activo de M que mueve x i a otro punto, x 0i = σt i (x),

una distancia t a lo largo del flujo integral del campo v.
Si consideramos ahora t ∈ R, el conjunto de todos los σt cumple:
(i) σt · σs = σt+s (ii) σ0 = I (iii) σ−t = σt −1 .
Es un grupo conmutativo, isomorfo (localmente) al grupo aditivo R.

El difeomorfismo σt , asociado a v, mueve todos los objetos geométricos que
podemos definir sobre M: arrastre de Lie.
Arrastre de Lie de funciones y campos vectoriales
El arrastre de Lie de una función actúa sólo sobre el argumento. El valor de la

nueva función en x coincide con el de la antigua en la preimagen de x,
σt : F(M) → F(M)
φ(x) → φ0 (x) := (σt φ)(x) = φ(σt −1 (x)) ,
que podemos escribir, equivalentemente,
(σt φ)(σt (x)) = φ(x) .
Sea un campo vectorial w = w i (x) ∂i . El arrastre de Lie de w a lo largo de v,

se denota σt? w, y define un nuevo campo vectorial dado por la expresión
∂σ i (t, x) j −1
w 0i (x) := (σt? w)i (x) = w (σt (x)) ,
∂x j
ya que
∂σ i (t, x)
x 0i = σ i (t, x) =⇒ Λi j (x) = .
∂x j

Derivada de Lie
Sea t = 1. El difeomorfismo infinitesimal dado por el arrastre de Lie es
dσ i (t, x)

i 0i i i i
x → x = σ (x) = σ (, x) = σ (0, x) + + ...
dt t=0
= x i + v i (x) + . . .
El σ (x) asociado a v, es una traslación de x i en una cantidad v i (x).
La derivada de Lie de una función con respecto a v se define a través de

1
Lv (ϕ) = lim (ϕ − (σ ϕ)) .
→0
Haciendo uso de la expresión obtenida antes para σ φ,
1 1
ϕ(x) − ϕ(σ −1

Lv (ϕ) = lim (x) = lim (ϕ(x) − ϕ(x − v + . . .))
→0 →0
= v i ∂i ϕ(x) + . . . = v[ϕ](x) ,
donde hemos omitido términos de orden O(2 ).
Derivada de Lie de un campo vectorial
La derivada de Lie de una función coincide con la acción del campo vectorial
sobre la función en cada punto.
Podemos definir la derivada de Lie de un campo vectorial a través del

cociente incremental
1
Lv w = lim (w − σ? w) .
→0
En coordenadas,
∂σ i (, x) j −1 ∂(x i + v i (x) + . . .) j

(σ? w)i (x) = w (σ (x)) = w (x − v + . . .)
∂x j ∂x j
= (δ i j + ∂j v i (x) + . . .) (w j (x) − v k ∂k w j + . . .)
= w i (x) + (w j ∂j v i − v j ∂j w i )(x) + O(2 ) .

Por lo tanto,
(Lv w)i (x) = (v j ∂j w i − w j ∂j v i )(x) .
Corchete de Lie
Dados dos campos vectoriales v y w, se define el corchete de Lie, [v , w]

como una aplicación
[ , ] : T (M) × T (M) → T (M)

v, w → z = [v , w] .
El nuevo campo vectorial, z, actúa sobre una función ϕ ∈ F(M) como
z[ϕ] = [v , w] [ϕ] = v[w[ϕ]] − w[v[ϕ]] .
Ahora, mediante un simple cálculo en componentes,
v[w[ϕ]] = v[w i ∂i ϕ] = v j ∂j (w i ∂i ϕ) = v j (∂j w i )∂i ϕ + v j w i ∂j ∂i ϕ ,
por lo que
v[w[ϕ]] − w[v[ϕ]] = (v j ∂j w i − w j ∂j v i )∂i ϕ ,
lo que demuestra la siguiente identidad
Lv w = [v , w] .

Cap 05 FM

Cargado por

Copyright:

Formatos disponibles

Cap 05 FM

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cap 05 FM

Cargado por

Copyright:

Formatos disponibles

Tema 5: Elementos de geometría diferencial

Universidade de Santiago de Compostela

Coordenadas locales y atlas. Funciones y curvas. Espacios tangente y

José D. Edelstein (USC) Tema 5: Geometría diferencial abr-2011 1 / 19

Sea una variedad diferencial M de dimensión d. En general puede definirse

En la intersección Oα ∩ Oβ tenemos las funciones de transición xβi = xβi (xα ).

Dos sistemas de coordenadas {x i } y {x 0i } se relacionan a través de un

El Jacobiano no debe anularse (condición necesaria y suficiente)

para que el cambio de coordenadas sea invertible, g := f −1 ,

Un cambio de coordenadas es un difeomorfismo, ~f : Rd → Rd .

Localmente, M es isomorfa a Rd . Ello permite utilizar el cálculo diferencial en

Una curva es una aplicación c : R → M, t → p = c(t).

Usando coordenadas t ∈ (a, b) ⊂ R y x i ∈ O, para un abierto O ⊂ M, la curva

José D. Edelstein (USC) Tema 5: Geometría diferencial abr-2011 4 / 19

E.g., la curva coordenada asociada a x 1 viene dada por

y así sucesivamente para x 2 (t), etcétera.

Una función real, ϕ ∈ F(M) es una aplicación ϕ : M → R, p → ϕ(p).

Sean x i = φi (p) coordenadas de un abierto O ⊂ M; la función sobre M viene

Dado un punto p perteneciente a una carta, (O, φ), el mapa coordenado

Podemos restringir una función a una curva sobre la variedad diferencial M.

La restricción de ϕ a c es una función ϕ ◦ c : R → R, t ∈ R → ϕ ◦ c(t).

La función puede escribirse también como Φ(x i (t)) con Φ := ϕ ◦ φ−1 .

Un vector es un operador asociado a una curva c(t) en un punto p = c(t0 ).

Evalúa el cambio de funciones definidas sobre dicha curva en p, dΦ

Pero Φ es función de t a través de las coordenadas de la curva x i (t):

La variación de una función a lo largo de la curva viene dada, así, por la

Los vectores tangentes a las curvas coordenadas son precisamente las

Los |ei i = ∂i forman una base del espacio de vectores tangentes a M en el

En la intersección de dos abiertos O ∪ O 0 , hay dos sistemas de coordenadas

Una función φ(p) en O ∪ O 0 admite una representación en cada sistema de

∂Φ0 (x 0 ) ∂Φ(x(x 0 ) ∂x i ∂Φ(x)

Al espacio vectorial Tp (M) le está asociado, de forma natural, un espacio

hw| : |vi → hw|vi = a .

La base canónica dual, hei |, verifica

En el caso de T (M) en un abierto O, contamos con la base coordenada

Un co-vector tangente se expande en una base coordenada hw| = wi hdx i |; el

a = hw|vi = wi v j hdx i |∂j i = wi v j δ i j = wi v i .

Al igual que los campos vectoriales, la extensión de wi a funciones wi (x) en

Sea un campo vectorial, |vi ∈ T (M); en p ∈ M hay dos maneras de producir

• Escoger un elemento hw| ∈ T ? (M) y efectuar la contracción hw|vi.

Definimos la 1-forma gradiente de f , hdf |, como aquella que verifica

hdf |vi = |vi[f ] ∀ |vi ∈ T (M) .

En un sistema de coordenadas, podemos expandir hdf | := ∂i f (x) hdx i | y

hdf |vi = ∂i f (x) v i = (v i ∂i )f (x) = |vi[f ] .

En particular, los propios elementos de la base co-tangente, hdx i |, son las

José D. Edelstein (USC) Tema 5: Geometría diferencial abr-2011 11 / 19

Dadas las coordenadas {x i } en un abierto, la base coordenada {∂i } es un

Una combinación lineal dependiente del punto, en la forma v = v i (x) ∂i será

De forma general, un sistema de coordenadas define una base de dimensión

T = T i1 ...ip j1 ...jq (x) ∂i1 ⊗ ... ⊗ ∂ip ⊗ dx j1 ⊗ ... ⊗ dx jq

Sus propiedades de transformación ante cambios de coordenadas locales,1

Sea v un campo vectorial sobre M. x i (t) será una curva integral de v si en

En una base coordenada, v = v i (x) ∂i . Entonces, x i (t) será curva integral si

Dado un campo vectorial v ∈ T (M), el flujo asociado es la congruencia de

Dado v ∈ T (M), ¿cómo reconstruir el flujo asociado σ i (t, x)?

Si x i (t) es una curva integral, entonces,

y podemos rescribir la serie de Taylor formalmente como

Un caso particular se obtiene para las funciones coordenada f (x) = x i .

Entonces, dada la condición inicial f (t0 ) = x i (t0 ) = x0i , la expansión anterior

Sea t = 1. El difeomorfismo infinitesimal dado por el arrastre de Lie es

∂σ i (, x) j −1 ∂(x i + v i (x) + . . .) j

= w i (x) + (w j ∂j v i − v j ∂j w i )(x) + O(2 ) .