On the other hand, a metric space does not have to be second countable: we have seen before that the discrete topology on a set X always comes from a metric; when X is uncountable, the discrete topology is obviously not second countable.
Does there exists a separable metrizable space which is not second countable?
The converse does not hold: there exist metric spaces that are not second countable, for example, an uncountable set endowed with the discrete metric. Urysohn’s Theorem can be restated as: A topological space is separable and metrizable if and only if it is regular, Hausdorff and second-countable.
Is every metric space first countable?
Every metric space is first-countable. For x ∈ X, consider the neighborhood basis Bx = {Br(x) | r > 0,r ∈ Q} consisting of open balls around x of rational radius. Let X be a first-countable topological space, and A ⊆ X a subset. Let x ∈ A be in the closure of A.
Is every metric space is separable?
Abstract. We first show that in the function realizability topos RT(K2) every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every T0-space is separable and every discrete space is countable.
What is meant by second-countable?
Definition. In topology, a second-countable space, also called a completely separable space, is a topological space whose topology has a countable base.
Is every compact space second-countable?
Every compact metrizable space is second-countable.
Is every separable metric space is compact?
We also have the following easy fact: Proposition 2.3 Every totally bounded metric space (and in particular every compact met- ric space) is separable. Intuitively, a separable space is one that is “well approximated by a countable subset”, while a compact space is one that is “well approximated by a finite subset”.
Is every Hausdorff space first-countable?
It is well known that every first countable, countably compact, Hausdorff space is regular. Theorem 2.13. Let 2P denote any one of paracompact, weakly normal, normal, and completely normal, and let (X, S~) be a first countable S-space.
Is every separable metric space Compact?
What is a complete separable metric space?
A topological space S is separable means that some countable subset of S is dense in S. A subset T of a topological space is separable means that F has a countable subset which is dense in F. If a connected metric space S is locally separable^3), then S is separable.
Is every second-countable space separable?
Second-countability implies certain other topological properties. Specifically, every second-countable space is separable (has a countable dense subset) and Lindelöf (every open cover has a countable subcover). The reverse implications do not hold.
What is the difference between second countable and uncountable?
Any countable product of a second-countable space is second-countable, although uncountable products need not be. The topology of a second-countable space has cardinality less than or equal to c (the cardinality of the continuum ). Any base for a second-countable space has a countable subfamily which is still a base.
What is the difference between second countable and subspace?
A continuous, open image of a second-countable space is second-countable. Every subspace of a second-countable space is second-countable. Quotients of second-countable spaces need not be second-countable; however, open quotients always are.
Is every second-countable space separable and Lindelöf?
Specifically, every second-countable space is separable (has a countable dense subset) and Lindelöf (every open cover has a countable subcover). The reverse implications do not hold. For example, the lower limit topology on the real line is first-countable, separable, and Lindelöf, but not second-countable.
