Captulo 1.

Estudio preliminar
2017

Motivacin

En este cuatrimestre estudiaremos geometra diferencial y teora de

grupos, pero por qu?
Las teoras clsicas se desarrollan en un espacio-tiempo (a par-
tir de ahora lo denotaremos por E.T.). La estructura del E.T. puede (~x, t)
entenderse de distintas maneras. Figure 1: Tres coordenadas espaciales y
una temporal
i) La ms simple. Una mtrica eucldea:

1 0 0 0
0 1 0 0
=


0 0 1 0
0 0 0 1

ii) Kant: tiene que ser as? El mundo que nos rodea a priori es eu-
cldeo.

iii) Minkowski:

1 0 0 0
0 1 0 0
=


0 0 1 0
0 0 0 1

iv) Relatividad general. El E.T. es curvo1 . 1

Si g (~x ) de verdad vara punto a
punto, el espacio es curvo.
1 0 0 0


0 1 0 0
= 0

0 1 0
g (~x ) =

0 0 0 1


Figure 2: En relatividad especial es
"constante"

Localmente, podemos realizar una transformacin de coordenadas,

para obtener:

1 0 0 0
0 1 0 0
g (~x ) =


0 0 1 0
0 0 0 1
 captulo 1. estudio preliminar 2

Existen ms espacios fsicos relevantes: E()

= E0 ()
Ejemplo Energa de un sistema descrito por una coordenada ~x. x
Figure 3: Aclaracin de nomenclatura

E() : <3 <

~x E(~x )
En general, E(~x ) es una (hiper)superfcie curva. E(~x ) es (hiper)superfcie
en un espacio (n+1)-dimensional.

n = dim<n ; ~x <n
Ejemplo E(~), energa de una proteina con ~ <? coordenada
que la describe.

Ejemplo Espacio de fases. Pongamos, por ejemplo, la ecuacin

diferencial que rige el movimiento de un oscilador armnico:

x (t) + cx (t) = 0

1a Integral

m c

2
x + x2 = cte. v(t)
2 2
2 0
Existe solucin para las condiciones iniciales:
4 2 0 2 4

x(t)
x (0) = x0 x (0) = v0
Figure 4: rbita para las condiciones
iniciales x(0) = 1 y v(0) = 0
Nociones previas

Qu es <n ?
<n puede ser muchas cosas:

i) Un espacio (conjunto) multidimensional de puntos.

<n = { X = {( x1 , x2 , ..., xn )| xi <}}

ii) Espacio tipo i) con norma.

a f unction  ||()|| : <n <

X ||( X )||
 captulo 1. estudio preliminar 3

iii) <n puede ser un espacio vectorial. <n espacio del tipo i), con una
+ : <n <n <n
funcin bilinial + y otra .
~ ) ~z = (~v + w
(~v, w ~)
Figure 5: La funcin suma de vectores,
iv) <n puede ser un Espacio de Hilbert. Esto es, <n es un espacio con sus propiedades habituales

vectorial del tipo iii), y adems posee producto escalar (< , >). : < <n <n
(r, ~x ) ~y = r ~x
Si tenemos el producto escalar, de l obtenemos directamente una
Figure 6: La funcin multiplicacin
norma: por un escalar, con sus propiedades
habituales

||()|| = < , > : <n <n <
~ ) < ~v, w
(~v, w ~ > number
Tambin aparece una distancia, entre un ~x y un ~y, como ||~x ~y||.
Figure 7: La funcin producto escalar,
Adems, sabemos que podemos expresar el producto escalar con sus propiedades habituales
como:

1 0 ...
0 1 ...

< , >
.. .. ..

. . .

1 0 ...
t 0 1 . . . (~y)t

< ~x, ~y >= (~x )
.. .. ..

. . .

v) <n puede tratarse de un espacio afn2 . Un espacio afn E, es un 2

Es un espacio de puntos, donde no
conjunto de vectores-punto compuesto por un conjuto de puntos quieres mayor estructura, ni poseer
puntos privilegiados, pero si llegar de
A y un espacio vectorial V, tal que: un punto a otro sumando.

I)
: AV A
( a, ~v) ( a, ~v) = a ~v ( a ~v) w
~ = a (~v + w
~)
Figure 8: Cumple la propiedad asocia-
tiva, respetando el tipo de suma
II)
a ~0 = a ; a A , ~0 V

III)

a, b A ~v V : a ~v = b
De ah definimos ~v = b a.
El espacio fsico dentro del contexto de la Mecnica Clsica es un
espacio afn.
En G.D. los parmetros libres de la estructura del punto y su vec-
tor tangente son nxn (en <2 seran 4, dos del punto y deos del vec-
tor).
Un plano que no pasa por el origen no es un espacio vectorial,
pero si un espacio afn.
 captulo 1. estudio preliminar 4

Ms acerca de vectores
Sea ~v V, ~v vector abstracto, que los fsicos representamos por sus
coordenadas en funcin de una base.

~v = vn~en
n

, siendo los vn las coordenadas y los ~en las coordenadas de la base.

Un mismo vector abstracto se puede representar de distintas formas,
en funcin de la base.
Ejemplo
Figure 9: Cambio de base
~v = (1, 1, 1){~ei }

~v0 = ( 3, 0, 0){~e0 }
i

0
~v = vi~ei = vi ~ei0
i i

Entonces, es importante saber en que base trabajamos, y cmo

pasamos de una base a otra
Si tenemos:

~ei0 = Ai~e
i

, entonces se obtiene:

0
vi = Bi v
i

De eso, buscamos:

0
~v = v~e = v ~e0

Ejercicio 1. Calcular Bi en base a Ai .

Vectores duales
Sea:

[] : V <
~v [~v]
[] es un operador lineal si cumple las condiciones que caracteri- [~v + w
~ ] = [~v] + [~
w]
zan en general a los operadores. Figure 10: Condicin necesaria de un
El conjunto de los [] es tambin un espacio vectorial. El conjunto operador lineal

de los [] es el espacio dual V . significa que es ms que un nmero,

es un operador.
 captulo 1. estudio preliminar 5

Podemos hallar una base de V ?

j
Si { z i } es base de V , entonces e j [~e i ] = i es base dual, siendo e j []
la proyeccin del vector que al que se le aplique, sobre la direccin j,
esto es:

e j [~v ] = e j v i~e i = v j
i
Ahora, podemos preguntarnos, si la base {~e i } de V se transforma
segn ~e i0 = i A i~e , cmo lo hara { e i } ?
Se procede de forma anloga al caso de {~e i0 } .

[~e i0 ] [ e i ]

Si un vector dual [] , lo caracterizamos por:

[] = e []

, entonces, cmo se transforman sus coeficientes?
Buscamos ahora operadores que operen sobre los vectores .

a : V <
a [ []]
En espacios de dimensin finita, V =
Una vez introducidos estos conceptos, podemos continuar nuestro V
estudio.

Tensores

Sea V!un espacio vectorial y V un espacio vectorial dual. Un tensor

r
T es una aplicacin:
s

T : V V V V V <
(1 , 2 , . . . , r , v~1 , . . . , v~s ) T [1 , . . . , v~1 , . . . ]
Dicha aplicacin T es multilineal, esto es:

T [1 , . . . , + , . . . , v~1 , . . . , ~v + w
~ , . . . ] = T [1 , . . . , , . . . , v~1 , . . . , ~v, . . . ]
+ T [1 , . . . , , . . . , v~1 , . . . , w
~ , . . . ] + T [1 , . . . , , . . . , v~1 , . . . , ~v, . . . ]
+ T [1 , . . . , , . . . , v~1 , . . . , w
~,...]

T [1 , . . . , , . . . , v~1 , . . . , ~v, . . . ] =
   
1 0
~v T ; [] T
0 1
T [1 , . . . , , . . . , v~1 , . . . , ~v, . . . ]
Figure 11: Entenderemos vector y
vector dual como caso particular de
tensor.
 captulo 1. estudio preliminar 6

Cmo funcionan los T?

Si {~e i } es una base de V, y { e j } es una base de V , entonces pode-

mos aplicarlas a un T genrico:

i ,...,i
T [ e j1 , . . . , e jr ,~e i 1 , . . . ,~e i s ] =
Tj 1,...,j sr
1

Un T generico puede tener trminos diferentes3 . nr+s 3

n = dim(V) = dim(V{*})
A partir de esto, recordando que un vector y un vector dual cua- ~v = v~e
lesquiera podemos expresarlos en funcin de una base, podemos

escribir: [] = e []

Figure 12: Vector y vector dual en

funcin de las respectivas bases.

,...,
T [, . . . , , . . . ] = T 1,..., sr e~1 e~r e 1 [] e s []
1
1 ,...,r
1 ,..., s
Los ndices que se suman tienen que ir
Ejemplo Producto escalar "de abajo arriba" o " de arriba abajo".

g[, ] : V V <
!
0
~ ) g[~v, w
(~v, w ~ ] T
2

!" ! !#
~] =
g[~v, w g e
[] e []
v ~ei i
, w ~e j
j
=
, i j
" # " #
= g e
v ~ei i
e
w ~e j j
=
, i j

= g vi w j e [~ei ] e [~e j ] = g vi w j i =
j

, ,
i,j i,j

= g v w
,

Si consideramos el producto escalar en un espacio con mtrica

(localmente) constante, podemos hacer:

~] =
g[~v, w g v w =
,

= v w = v w

,
!
1
Ejemplo A T
1
 captulo 1. estudio preliminar 7

A~e e []

A[, ] =
,

A[ e , v ~e ] = Ai v~e j [e ] ei [~e ]
j

i,j
,

= Ai v j i = A v
j

i,j ,
,

Si al tensor A solo le aplicamos un vector, obtendramos:

Ai v~e j ei [~e ] = A v~e j = w j~e j = w

j j
A[, ~v] = ~
i,j j, j

Tensores con simetra definida

!
0
Ejemplo T T
2

~]
T [~v, w ? w, ~v]
T [~
Definamos pues:

w, ~v] tensor simtrico

~ ] = T [~
i) Si T [~v, w

~ ] = T [~
ii) Si T [~v, w w, ~v] tensor asimtrico

De este modo podemos caracterizar cualquier vector simtrico o

asimtrico como combinacin de sus partes simtrica y asimtrica:

1 
A := ~ ] T [~
T [~v, w w, ~v] = A
2

1 
S := ~ ] + T [~
T [~v, w w, ~v] = S
2

!
0
En general, para un tensor T [, , . . . , ] T podemos definir:
l
(
T [, . . . , ~v, . . . , w
~ , . . . ] totalmente asimtrico
si T [, . . . , ~v, . . . , w
~ , . . . ] :=
T [, . . . , ~v, . . . , w
~,...] totalmente simtrico

Medida de reas
Qu propiedades esperamos de una funcin medir rea?

i) A[~a1 , ~a2 ] = A[~a1 ,~a2 ]

 captulo 1. estudio preliminar 8

ii) A[~a1 ,~a2 +~a3 ] = A[~a1 ,~a2 ] + A[~a1 ,~a3 ]

iii) A[~a1 ,~a1 ] = 0

De las propiedades i), iii), deducimos que una funcin medir

rea debe ser un tensor totalmente antisimtrico.
Para n vectores ~v1 , ~v2 , . . . , ~vn V y n = dim(V ), la funcin
Det[~v1 , ~v2 , . . . , ~vn!] mide el rea entre los vectores.
0
Sea T , totalmente antisimtrico. Definimos el objeto
2
como un tensor antisimtrico:

ei [] e j [] ei [] e j [] e j [] ei []
Ejemplo Para <3 .

1 2 1 2 2 1
e e = e e e e

e3 e1 = e3 e1 e1 e3
e2 e3 = e2 e3 e3 e2

Si hacemos, por ejemplo:

e1 e2 [~e1 , ~e2 ] = e1 [~e1 ] e2 [~e2 ] e2 [~e1 ] e1 [~e2 ] = 1

Sea ahora:
!
1
D T
2

D = Da~ea D[, , ]
a,b,c

~ , ] ser un vector, y antisimtrico en ~v, w

D [~v, w ~ . Se define as el
producto vectorial:

~ , ] = ~v w
D [~v, w ~
Podramos pensar en funciones "medir
volumen".

El determinante
Det : V V V <
(~v1 , ~v2 , . . . , ~vn ) Det[~v1 , ~v2 , . . . , ~vn ]=
volumen entre~v1 , ~v2 , . . . , ~vn
Hemos definido el objeto siguiendo el procedimiento producto
tensorial y antisimetrizar. Aqu haremos lo anlogo. Veamoslo con
un ejemplo:
Ejemplo Para <3 .

e1 e2 e3 = e1 e2 e3 e2 e1 e3 + e2 e3 e1 e3 e2 e1 + e3 e1 e2 e1 e3 e2
 captulo 1. estudio preliminar 9

La idea es aplicar eso mismo a n vectores.

Si con el resultado del ejemplo anterior hacemos:

e1 e2 e3 [~v, w
~ , ~z] = v1 w2 z3 v2 w1 z3 + v2 w3 z1 v3 w2 z1 + v3 w1 z2 v1 w3 z2

Lo cual es exactamente identico a la regla de Sarrus de clculo de

determinantes.

Podemos generalizar el hecho de que si a un tensor que admite un

vector dual y un vector le introducimos un vector se convierte en otro
vector4 . ! ! 4
Esto es:
r k A[, ~v] = w
~
Sea A T y B T , con r > l ; s > k. Entonces:
s l

,...,
A = A 1 ,...,rs e~1 e~r e 1 [] e s []
1
1 ,...,r
1 ,..., s

i ,...,i
B[, . . . , , . . . ] = Bj1 ,...,jk e~i1 e~ik e j1 [] e jl []
1 l
i1 ,...,ik
j1 ,...,jl

A11 ,...,lk ,ji1 ,...,jrsl k B11,...,lk e~i1 ei~rl e j1 [] e jsk []

,..., ,i ,...,i ,...,
A  B =
,
i,j  
rl
A  B T
sk