9 votos

¿Es el barrio un conjunto abierto?

Estoy leyendo un libro donde está escrito que ,

Dejemos que $(X,d)$ sea un espacio métrico cualquiera $a \in X$ entonces para cualquier $r \gt 0$ el conjunto $S_r(a)$ ={ $x \in X$ : $d(x,a) \lt r$ } se llama una bola abierta de radio $r$ centrado en $a.$ & Deje que $(X,d)$ sea un espacio métrico cualquiera y $x \in X$ . Un subconjunto $N{(a)}$ de $X$ se llama vecindad de un punto $a$ si existe una bola abierta $S_r(a)$ centrado en $a$ y contenida en $N{(a)}$ es decir $S_r(a)$ $\subseteq$ $N{(a)}$ .

Pero en Rudin ,se da que en un espacio métrico $X$ un barrio de $a$ es un conjunto $N_r(a)$ que contiene todas las q tales que $d(a,q) \lt r$ para algunos $r \gt 0$ el número $r$ se denomina radio de $a$ . Según la definición de Rudin todo barrio es un conjunto abierto. Pero según el texto que estoy leyendo, ¿dice que todo barrio es un conjunto abierto?

1 votos

Suelen existir dos definiciones de "vecindad de $a$ ." Creo que el más antiguo tiene esta connotación - sólo cualquier conjunto que contiene una bola abierta alrededor de $a.$ El más nuevo, según Rudin, tiene barrios que están abiertos y contienen $a.$ La forma más antigua tiene más utilidad cuando se habla de "continuidad en un punto", más que de continuidad en todo un espacio. Pero también resulta que la continuidad en un punto puede convertirse en continuidad en todo el espacio bajo una topología diferente, por lo que es menos relevante. Por lo tanto, creo que ahora se prefiere el enfoque de Rudin.

0 votos

Puede que me esté perdiendo algo, pero la definición de Rudin, tal y como se plantea en la pregunta, no requiere $N_r(a)$ para estar abierto, sino simplemente para contener $B(a, r)$ .

10voto

Enkidu Puntos 390

Hay diferentes nociones de vecindades flotando por ahí. Por lo general, se denomina vecindades abiertas al planteamiento de Rudin para evitar confusiones. Mientras que la que acabas de citar es simplemente la definición ordinaria de vecindad (si la gente utiliza siempre vecindades abiertas en lugar de vecindades, suele decirlo en la introducción). En general, un barrio de $x$ es sólo un conjunto $X$ tal que contiene un conjunto abierto $U$ con $x \in U$ .

En particular, cada barrio contiene un barrio abierto, por lo que pasar de los barrios generales a los abiertos contenidos en ellos no es demasiado difícil. Sin embargo, pasar a vecindades cerradas en una determinada vecindad es más difícil y es una de las razones por las que se prefiere tener un Hausdorff regular (también conocido como $T_3$ ) espacios.

0 votos

Tengo curiosidad: si se define que los barrios son necesariamente abiertos, ¿qué se hace una vez que se entra en el tema de los filtros y se quiere definir el filtro del barrio? Con la definición más permisiva, simplemente dices que el conjunto de todas las vecindades de $a$ forma un filtro, fin de la historia.

3voto

user514490 Puntos 166

Está claro que no. Toma $X = \mathbb R$ con la métrica habitual, entonces $(-1, 1]$ contiene una bola $(-1/2, 1/2)$ centrado en $0$ Así que $(-1, 1]$ es una vecindad de $0$ pero no está abierto.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X