Variedad diferenciable

Variedad diferenciable
En Geometra y Topologa, una variedad diferenciable es un tipo especial de variedad topolgica, a la que podemos extender las nociones de clculo diferencial que normalmente usamos en . En una variedad diferenciable M podremos definir lo que es una funcin diferenciable , y campos de tensores diferenciables (incluidos campos de vectores). El estudio del clculo en variedades diferenciables se conoce como geometra diferencial.

Introduccin
Para un desarrollo informal del tema

Generalizacin de los conceptos de curva y superficie

Una variedad diferenciable representa una generalizacin, en dos aspectos bsicos, del concepto de superficie diferenciable: Supone la generalizacin a cualquier nmero de dimensiones. En dimensin 1, una variedad es una curva. En dimensin 2, una superficie sera un ejemplo de variedad. Supone otra generalizacin al intentar definir una variedad de modo intrnseco. Por ejemplo, una curva o una superficie suelen describirse embebidas en un espacio ambiente R, pero podran describirse sin hacer alusin a l. Es ms, existen casos de variedades de dimensin 2 que no podrn verse embebidas en un espacio eucldeo de dimensin 3 (pero s de dimensin superior). Antes de hacer la segunda generalizacin, podramos pensar que una variedad es diferenciable, informalmente hablando, si cada uno de sus puntos tiene espacio tangente, es decir, no tiene "picos" ni "filos". Pero para hacer una definicin formal necesitaremos que esta no haga alusin a un posible embebimiento de la variedad en un espacio ambiente.

Un poco de historia
Riemann, en el siglo XIX, observ la importancia de definir la nocin de variedad de un modo intrnseco, sin requerir que el espacio topolgico subyacente estuviera embebido en un espacio afn. La definicin formal precisa fue introducida por primera vez por Hermann Weyl en 1913. Las variedades diferenciables aparecen en diversos campos de la Fsica: En Relatividad general, el espacio (de dimensin 3) y el tiempo forman una variedad de dimensin 4 llamada espacio-tiempo. Muchas teoras modernas, como la Teora de cuerdas, operan en una variedad de dimensin mayor que 4. En mecnica clsica, para describir la situacin de un slido rgido en el espacio se necesitan 6 parmetros (3 que describan la posicin de su centro de masas y otros 3 que corresponden a los grados de libertad rotacional). Una situacin concreta de un slido quedar descrita como un punto en una variedad diferenciable de dimensin 6, que se denomina espacio de configuracin del slido rgido.

Variedad diferenciable

Conceptos previos de variedades topolgicas

Recordemos los conceptos de variedad topolgica y de cartas: Una variedad topolgica de dimensin ANII) en el que para cada mediante Un par es un espacio topolgico (que suele suponerse Hausdorff y existe un entorno abierto homeomorfo a un abierto de para , y la : en que ),

. bajo estas condiciones se denomina carta o sistema coordenado sobre

aplicacin se denomina aplicacin coordenada para . Cada aplicacin coordenada se podr desglosar como un conjunto de n funciones coordenadas efecto, si para cada a cada convenimos en representar por le hace corresponder a la funcin -sima coordenada de . (es decir, la

denominaremos a la aplicacin como la funcin coordenada para Podramos cuestionarnos cmo sera posible determinar si una funcin topolgica es una funcin diferenciable. Aparentemente bastara exigir que observamos su expresin en otra carta: ,

definida en una variedad , su expresin en un entorno

coordenado sea diferenciable. Pero esta condicin no sera consistente si realizamos un cambio de carta. En efecto, si

necesitaremos para mantener la consistencia que el cambio de cartas representado por el ltimo parntesis sea diferenciable. Esta exigencia es la base de la definicin de estructura diferenciable.

Definicin
Estructura diferenciable
Dada una variedad topolgica de clase sobre cumpla que: 1. recubre M, es decir, , ha de ocurrir que la aplicacin , llamada cambio de cartas sea y un nmero entero , una estructura diferenciable (o atlas maximal) de sistemas coordenados sobre de manera que se es una familia

2. dados dos cualesquiera 3.

diferenciable de orden . es maximal (relativo al orden dado por la inclusin de conjuntos) entre todas las familias de entornos coordenados sobre bajo las condiciones 1 y 2.

Variedad diferenciable
Se dice que el par formado por la variedad topolgica M de dimensin n y por la estructura diferenciable F de clase r es una variedad diferenciable de dimensin y clase . Hay una cierta confusin sobre la terminologa variedad diferenciable (sin ms especificaciones) y variedad suave. En cualquier caso, para evitar confusiones, todos los textos indican qu entienden por variedad diferenciable.

Subvariedad diferenciable
Es cualquier subconjunto de una variedad diferenciable que mediante la topologa inducida de la variedad original sigue teniendo estructura de variedad diferenble. En general las subvariedades diferenciables son los subconjuntos de puntos para los cuales es posible definir localmente una funcin diferenciable f que satisfaga:

Variedad diferenciable Los conjuntos no suaves, o que satisfaendo una ecuacin similar a la anterior pero donde f no fuera diferenciable en general no constituyen subvariedades diferenciables.

Clculo en variedades
Aspectos que se generalizan
Muchas de las tcnicas del clculo multivariable son aplicables mutatis mutandis en variedades diferenciables. Podemos definir la derivada direccional de una funcin diferenciable en la direccin marcada por un vector tangente a la variedad. Dicha derivada se comportar de modo similar al de la derivada ordinaria de una funcin definida en el espacio eucldeo, al menos localmente: habr versiones del teorema de la funcin implcita y de funcin inversa. Sin embargo, la derivada direccional de un campo de vectores no estar definida de forma directa. Existen varias generalizaciones que captan ciertas caractersticas formales de la derivacin en espacios eucldeos. Las principales son: La derivada de Lie, que queda definida de forma nica por la estructura diferenciable, pero deja de satisfacer alguna de las propiedades de la derivada direccional. Una conexin afn que no est definida de forma nica, por lo que debe ser especificada como un dato aadido a la variedad. Presenta una generalizacin ms completa de las caractersticas de la derivada direccional ordinaria. Las ideas del clculo integral tambin pueden extenderse a las variedades diferenciables. Encontrarn su expresin natural en el lenguaje del clculo exterior con formas diferenciables. Teoremas fundamentales del clculo integral en varias variables, en particular el teorema de Green, el de la divergencia y el de Stokes se generalizan en un solo teorema llamado teorema de Stokes.

Vectores tangentes en un punto

En una variedad abstracta, al no considerarse embebida en ningn espacio ambiente, no podremos visualizar el espacio tangente como un subespacio afn del ambiente. La generalizacin del concepto de espacio tangente requerir concebir los vectores tangentes como operadores que representan una derivada direccional. En podemos visualizar un vector como un operador que acta

sobre una funcin direccin marcada por :

diferenciable en un entorno cualquiera de p, y nos devuelve su derivada en la

En los aos 1960 surge la definicin axiomtica de vector tangente en un punto de una variedad, como generalizacin de lo anterior. Un vector tangente a una variedad ser un operador que satisfaga: 1. la condicin de linealidad: 2. la regla de Leibniz: .

El conjunto de vectores tangentes en un punto forman un espacio vectorial de la misma dimensin que la variedad llamado espacio tangente en p y notado como . En principio, espacios tangentes en puntos distintos no son comparables. Pero podemos formar con ellos una variedad de dimensin el doble de la dimensin de M, que se llamar fibrado tangente y se notar como TM. Como conjunto,

Variedad diferenciable

Aplicaciones diferenciables
Una aplicacin se dir diferenciable si su expresin en cartas lo es. Formalmente, F es de M que lo contenga y una carta entre los sea diferenciable. diferenciable si para todo punto p de M podemos encontrar una carta de N que contenga a F(p) tales que Una aplicacin diferenciable induce un homomorfismo de espacios vectoriales

espacios tangentes respectivos. Al igual que en el clculo diferencial ordinario, podremos aproximar un objeto diferenciable (F) por un objeto lineal ( ).

Relacin con variedades topolgicas

Dada una variedad topolgica, nos podemos preguntar si admitir siempre una estructura diferenciable o si dicha estructura ser nica. En primer lugar, segn un teorema debido a Whitney, en cualquier variedad con una estructura con k>0, hay una nica estructura C compatible con la anterior. La existencia y unicidad est garantizada en dimensiones menores que 4: Toda variedad topolgica de dimensin 1, 2, o 3 tiene una nica estructura diferenciable (salvo difeomorfismos). La situacin es diferente en dimensin superior: Se conocen ejemplos de variedades topolgicas que no admiten ninguna estructura diferenciable (Teorema de Donaldson), y de otras que admiten mltiples estructuras difeomorfas (incluso una cantidad no numerable de ellas). Algunos ejemplos: Slo hay una estructura diferenciable (salvo difeomorfismos) sobre excepto cuando n = 4, caso que admite un nmero no numerable de estructuras diferenciables. La siguiente tabla muestra el nmero de estructuras diferenciables (modulo homeomorfismos que conservan la orientacin) sobre la n-esferas para dimensiones n < 19. Las esferas con estructuras diferenciables diferentes de la usual se conocen con el nombre de esferas exticas.
Dimensin 1 2 3 4 5 6 7 8 9 10 6 11 992 12 13 14 1 3 2 15 16256 16 17 18 2 16 16

Estructuras 1 1 1 ? 1 1 28 2 8

Definiciones alternativas
Existen al menos dos maneras de definir lo que es una variedad diferenciable, ambas equivalentes: por medio de parametrizaciones o por medio de aplicaciones coordenadas. La diferencia es sutil, pero importante. Adems, en el caso de espacios eucldeos existe una serie de definiciones equivalentes que son ms sencillas que en el caso general.

Definicin mediante parametrizaciones.

Sea un conjunto (en principio pudiera ser vaco, pero es un caso trivial), en la que cada y dos nmeros enteros, una una familia es un abierto y cada

aplicacin inyectiva, de manera que se cumpla que: 1. , de forma que y la aplicacin es diferenciable de orden ha de ocurrir que en (i.e.,

2. dados cualesquiera dos y son abiertos de ).

Variedad diferenciable bajo estas condiciones, cada par sistema de coordenadas de entorno coordenado de en , , y la familia de manera que se denomina parametrizacin de se denomina una carta local o para , se denomina . Si un atlas (por supuesto bajo es denominada una atlas sobre

es maximal (relativo al orden dado por la inclusin de conjuntos) entre todos los atlas sobre las condiciones 1 y 2, ya que de otra manera no sera atlas) se dice que el atlas sobre . El conjunto ) no es otra cosa que la topologa final en estructura diferenciable sobre (donde aqu para la familia

es una estructura diferenciable

representa la topologa del conjunto . Cuando se toma una un

y la topologa final en

para esa estructura diferenciable hace de

espacio topolgico que cumple el segundo axioma de numerabilidad y la propiedad de Hausdorff, entonces se dice que el par formado por el conjunto y la estructura diferenciable sobre es una variedad topolgica de dimensin y clase y clase . Cuando adems ). , entonces se dice que es una variedad diferenciable (de dimensin

Definiciones en espacios eucldeos

Existen al menos cuatro maneras (todas equivalentes entre s) de definir una variedad diferencial cuando se las considera como subconjuntos de un espacio eucldeo. Cada una de ellas es til, y dependiendo del contexto o de la dificultad del problema se usar una u otra, o incluso se combinarn varias a la vez. Representacin implcita de una variedad diferenciable Sea un espacio eucldeo de dimensin (donde (esto es, tiene rango . la llamaremos representacin implcita local de la variedad en . es un nmero entero) de manera que se la denomina y una aplicacin (donde en el punto , o existe un entorno abierto y sea de ), (es decir, . Diremos que (donde y una aplicacin ), es una variedad diferenciable en es un nmero entero) si de manera que: de dimensin para cada es un nmero entero) y clase

1. es de clase sobre 2. la matriz jacobiana de 3. A la igualdad Si existe un abierto

simplemente diremos que la variedad viene dada implcitamente por

, a la igualdad

representacin implcita global de la variedad, o se dice simplemente que la variedad viene dada implcitamente por . En este caso podemos tomar como representacin implcita local para cada punto de el abierto y la aplicacin Representacin explcita de una variedad diferenciable Sea un espacio eucldeo de dimensin (donde existen: de de , , donde se define el subespacio , de clase r sobre V (esto es, . La ltima condicin equivale a decir que , o simplemente a la aplicacin es la grfica de . A la igualdad , se le denomina representacin explcita local de la variedad )de manera que y , , donde se define el subespacio como el y sea de dimensin para cada 1. una base 2. un abierto espacio generado por 3. un abierto de como el espacio generado por 4. una aplicacin . . Diremos que (donde es una variedad diferenciable en es un nmero entero) si

es un nmero entero) y clase

Variedad diferenciable en el punto . Si existe una nica aplicacin tal que , entonces

se denomina representacin explcita glo

variedad. Representacin difeomrfica local de una variedad diferenciable Sea un espacio eucldeo de dimensin (donde existe un entorno abierto entre . la llamaremos representacin difeomrfica local de la variedad difeomorfismo local y abierto, en el punto . y sea de . Diremos que (donde y una aplicacin es una variedad diferenciable en es un nmero entero) si de manera que: es inyectiva), de dimensin para cada 1. 2. A la aplicacin es un nmero entero) y clase y su imagen (esto es,

es un difeomorfismo de clase

Hay que observar que, a consecuencia de ser

es tambin un abierto de

. Representacin paramtrica de una variedad diferenciable Sea un espacio eucldeo de dimensin (donde existe un entorno abierto de manera que: en es inyectiva, sobre (esto es, es continua, abierta e inyectiva) entre en el punto . y y sea de . Diremos que (donde es una variedad diferenciable en es un nmero entero) si , un elemento de dimensin para cada es un nmero entero) y clase

, un abierto no vaco

y una aplicacin 1. , 2. la jacobiana de 3.

es un homeomorfismo de clase

(con la topologa relativa). A la aplicacin la llamaremos representacin paramtrica local de la variedad

Referencias
William M. Boothby, An Introduction to Differenciable Manifolds and Riemannian Geometry, 2nd ed. San Diego: Academic Press, 1986. Carmo, M. do, Riemannian Geometry. Boston: Birkhuser, 1993. Currs Bosch, C. Geometria diferencial: varietats diferenciables i varietats de Riemann. Barcelona: Edicions Universitat de Barcelona, 2003. Girbau, J. Geometria diferencial i relativitat. Bellaterra: Publicacions de la Universitat Autnoma de Barcelona,1993. Hicks, N. J. Notas sobre la geometra diferencial. Barcelona: Hispano Europea, 1973. Kobayashi, S., Nomizu, K. Foundations of Differential Geometry, vol. I. New York [etc.] : Interscience, 1963. Spivak, M. A. Comprehensive Introduction to Differential Geometry. Boston [Mass.]: Publish or Perish, 1970-1975. Volumen I,II,IV. Warner, F. W. Foundations of Differentiable Manifolds and Lie Groups. New York : Springer, 1983. John M. Lee, Introduction to Smooth Manifolds, (2003) Springer Graduate Texts in Mathematics 218. Roger Penrose: El camino de la realidad, Ed. Debate, Barcelona, 2006, p. 464, ISBN 84-8306-681-5. Spivak, Michael, Clculo en variedades. Revert (1988), ISBN 84-291-5142-7 Spivak, Michael, A comprehensive introduction to differential geometry,volume I, Publish or Perish, Inc, Houston, Texas, 1999, ISBN 0-914098-87-X.

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Variedad diferenciable Fuente: http://es.wikipedia.org/w/index.php?oldid=66071457 Contribuyentes: Aliman5040, Artra, Banana04131, Davius, Durero, Gato ocioso, Genba, HiTe, Ignacio Icke, Juan Marquez, Lauranrg, Mafores, Marianov, Rigenea, TiaKarina, Usuwiki, Wewe, Xtquique, 16 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/