Variedad topológica

SUMARIO

Definición de variedad topológica. Dimensión de una variedad. Carta coordenada. Ejemplos de variedades topológicas. Grafos de funciones continuas. Esferas n-dimensionales. Espacios proyectivos. Variedades producto. Toros n-dimensionales. Propiedades topológicas de las variedades.

BIBLIO

Introduction to Smooth Manifolds.
John M. Lee. Springer Science. 2013. Capítulo 1.


En este tema estudiamos variedades diferenciables. En primera instancia, nos referimos a espacios que, localmente, son idénticos (desde un punto de vista diferenciable) a algún espacio \mathbf{R}^n y en los cuales podemos hacer cálculo. Los ejemplos más familiares, además del ya citado, serían las curvas diferenciables planas como los círculos y las parábolas (n=1). También las superficies regulares como esferas, toros, elipsoides, paraboloides, hiperboloides y las de revolución (n=2). Ejemplos de mayor dimensión incluyen las n-esferas así como los grafos de aplicaciones diferenciables entre espacios euclídeos.

Pero antes de abordar estos espacios vamos a centrarnos en las variedades topológicas. En este caso, son espacios que, localmente, son idénticos a algún espacio \mathbf{R}^n pero no pedimos diferenciabilidad. Nos conformamos con que exista una equivalencia topológica:

Definición. Variedad topológica

Sea M un espacio topológico. Diremos que M es una variedad topológica de dimensión n o una n-variedad topológica si:

VT1) M es un espacio Hausdorff: para cada par de puntos p,q distintos de M existen abiertos U,V disjuntos con p\in U y q\in V,

VT2) M es segundo axioma de numerabilidad: existe una base numerable para la topología de M, y

VT3) M es localmente euclídeo con dimensión n: cada punto de M está en un abierto que es homeomorfo a un abierto de \mathbf{R}^n.

La tercera propiedad significa exactamente que, para todo p\in M, se cumple:

i) podemos encontrar un abierto U de M con p \in U,
ii) existe un abierto \hat{U} de \mathbf{R}^n, y
iii) existe un homeomorfismo \varphi: U \rightarrow \hat{U}.

En esencia, una variedad topológica es un espacio (topológico) razonablemente bueno que satisface la propiedad (VT3) siendo ésta la más característica. La cuestión que surge es: ¿por qué exigimos entonces (VT1) y (VT2) en la definición? La respuesta es que existen construcciones extrañas de objetos que son localmente como un \mathbf{R}^n pero con propiedades desconcertantes. Así (VT1) es necesaria para la unicidad de los límites convergentes mientras que (VT2) es básica para construir las particiones diferenciables de la unidad, una herramienta que permite extender globalmente objetos definidos en local.


La dimensión de una variedad

Si M es una variedad topológica de dimensión n, escribiremos entonces \textrm{dim}M=n. Otras veces diremos únicamente: sea M^n una variedad para abreviar. Una vez aclarada la dimensión, normalmente no se vuelve a especificar como superíndice.

Observación. El problema de la dimensión

A lo largo de estas lecciones nuestras variedades tendrán una dimensión bien definida. Excluimos así, y por convenio, situaciones como la siguiente: la unión disjunta de una recta y un plano cumplen con la definición de variedad topológica pero una de las componentes conexas tiene dimensión 1 (la recta, evidentemente) mientras que el plano tiene dimensión 2.

Por otra parte, si una variedad topológica es conexa, entonces existen argumentos topológicos (fuera del alcance de este curso: invarianza del dominio de Brouwer, cohomología de de Rham) para demostrar que su dimensión es unívoca. De hecho se puede demostrar que: una variedad topológica de dimensión n no puede ser homomorfa a otra de dimensión m a menos que m=n.


Cartas coordenadas

Definición. Carta coordenada

Sea M una variedad topológica de dimensión n. Una carta coordenada (o simplemente una carta) en M es un par (U,\varphi), donde U es un abierto de M y

    \[ \varphi: U \rightarrow \varphi(U)=\hat{U} \]

es un homeomorfismo de U al abierto \hat{U} de \mathbf{R}^n. Observemos que la definición de variedad topológica nos garantiza que, para cada p \in M, siempre podemos encontrar una carta (U,\varphi) tal que p esté en su dominio. Si \varphi(p)=0 diremos que la carta está centrada en p. (Observemos que esto es siempre posible simplemente restando el vector constante \varphi(p).)

Dada una carta (U,\varphi), diremos que U es el entorno (o dominio) coordenado de cada uno de sus puntos. La aplicación \varphi puede expresarse en componentes como

    \[ \varphi(p)=(x^1(p), \ldots, x^n(p)) \]

y estas componentes se suelen llamar coordenadas locales en U donde x^j:U\rightarrow \mathbf{R} es la j-ésima componente de la carta \varphi.

A veces escribiremos cosas como (U,\varphi) es una carta conteniendo a p para indicar que (U,\varphi) es una carta en cuyo dominio p está contenido. Si queremos poner el énfasis en las funciones coordenadas (x^1, \ldots, x^n) en lugar de la aplicación \varphi, entonces escribiremos la carta como

    \[ \left(U,(x^1, \ldots, x^n)\right) \]

o, simplemente, así:

    \[ \left(U,(x^{i})\right). \]


Ejemplos de variedades topológicas

Veamos algunos ejemplos para practicar las definiciones y que nos resulten más familiares.

Grafos de funciones continuas

Sea U \subset \mathbf{R}^n un abierto y sea f: U \rightarrow \mathbf{R}^k una función continua. Se define el grafo de f como

    \[ \Gamma(f)=\{ (x,f(x)) \in \mathbf{R}^n \times \mathbf{R}^k : x \in U \}, \]

donde consideramos la topología de subespacio. Es claro que \Gamma(f) satisface (VT1) y (VT2) pues ambas propiedades son hereditarias. V.a.v.q. también se cumple (VT3): para ello tomamos

    \[ \pi_1:\mathbf{R}^n \times \mathbf{R}^k \rightarrow \mathbf{R}^n  \]

la proyección en el primer factor y definimos \varphi : \Gamma(f) \rightarrow U como la restricción de \pi_1 al subconjunto \Gamma(f) de suerte que

    \[ \varphi(x,f(x))=x, \quad (x,f(x)) \in \Gamma(f). \]

Como \varphi es la restricción de una aplicación continua, es continua. Más aún, tiene inversa continua dada por

    \[ \varphi^{-1}(x)=(x,f(x)). \]

Ejercicio: ¿Por qué la inversa es continua?

De esta forma, el conjunto \Gamma(f) es una variedad topológica de dimensión n. De hecho, \Gamma(f) es homeomorfo al propio U y tenemos así que (\Gamma(f),\varphi) es una carta o sistema de coordenadas global. Más tarde veremos que este tipo de situaciones son una rareza en el sentido de que, al menos, son necesarias dos cartas para cubrir una variedad.

Esferas

Para cada entero n\geq 0 se define la n-esfera \mathbf{S}^n como el subconjunto

    \[ \mathbf{S}^n = \{ (x^1, \ldots, x^{n+1}) \in \mathbf{R}^{n+1} : |x|=1 \} \]

donde |\cdot| denota la norma euclidiana habitual dada por

    \[ |x|=\sqrt{(x^1)^2+ \cdots + (x^{n+1})^2}. \]

Siendo \mathbf{S}^n un subespacio de \mathbf{R}^{n+1} es claro que se cumplen (VT1) y (VT2). Vamos a por (VT3). Para ello, consideramos i=1,\ldots,n+1 y definimos

    \[ U_{i}^{+}=\{ (x^1, \ldots, x^{n+1}) \in \mathbf{S}^{n} :x^{i}>0 \}. \]

(Análogamente, U_{i}^{-} es el conjunto en el que x^{i}<0.)

Definimos la aplicación

    \[ \varphi_{i}^{+}:U_{i}^{+} \rightarrow \mathbf{B}^{n} \]

dada por

    \[ \varphi_{i}^{+}(x)=\left(x^1,\ldots,\widehat{x^{i}},\ldots,x^{n+1} \right) \]

donde \mathbf{B}^{n} es la bola (abierta) unidad de \mathbf{R}^{n} y el sombrero indica que la i-ésima componente es omitida. Observemos que \varphi_{i}^{+} es una aplicación continua ya que se trata de la restricción de una proyección a un abierto de \mathbf{S}^n. Más aún: tiene una inversa continua y la vamos a encontrar ahora mismo. Para ello tomamos la función continua

    \[ f: \mathbf{B}^n \rightarrow \mathbf{R}  \]

dada por

    \[ f(u)=\sqrt{1-|u|^2} \]

donde u=(u^1,\ldots,u^n) es un punto arbitrario y |\cdot| su norma euclidiana n-dimensional. La inversa de \varphi_{i}^{+} viene dada por

    \[ \left(\varphi_{i}^{+}\right)^{-1}(u^1,\ldots,u^n)= \left(u^1,\ldots,u^{i-1},f(u),u^{i},\ldots,u^n \right). \]

Ejercicio: Comprobar que es realmente la inversa y demuestra que es una aplicación continua.

Hemos demostrado que todos los puntos pertenecientes al hemisferio U_{i}^{+} admiten un entorno abierto (el propio hemisferio) que es homeomorfo a un abierto de \mathbf{R}^{n} (de hecho, una bola abierta unidad). Como podemos cubrir la esfera mediante todos los hemisferios positivos y negativos se tiene que es una variedad topológica n-dimensional.

Ejercicio: ¿Cuántas cartas se necesitan para cubrir la esfera de dimensión n?

Ejercicio: Construye la carta \varphi_{i}^{-} de forma explícita.

Espacios proyectivos

Este es el primer ejemplo que vamos a ver de variedad topológica no-trivial en el sentido de que su estructura local euclídea no es tan evidente como en los anteriores. Lo vamos a escribir a mano. En primer lugar vamos a tratar el caso 1-dimensional para no complicarnos mucho la vida.

Y ahora nos pasamos al caso general n-dimensional.

Ejercicio: Utiliza esta última identificación del proyectivo con el cociente de la esfera bajo puntos antípodas para concluir que el espacio proyectivo n-dimensional es compacto.

Variedades producto

Sean M_1,\ldots,M_k variedades topológicas con dimensiones n_1,\ldots,n_k respectivamente. Vamos a demostrar que el espacio producto

    \[ M_1\times \cdots \times M_k \]

es una variedad topológica con dimensión n_1+\cdots + n_k. Usando argumentos de topología se puede garantizar que (VT1) y (VT2) se satisfacen (¿qué argumentos?) así que únicamente debemos probar que es localmente euclidiana.

Tomamos pues (p_1,\ldots,p_k) un punto arbitrario y elegimos una carta (U_i,\varphi_i) de M_i tal que p_i \in M_i para i=1,\ldots, k. La aplicación producto

    \[ \varphi_1 \times \cdots\times \varphi_k : U_1\times \cdots \times U_k \rightarrow \mathbf{R}^{n_1+\cdots + n_k} \]

es un homeomorfismo sobre su imagen ya que el producto de homeomorfismos es un homeomorfismo sin consideramos como topología la producto.

Toros

Para cada entero n positivo, se define el n-toro como el espacio producto

    \[ \mathbf{T}=\mathbf{S}^1\times\cdots\times\mathbf{S}^1 \]

Por la discusión anterior, sabemos que se trata de una n-variedad topológica. En el caso n=2, lo llamaremos simplemente el toro.

Ejercicio: Encuentra una carta para el n-toro.

Ejercicio: Demuestra que este 2-toro es homeomorfo al toro de revolución de la geometría de tercero de superficies.


Propiedades topológicas de las variedades

Como espacios topológicos, las variedades son muy especiales y comparten muchas propiedades con el espacio \mathbf{R}^n. Vamos a repasar algunas de estas características. Así, si M es una variedad topológica, entonces, respecto a la conexión se tiene que:

1) M es localmente arco-conexa,
2) M es conexa si, y sólo si, es arco-conexa,
3) Las componentes conexas de M coinciden con las componentes arco-conexas, y
4) M tiene, como mucho, una cantidad numerable de componentes conexas, cada una de las cuales es un abierto de M y una variedad topológica conexa.

En cuanto a compacidad únicamente podemos afirmar que las variedades son localmente compactas (repasar la definición de topología de segundo). Hay otra propiedad más sofisticada que cumplen siempre las variedades: son paracompactas. No obstante, no vamos a profundizar más en este tema.

Deja una respuesta