Está en la página 1de 3

Captulo 1

Fundamentos matemticos
1.1. Espacios topolgicos

En esta seccin se darn algunas deniciones fundamentales sobre espacios topolgicos y espacios mtricos. Denicion 1 Denicin 1.1 Un espacio topolgico T es una pareja (T, A), con T un conjunto y A una familia de subconjuntos de T , llamados los abiertos, tales que: T-1: , T A, es decir, el vaco y todo el conjunto T son abiertos. T-2: Dada cualquier coleccin de abiertos a A,con I , siendo I un conjunto de ndices, entonces I a A, es decir, unin arbitraria de abiertos es un abierto. T-3: Dada cualquier coleccin nita de abiertos ai A, i = 1, 2, ..., n, entonces n i=1 ai A, es decir, interseccin nita de abiertos es abierto. A la familia de abiertos A se le llama la topologa de T . Claramente a todo conjunto se le puede asociar una topologa, pues basta con denir como los abiertos de T a cualquier subconjunto de T . Esta topologa es conocida en la literatura como la topologa discreta. Otra posibilidad para denir una topologa sobre cualquier conjunto es la llamada topologa trivial, cuyos abiertos se reducen al conjunto vaco y a todo el espacio. Estos dos casos extremos de espacios topolgicos no son de utilidad prctica, pero nos sirven para ilustrar situaciones y conceptos especiales que surgen en el estudio de los espacios topolgicos. Un ejemplo no trivial de una topologa lo constituye los nmeros reales R con la llamada topologa usual, en donde los abiertos estn conformados por todos los intervalos abiertos de la forma (a, b) R, con la identicacin (a, a) = y (, ) = R. 3

CAPTULO 1. FUNDAMENTOS MATEMTICOS

Denicion 2 Sean T y R espacios topolgicos. Una funcin f : T R (1.1) se dice continua, si para cualquier abierto b de R, la imagen inversa f 1 (b) es un abierto de T . Ms adelante relacionaremos esta denicin de continuidad, con la denicin usualmente utilizada en espacios mtricos, cuando relacionemos la estructura topolgica de un espacio con su estructura mtrica. Denicion 3 Sean T y R espacios topolgicos. Una funcin : T R se llama un homeomorsmo, si la funcin es continua con inversa 1 : R T continua. As, todo homeomorsmo entre espacios topolgicos transforma abiertos de un espacio topolgico en abiertos del otro espacio, y en este caso diremos que los dos espacios topolgicos son homeomorfos. Veamos dos ejemplos que ilustran porqu los espacios topolgicos extremos, el discreto y el trivial, no son de interes prctico. Dada una funcin : T R (1.4) (1.3) (1.2)

con R un espacio topolgico cualquiera y T el espacio topolgico discreto, entonces toda funcin es trivialmente continua, pues dado cualquier abierto de R su imagen inversa es un subconjunto de T , que por denicin es un abierto, mientras que si T tiene la topologa trivial, entonces ninguna funcin es continua, dado que los nicos abiertos de T son el vaco y todo el espacio. Denicion 4 Un espacio topolgico T se llama de Hausdorf o separable, si para todo par de puntos p, q T , con p 6= q , existen abiertos U y V de T , con p U y q V tal que U V = . Claramente el espacio topolgico discreto es de Hausdor, as como los nmeros reales con la topologa usual, mientras que un espacio topolgico con la topologa trivial no es un espacio topolgico de Hausdor.

1.2. ESPACIOS MTRICOS

Denicion 5 Sea T un espacio topolgico y C T un subconjunto cualquiera de T . Un recubrimiento abierto de C es una coleccin de abiertos a de T con I , siendo I un conjunto de ndices, tal que C I a . Denicion 6 Un subconjunto C T , de un espacio topolgico T se llama compacto, si dado cualquier recubrimiento abierto de C , existe un subrecubrimiento nito ai , i = 1, 2, ..., n de C , esto es C n i=1 a . Denicion 7 Un subconjunto A T , de un espacio topolgico T se llama cerrado, si su complemento, i.e., T \A, es abierto. Claramente, dependiendo de la estructura topolgica del espacio, hay conjuntos que son abiertos y cerrados a la vez, por ejemplo cualquier subconjunto de un espacio topolgico discreto. Tambin existen subconjuntos que no son ni abiertos ni cerrados, por ejemplo, en los reales con la topologa usual, cualquier intervalo semicerrado, es decir de la forma [a, b) o (a, b], no es abierto ni cerrado. Ahora, en todo espacio topolgico el vaco y todo el espacio son subconjuntos abiertos y cerrados a la vez, pues ellos son mutuamente complementarios. Se puede mostrar que en un espacio topolgico de Hausdor los nicos conjuntos abiertos y cerrados simultneamente son el vaco y todo el espacio. En el espacio de los nmeros reales R con la topologa usual, cualquier intervalo cerrado de la forma [a, b] es compacto, mientras que cualquier intervalo abierto no lo es. Ms generalmente, en R con la topologa usual, todo subconjunto cerrado y acotado es compacto. En la siguiente seccin se darn las deniciones fundamentales de espacios mtricos y su relacin con la estructura topolgica.

1.2.

Espacios mtricos

Denicion 8 Un espacio mtrico M es un conjunto de puntos con una funcin, llamada mtrica, d: MM (x, y ) 7 R d(x, y ) (1.5)

tal que: M-1: x, y M, se tiene que d(x, y ) 0, y d(x, y ) = 0 x = y . M-2: x, y M, se tiene que d(x, y ) = d(y, x). M-3: x, y, z M, se satisface la desigualdad triangular, i.e., d(x, z ) d(x, y ) + d(y, z ) (1.6)