CAPITULO 7 CAMPOS DE TENSORES

1.

INTERROGANTES CENTRALES DEL CAPITULO

Se pretende que el alumno sepa denir, establecer o determinar lo siguiente: Uno forma La diferencial de una aplicaci n diferenciao ble Campo tensorial Tensor covariante Tensor contravariante Operaciones tensoriales El producto tensorial Componentes tensoriales La contracci n (1,1) o El pullback de una aplicaci n o El pushforward de una aplicaci n o Las formas diferenciales Los operadores simetrizaci n y antisimetrio zaci n o El producto exterior

2. CONTENIDOS FUNDAMENTALES DEL CAPITULO

Los tensores sobre una variedad diferenciable son a los tensores sobre un espacio vectorial (las aplicaciones multilineales) lo que un campo de vectores es a un vector tangente. As pues, comenzamos la lecci n recordando lo que se entiende por un tensor sobre un espacio vectorial, que tiene como casos o particulares y distinguidos a los covectores y las formas bilineales. Tras esta introducci n algebraica, se o denen las uno formas sobre una variedad M .

2.1. Deniciones y resultados b sicos a Denici n 7.1 o Una 1-forma sobre una variedad diferenciable M es una correspondencia que asigna a cada punto p M un covector p Tp M .

114

VARIEDADES DIFERENCIABLES Y TOPOLOGA I

En otras palabras, si : T M M es la proyecci n can nica del brado cotangente en M , o o entonces una 1-forma es una aplicaci n : M T M tal que = 1M . La 1-forma se dice difeo renciable si es una aplicaci n diferenciable de M en T M . El conjunto de las 1-formas diferenciables o (M ). ser denotado por X a Por otra parte, toda 1-forma puede interpretarse, de una manera natural, como una aplicaci n entre o el conjunto de los campos de vectores diferenciables X(M ) y el conjunto de las funciones continuas, lo que nos conduce a caracterizar las 1-formas diferenciables como aquellas para las que (X) es una funci n diferenciable, siempre que X sea un campo de vectores diferenciable. Es decir: o Proposici n 7.2 o Sea M una variedad diferenciable. Una 1-forma es diferenciable si, y s lo si, (X) C (M ) para o todo campo X X(M ). En el conjunto de las 1-formas diferenciables sobre M podemos denir dos operaciones naturales, la suma y el producto por funciones diferenciables, del siguiente modo: Suma: Si , X (M ) entonces + : X(M ) C (M ) est denida por a ( + )(X) : M R , ( + )(X)(p) = p (Xp ) + p (Xp ) Producto: Si X (M ) y f C (M ) entonces f : X(M ) C (M ) est denida por a (f )(X) : M R , (f )(X)(p) = f (p)p (Xp )

Con las dos operaciones anteriores, el conjunto anillo C (M ) de las funciones diferenciables.

X (M ) admite estructura de m dulo sobre el o

Entre los covectores tangentes existen unos que son especiales, y son aquellos que provienen de una funci n diferenciable. Si f : M R es una funci n diferenciable y p es un punto de M , podemos o o pensar en la aplicaci n diferencial dfp como un covector en p, despu s de hacer la natural identicaci n o e o entre el espacio tangente Tf (p) R y R . Esta interpretaci n nos permite considerar la 1-forma df , que a o cada punto p le asocia la aplicaci n diferencial dfp , y que se denomina la diferencial de f . El siguiente o resultado se demuestra con facilidad. Proposici n 7.3 o Sea M una variedad diferenciable y f C (M ) una funci n diferenciable. Entonces df es una 1-forma o diferenciable. Sea (U, x) un sistema de coordenadas y consideremos una 1-forma diferenciable. Es f cil ver a que, en el abierto U , se tiene la siguiente igualdad:
n

=
i=1

xi

dxi

Por tanto, las componentes de son las funciones i = ( xi ). En particular, la diferencial de una funci n diferenciable f puede escribirse como o n

df =
i=1

f dxi xi

CAMPOS DE TENSORES

115

Esta manera de construir 1-formas nos conduce a denir una aplicaci n d entre las funciones o diferenciables C (M ) y las 1-formas diferenciables X (M ), denominada la aplicaci n diferencial y o que posee interesantes propiedades: Proposici n 7.4 o (1) d : C (M ) X (M ) es R -lineal. (2) Si f , g C (M ), entonces d(f g) = gdf + f dg . (3) Si f C (M ) y h C (R ) entonces d(h(f )) = h (f )df .

2.2.

Los campos tensoriales

Introducimos a continuaci n los campos tensoriales de tipo (r, s) sobre una variedad M como o las aplicaciones C (M )-multilineales de X (M )r X(M )s en C (M ). Cuando r = 0 se tienen los tensores covariantes de orden s y en el caso s = 0 aparecen los tensores contravariantes de orden r. M s a explcitamente: Denici n 7.5 o (1) Un campo tensorial A de tipo (r, s) sobre una variedad M es una aplicaci n C (M )-multilineal o A : X (M )r X(M )s C (M ). Diremos que A Tsr (M ). (2) Un campo tensorial covariante de orden s sobre una variedad M es una aplicaci n C (M )-multilineal o A : X(M )s C (M ). (3) Un campo tensorial contravariante de orden r sobre una variedad M es una aplicaci n C (M )o (M )r C (M ). multilineal A : X Ejemplo 7.6 (1) Sea la aplicaci n E : X (M ) X(M ) C (M ) dada por E(, X) = (X). Es f cil ver que E o a es un tensor de tipo (1,1). (2) Toda 1-forma puede considerarse un tensor de tipo (0,1). (3) Todo campo de vectores diferenciable puede interpretarse como un tensor de tipo (1,0), considerando X : X (M ) C (M ) denido por X() = (X). (4) Sea una 1-forma no nula X (M ) y denamos F : X(M ) X(M ) C (M ) por F (X, Y ) = X((Y )). Entonces es f cil ver que F no es un tensor (falla la C (M )-linealidad en la segunda a variable). Cuando disponemos de varios tensores los podemos operar de diversas maneras. Las operaciones disponibles son las siguientes: Suma: Sean A, B Tsr (M ), entonces A + B : X (M )r X(M )s C (M ) se dene como sigue: (A + B)(1 , . . . , r , X1 , . . . , Xs ) = A(1 , . . . , r , X1 , . . . , Xs ) + B(1 , . . . , r , X1 , . . . , Xs ) Es f cil ver que A + B Tsr (M ). a

116

VARIEDADES DIFERENCIABLES Y TOPOLOGA I

Producto por funciones: Sea A Tsr (M ) y f C (M ). Denimos f A : C (M ) por

X (M )r X(M )s

(f A)(1 , . . . , r , X1 , . . . , Xs ) = f A(1 , . . . , r , X1 , . . . , Xs ) Producto: Mientras que s lo se pueden sumar dos tensores del mismo tipo, podemos realizar el proo ducto de dos tensores de cualquier tipo. Sean A Tsr (M ) y B Tsr (M ). Denimos A B : X (M )r+r X(M )s+s C (M ) por (A B)(1 , . . . , r+r , X1 , . . . , Xs+s ) = A(1 , . . . , r , X1 , . . . , Xs ) B(r+1 , . . . , r+r , Xs+1 , . . . , Xs+s )
r+r Es f cil probar que A B Ts+s (M ). La operaci n se denomina producto tensorial. a o

Como toda funci n diferenciable f puede considerarse un tensor de tipo (0,0), entonces si A o Tsr (M ) se tiene que f A = A f = fA Finalizamos este apartado con el siguiente resultado, cuya demostraci n es un mero ejercicio de o manipulaci n algebraica. o Proposici n 7.7 o (1) El producto tensorial es C (M )-bilineal. (2) El producto tensorial es asociativo y no conmutativo. (3) Si f C (M ), A Tsr (M ) y B Tsr (M ), entonces se satisface que f (A B) = (f A) B = A (f B)

2.3. Tensores en un punto Si V es un espacio vectorial y V denota el espacio vectorial dual, entonces los tensores de tipo (r, s) sobre V son las aplicaciones multilineales t : V r V s R . En esta secci n vamos a probar o que todo campo tensorial sobre una variedad diferenciable M puede interpretarse como una aplicaci n o que asigna a cada punto p de M un tensor en su espacio tangente.
r Dado un espacio vectorial V , denotamos por Ts V el conjunto de las aplicaciones multilineales r de tipo (r, s) denidas anteriormente. Es f cil ver que Ts V es un espacio vectorial de dimensi n nr+s , a o siendo n la dimensi n de V . Consideremos ahora M una variedad diferenciable n-dimensional, y o denamos el siguiente conjunto: r Ts M = pM r r Ts (Tp M ) {(p, t) : p M, t Ts (Tp M )}

No es difcil probar el siguiente resultado. Proposici n 7.8 o r El conjunto Ts M admite estructura de variedad diferenciable de dimensi n n+nr+s . Con esta estructura o r diferenciable, Ts M se denomina el brado tensorial de tipo (r, s) sobre M .

CAMPOS DE TENSORES

117

Como casos particulares se obtienen los brados tangente T M y cotangente T M . Lema 7.9 Sea A Tsr (M ). Si cualquiera de las uno formas i o de los campos Xj es igual a cero en un punto p M , entonces A(1 , . . . , r , X1 , . . . , Xs )(p) = 0.

Como consecuencia de este lema es f cil deducir la siguiente propiedad. a Proposici n 7.10 o Sea A Tsr (M ). Sean 2r uno formas i , i , i = 1, . . . , r, y 2s campo de vectores Xj , Yj , i = 1, . . . , s, tales que i (p) = i (p) y Xj (p) = Yj (p) para un punto p M . Entonces A(1 , . . . , r , X1 , . . . , Xs )(p) = A( 1 , . . . , r , Y1 , . . . , Ys )(p)

En virtud de este resultado, si A Tsr (M ) podemos denir para cada punto p de M una aplicaci n o r multilineal Ap Ts (Tp M ). En efecto, si 1 , . . . , r Tp M y v1 , . . . , vs Tp M , se dene la aplicaci n Ap : (Tp M )r (Tp M )s R por la siguiente f rmula: o o Ap (1 , . . . , r , v1 , . . . , vs ) = A(1 , . . . , r , X1 , . . . , Xs )(p) donde las uno formas i y los campos Xj son extensiones globales de los covectores i y de los vectores vj , respectivamente. Pero, c mo podemos construir tales extensiones? o Sea (U, x) un entorno coordenado de M conteniendo al punto p. Si v Tp M , entonces
n

v=
i=1

ai

xi

para ciertas constantes ai . Consideremos el campo X X(U ) denido por

n

X =
i=1

ai

xi

Sea f C (M ) una funci n salto en p con soporte contenido en U . Entonces podemos denir una o extensi n global X X(M ) del vector v como sigue: o X(q) = f (q)Xq si q U 0 si q sop(f )

De manera totalmente an loga se puede extender un covector Tp M a una uno forma . a

Ahora podemos interpretar un tensor A Tsr (M ) como una aplicaci n diferenciable A : M o r M tal que r A = 1, donde r : T r M M denota la proyecci n can nica del brado tensorial Ts o o s s s de tipo (r, s) sobre la variedad diferenciable M .

118 2.4. Las componentes tensoriales

VARIEDADES DIFERENCIABLES Y TOPOLOGA I

Hemos visto en la secci n anterior c mo se expresan localmente los tensores sobre una variedad, o o lo cual nos va a permitir generalizar a campos tensoriales las ecuaciones que nos daban las componentes de un campo de vectores o de una 1-forma en funci n de la bases can nicas asociadas a un sistema de o o coordenadas. Surgen, de este modo, las componentes tensoriales, que identican unvocamente el campo tensorial del que proceden y permiten dar, al mismo tiempo, la interpretaci n cl sica de los tensores en o a coordenadas. Denici n 7.11 o Sea A Tsr (M ) y (U, x) un sistema de coordenadas en M . Las componentes de A respecto de (U, x) son las funciones Ai1 ir = A dxi1 , . . . , dxir , j1 , . . . , js j1 js x x con todos los ndices variando de 1 a n. A continuaci n, y con el n de relacionar el concepto de tensor con el cl sico por coordenadas, o a conviene indicar c mo son operados los tensores en coordenadas, y as se calcular n las componentes o a del tensor suma, del tensor producto tensorial y del tensor producto por una funci n diferenciable. o Proposici n 7.12 o Sean A y B tensores sobre M y f C (M ). Entonces:
i1 (1) (A + B)i1 ir = Ai1 ir + Bj1 ir . j1 js j1 js js

(2) (f A)i1 ir = f Ai1 ir . j1 js j1 js (3) (A B)j1 jr+r = Ai1 ir Bjs+1 jr+r j1 js

s+s

i1 i

ir+1 i

s+s

Como consecuencia de la denici n de componentes de un tensor se tiene la siguiente propiedad, o que arma que los campos tensoriales conmutan con la restricci n a abiertos. o Proposici n 7.13 o Sea A Tsr (M ) y (U, x) un sistema de coordenadas en M . Entonces, en los puntos de U , se satisface lo siguiente: A= Ai1 ir i1 ir dxj1 dxjs j1 js x x donde cada ndice va sumado de 1 a n.

2.5. La contracci n de un tensor o No obstante, una de las operaciones m s destacables que podemos hacer con los tensores es la a contracci n, la cual transforma tensores de orden (r, s) en tensores de orden (r 1, s 1), y cuya o denici n general deriva del caso especial denominado contracci n (1, 1), que transforma tensores de o o ese orden en funciones diferenciables.

CAMPOS DE TENSORES

119

Lema 7.14 Existe una unica funci n C (M )-lineal C : T11 (M ) C (M ), denominada contracci n (1,1), tal que o o C(X ) = (X), para todo X X(M ) y X (M ). Generalicemos ahora la aplicaci n contracci n para tensores arbitrarios. Sea A Tsr (M ) y o o r1 i consideremos dos ndices 1 T i T r, 1 T j T s. Se dene Cj A Ts1 (M ) como sigue:
i (Cj A)(1 , . . . , r1 , X1 , . . . , Xs1 ) = C{A(1 , . . . , , . . . , r1 , X1 , . . . , , . . . , Xs1 )}

donde A(1 , . . . , , . . . , r1 , X1 , . . . , , . . . , Xs1 ) es el tensor de tipo (1,1) denido por (, X) A(1 , . . . , , . . . , r1 , X1 , . . . , X, . . . , Xs1 ) Proposici n 7.15 o Sea 1 T i T r, 1 T j T s y A Tsr (M ). Si las componentes de A relativas a un sistema de coordenadas i son Ai1 ...ir , entonces las componentes de Cj A son j1 ...js
i (Cj A)j1 ...jr1 1 s1 m i ...i

Aj1 ...m...jr1 1 s1

i ...m...i

Si pensamos en un tensor A de tipo (1, 1) como una correspondencia que a cada punto p le asigna un operador lineal Ap sobre Tp M , entonces la contracci n (1, 1) sobre A es la funci n diferenciable que o o a cada punto le asocia la traza del operador Ap .

2.6.

El pullback de una aplicaci n o

Un hecho b sico de los covectores y las uno formas, que se generaliza a cualquier tensor de a orden covariante s > 0, es que cualquier aplicaci n lineal entre espacios vectoriales V y W induce o una aplicaci n lineal entre los espacios Ts0 (V ) y Ts0 (W ). En exacta analoga, cualquier aplicaci n o o : T 0 (N ) diferenciable f : M N entre dos variedades diferenciables induce una aplicaci n f o s Ts0 (M ) que a cada tensor A sobre N le asigna un tensor del mismo orden sobre M , f (A), que se denomina el pullback de A mediante f . Denici n 7.16 o Sea f : M N una aplicaci n diferenciable y A Ts0 (N ), s b 1. Pongamos o (f A)p (v1 , . . . , vs ) = Af (p) (dfp (v1 ), . . . , dfp (vs )) para todo punto p M , vi Tp M . Entonces f A Ts0 (M ) y se denomina el pullback de A mediante f. As pues, jada una aplicaci n diferenciable f , la correspondencia que a cada tensor le asocia su o pullback mediante f permite denir la operaci n pullback, la cual posee unas propiedades interesantes, o entre las que podemos destacar las siguientes. En primer lugar, el pullback es R -lineal y se comporta de manera natural respecto a los productos tensoriales, es decir, f (A B) = f (A) f (B). En segundo lugar, el pullback conserva la composici n de aplicaciones, ya que si g es otra aplicaci n entre o o variedades, entonces (g f ) = f g (v ase las Actividades de Aplicaci n). e o

120

VARIEDADES DIFERENCIABLES Y TOPOLOGA I

Para tensores covariantes (o contravariantes) de orden al menos 2, pueden denirse unas subclases especiales que juegan un papel destacado en el c lculo tensorial. Nos estamos reriendo, como es a natural, a los tensores sim tricos y a los tensores antisim tricos o alternados. Un tensor es sim trico si e e e la trasposici n de cualesquiera dos de sus argumentos deja inalterado su valor, y es antisim trico si cada o e trasposici n de argumentos produce un cambio de signo. M s precisamente, o a Denici n 7.17 o Sea A Ts0 (M ) y una permutaci n de orden s con signatura , s b 2. o (1) A es sim trico si A(X(1) , . . . , X(s) ) = A(X1 , . . . , Xs ). e (2) A es antisim trico si A(X(1) , . . . , X(s) ) = A(X1 , . . . , Xs ). e En este sentido, otras de las propiedades fundamentales de la operaci n pullback es que aplio ca tensores sim tricos (respectivamente, antisim tricos) en tensores sim tricos (respectivamente, antie e e sim tricos). e Una operaci n de propiedades similares al pullback es el pushforward de un tensor mediante o una aplicaci n f : M N , a la cual hay que exigirle en este caso que sea un difeomorsmo. o Esta operaci n traslada tensores sobre M en tensores sobre N del mismo tipo, y permite construir o una operaci n f que es un isomorsmo lineal. La operaci n pushforward satisface unas propiedades o o similares al pullback, ya que es natural respecto al producto tensorial, es decir, f (A B) = f (A) f (B), y conserva la composici n, pues si g es otro difeomorsmo entonces (f g) = f g (v ase las o e Actividades de Aplicaci n). o

2.7. Las formas diferenciales: El producto exterior Una clase especial de tensores son las formas diferenciales denidas en un abierto de una variedad; estas no son m s que tensores covariantes antisim tricos. a e Denici n 7.18 o Una forma diferencial de grado s (abreviadamente, una s-forma diferencial) sobre una variedad M (respectivamente, sobre un abierto U ) es un tensor covariante antisim trico de tipo (0, s) sobre M (rese pectivamente, sobre U ). El conjunto de las s-formas diferenciales sobre M se denota por s (M ), y el conjunto (M ) denotar el conjunto de todas las formas diferenciales sobre M , es decir, (M ) = a s (M ). s>0 Si denotamos por s (M ) el subespacio de Ts0 (M ) formado por los tensores sim tricos, entonces e existe otro subespacio, que podemos denotar por Rs (M ), tal que Ts0 (M ) = s (M ) s (M ) Rs (M ), lo que nos permitir obtener tensores sim tricos y/o antisim tricos a partir de tensores dados. a e e Ejemplo 7.19 Sea M = R2 y consideremos el tensor A T20 (M ) denido como sigue: A(X, Y ) = x1 y2 x2 y1 donde X = x1 1 + x2 2 e Y = y1 1 + y2 2 . Es f cil probar que A a
2

(M ).

CAMPOS DE TENSORES

121

2.7.1. Los operadores simetrizaci n y antisimetrizaci n o o Denimos entonces dos operadores sobre Ts0 (M ) denominados simetrizaci n S y antisimetrizao ci n A, los cuales asocian a cada tensor T los tensores o S(T ) =

y A(T ) =

T ,

donde recorre el conjunto de las permutaciones de s letras, es la signatura de y T es esencialmente el tensor T cuando se han modicado sus argumentos por la acci n de la permutaci n: o o T (X1 , . . . , Xs ) = T (X(1) , . . . , X(s) ) Los operadores simetrizaci n S y antisimetrizaci n A poseen interesantes propiedades entre las o o que destacan las siguientes. En primer lugar, A y S son proyecciones, esto es, A2 = A y S 2 = S. En segundo lugar, la imagen de A son las formas diferenciales y la imagen de S los tensores covariantes sim tricos, lo cual nos permite caracterizar a los tensores sim tricos como aquellos que ST = s!T , y a e e los antisim tricos como los que satisfacen AT = s!T . e

2.7.2. El producto exterior No es difcil probar que el producto tensorial de dos formas diferenciales no es, en general, una forma diferencial. Sin embargo, como sabemos que cada tensor determina, bajo la acci n del operador o A, un tensor antisim trico, podemos denir otra multiplicaci n para las formas diferenciales que es e o extraordinariamente util. Se trata l gicamente del producto exterior de formas diferenciales, que a dos o formas de grado r y s le asocia otra forma diferencial de grado r + s. Denici n 7.20 o Sean r (M ),
s

(M ). Denimos por la f rmula o 1 r!s! (X(1) , . . . , X(r) )(X(r+1) , . . . , X(r+s) ),

r+s

( )(X1 , . . . , Xr+s ) =

donde recorre las permutaciones de r + s letras. Entonces producto exterior de y .

(M ) y se denomina el

El producto exterior es una operaci n bilineal, asociativa y, en general, no conmutativa vericando o la siguiente propiedad = (1)rs , donde r y s son los grados de las formas y . El producto exterior nos permite generar cualquier forma diferencial, de cualquier grado, a partir de las formas diferenciales de grado uno (las uno formas). En efecto, si { 1 , . . . , n } es una referencia local de uno formas sobre una variedad diferenciable M (o sobre un abierto U de la misma) entonces el conjunto { i1 is }, con todos los ndices variando desde 1 hasta n, tales que i1 < < is , constituye una base para s (M ) ( s (U ), respectivamente). o

122

VARIEDADES DIFERENCIABLES Y TOPOLOGA I

3. ACTIVIDADES DE APLICACION DE LOS CONOCIMIENTOS A.7.1. (a) Prueba que existe un C (M )-isomorsmo entre X (M ) y T10 (M ), donde X (M ) denota el m dulo dual de X(M ). o

(b) Prueba que existe un C (M )-isomorsmo entre X(M ) y T01 (M ). (c) Deduce que X(M ) se identica con su m dulo bidual. o A.7.2. Sea F : M N una aplicaci n diferenciable. o

(a) Si i : M M es la identidad, entonces i es la identidad sobre Ts0 (M ). (b) Para tensores covariantes A y B de tipo (0, s) y (0, t), respectivamente, se verica: F (A B) = F (A) F (B). (c) Si G : N P es tambi n una aplicaci n diferenciable: e o (G F ) = F G : Ts0 (M ) Ts0 (M ), para todo s b 0. A.7.3. Sea F : M N un difeomorsmo. (a) Entonces cada campo tensorial Tsr (M ) determina un campo tensorial F Tsr (N ), llamado el pushforward de mediante F , por la f rmula o (F )( 1 , . . . , r , X1 , . . . , Xs )(p) =
1 r 1 1 F 1 (p) (Fp (p ), . . . , Fp (p ), dFp (X1p ), . . . , dFp (Xsp )), donde Fp denota la aplicaci n transpuesta de dFp , es decir, Fp : Tp N TF 1 (p) M , o ()(v) = (dF . Fp F 1 (p) (v)), v TF 1 (p) M , Tp N

(b) Si i : M M es la identidad, entonces i es la identidad de Tsr (M ). (c) Si A Tsr (M ) y B Tsr (M ), entonces F (A B) = F (A) F (B) . (d) Si G : N P es tambi n un difeomorsmo, entonces e (G F ) = G F . A.7.4. Sea A un campo tensorial de tipo (1,2). Sean = (x1 , . . . , xn ) y = (y1 , . . . , yn ) sistemas coordenados sobre U M . Prueba que las componentes de A relativas a est n determinadas a como sigue por las componentes de A relativas a :

Ac = ab
i,j,k

yc xi xj xk ya yb

Ak . ij

A.7.5. Sea x la carta identidad de Rn y consideremos el tensor de tipo (0,2) g : C (Rn ) denido por g(X, Y ) : Rn R p g(X, Y )(p) = donde X =
i

X(Rn ) X(Rn )

n i=1 ai (p)bi (p)

ai

,Y = xi

bi
i

. xi

CAMPOS DE TENSORES

123

(a) Verica que g es, efectivamente, un tensor de tipo (0,2). (b) Obten las componentes de g relativas a x. (c) Sea y = (y1 , . . . , yn ) denida por: y1 = x 1 y2 = x 1 + x 2 . . . yn = x 1 + + x n Prueba que y es una carta de Rn y calcula las componentes de g relativas a y. A.7.6. Sea : M m N n una aplicaci n diferenciable que aplica el sistema coordenado = o (x1 , . . . , xm ) en un sistema coordenado = (y1 , . . . , yn ) en N . Si B es un campo tensorial covariante, de tipo (0,2), prueba que sobre el entorno coordenado de se satisface: ( B) , xi xj
n

=
a,b=1

(ya ) (yb ) B xi xj

, ya yb

A.7.7. Sea una aplicaci n plineal y Sp una permutaci n de orden p. Se dene o o ()(v1 , . . . , vp ) = (v(1) , . . . , v(p) ), Prueba las siguientes armaciones: (a) es sim trica (resp. antisim trica) si, y s lo si, para todo u1 , . . . , up V, 1 e e o p, es : (. . . , ui , . . . , uk , . . .) = (. . . , uk , . . . , ui , . . .) (resp. (. . . , ui , . . . , uk , . . .) = (. . . , uk , . . . , ui , . . .)). (b) es antisim trica si, y s lo si, para todo (u1 , . . . , up ) con ui = uj para alg n i = j, es e o u (u1 , . . . , up ) = 0. (c) Sea p V el espacio de todas las aplicaciones p-lineales antisim tricas. Prueba que p V = e 0 para p > dimV . Adem s, si n = dimV , entonces n V es 1-dimensional. a A.7.8. Sean 1 , . . . , n X (M ). (a) Si i =
j

v1 , . . . , vp V.

Ti<kT

aij j , i = 1, . . . , n, entonces 1 . . . n = det(aij ) 1 . . . n .

(b) {1 , . . . , n } es una referencia local de X (M ) si, y s lo si, o 1 . . . n = 0 en todo punto de M . A.7.9. Sea V un espacio vectorial de dimensi n n. Sean 1 , . . . , r , r T n, formas lineales de V o linealmente independientes. Supongamos que existen formas lineales 1 , . . . , r satisfaciendo la condici n o
r

i i = 0.
i=1

124 Entonces se cumple que i =

j

VARIEDADES DIFERENCIABLES Y TOPOLOGA I

aij j ,

aij = aji ,

i, j = 1, . . . , r.

A.7.10. Sobre R2 con las coordenadas usuales {x1 , x2 }, sea L(R2 ) la aplicaci n lineal con matriz o A= 2 1 1 1

(a) Sea T T20 (R2 ) dado por T = dx1 dx1 + 2dx1 dx2 dx2 dx1 + 3dx2 dx2 . Obten T . (b) Sea T T11 (R2 ) denido por T = e1 e2 2e2 e2 . Calcula las componentes de T . A.7.11. Sea : R3 R2 dado por (x, y, z) = (2x + z, xyz) y T T20 (R2 ) denido por T = (u + 2v)du du + u2 du dv. Calcula T . A.7.12. Sea M una variedad diferenciable. (a) Interpreta A T11 (M ) como una aplicaci n diferenciable que asigna a cada punto p M o un operador lineal Ap sobre Tp M . (b) Prueba que (CA)(p) = traza(Ap ), donde C es el operador Contracci n. o (c) Si A, B T11 (M ), expresa la aplicaci n p Ap Bp como un elemento de T11 (M ). o A.7.13. 1) Sea : R2 R2 la aplicaci n diferenciable denida por (x, y) = (x + 2y, y) y sea o T = 3xx dy + y dy T11 (R2 ). Calcula el pullback (T ) y el pushforward (T ) del tensor T .
1 2 2) Sean los tensores A = T (T ) y B = (T ) T . Calcula C2 A C1 B.

A.7.14. En R2 , con las coordenadas usuales (x, y), consideramos el tensor T T12 (R2 ) dado por T = xyx x dy y 2 x y dy + 3x2 yy x dx. Cu nto vale la contracci n a o 2 C1 (T )? A.7.15. Sea : R2 R2 dada por (x, y) = (x + 2y, y) y sea el tensor T T20 (R2 ) dado por 1 2 T = 3xdx dy + dy dy. Cu nto valen C2 ( T T ) y C1 ( T T )? a

4. BIBLIOGRAFIA DEL CAPITULO W. BOOTHBY. An Introduction to Differentiable Manifolds and Riemannian Geometry. Academic Press, 1986. R. BRICKELL y R. CLARK . Differentiable Manifolds. Van Nostrand, 1970. L. CONLON. Differentiable Manifolds. A First Course. Birkh user, 1993. a W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.

CAMPOS DE TENSORES

125

5.

PREGUNTAS DE EVALUACION

E.7.1. Sean A y B dos campos tensoriales de tipo (1,1) sobre una variedad diferenciable M . Pongamos S(X, Y ) = [AX, BY ] + [BX, AY ] + AB[X, Y ] + BA[X, Y ] A[X, BY ] A[BX, Y ] B[X, AY ] B[AX, Y ], con X, Y X(M ). Entonces la aplicaci n S : o tipo (1,2) sobre M y S(X, Y ) = S(Y, X). E.7.2.

X(M ) X(M ) X(M ) dene un tensor de

(a) Sea T T20 (R2 ) un tensor no nulo. Encuentra una caracterizaci n para que T se pueda o 0 (R2 ). escribir en la forma T = A B, con A, B T1 (b) Sea A T20 (M ) un tensor sim trico y B T02 (M ) un tensor antisim trico. Calcula e e ij aij b .
i,j

(c) Sean A, B T20 (M ) dos tensores sim tricos de componentes respectivas aij , bkl , vericane do la igualdad: aij bkl ail bkj + ajk bil akl bij = 0. Prueba que aij = bij . E.7.3. Sea : R2 \{(0, y)|y R } R2 \{(x, x)|x (x3 + y, y) y sea el tensor T de tipo (2, 1) dado por T =x

R } la aplicaci n denida por (x, y) o

dx dy + y dy dy. x y

Prueba que es un difeomorsmo y calcula: (a) El pushforward T . (b) Las contracciones (1,1) y (1,2) de T . E.7.4. Sea T T11 (R2 ) denido por T = xy dx + y dx + dy. x y x

Denimos la aplicaci n como sigue: : {(x, y)|y > 0} {(x, y)|x > 0, x2 < y} y o (x, y) = (yex , y 2 e2x + y). Prueba que es un difeomorsmo y calcula: (a) La traza de T . (b) El push-forward de T , T . E.7.5. Consideremos el siguiente diagrama conmutativo:

R3

ER = c s

R2

126

VARIEDADES DIFERENCIABLES Y TOPOLOGA I

donde las aplicaciones y est n denidas como sigue: a (x, y, z) = (x, 3y + 11z, 2x + y + 4z) (u, v, w) = (u, v) Sean los tensores T T11 (R3 ) y A T10 (R2 ) denidos por dz + y dx y z A = u du + v dv T = x Calcula los siguientes tensores: 1) El pushforward de T , (T ). 2) El pullback de A, (A).
1 3) = C2 ( (T ) (A)). 1 4) C2 (T A)

5) La derivada de Lie LX ( ), donde X = x

+y . y z

E.7.6. Una variedad diferenciable conexa M n es orientable si existe un atlas orientado para la variedad, esto es, un atlas tal que el jacobiano de los cambios de cartas es siempre positivo. Prueba: a) Si una variedad M admite un atlas formado por dos cartas (U1 , 1 ) y (U2 , 2 ) tal que U1 U2 es conexo entonces M es orientable. b) Sea M una variedad paracompacta. Entonces M es orientable si, y s lo si, existe una no forma sobre M que no se anula en ning n punto. u

CAMPOS DE TENSORES

127

ANOTACIONES

........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ........................................................................................... ...........................................................................................

128 6. BIOGRAFIA: DAVID HILBERT (-)

VARIEDADES DIFERENCIABLES Y TOPOLOGA I

David Hilbert (-) asisti a una academia en su pueblo natal de K nisberg. Despu s de o o e la graduaci n, Hilbert abandon la academia e ingres en la Universidad de K nisberg, donde estudi o o o o o bajo la direcci n de C. Ferdinand Lindemann (-). Obtuvo su doctorado en con una o tesis doctoral titulada Uber invariante Eigenschaften specieller bin rer Formen, insbesondere der Kua gelfunctionen, que hizo progresar la teora de los invariantes algebraicos. Uno de los amigos de Hilbert fue Hermann Minkowski (-), que tambi n fue estudiante de doctorado en la Universidad de e K nisberg; sus trabajos tuvieron una enorme inuencia en el desarrollo posterior de las matem ticas. o a En A. Hurwitz fue admitido en la Universidad de K nisberg y pronto estableci amistad con o o Hilbert, inuyendo notablemente en el desarrollo matem tico de Hilbert. Hilbert fue miembro directivo a de la Universidad desde hasta , alcanzando las categoras de Profesor Extraordinario en y de Catedr tico en . a

Figura 7.1: Imagen de D. Hilbert en 1886

En Hermann A. Schwarz (-)se traslad de Gotinga a Berln para ocupar la vacante o dejada por Karl Weierstrass (-), y F. Klein (-) deseaba ofrecer a Hilbert la vacante de Gotinga. Sin embargo, Klein no pudo convencer a sus colegas y Heinrich Weber (-) fue seleccionado para ocupar dicho puesto. Tres a os despu s, Weber se traslad a una vacante en n e o Estrasburgo y entonces s consigui que Hilbert fuese seleccionado para ocupar el puesto de Weber. o De este modo, Hilbert fue nombrado profesor de la Universidad de Gotinga en , donde estuvo ense ando durante el resto de su carrera docente. n La eminente posici n que ocupaba Hilbert en el mundo de las matem ticas desde haca o a que otras instituciones quisieran convencerlo de que abandonara Gotinga y, en , la Universidad de Berln le ofreci la C tedra de L. Fuchs (-). Hilbert se traslad a la plaza de Berln, pero s lo o a o o hasta que la Universidad de Gotinga quiso recuperarlo ofreci ndole una c tedra a el y otra a su amigo e a Minkowski. El primer trabajo de Hilbert sobre teora de los invariantes, en , contena su famoso Teorema de la Base. Veinte a os antes P. Gordan (-) haba probado el teorema de la base nita para n formas binarias utilizando una aproximaci n altamente computacional. Los diversos intentos que se o sucedieron despu s para intentar generalizar el teorema de Gordan para sistema de m s de dos variables e a

CAMPOS DE TENSORES

129

Figura 7.2: Imagen de D. Hilbert en 1900

fueron un fracaso, debido a la complejidad de la aproximaci n computacional. De hecho, los primeros o intentos de Hilbert se basaron en las ideas de Gordan, pero pronto se percat que era necesario analizar o el problema desde un nuevo punto de vista. Descubri un m todo completamente nuevo que demostraba o e el teorema de la base nita para cualquier n mero de variables, pero de un modo enteramente abstracto. u No obstante, y aunque sus m todos garantizaban la existencia de una base nita, el nunca construy una e o tal base. Hilbert someti su artculo a la revista Mathematische Annalen. Sin embargo, Gordan era el o experto de dicha revista en la teora de invariantes, y encontr el revolucionario m todo de Hilbert poco o e interesante. Revis el artculo de Hilbert y envi los siguientes comentarios a Klein: o o
El problema no es la forma . . . sino algo mucho m s profundo. Hilbert ha desde ado presentar a n sus ideas siguiendo las reglas formales, y piensa que es suciente con que nadie contradiga su demostraci n . . . est contento pensando que la importancia y correcci n de sus proposiciones son o a o sucientes . . . para un trabajo en Annalen no es suciente.

Sin embargo, Hurwitz le hizo saber a Hilbert de este informe de Gordan, y el propio Hilbert le envi una o carta a Klein en t rminos muy duros: e
. . . No estoy preparado para alterar o eliminar nada, y en relaci n con el artculo, y con toda modeso tia, esta es mi ultima palabra, ya que no se ha producido ninguna objeci n denitiva e irrefutable o contra mi razonamiento.

Klein recibi las cartas de Hilbert y Gordan al mismo tiempo, pero mientras Hilbert era un profesor o ayudante, Gordan era el lder mundial reconocido experto en teora de invariantes, y adem s era amigo a ntimo de Klein. Sin embargo, Klein reconoci la importancia del trabajo de Hilbert y le asegur que su o o trabajo aparecera en Annalen sin cambios, como as fue. Hilbert desarroll sus m todos en un trabajo posterior, que tambi n someti a Annalen, y Klein, o e e o despu s de leer el manuscrito, escribi a Hilbert dici ndole: e o e
No tengo ninguna duda que este es el trabajo sobre algebra general m s importante que ha sido a

130
publicado nunca en los Annalen.

VARIEDADES DIFERENCIABLES Y TOPOLOGA I

En , todava en la Universidad de K nisberg, Hilbert comenz el trabajo Zahlbericht on algebraic o o number theory. La Sociedad Matem tica Alemana requiri este trabajo tres a os despu s de que la a o n e Sociedad se creara en . El trabajo Zahlbericht () es una brillante sntesis de los trabajos de E.E. Kummer (-), L. Kronecker (-) y R. Dedekind (-) , pero contiene numerosas ideas propias de Hilbert, que se han mantenido hasta nuestro das. D.E. Rowe describe este trabajo en los siguientes t rminos: e
. . . no es realmente un Recopilatorio en el sentido usual de la palabra, sino m s bien una obra de a investigaci n original que revela que Hilbert no era un mero especialista. . . . [Hilbert] no s lo sinteo o tiza los resultados de investigaciones anteriores . . . sino que crea nuevos conceptos que constituyen las lneas de investigaci n en teora algebraica de n meros durante los a os posteriores. o u n

Figura 7.3: Imagen de D. Hilbert en 1926

El moderno tratamiento de la geometra euclidiana que ha recibido la aceptaci n m s amplia o a se debe a Hilbert. El profesor Hilbert dio varias conferencias sobre los fundamentos de la geometra euclidiana en la Universidad de Gotinga durante el periodo de invierno de -. Estas conferencias se reordenaron y publicaron en un delgado volumen en junio de , bajo el ttulo Grundlagen der Geometrie (Fundamentos de la Geometra). Esta obra, en sus diversas revisiones mejoradas, es en la actualidad cl sica en su campo; ha hecho m s que cualquier otro trabajo desde el descubrimiento de la a a geometra no eucldea para promover el m todo moderno y para dar forma al car cter de gran parte de e a las matem ticas actuales. La inuencia de este libro fue inmediata. Una edici n francesa apareci poco a o o despu s de la publicaci n alemana, y una versi n inglesa, traducida por E.J. Townsend, apareci en e o o o . La obra tuvo siete ediciones alemanas en vida del autor, apareciendo la s ptima edici n en . e o Desarrollando un conjunto de postulados para la geometra eucldea que, en esencia, no se separan mucho de los propios de Euclides y empleando un mnimo de simbolismo, Hilbert tuvo exito para convencer a los matem ticos, en mayor grado del que tuvieron Moritz Pasch (-) y Giuseppe a Peano (-), de la naturaleza puramente hipot tico-deductiva de la geometra. Pero la inuencia e de la obra de Hilbert fue m s all de esto, pues apoyada por la gran autoridad matem tica del autor, a a a implant rmemente el m todo postulacional no s lo en el campo de la geometra, sino esencialmente o e o tambi n en todas las dem s ramas de las matem ticas. El estmulo para el desarrollo de los fundamentos e a a de las matem ticas proporcionado por el peque o libro de Hilbert es difcil de sobrestimar. Falt ndole a n a

CAMPOS DE TENSORES

131

el extra o simbolismo de los trabajos de Pasch y Peano, el de Hilbert puede leerse, en gran parte, por n cualquier alumno inteligente que estudie geometra a nivel medio. En el Segundo Congreso Internacional de Matem ticas celebrado en Pars en Hilbert proa nunci su famosa conferencia, en la que intent , bas ndose en las principales tendencias de las inveso o a tigaciones matem ticas de nes del siglo XIX, predecir de alguna manera las direcciones futuras de los a progresos matem ticos. Para ello propuso veintitr s problemas que, a sus ojos, representaban los puntos a e de discusi n que podran eventualmente hacer progresar las matem ticas. Su conferencia estuvo llena o a de optimismo por las matem ticas del siglo que comenzaba y senta que los problemas abiertos eran un a signo de la vitalidad del area:
La gran importancia de los problemas planteados para el progreso de la ciencia matem tica en a general . . . es innegable . . . ya que cuando una rama del conocimiento proporciona un excedente de tales problemas, mantiene su vitalidad . . . cualquier matem tico ciertamente comparte la convica ci n de que cualquier problema matem tico puede ser resuelto . . . omos dentro de nosotros un grito o a constante: hay un problema, busquemos la soluci n, que puede encontrarse a trav s del razonao e miento.

Los problemas sugeridos por Hilbert provienen de los diferentes sectores de las matem ticas, y se adivina a f cilmente la profundidad y complejidad de su contenido. Se incluye la hip tesis del continuo, la buena a o ordenaci n de los n meros reales, la conjetura de Goldbach, la trascendencia de las potencias de n meros o u u algebraicos, la hip tesis de Riemann, la extensi n del principio de Dirichlet y muchos otros. Muchos o o de estos problemas han sido resueltos durante estos a os pasados, y cada vez que un nuevo problema es n resuelto supone un momento glorioso para las matem ticas. a

Figura 7.4: Imagen de D. Hilbert en 1930

Hoy da, el nombre de Hilbert es a menudo recordado y asociado a los espacios de Hilbert. Irving Kaplanski explica el trabajo de Hilbert que condujo a esta situaci n: o
El trabajo de Hilbert en ecuaciones integrales, alrededor de , condujo directamente a la investigaci n en an lisis funcional en el siglo XX (la rama de las matem ticas en la cual las funciones o a a son estudiadas colectivamente). Este trabajo estableci asimismo las bases para su trabajo sobre o espacios de dimensi n innita, posteriormente denominados espacios de Hilbert, un concepto suo mamente util en an lisis matem tico y mec nica cu ntica. Haciendo uso de sus resultados sobre a a a a

132

VARIEDADES DIFERENCIABLES Y TOPOLOGA I

ecuaciones integrales, Hilbert contribuy al desarrollo de la fsica matem tica mediante sus imporo a tantes memorias sobre la teora cin tica de los gases y la teora de radiaciones. e

En Hilbert descubri las ecuaciones correctas del campo en teora de la relatividad general. En este o punto, en los ultimos a os existe una controversia sobre si fue Hilbert el primero, antes que A. Einstein, n que las describi correctamente. o En y se publicaron dos vol menes de Grundlagen der Mathematik que pretendan conu ducir a la teora de la demostraci n, un m todo para probar la consistencia de las matem ticas. El o e a artculo de Kurt G del (-) de demostrara que este objetivo era imposible, ya que de o mostr que en el interior de un sistema siempre existe al menos una proposici n (es decir, un enunciado o o verdadero) que no puede ser demostrada bas ndose unicamente en los axiomas del sistema. a

Figura 7.5: Imagen de D. Hilbert en 1932

Hilbert contribuy a muchas ramas de las matem ticas, incluyendo la teora de invariantes, los o a cuerpos algebraicos de n meros, el an lisis funcional, las ecuaciones integrales, la fsica matem tica, y u a a el c lculo de variaciones. Las habilidades matem ticas de Hilbert fueron h bilmente recogidas por Otto a a a Blumenthal, su primer estudiante:
En el an lisis del talento matem tico se debe distinguir entre la habilidad para crear nuevos cona a ceptos que generan nuevos tipos de estructuras de pensamiento y el talento para detectar conexiones profundas que dan unidad. En el caso de Hilbert, su grandeza radica en un inmenso poder de visi n o que penetra en las profundidades del problema. Todos sus trabajos contienen ejemplos de campos alejados en los cuales fue capaz de encontrar las interrelaciones y conexiones con el problema analizado. A partir de estos, la sntesis, su obra de arte, era creada. En la medida en que nos referimos a la creaci n de nuevas ideas, pondra a Minkowski en un lugar m s alto, junto a Gauss, Galois y o a Riemann. Pero cuando nos quedamos con la perspicacia penetrante, s lo unos pocos entre los m s o a grandes pueden compararse con Hilbert.

Entre los estudiantes de Hilbert podemos citar a Hermann Weyl (-), el famoso campe n o mundial de ajedrez Lasker, y Ernst Zermelo (-). Hilbert recibi muchos honores. En la Academia H ngara de Ciencias le concedi una o u o distinci n especial. En Hilbert se retir y la ciudad de K nisberg lo nombr ciudadano honorario de o o o o

CAMPOS DE TENSORES

133

la ciudad. Dio un discurso de agradecimiento que nalizaba con seis palabras famosas que demuestran su entusiasmo por las matem ticas y su dedicaci n en vida para la resoluci n de problemas matem ticos: a o o a
Wir m ssen wissen, wir werden wissen - Nosotros debemos conocer, nosotros conoceremos. u

Figura 7.6: Imagen de D. Hilbert en 1937

Bibliografa Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 654661. Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. Jean-Paul Collete. Historia de las matem ticas, vol. II. Siglo veintiuno de Espa a Editores, S.A., 1985. a n pp. 577586. Internet. URL de la p gina: a www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Hilbert.html

Bibliografa complementaria Dictionary of Scientic Biography (New York 1970-1990). Libros: C. Reid Hilbert (Berlin- Heidelberg- New York, 1970). C. Reid Hilbert-Courant ( New York, 1986). Artculos: P. Bernays David Hilbert, Encyclopedia of Philosophy III (New York, 1967), 496-504. C. Carath odory Obituary: David Hilbert, S-B Math.-Nat. Abt. Bayer. Akad. Wiss. 1943 (1943) e 350-354.

134

VARIEDADES DIFERENCIABLES Y TOPOLOGA I

L. Corry Axiomatics and structural algebra in the works of David Hilbert (Spanish), Mathesis 11 (4) (1995), 291-329. J. Dieudonn David Hilbert (1862-1943) (Spanish), Rev. Integr. Temas Mat. 2 (1) (1983), 27-33. e D.W. Lewis David Hilbert and the theory of algebraic invariants, Irish Math. Soc. Bull. 33 (1994), 42-54. B. Machado David Hilbert (Portuguese), Gaz. Mat., Lisboa 4 (14) (1943), 1-2. B.H. Neumann David Hilbert, Mathematical Spectrum 25 (1992/93), 70-73. D.E. Rowe Klein, Hilbert, and the G ttingen mathematical tradition, Osiris (2) 5 (1989), 186-213. o D.E. Rowe David Hilbert on Poincar , Klein, and the world of mathematics, The Mathematical Intellie gencer 8 (1) (1986), 75-77. M. Toepell On the origins of David Hilberts Grundlagen der Geometrie, Archive for History of Exact Science 35 (4) (1986), 329-344. H. Weyl David Hilbert and his mathematical work, Bull. Amer. Math. Soc. 50 (1944), 612-654. H. Weyl Hermann Obituary: David Hilbert. 1862-1943, Obituary Notices of Fellows of the Royal Society of London 4 (1944), 547-553. H. Weyl David Hilbert and his mathematical work (Portuguese), Bol. Soc. Mat. Sao Paulo 1 (1946), 76-104. H. Weyl David Hilbert and his mathematical work (Portuguese), Bol. Soc. Mat. Sao Paulo 2 (1947), 37-60.