VECINDADES

INTRODUCCION

Sea un espacio pseudomtrico (por lo general se toma un espacio mtrico, pero basta con que sea pseudodistancia). Sea un nmero real . Sea . Se define la bola abierta de centro y radio (o simplemente bola de centro y radio ) como el conjunto .

Este conjunto tiene distintas maneras de denotarse. La usual y universal es . A veces, si en el espacio existen distintas (pseudo-)distancias definidas, se hace hincapi en qu (pseudo)distancia se est usando para definir el conjunto, utilizando esta notacin: textos se denota sin embargo por . . En algunos

En Anlisis Funcional, cuando se trabaja con espacios normados se prefiere la notacin notacin genera). para denotar la bola abierta. As, denota a la bola de centro y radio . La

se reserva para las bolas cerradas (con el peligro de confusin que eso

Cuando hablamos de espacios eucldeos, la bola es "redonda", en el sentido intuitivo del trmino, por lo que la bola de centro y radio coincide en esos casos con los puntos encerrados en el interior de una superficie esfrica. En el caso particular del plano, la figura entonces obtenida (es decir, el conjunto centro y radio , razn por la cual se denota por se da en particular en Variable Compleja, siendo entonces la ) es el disco (abierto) de . Ntese que esta situacin

notacin (donde representa el mdulo de ). Aunque no es estndar, s es usual encontrar textos en los que denota al disco de radio unidad centrado en el origen, i.e., .

DESARROLLO DEL TEMA Vecindades

Ahora estamos en capacidad de definir el concepto de vecindad de un Punto en un espacio topolgico. .1 Definicin. Sean X un espacio topolgico y x X. Un subconjunto V de X es una vecindad de x si existe un conjunto abierto A tal que x A y A . Denotamos por V(x) el conjunto de todas las vecindades de x. Ntese que un subconjunto A de un espacio topolgico X es un conjunto Abierto si y solo si A es vecindad de cada uno de sus puntos. El siguiente resultado resume las propiedades ms importantes de las 2 Proposicin. Sea (X, r) un espacio topolgico. 1. x V para cada V V(x). 2. Si U, V V(x) entonces U \ V V(x). 3. Si U V(x) entonces existe V V(x) tal que U V (y) para cada yV. 4. Si U V(x) y U _ V entonces V V(x). Demostracin. 1. La primera afirmacin es consecuencia inmediata de la definicin de Vecindad. 2. Si A, B r, x A, x B, A c U y B c V entonces A B r, X A B y A B c U V. 3 k Puesto que U V(x) existe V r tal que x V y V c U. Entonces para cada y V, U V(y).

4. Si A r es tal que x A y A c U entonces tambin A c V y As V V(x). 3Proposicin. Sea X un conjunto. Si para cada x X se ha asignado Una coleccin V(x) de subconjuntos de X tal que: 1. x 2 V para cada V V(x), 2. si U, V V(x) entonces U V V(x), 3. si U V(x) entonces existe V V(x) tal que U V (y) para cada yV,

4. si U V(x) y U c V entonces V V(x), Entonces existe una topologa sobre X tal que para cada x X la coleccin V(x) es precisamente la coleccin de vecindades de x. Demostracin. Diremos que un conjunto A c X es abierto si para cada x A existe V V(x) tal que V c A. Demostraremos ahora que la coleccin De conjuntos abiertos es una topologa sobre X y que la coleccin de Vecindades de cada x X es V(x). 1. Es inmediato que y X son conjuntos abiertos. 2. Si A y B son conjuntos abiertos y si x A B, existen U, V V(x) Tales que U c A y V c B. Por hiptesis U V V(x) y puesto que U V c A B, A B es un conjunto abierto. 3. Si A es una familia de conjuntos abiertos y x A entonces x A Para algn A A. Existe V V(x) tal que V c A, as V c U A y se Concluye que U A es un conjunto abierto. Entonces la coleccin r de conjuntos abiertos es una topologa sobre X. Por otra parte, si W es una vecindad de x existe A r tal que x A y A c W. Como A r, existe V V(x) tal que V c A, entonces V c W, Luego W V(x). De manera recproca, si V 2 V(x) y si adems U = {y V: V es una vecindad de y}, Entonces U es un conjunto abierto que contiene a x y est contenido en V.

INTERPRETACION GEOMETRICA Del Anlisis de estas funciones puede extraerse la idea intuitiva de que el lmite de una Funcin f, cuando x Tiende a x0, es L si puede lograrse que f(x) est tan prximo a L como se desee, siempre que se tomen valores De x lo suficiente prximos a x0. Esto significa que la distancia entre f(x) y L puede hacerse tan pequea Como se desee y de aqu que para cada nmero positivo , por pequeo que este sea, se tenga que: | f(x) - L | < "http://www.ecured.cupara ciertos valores de x"http://www.ecured.cu. Podemos concluir que para cada > 0 debemos encontrar un nmero > 0 de tal forma que para todo x Satisfaga 0 < | x - x0 | < se tenga | f(x) - L | < . Si para todo > 0 se puede hallar este nmero > 0, diremos que el Lmite de la funcin f cuando x tiende a x0 es L

PROPIEDADES
Toda bola abierta es un conjunto abierto. El conjunto de todas las bolas abiertas de un espacio pseudomtrico ( ) forman una base de la topologa asociada a la pseudodistancia. Si consideramos un punto cualquiera del espacio y lo fijamos (por ejemplo, el punto ), el conjunto de bolas abiertas centradas en ( ) forman una base de entornos de concreto es una base de entornos abiertos, conexos, conexos por caminos y simplemente conexos. Si el espacio es adems un espacio vectorial topolgico, tambin es base de entornos convexos. De hecho, podemos tomar la siguiente base de entornos: que (adems de tener todas las propiedades antedichas) es numerable. Esto prueba que todo espacio pseudomtrico cumple el Primer. Si el espacio es un espacio normado, toda bola abierta es homeomorfa al espacio. En matemtica (en concreto en topologa y en las ramas que la utilizan), una bola cerrada es un conjunto de puntos que distan de otro no ms que un cierto radio. Es un concepto fundamental en el Anlisis. . En

Toda bola cerrada es un conjunto cerrado. El conjunto de todas las bolas cerradas de un espacio pseudomtrico ( ) no forman una base de los cerrados de la topologa asociada a la seudodistancia.Sin embargo, si consideramos un punto cualquiera del espacio y lo fijamos (por ejemplo, el punto ), el conjunto de bolas cerradas centradas en ( ) forman una entornos de . En concreto es una base de entornos cerrados, compactos, conexos, conexos por caminos y simplemente conexos. Si el espacio es adems un espacio vectorial topolgico, tambin es base de entornos convexos. De hecho, podemos tomar la siguiente base de entornos: que (adems de tener todas las propiedades antedichas) es numerable. Esto prueba que todo espacio pseudomtrico cumple el Primer Axioma de Numerabilidad.

EJERCICIOS

1. Suponga que T1 y T2 son dos topologas sobre el mismo conjunto X y Que T1 es ms fina que T2. Compare las colecciones de vecindades de un Mismo punto en los dos espacios topolgicos. 2. Sea X un espacio topolgico y suponga que para cada x X la coleccin B(x) es un sistema fundamental de vecindades de x. Pruebe los Siguientes hechos: a) Si V B(x), entonces x V. b) Si V1, V2 B(x), entonces existe V3 B(x) tal que V3 c V1 V2. c) Si V B(x), existe U B(x) tal que s y U entonces W c V Para algn W B (y). d) Un subconjunto A de X es abierto si y solo si contiene una vecindad Bsica de cada uno de sus puntos. 3. Sea t = {(x, y) R2: y 0}. Para cada z = (x, y) t considere La coleccin B (z) definida de la siguiente manera: Si y > 0 B (z) es la Coleccin de todas las bolas abiertas usuales centradas en z con radio Menor o igual que y y si y = 0, V (z) es la coleccin de todos los Conjuntos de la forma {z} U A donde A es una bola abierta contenida en t tangente al eje real en z. Demuestre que estas colecciones satisfacen Las hiptesis de la Proposicin. 4. Para cada punto z del plano definimos B (z) como la coleccin de todos Los conjuntos de la forma {z} U A donde A es una bola abierta usual, Centrada en z, de la cual se ha removido un nmero finito de segmentos De lnea que pasan por z. Demuestre que estas colecciones satisfacen Las hiptesis de la Proposicin. 5. Para cada nmero real x distinto de 0 definimos B(x) como la coleccin De todos los intervalos abiertos centrados en x mientras que los elementos De B (0) sern los conjuntos de la forma (, n) U (, ) U (n, ) Donde n N y > 0. Demuestre que estas colecciones satisfacen las Hiptesis de la Proposicin 6. Consideremos el conjunto R de todas las funciones definidas del intervalo I = [0, 1] en R. Para cada f R definimos B (f) como la coleccin de todos los conjuntos de la forma U (f, F, ) = {g R: |g(x) f(x)| < , para cada x F} donde F es un subconjunto finito de I y > 0. Demuestre que estas colecciones satisfacen las hiptesis de la Proposicin.