Atlas (matemática)
Un atlas es un conjunto de cartas de un espacio, de forma que a cada «región» de dicho espacio le corresponden unas coordenadas. De manera más exacta, en un espacio topológico, una carta cubre un entorno del mismo y asigna coordenadas a los puntos dentro de dicho entorno. Un atlas es un conjunto de cartas que, además de cubrir el espacio por completo, en caso de superposición entre dos cartas, las coordenadas asignadas por una y otra están relacionadas simplemente por una función vectorial con «buenas propiedades» (es un homeomorfismo, o incluso un difeomorfismo).
Los atlas son la herramienta que permite dar estructura diferenciable a los espacios topológicos, siendo el sustrato para las nociones de la geometría diferencial de variedades.
Definición
[editar]Dado un espacio topológico , una carta es un homeomorfismo que provee de coordenadas a los puntos de un entorno abierto del mismo:
|
Un atlas es un conjunto de cartas que cubre la variedad al completo, y de tal manera que sean compatibles entre sí: si dos cartas dan coordenadas distintas para una región de X, entonces la función «cambio de coordenadas» ha de ser biyectiva y continua en ambos sentidos.
|
Diferenciabilidad
[editar]La definición anterior es estrictamente para un atlas de clase C0. Exigiendo que las funciones de transición φij sean difeomorfismos de clase Ck, obtendríamos un atlas de clase Ck (donde k es un entero positivo, ∞, o incluso ω para atlas analíticos).
Compatibilidad. Estructura diferenciable.
[editar]La condición de compatibilidad entre cartas nos permite definir si dos atlas de clase Ck son a su vez compatibles: lo son si su unión conjuntista es un atlas a su vez, esto es, si pueden «juntarse» en un solo atlas.
Dos atlas compatibles pero distintos dan coordenadas al espacio X de maneras esencialmente equivalentes. Para definir la estructura de variedad (ya sea topológica o diferenciable) sin ambigüedades, se recurre a una clase de equivalencia de atlas compatibles entre sí. Otra manera es usar un atlas maximal, que contiene a cualquier atlas compatible con él. A estos atlas maximales se les denomina también estructuras diferenciables (de clase Ck).
Coordenadas curvilíneas
[editar]Dada una variedad de (pseudo)riemanniana , un conjunto abierto del mismo y un punto dentro de dicho conjunto abierto , una carta local o "sistema de coordenadas" local puede representarse por una función:
Donde d es la dimensión del espacio donde se define el sistema de coordenadas local. Las d curvas coordenadas Ci(t) y sus vectores tangentes vienen definidas por las ecuaciones:
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0c/Curvilinear.svg/250px-Curvilinear.svg.png)
El cálculo diferencial en variedades permite generalizar el concepto de coordenadas cartesianas, cilíndricas o esféricas a variedads diferenciables, es decir, espacios globalmente no euclídeos que sin embargo son localmente euclídeos. Los sistemas de coordenadas totalmente generales son difíciles y en general no tienen propiedades que los hagan interesantes. Una clase especial de estos son las coordenadas ortogonales. Un sistema de coordenadas será ortogonal si los vectores tangentes a las curvas coordenadas xi son ortogonales, es decir, si:
Donde g(, ) es el tensor métrico del espacio donde se definen las coordenadas.
Véase también
[editar]Bibliografía
[editar]- Wald, Robert (1984). General Relativity (en inglés). The University of Chicago Press. ISBN 0-226-87033-2. Capítulo 2.