Formas Diferenciales

Francisco Frutos Alfaro

Escuela de F sica Universidad de Costa Rica

Topolog a

Denici on Topolog a Sea X un conjunto. Una topolog a o estructura topol ogica sobre X es dada por un conjunto T de subconjuntos de X con las siguientes propiedades: yX T, Las intersecciones de un n umero nito de elementos de T T , Las uniones de un n umero arbitrario de elementos de T T . Los elementos de T se llaman conjuntos abiertos de la topolog a sobre X . Espacio Topol ogico Un conjunto X junto con una topolog a T sobre X se denomina espacio topol ogico.

Variedad

Una variedad real n dimensional M es un espacio, el cual se parece a un espacio euclideo I Rn alrededor de cada punto. Un poco m as formal, una variedad de dimensi on n es un espacio topol ogico que cerca de cada punto se asemeja a un espacio Eucl deo n dimensional. Una variedad es denida introduciendo un conjunto de vecindarios Ui los cuales cubren la variedad M, donde cada Ui (parches) es un subespacio de I Rn . La variedad se construye pegando parches. 1

Espacio Tangente y Cotangente

Se dene a Tp (M) como el espacio tangente en el punto p M y Tp (M ) como el espacio cotangente en el punto p M. Sea

f (x) = f (p) + v i donde x = p + v. La derivada direccional es vi donde se ha denido

f xi

+ ,
x= p

= v i Ei = v , xi

. xi Los Ei en x = p denen una base para el espacio tangente de M en p. Una colecci on de estas derivadas direccionales en cada punto de M con coecientes v i (x) los cuales var an suavemente es llamado un campo vectorial. El espacio tangente Tp (M) es denido como el espacio vectorial comprendido por las tangentes en p a todas las curvas pasando por p en la variedad. El espacio cotangente Tp (M) de una variedad en p M es denido como el espacio vectorial dual al espacio tangente Tp (M). El espacio vectorial dual: Sea V un espacio vectorial de dimensi on nita sobre los reales. Sea V la colecci on de funcionales lineales f : V I R. Si se denen la adici on y multiplicaci on por un escalar de la forma acostumbrada, se obtiene una estructura de espacio vectorial sobre V . A V se denomina espacio vectorial dual y sus elementos son los vectores duales. Entonces, dado un espacio vectorial n dimensional V con base Ei , i = 1, . . . , n , la base ei del espacio dual V es determinada por el producto interno Ei =
j , Ei , ej = i

Ei =

xi

para para 2

Tp (M)
Tp (M ).

ei = dxi

Los campos vectoriales y u = ui dxi xi (x). son invariantes bajo la transformaci on x x v = vi dx i = x i j dx xj

xj = . x i x i x j Entonces xj u i = uj , x i v i = x i j v , xj

v, u = v i ui = v i u i ,

Formas Diferenciales

Los elementos de l nea diferencial dx y dy son llamados uno-formas diferenciales. Producto Cu na 1 dx dy = (dx dy dy dx) = dy dx Area 2 dx dx = 0 dx dy = Jdx dy, donde J es la matrix de Jacobi. J= x y x y . x y y x 3

A d = dx dy se le llama dos-forma. Sea p (x) el conjunto de p-tensores antisim etricos en el punto x. Este es un espacio vectorial de dimensi on dim = n! . p!(n p)!

El conjunto de los p (x) dene un haz sobre M. C (p ) es el espacio de p-formas suaves (el innito se reere a funciones innitamente diferenciables), representadas por tensores antisim etricos fij...(x) que tienen p ndices contra dos con el producto cu na de los p diferenciales. C (0 ) = {f (x)}, dim = 1 C (1 ) = {fi dxi }, dim = n C (2 ) = {fij dxi dxj }, dim = C (3 ) = {fijk dxi dxj dxk }, dim = . . .
in1 C (n1 ) = {fi1 ...in1 dxi }, dim = n 1 . . . dx in C (n ) = {fi1 ...in dxi 1 . . . dx }, dim = 1

n(n 1) 2! n(n 1)(n 2) 3!

Propiedades p y np tienen la misma dimensi on p = 0 si p > n.

Derivada Exterior d
C (0 )C (1 ) C (1 )C (2 ) C (2 )C (3 )
d d d

df (x) = d(fi dxi ) =

f i dx , xi

fi j dx dxi , xj

dfij =

fij k dx dxi dxj . xk

Propiedad ddwp = 0 C (0 )C (1 )C (2 ) 1 2f dxi dxj = i j x x 2 2f 2f dxi dxj = 0. i j j i x x x x

d d

ddf (x) =

A partir de ddp = 0 se puede obtener f = 0 o ( v) = 0. Regla d(p q ) = dp q + (1)p p dq . Ejemplo: Sea 0 = f (x) 1 = vi dxi = v dx, i = 1, 2, 3

2 = w1 dx2 dx3 + w2 dx3 dx1 + w3 dx1 dx2 3 = (x)dx1 dx2 dx3 5

1 2 = (vi wi )dx1 dx2 dx3 = (v w)dx1 dx2 dx3 d1 = donde ijk =

1

1 vk 1 ijk j ilm dxl dxm = [ v]i ilm dxl dxm , 2 x 2

0 1

si i, j, k son antic clicos si i = j , j = k , i = j = k , si i, j, k son c clicos

ijk ilm = ijk lmi = jl km jm kl . d2 = wi 1 dx dx2 dx3 = [ w]dx1 dx2 dx3 xi d0 = f i dx = [f ]i dxi . xi

El Asterisco de Hodge

El asterisco o estrella de Hodge o transformaci on dual se dene como: (dxi1 dxi2 dxip ) = 1 i i i i i dxip+1 dxip+2 dxin . (n p)! 1 2 p p+1 n

Propiedad p = (1)p(np) wp . La versi on de Formas de algunas f ormulas vectoriales Producto vectorial u v (u v ) Gradiente 6

f df Laplaciano 2 f d df Rotacional u du Divergencia u d u

Producto Interno
(p , p ) =
M

p (p ) = p!

fijk...gijk...dx1 dxn .

Propiedad (p , p ) = (p , p ), donde p (p ) = p (p ).

Derivada Exterior Adjunta

(p , dp1) = (p , p1 ),

La derivada exterior adjunta de la derivada exterior de dene a trav es de

La adjunta de d es = (1)n(p+1)+1 d . 7

d : C (p ) C (p+1) : C (p ) C (p1 ) Para n par = d y para n impar = (1)p d. Propiedad p = 0. Forma general del Laplaciano = (d + )2 = dd + d + d + = d + d Ejemplo: Sea n = 3 y p = 1 = v dx Entonces = d = [( v)dx1 dx2 dx3 ] = v. = Si es una p-forma p = dp1 = p+1 2v dx. xk xk

Teorema de Hodge

El teorema de Hodge establece que una forma se puede descomponer en la suma de una forma exacta, una co-forma exacta y una forma arm onica: wp = dp1 + p+1 + p . Forma exacta o cerrada 8

dp = 0 Co-forma exacta o co-cerrada p = 0 Forma arm onica p = 0

10

Teorema de Stokes
dp1 =

El teorema de Stokes se puede escribir de la siguiente manera:

M M

p 1 ,

donde M es la supercie frontera de M.

11

Ecuaciones de Maxwell
A = A dx = 1, 2, 3, 4

Sea A el vector potencial

Transformaci on Gauge A = A + d Tensor Electromagn etico o de Maxwell F = dA = dA 1 = ( A A )dx dx 2 1 F dx dx = 2 1 = Ei dxi dt + Bi ijk dxj dxk 2 9

1 F = F = Ei ijk dxj dxk + Bi dxi dt. 2 Ecuaci on de Euler o ecuaciones inhomog eneas F = J = 0 Edt + (0 0 t E + B) dx, donde J = j dx = 0 J dx + j0 dt, donde j0 = . Identidad de Bianchi o ecuaciones homog eneas dF = ddA = 0 1 dF = ( B)dx1 dx2 dx3 + [t B + E]i ijk dxj dxk dx3 = 0 2 Ecuaciones de Maxwell 0 E = 0 0 t E + B = 0 J B =0 t B + E = 0

10

12

Referencias

[BR89] Benn, I. M., Tucker, R. M., An Introduction to Spinors and Geometry with Applications in Physics, Adam Hilger, Bristol, 1989. [Eg80] Eguchi, T., Gilkey, P. B., Hanson, A. J., Gravitation, Gauge Theories and Dierential Geometry, Physics Reports, Vol. 66, # 6, December 1980. [Ha00] Hassani, S., Mathematical Physics, Springer, New York, 2000. [Mi73] Misner, J. A., Thorne, K. S., Wheeler, J. A., Gravitation, Freeman, New York, 1973. [Wa84] Wald, R. W., General Relativity, The University of Chicago Press, Chicago, 1984.

11