Variedad diferenciable
De Wikipedia, la enciclopedia libre
En Topología y Geometría, una variedad es, intuitivamente hablando, una generalización, a cualquier número de dimensiones, del concepto de superficie. En dimensión 1, una variedad es una curva. En dimensión 2, una superficie. Una variedad es diferenciable, informalmente hablando, si cada uno de sus puntos tiene espacio tangente, es decir, no tiene "picos" ni "filos".
Tabla de contenidos |
[editar] Definición formal.
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, aunque ambas maneras de definir las variedades diferenciables son, como se ha dicho, equivalentes.
Lo importante de ambas definiciones es que, localmente, una variedad es difeomorfa a un espacio euclídeo. Con más rigor, en ambas se pone de manifiesto que, para cada punto de la variedad, existe un homeomorfismo entre un entorno del punto y un abierto de un espacio euclídeo (el mismo espacio en toda la variedad), y que la composición de dischos homeomorfismo es diferenciable.
Además, en el caso de espacios euclídeos existe una serie de definiciones equivalentes que son más sencillas que en el caso general.
Hay una cierta confusión sobre la terminología variedad diferenciable de clase r, variedad diferenciable y variedad suave. No todos los textos siguen la misma terminología. Lo que está claro es que cuando se habla de variedad diferenciable de clase r se entiende cualquiera de las dos definiciones siguientes, mientras que cuando se habla de variedad suave se entiende que es una variedad diferenciable de clase r para todos los números enteros . La confusión está en el uso que se le dé al término variedad diferenciable, pues algunos autores consideran que es lo mismo que variedad suave y otros que es lo mismo que variedad diferenciable de clase r. En cualquier caso todos los textos indican qué entienden por variedad diferenciable para evitar confusiones.
[editar] Definición mediante parametrizaciones.
Sea M un conjunto (en principio pudiera ser vacío, pero es un caso trivial), y dos números enteros, una familia en la que cada es un abierto y cada una aplicación inyectiva, de manera que se cumpla que:
- ,
- dados cualesquiera dos de forma que ha de ocurrir que y son abiertos de y la aplicación es diferenciable de orden r en Uα (i.e., ).
bajo estas condiciones, cada par (Uλ,xλ) de manera que se denomina una carta local o sistema de coordenadas de M en p, xλ se denomina parametrización de M para p, xλ(Uλ) se denomina entorno coordenado de p, y la familia es denominada una atlas sobre M. Si un atlas A es maximal (relativo al orden dado por la inclusión de conjuntos) entre todos los atlas sobre M (por supuesto bajo las condiciones 1 y 2, ya que de otra manera no sería atlas) se dice que el atlas A es una estructura diferenciable sobre M.
El conjunto (donde aquí τ(Uλ) representa la topología del conjunto Uλ) no es otra cosa que la topología final en M para la familia . Cuando se toma una estructura diferenciable A sobre M y la topología final en M para esa estructura diferenciable hace de M un espacio topológico que cumple el segundo axioma de numerabilidad y la propiedad de Hausdorff, entonces se dice que el par (M,A) formado por el conjunto M y la estructura diferenciable A sobre M es una variedad topológica de dimensión n y clase r. Cuando además r > 0, entonces se dice que (M,A) es una variedad diferenciable (de dimensión n y clase r).
[editar] Definición mediante aplicaciones coordenadas.
Un espacio localmente euclídeo de dimensión (donde n es un número entero) es un espacio topológico M con la propiedad de Hausdorff y en el que para cada existe un entorno abierto conexo y un homeomorfismo , siendo (por supuesto, Vp será conexo y abierto por ser un homeomorfismo). Un par bajo estas condiciones se denomina sistema coordenado sobre M para p, y la aplicación se denomina aplicación coordenada para p. Además, si para cada convenimos en representar por rj a la función que a cada le hace corresponder rj(q) = qj (es decir, la j-ésima coordenada de q), denominaremos a la aplicación como la función coordenada para p.
Dado un espacio localmente euclídeo M y un número entero , una estructura diferenciable F de clase r sobre M es una familia de sistemas coordenados sobre M de manera que se cumpla que:
- ,
- dados cualesquiera dos ha de ocurrir que la aplicación es diferenciable de orden r en Vβ (i.e., , donde ),
- F es maximal (relativo al orden dado por la inclusión de conjuntos) entre todos las familias de entornos coordenados sobre M bajo las condiciones 1 y 2.
Se dice que el par (M,F) formado por el espacio localmente euclídeo M y la estructura diferenciable F sobre M es una variedad topológica de dimensión n y clase r si M cumple el segundo axioma de numerabilidad. Cuando además r > 0, entonces se dice que (M,F) es una variedad diferenciable (de dimensión n y clase r).
[editar] Definiciones de variedad diferenciable en espacios euclídeos.
Existen al menos cuatro maneras (todas equivalentes entre sí) de definir una variedad diferencial cuando se las considera como subconjuntos de un espacio euclídeo. Cada una de ellas es útil, y dependiendo del contexto o de la dificultad del problema se usará una u otra, o incluso se combinarán varias a la vez.
[editar] Representación implícita de una variedad diferenciable.
Sea E un espacio euclídeo de dimensión y sea . Diremos que S es una variedad diferenciable en E de dimensión k (donde es un número entero) y clase Cr (donde es un número entero) si para cada existe un entorno abierto de x0 y una aplicación de manera que:
- Φ es de clase r sobre U (esto es, ),
- la matriz jacobiana de Φ tiene rango n − k (es decir, rang[DΦ(x0)] = n − k),
- .
A la igualdad Φ(x) = 0 la llamaremos representación implícita local de la variedad S en el punto x0, o simplemente diremos que la variedad viene dada implícitamente por Φ en x0.
Si existe un abierto y una aplicación (donde es un número entero) de manera que , a la igualdad Φ(x) = 0 se la denomina representación implícita global de la variedad, o se dice simplemente que la variedad viene dada implícitamente por Φ. En este caso podemos tomar como representación implícita local para cada punto de S el abierto y la aplicación Φ.
[editar] Representación explícita de una variedad diferenciable.
Sea E un espacio euclídeo de dimensión y sea . Diremos que S es una variedad diferenciable en E de dimensión k (donde es un número entero) y clase Cr (donde es un número entero) si para cada existen:
- una base < u1,u2,...,un > de E,
- un abierto de , donde se define el subespacio E1 como el espacio generado por {u1,...,uk},
- un abierto de , donde se define el subespacio E2 como el espacio generado por {uk + 1,...,un},
- una aplicación de clase r sobre V (esto es, )de manera que f(z0) = y0 y .
La última condición equivale a decir que es la gráfica Gr(f) de f. A la igualdad , o simplemente a la aplicación f, se le denomina representación explícita local de la variedad S en el punto x0. Si existe una única aplicación f tal que S = Gr(f), entonces f se denomina representación explícita global de la variedad.
[editar] Representación difeomórfica local de una variedad diferenciable.
Sea E un espacio euclídeo de dimensión y sea . Diremos que S es una variedad diferenciable en E de dimensión k (donde es un número entero) y clase Cr (donde es un número entero) si para cada existe un entorno abierto de x0 y una aplicación de manera que:
- Ψ es un difeomorfismo de clase r entre U0 y su imagen (esto es, es inyectiva),
- .
A la aplicación Ψ(x) = 0 la llamaremos representación difeomórfica local de la variedad S en el punto x0.
Hay que observar que, a consecuencia de ser Ψ difeomorfismo local y U0 abierto, Ψ(U0) es también un abierto de .
[editar] Representación paramétrica de una variedad diferenciable.
Sea E un espacio euclídeo de dimensión y sea . Diremos que S es una variedad diferenciable en E de dimensión k (donde es un número entero) y clase Cr (donde es un número entero) si para cada existe un entorno abierto de x0, un abierto no vacío , un elemento y una aplicación de manera que:
- ,
- la jacobiana de en t0 es inyectiva,
- es un homeomorfismo de clase r sobre V (esto es, es continua, abierta e inyectiva) entre V y (con la topología relativa).
A la aplicación la llamaremos representación paramétrica local de la variedad S en el punto x0.