En este captulo se introduce la nocin de una variedad de Riemann

(M, g). El g mtrica nos proporciona un producto interno en cada tangente

espacio y puede ser utilizado para medir ngulos y las longitudes de curvas en
el colector. Esto define una funcin de distancia y convierte el colector
en un espacio mtrico de una manera natural. La mtrica de Riemann en un
variedad diferenciable es un ejemplo importante de lo que se llama un
campo tensorial.
Sea M una variedad diferenciable, C
(M) denota el anillo conmutativo
funciones de lisas en M y C
(TM) el conjunto de vectores suave
campos en M que forman un mdulo sobre C
(M). poner
C

0
(TM) = C
(M)
y para cada nmero entero positivo r dejar
C

r
(TM) = C
(TM) C
(TM)
ser el producto tensor r veces de C

 (TM) sobre C
(M)
.
En este captulo se introduce la conexin de Levi-Civita de un
Variedad de Riemann (M, g). Este es el ejemplo ms importante de
la nocin general de una conexin en un paquete del vector suave. nosotros
deducir una frmula explcita para la conexin de Levi-Civita para grupos de Lie
equipada con mtricas de izquierda invariante. Tambin damos un ejemplo de
un
conexin en el paquete normal de una subvariedad de un riemanniano
colector y estudiar sus propiedades.
En el m-dimensional espacio vectorial real R
m tenemos la bien conocida
operador diferencial
mtricas riemannianas
Una mtrica de Riemann es una familia de problemas diversos productos
internos en los espacios tangentes de
un colector suave. Mtricas riemannianas son objetos as infinitesimales, pero
pueden ser utilizados para
medir distancias en el colector. Fueron introducidos por Riemmann en su
trabajo seminal [Rie53]
en 1854. En ese momento, el concepto de un colector era extremadamente
vaga y, a excepcin de algunos conocidos
ejemplos globales, la mayor parte de los trabajos de los gemetras centran en
consideraciones locales, por lo que la moderna
concepto de una variedad de Riemann tom bastante tiempo para evolucionar
a su forma actual. sealamos
el hecho aparentemente obvio que un mltiple liso dado puede estar equipado
con muchos diferentes

Mtricas de Riemann. Esto es realmente una de las grandes ideas de Riemann,

es decir, la separacin
entre los conceptos de espacio y mtrica.
Conexin afimn
Contemplar Rn
. Por supuesto, la presencia de la hoja de la identidad como un grfico mundial
le permite a uno
cannicamente identificar los espacios tangentes de Rn
en sus diversos puntos con Rn
s mismo. Por lo tanto, una
lisa X campo de vectores en Rn
puede ser visto simplemente como un mapa lisa X: Rn Rn
. Por lo tanto, uno tiene
una forma cannica de la diferenciacin de los campos de vectores en Rn
, Es decir, si X, Y: Rn Rn
son dos vectores
campos, entonces la derivada de Y a lo largo de X es la derivada direccional dY
(X) = X (Y).
Mientras que una variedad diferenciable M ya viene equipado con una nocin
de derivada de lisa
mapas, no hay forma cannica para diferenciar los campos vectoriales en M. Se
resuelve este problema por
teniendo en cuenta todas las formas posibles de definir derivados de campos
vectoriales. Cualquier eleccin se llama una
conexin. El nombre se origina en el hecho de que, al menos a lo largo de una
curva dada, una conexin
proporciona una manera de identificar ("conectar") espacios tangentes de M en
diferentes puntos; esta es la idea de
transporte paralelo a lo largo de la curva. Una geodsica es entonces una curva
cuyo vector velocidad es constante en

este sentido.
La principal consecuencia de la teora de las conexiones para la geometra de
Riemann es que una de Riemann
mtrica de M especifica unvocamente una conexin en M, llamada la conexin
de Levi-Civit`a. En el
caso en el que M es una superficie en R3
, Para la conexin de Levi-Civit`a en M recuperamos la derivada
en R3 proyectado volver a M.
Las conexiones pueden ser definidas en una variedad de maneras. Vamos a
utilizar el formalismo Koszul.
..
En geometra diferencial, la geometra de Riemann es el estudio de las variedades
diferenciales con mtricas de Riemann; es decir de una aplicacin que a cada punto de la
variedad, le asigna una forma cuadrtica definida positiva en su espacio tangente, aplicacin
que vara suavemente de un punto a otro. Esto da ideas locales de (entre otras
magnitudes) ngulo, longitud de curvas, y volumen. A partir de stas, pueden obtenerse otras
magnitudes por integracin de las magnitudes locales.
Fue propuesta por primera vez de forma general por Bernhard Riemann en el siglo XIX. Como
casos especiales particulares aparecen los dos tipos convencionales (geometra
elptica y geometra hiperblica) de geometra No-Euclidiana, as como la geometra
euclidiana misma. Todas estas geometras se tratan sobre la misma base, al igual que una
amplia gama de las geometras con propiedades mtricas que varan de punto a punto.
Cualquier variedad diferenciable admite una mtrica de Riemann y esta estructura adicional
ayuda a menudo a solucionar problemas de topologa diferencial. Tambin sirve como un nivel
de entrada para la estructura ms complicada de las variedades pseudo-Riemann, las cuales
(en el caso particular de tener dimensin 4) son los objetos principales de la teora de
la relatividad general.

..

Introduccin[editar]
Una variedad de Riemann es una generalizacin del
concepto mtrico, diferencial y topolgico del espacio euclidiano a objetos geomtricos

que localmente tienen la misma estructura que el espacio euclidiano pero globalmente pueden
representar forma "curva". De hecho, los ejemplos ms sencillos de variedades de Riemann
son precisamente superficies curvas de

y subconjuntos abiertos de

La estructura matemtica de la geometra riemanniana permite extender a subconjuntos

curvos o hipersuperficies del espacio euclidiano, las nociones mtricas de longitud de una
curva, rea de una superficie, (hiper)volumen o ngulo entre dos curvas. Esto se realiza
definiendo en cada punto un objeto matemtico llamado tensor mtrico que permite
especificar un procedimiento para medir distancias, y por tanto definir cualquier otro concepto
mtrico basado en distancias y sus variaciones.
Desde el punto de vista matemtico una variedad de Riemann es una tripleta del tipo:

Donde:
es una variedad diferenciable en la que se ha especificado el conjunto
de cartas locales.
es una aplicacin bilineal definida positiva desde el espacio tangente a la
variedad:
En particular, la mtrica g permite definir en cada espacio tangente una
norma ||.|| mediante

Variedades riemannianas como subvariedades[editar]

Una forma sencilla de construir variedades riemanninas es buscar subconjuntos
"suaves" del espacio euclidiano. De hecho, cada subvariedad diferenciable de Rn tiene
unamtrica de Riemann inducida: el producto interior en cada fibra tangente es la
restriccin del producto interno en Rn.
De hecho, como se sigue del teorema de inmersin de Nash, todos las variedades de
Riemann se pueden considerar subvariedades diferenciables de

, para algn D.

En particular se puede definir una variedad de Riemann como un espacio mtrico que
es isomtrico a una subvariedad diferenciable de RD con la mtrica intrnseca
inducida. Esta definicin puede no ser tericamente suficientemente flexible, pero es
muy til al construir las primeras intuiciones geomtricas en la geometra de Riemann.
En general una subvariedad de

, dimensin m, vendr definida localmente por un

conjunto de aplicaciones diferenciables del tipo:

Por lo que matricialmente se tendr en cada punto de coordenadas asociadas ui que

el tensor mtrico puede expresarse en coordenadas locales en trminos de la matriz
jacobiana de f:

En este caso las

haran el papel de coordenadas locales sobre la

subvariedad.

Variedades riemannianas como secciones

diferenciables[editar]
Una variedad de Riemann se define generalmente como variedad diferenciable con
una seccin diferenciable de formas cuadrticas positivo-definidas en el fibrado
tangente. Entonces se tiene trabajo en demostrar que puede ser convertido en un
espacio mtrico:
Si : [a, b] M es una curva continuamente diferenciable en la variedad de
Riemann M, entonces se define su longitud L() como

(ntese que el '(t) es un elemento del espacio tangente a M en el punto (t); ||.||
denota la norma resultante del producto interior dado en ese espacio tangente.)
Con esta definicin de longitud, cada variedad de Riemann conexa M se convierte en
un espacio mtrico (e incluso un espacio mtrico con longitud) de un modo natural: la
distancia d(x, y) entre los puntos x y y en M se define como
d (x, y) = inf { L(): es una curva continuamente diferenciable que conecta a x y y }.

Conceptos mtricos[editar]
Lneas geodsicas[editar]
Artculo principal: Geodsica

Aunque las variedades de Riemann son generalmente "curvas", no obstante,

podemos encontrar que dados dos puntos diferentes y suficientemente cercanos
existe una curva de longitud mnima (aunque esta no tiene porqu ser nica).
Estas lneas de mnima longitud se llaman lneas geodsicas y son una
generalizacin del concepto "lnea recta" o "lnea de mnima longitud". stas son
las curvas que localmente conectan sus puntos a lo largo de las trayectorias ms
cortas.

As dada una curva

contenida en una variedad riemanniana M,

definimos la longitud de dicha curva L() mediante el vector tangente a la misma y

las componentes gij del tensor mtrico g del siguiente modo:

Donde xi(t) es la expresin paramtrica de los puntos de la curva

parametrizada mediante el parmetro t. Usando los smbolos de
Christoffel asociadas a la conexin sintorsin, la curva geodsica de mnima
longitud que pasan por un punto x0 y tiene el vector tangente v satisface la
siguiente ecuacin:

Nos gustara diferenciar campos vectoriales pero a medida que tomar valores
en diferentes
espacios vectoriales en diferentes puntos, no es tan claro como hacer la
diferencia
cocientes y as derivados. Lo que se necesita es un poco de estructura extra:
una conexin
que debe ser considerado como un "derivado de direccin" para el vector
campos.
.
La idea de Riemann fue que en lo infinitamente pequeo, en una escala mucho
ms pequea que la del ms pequeo
partcula, no sabemos si la geometra euclidiana se encuentra todava en vigor.
Por lo tanto, mejor no asumir que
este es el caso y en lugar de abrir la posibilidad de que en el infinitamente
pequeo puede haber otra
funciones de longitud, puede haber otros productos internos en el espacio
tangente! Una variedad de Riemann

es una variedad lisa equipado con producto interno, que puede o no puede ser
el interior euclidiana
producto, en cada espacio tangente.
.
La idea de Riemann fue que en lo infinitamente pequeo, en una escala mucho
ms pequea que la partcula ms pequeo, no sabemos si la geometra
euclidiana se encuentra todava en vigor. Por lo tanto, mejor no asumir que
este es el caso y en lugar abrimos la posibilidad de que en lo infinitamente
pequeo puede haber otras funciones de longitud, puede haber otros
productos internos en el espacio tangente! Una variedad de Riemann es una
variedad lisa equipado con producto interno, que puede o no puede ser el
producto interno euclidiana, en cada espacio tangente.