Un Concepto General de Superficies Regulares

UNFV 2014

En los espacios topolgicos abstractos, tiene perfecta cabida los conceptos de proximidad,
lmite y continuidad; pero no admite diferenciabilidad de sus funciones. En ese sentido,
son mas pobres que los espacios Rn .
Pregunta: Tenemos que restringirnos a Rn cuando estudiemos la diferenciabilidad de
funciones entre espacios de esta ndole, o se puede generalizar la estructura de espacio
topolgico para que la nocin de diferenciabilidad tenga cabida?
Respuesta: Existe una generalizacin de espacio topolgico que permite hablar de diferenciabilidad de funciones. Dicha generalizacin constituye la nocin de Variedad Diferenciable que forma parte de una rama de la Topologa llamada Topologa Diferencial.
Cuando se pretende generalizar una estructura en Matemticas, se procede de manera
que las ya conocidas sean casos particulares de las que se proponen. Pretendemos obtener
una estructura que generalize la nocin de espacio vectorial de dimensin finita, que posea
una topologa y permita aplicaciones diferenciables. Para ello se procura replicar lo que
se hace en Rn
Una funcin es diferenciable si y solo si lo es cada una de sus componentes
Ello indica que de alguna manera el nuevo espacio topolgico admite un sistema de coordenadas. El camino a seguir para lograr una adecuada generalizacin lo ofrecen los
sistemas coordenados de un conjunto.
Definicin. Sea C un conjunto y F una aplicacin de un subconjunto de C en Rn . Se
dice que F es un sistema de coordenadas o carta del conjunto C si F es inyectiva y su
imagen es un abierto de Rn en la topologa usual.
Definicin. Dos sistemas de coordenadas F y G se dirn que son coherentes (o compatibles) si G F 1 y F G1 son diferenciables en el caso de que Dom(F ) Dom(G) 6= ;
y si Dom(F ) Dom(G) = seran coherentes si toman sus valores en el mismo Rn .
De esta definicin se desprende que G F 1 es un difeomorfismo, por lo que estas dos
cartas coherentes tambin toman sus valores en el mismo Rn .
Definicin. Sea V un conjunto. Un atlas A es una coleccin de sistemas de coordenadas
de V , coherentes dos a dos y que sus dominios de definicin recubren a V . Dicho de otra
manera:
1

1. Si F A, entonces F es un sistema de coordenadas de V .

2. Si F, G A, entonces F y G son coherentes.
3. F A Dom(F ) = V .
Definicin. Sea V un conjunto y A un atlas de V . Un sistema de coordenadas de V
se dice que es admisible en relacin con el atlas A, si es coherente con todos los miembros
de A.
En particular, los elementos de A son sistemas de coordenadas admisibles.
Proposicin. Dos sistemas de coordenadas admisibles son coherentes.
Demostracin. Sean y dos sistemas de coordenadas admisibles. Si Dom()Dom(),
son coherentes por definicin. Veamos el caso contrario:
1. Si , A, son coherentes por definicin de atlas.
2. Si ,
/ A, se tiene que y son coherentes con todas las cartas F A, es decir
que F 1 , F 1 , F 1 , F 1 son aplicaciones diferenciables. Hemos de probar
que 1 y 1 son diferenciables. Para ello probaremos la diferenciabilidad en
cada punto: tomemos 1 y consideremos a Dom( 1 ). Por ser inyectiva,
existe un m V tal que
(m) = a
Por la parte 3 de la definicin de atlas, existe una carta F A, de manera que
m Dom(F ). Con esta carta, construimos las aplicaciones diferenciables F 1
y F 1 . Entonces su composicin tambin es diferenciable y verifica que
a Dom( F 1 F 1 ) = Dom( IDom(F ) 1 )
Ahora bien, como IDom(F ) 1 es restriccin de 1 y es diferenciable, resulta
que 1 es diferenciable en un entorno de a. Al ser a arbitrario, se tiene que
1 es diferenciable.
Del mismo modo se procede con 1 . Con ello se prueba que los sistemas de
coordenadas y son coherentes.
Con esta Proposicin se tiene que la unin de todos los sitemas de coordenadas admisibles
con un atlas A es, a su vez, un atlas llamado atlas maximal A0 . Obviamente A A0 .
Definicin. Un conjunto V se dice que es variedad diferenciable si est provisto de un
atlas maximal. Se llama dimensin de la variedad V a la dimensin de Rn en donde las
cartas del atlas maximal toman sus valores.
El problema que se nos plantea es la posible variacin del n para puntos distintos de la
variedad o incluso para el mismo punto. Para resolverlo necesitaremos de un teorema
cuya demostracin no se realizar.
2

Teorema (Invariancia del dominio). Si U es un abierto de Rn y f : U Rn es una

funcin inyectiva y contnua, entonces f (u) Rn es abierto.
Podemos expresar este teorema diciendo que la propiedad de ser abierto es invariante por
funciones inyectivas y contnuas; como lo mismo ocurre con la propiedad de ser conexo,
resulta que el ser abierto y conexo (dominio) es invariante por funciones inyectivas y
contnuas. De ahi el nombre del teorema.
Es muy frecuente citar la invariancia del domnio para referirse al siguiente corolario:
Corolario. Si U es un abierto de Rn y V es un abierto no vaco de Rn y n 6= m, entonces
U y V no son homeomorfos.
Obtemos por fin el resultado esperado
Teorema. Si X es una variedad topolgica, p X y , son cartas alrededor de p (es
decir, p U V ) con (U ) y (U ) abiertos de Rn y Rm respectivamente, entonces n = m.
Demostracin. Como : U (U ), : V (V ) son homeomorfismos, tambin lo
es
1 : (U V ) (U V )
Resulta de la definicin de variedad topolgica que (U V ) es abierto en Rn (no vaco
pues contiene a (p)), y tambin (U V ) es abierto en Rm (no vaco pues contiene a
(p)). La existencia del homeomorfismo 1 implica entonces que n = m.