6 votos

Verificar algunos aspectos básicos de la topología métrica

Al leer acerca de la topología general, me puse a buscar en la métrica de la topología. En un punto, en el interior de un espacio topológico $X$ se define como tal:

$${E}^{\circ}=\{p\in E\ | \ B_p(\epsilon)\subseteq E, \epsilon>0\}$$

Aquí, $B_p(\epsilon)$ es una bola con centro de $p$ y radio de $\epsilon$. Traté de verificar que este se reunió con el general de las propiedades de un interior, y no tiene mucho problema mostrando ${E}^{\circ}\subseteq E$, $(E\cap F)^{\circ}={E}^{\circ}\cap {F}^{\circ}$, y ${X}^{\circ}=X$. Sin embargo, no veo cómo ${{E}^{\circ}}^{\circ}={E}^{\circ}$. Veo que ${{E}^{\circ}}^{\circ}\subseteq {E}^{\circ}$, pero intentado, sin éxito, para ver la otra contención. Hay una razón por qué esto sigue simplemente a partir de los axiomas de lo que una métrica es?

Además, al parecer, otra manera de acercarse a esta topología es definir la familia de abrir conjuntos de $\mathcal{T}$ como aquellos que son la unión de una familia de bolas. De nuevo, traté de verificar por mí mismo. Veo que para cualquier $\mathcal{U}\subseteq\mathcal{T}$, $\cup\mathcal{U}$ es la unión de los conjuntos que cada uno puede ser representado como la unión de una familia de bolas, por lo que el conjunto de la unión, de nuevo, puede ser representado como la unión de una familia de bolas, es decir, aquellos que en cada conjunto en $\mathcal{U}$. También, $X$ puede ser representado como la unión de bolas donde puedo tomar una bola con centro de $p$ todos los $p\in X$. Finalmente, $\emptyset$ es sólo un vacío de la unión de las bolas. Sin embargo, yo era incapaz de demostrar que para un finito $\mathcal{U}\subseteq\mathcal{T}$, $\cap\mathcal{U}$ se vuelve a abrir. ¿Hay alguna forma de ver que la intersección finita puede ser representado como una unión de las bolas de las propiedades de la métrica?

4voto

Matt Dawdy Puntos 5479

Para el primer problema, muestran que por cada punto $E^{\circ}$ allí es una boludez lo que se encuentra también en $E^{\circ}$. En otras palabras, mostrar que los interiores están abiertos.

Para el segundo problema, hacer lo mismo: demostrar que para cada punto de la intersección es una boludez lo que también está en la intersección.

3voto

Bryan Roth Puntos 3592

Una sugerencia para su primera pregunta: mostrar que si $p \in E^{\circ}$, entonces existe un $\epsilon > 0$ tal que $B_p(\epsilon)$ está contenido en $E^{\circ}$. Esto demuestra que $p$ se encuentra en el interior de $E^{\circ}$, es decir, $p \in (E^{\circ})^{\circ}$. De esta forma, se muestra que si usted tiene un punto de $p$ en un abrir balón $B$, usted puede encontrar una pequeña será libre de la bola de $B'$ $p$ que está enteramente contenida en $B$.

Una sugerencia para su segunda pregunta: es suficiente para demostrar que si $B_1$ $B_2$ son dos bolas y $p \in B_1 \cap B_2$ (es decir, $p$ se encuentra en las dos bolas), entonces existe una pequeña bola de $B_3$ $p$ tal que $B_3$ contenida en $B_1$$B_2$. Esto es en realidad muy similar a la del ejercicio en el párrafo anterior.

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