6
$\begingroup$

I recently asked (and then answered) this question:

https://math.stackexchange.com/questions/2756777/decreasing-sequence-of-closed-sets-in-a-separable-metric-space.

In a separable metric space there is no strictly decreasing sequence of closed sets $(X_\alpha)_{\alpha<\omega_1}$, where $X_\beta\supsetneq X_\alpha$ iff $\beta<\alpha$.

This sounds a lot like the Descending Chain Condition in Algebra. I assume it comes up frequently in topology (maybe not?). In that case, is there a name for it?

Improve this question
$\endgroup$
0

1 Answer 1

Reset to default
7
$\begingroup$

For any topological space $X$, the following statements are easily seen to be equivalent:
(1) there is no strictly decreasing $\omega_1$-sequence of closed sets in $X$;
(2) there is no strictly increasing $\omega_1$-sequence of open sets in $X$;
(3) every open subspace of $X$ is Lindelöf;
(4) every subspace of $X$ is Lindelöf.

Spaces satisfying those equivalent conditions are called hereditarily Lindelöf spaces by some, strongly Lindelöf spaces by others.

Improve this answer
$\endgroup$
1
  • $\begingroup$ Yes, I wrote that in the comment of his answer too. Note that the dual statement (with decreasing open sets) is equivalent to hereditarily separability. Also, left and right separated sequences could be considered. It often comes up when reasoning about $L$-spaces and $S$-spaces. $\endgroup$
    – Henno Brandsma
    Commented Apr 29, 2018 at 22:14

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .