4 votos

En una proposición de Engelking de la Topología General

Deje $\mathcal{F}$ $\mathcal{F'}$ se filtra en un conjunto. Decimos que $\mathcal{F'}$ es más fino que el de $\mathcal{F}$ si $\mathcal{F'} \supset \mathcal{F}$.

Un punto de $x$ a de un espacio topológico $X$ es denominado clúster punto de un filtro de $\mathcal{F}$ si $x$ pertenece a la clausura de cada miembro de $\mathcal{F}$.

Es la siguiente afirmación en Engelking del libro de Topología General (1989) p.52 verdadero?

(Parte de)la Proposición 1.6.8 Si $x$ es un clúster punto de un filtro de $\mathcal{F}$, $x$ es un límite de un filtro de $\mathcal{F'}$ que es más fino que el de $\mathcal{F}$.

4voto

Andreas Blass Puntos 33024

Sí. Deje $\mathcal F'$ ser el filtro generado por la unión de $\mathcal F$ y el barrio de filtro de $x$. La suposición de que $x$ es un clúster punto de $\mathcal F$ asegura que esta $\mathcal F'$ es un filtro adecuado.

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