Loading [MathJax]/jax/element/mml/optable/BasicLatin.js

3 votos

Clausura de un AR en la topología generada por la subbase

Sea τ la topología en R dada por la subbase que consiste de intervalos abiertos (a,). Entonces tengo que determinar lo siguiente:

  1. El cierre de cualquier subconjunto de R.
  2. La propiedad de la secuencia se mantiene en esta topología. Es decir, dado cualquier xˉA, existe xnA tal que xnx.

Básicamente, este es un ejemplo de un espacio no Hausdorff en el cual se cumple la propiedad de la secuencia.

Mi intento:

Sea xˉA, entonces dada cualquier vecindad Ux de x UxA{x}. Aquí la base es la misma que la subbase. Ux=aR(a,). Asumimos que xA. Dado que, A(aR(a,)). Después de eso me quedé atascado.

2voto

pete Puntos 1

Comenzando con cierta subbase, se puede encontrar una base tomando intersecciones finitas de elementos de la subbase. Al hacer esto en este caso, aprendemos que la colección {(a,)aR} no solo es una subbase sino también una base de τ. Simplemente porque está cerrada bajo intersecciones finitas.

Los conjuntos abiertos son uniones arbitrarias de elementos de la base y en segundo lugar aprendemos que: τ={(a,)aR}{,R}

Entonces, la colección de conjuntos cerrados es: {(,a]aR}{R,}

Eso significa que la clausura de un conjunto A tendrá la forma (,sup si \sup A<\infty y será \mathbb R si \sup A=\infty.

Si x\in \bar{A} entonces x<\sup A o x=\sup A

Si x<\sup A entonces existe a\in A con $x

Si xcada U\in\tau que contiene a x$.

Esto porque U=\mathbb R o U=(y,\infty) para algún $y

Eso significa que la secuencia (x_n) prescrita por x_n=a converge a x.

Si x=\sup A y \sup A\in A entonces de la misma manera con x_n=\sup A\in A.

Si x=\sup A y \sup A\notin A entonces existe una secuencia (x_n) con x_n\in A y \lim_{n\to\infty}x-x_n=0.

Entonces para cada U\in\tau con x\in U tenemos x_n\in U para n lo suficientemente grande, entonces \lim_{n\to\infty}x_n=x.

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