Variedad riemanniana

En la geometría de Riemann, una variedad de Riemann es una variedad diferenciable real en la que cada espacio tangente se equipa con un producto interno de manera que varíe suavemente punto a punto. Esto permite que se definan varias nociones métricas como longitud de curvas, ángulos, áreas (o volúmenes), curvatura, gradiente de funciones y divergencia de campos vectoriales.

Una variedad de Riemann es una generalización del concepto métrico, diferencial y topológico del espacio euclidiano a objetos geométricos que localmente tienen la misma estructura que el espacio euclidiano pero globalmente pueden representar forma "curva". De hecho, los ejemplos más sencillos de variedades de Riemann son precisamente superficies curvas de ${displaystyle mathbb {R} ^{3}}$ y subconjuntos abiertos de ${displaystyle mathbb {R} ^{n}}$.

La estructura matemática de la geometría riemanniana permite extender a subconjuntos curvos o hipersuperficies del espacio euclidiano, las nociones métricas 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 matemático llamado tensor métrico que permite especificar un procedimiento para medir distancias, y por tanto definir cualquier otro concepto métrico basado en distancias y sus variaciones.

Desde el punto de vista matemático una variedad de Riemann es una tripleta del tipo:

${displaystyle ({mathcal {M}},{phi _{alpha }},g)}$

Donde:

En particular, la métrica g permite definir en cada espacio tangente una norma ||.|| mediante

${displaystyle ||X||={sqrt {g(X,X)}}.}$

Una forma sencilla de construir variedades riemannianas es buscar subconjuntos "suaves" del espacio euclidiano. De hecho, cada subvariedad diferenciable de Rⁿ tiene una métrica de Riemann inducida: el producto interno en cada fibra tangente es la restricción del producto interno en Rⁿ.

De hecho, como se sigue del teorema de inmersión de Nash, todas las variedades de Riemann se pueden considerar subvariedades diferenciables de ${displaystyle mathbb {R} ^{D}}$, para algún D. En particular se puede definir una variedad de Riemann como un espacio métrico que es isométrico a una subvariedad diferenciable de R^D con la métrica intrínseca inducida. Esta definición puede no ser teóricamente suficientemente flexible, pero es muy útil al construir las primeras intuiciones geométricas en la geometría de Riemann.

En general una subvariedad de ${displaystyle mathbb {R} ^{n}}$, dimensión m, vendrá definida localmente por un conjunto de aplicaciones diferenciables del tipo:

${displaystyle mathbf {x} =mathbf {f} (u^{1},dots ,u^{m}), {mbox{con}} x^{i}=f_{i}(u^{1},dots ,u^{m}) iin {1,dots ,n}}$

Por lo que matricialmente se tendrá en cada punto de coordenadas asociadas u_i que el tensor métrico puede expresarse en coordenadas locales en términos de la matriz jacobiana de f:

${displaystyle G={(phi _{alpha })}_{*}(g)=Dmathbf {f} ^{T}Dmathbf {f} ,qquad G=sum _{i,j=1}^{m}G_{ij}du^{i}otimes du^{j}}$

En este caso las ${displaystyle (u^{1},dots ,u^{m})}$ harían el papel de coordenadas locales sobre la subvariedad.

Una variedad de Riemann se define generalmente como variedad diferenciable con una sección diferenciable de formas cuadráticas positivo-definidas en el fibrado tangente. Entonces se tiene trabajo en demostrar que puede ser convertido en un espacio métrico:

Si γ: [a, b] → M es una curva continuamente diferenciable en la variedad de Riemann M, entonces se define su longitud L(γ) como

${displaystyle L(gamma )=int _{a}^{b}|gamma '(t)|;dt}$

(nótese que el γ'(t) es un elemento del espacio tangente a M en el punto γ(t); ||.||denota la norma resultante del producto interno dado en ese espacio tangente.)

Con esta definición de longitud, cada variedad de Riemann conexa M se convierte en un espacio métrico (e incluso un espacio métrico con longitud) de un modo natural: la distancia d(x, y) entre los puntos x y y en M se define como

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 mínima (aunque esta no tiene por qué ser única). Estas líneas de mínima longitud se llaman líneas geodésicas y son una generalización del concepto "línea recta" o "línea de mínima longitud". Estas son las curvas que localmente conectan sus puntos a lo largo de las trayectorias más cortas.

Así dada una curva ${displaystyle gamma :[a,b] ightarrow M}$ contenida en una variedad riemanniana M, definimos la longitud de dicha curva L(γ) mediante el vector tangente a la misma y las componentes g_ij del tensor métrico g del siguiente modo:

Donde x_i(t) es la expresión paramétrica de los puntos de la curva parametrizada mediante el parámetro t. Usando los símbolos de Christoffel asociadas a la conexión sin torsión, la curva geodésica de mínima longitud que pasan por un punto x₀ y tiene el vector tangente v satisface la siguiente ecuación:

Puede probarse que la ecuación anterior puede obtenerse por métodos variacionales, concretamente podemos de las ecuaciones de Euler-Lagrange para un lagrangiano construido a partir de la forma cuadrática asociada al tensor métrico.

En una variedad riemanniana la existencia de un tensor métrico permite extender las nociones euclideas de longitud, ángulo entre dos curvas en un punto (o dos vectores del espacio tangente de un punto) o el volumen de una región de dicha variedad.

${displaystyle L=int _{a}^{b}{sqrt {g_{ij}{dot {x}}^{i}{dot {x}}^{j}}} dt}$

${displaystyle cos heta ={frac {g_{ij}U^{i}V^{j}}{sqrt {|g_{ij}U^{i}U^{j}||g_{ij}V^{i}V^{j}|}}}}$

${displaystyle V_{R}=int _{R}{sqrt {|g|}} dx^{1}land dx^{2}land ...land dx^{n}}$

Además de esto se pueden definir medidas de dimensionalidad 1< d < n para regiones de subvariedades contenidas en la variedad original, lo cual permite definir d-áreas ciertos subconjuntos de la variedad.

El producto interno en Rⁿ (el producto escalar euclidiano familiar) permite que se defina longitudes de vectores y ángulos entre vectores. Por ejemplo, si a y b son vectores en Rⁿ, entonces a² es la longitud al cuadrado del vector, y a * b determina el coseno del ángulo entre ellos (a * b = ||a|| ||b|| cos θ). El producto interno es un concepto del álgebra lineal que se puede definir para cualquier espacio vectorial. Desde el fibrado tangente de una variedad diferenciable (o de hecho, cualquier fibrado vectorial sobre una variedad) es, considerado punto a punto, un espacio vectorial, puede llevar también un producto interno. Si el producto interno en el espacio tangente de una variedad se define suavemente, entonces los conceptos que eran solamente punto a punto definido en cada espacio tangente se pueden integrar, para rendir nociones análogas en regiones finitas de la variedad. En este contexto, el espacio tangente se puede pensar como traslación infinitesimal en la variedad. Así, el producto interno en el espacio tangente da la longitud de una traslación infinitesimal. La integral de esta longitud da la longitud de una curva en la variedad. Para pasar de un concepto algebraico lineal a uno geométrico diferencial, el requisito de suavidad es importante, en muchos casos.

En una variedad riemanniana las geodésicas alrededor de un punto exhiben comportamientos atípicos respecto a la geometría euclidiana. Por ejemplo en un espacio euclidiano pueden darse líneas rectas paralelas cuya distancia se mantiene constante, sin embargo, en una variedad riemanniana los haces de geodésicas tienden a divergir (curvatura negativa) o a converger (curvatura positiva), según sea la curvatura seccional de dicha variedad. Todas las curvaturas pueden ser representadas adecuadamente por el tensor de curvatura Riemann que es definible a partir de derivadas de primer y segundor orden del tensor métrico. El tensor de curvatura en términos de los símbolos de Christoffel y usando el convenio de sumación de Einstein viene dado por:

${displaystyle {R^{ ho }}_{sigma mu u }=partial _{mu }Gamma _{ u sigma }^{ ho }-partial _{ u }Gamma _{mu sigma }^{ ho }+Gamma _{mu lambda }^{ ho }Gamma _{ u sigma }^{lambda }-Gamma _{ u lambda }^{ ho }Gamma _{mu sigma }^{lambda }}$

Una relación interesante que aclara el significado del tensor de curvatura es que si se consideran coordenadas normales ${displaystyle scriptstyle {x^{1},dots ,x^{n}}}$centradas en un punto p en un entorno de dicho punto la métrica de toda variedad riemannina puede escribirse como:

${displaystyle g_{ij}(x)=delta _{ij}-{frac {1}{3}}R_{iklj}x^{k}x^{l}+O(|x|^{3})}$

Puede verse que si el tensor de Riemann se anula idénticamente entonces localmente la métrica se aproxima a la métrica euclidiana y la geometría localmente es euclidiana. En caso del que el tensor no sea nula, sus componentes dan una idea de cuanto se alejan la geometría de la variedad riemanniana de la geometría de un espacio euclidiano de la misma dimensión.