Questions tagged [second-countable]
For questions about second-countable topological spaces, i.e., space with countable base.
198 questions
4
votes
1
answer
113
views
How to show that $\{U_{n,i} \cap V_{n,i}\}_{i,n \geq 1}$ is a countable base for the topology on $\mathcal G\ $?
Let $\mathcal G$ be a topological groupoid i.e. $\mathcal G$ is a non-empty set endowed with a locally compact Hausdorff, second countable topology together with a distinguished subset $\mathcal G^{(2)...
- 2,542
1
vote
1
answer
78
views
X metrizable iff homeomorphic to a closed subspace of $[0,1]^{w}$
I am studying for an exam and in a recommended exercise I have to show the following equivalence:
$X$ is a compact Hausdorff space with a countable basis iff $X$ is homeomorphic to a closed subspace ...
- 35
3
votes
2
answers
58
views
Is every second-countable weakly locally compact space also locally compact?
A second countable space has a countable basis. A weakly locally compact space has a compact neighborhood for each point of the space; in particular, every compact space is weakly locally compact. A ...
- 8,151
3
votes
0
answers
39
views
Countable complement extension topology; union of open sets
[From 'Counterexamples in Topology']1
Given $\cup_{\alpha \in \Lambda}(U_\alpha-C_\alpha)$, where $U_\alpha$ is an usual open set and $C_\alpha$ a countable set, I'd like to show that it's still an ...
- 1,163
1
vote
1
answer
40
views
Nested transfinite sequence of closed sets in second countable spaces
If a space with countable basis has a well ordered (transfinite) sequence of nested closed sets, then it contains at most a countable number of distinct elements.
This is to be found in p. 59 of K.S. ...
- 165
0
votes
1
answer
54
views
The countability of the Cantor-Bendixson rank in Polish spaces
I've been studying the Cantor-Bendixson theorem and have some questions about the proof of the countability of the Cantor-Bendixson rank in Polish spaces. I would greatly appreciate your insights on ...
- 105
2
votes
1
answer
84
views
Find an example of connected topology for finite space $\{1,...,n\}$ that conforms with the intuition of a commoner.
The most common topology for finite space is the discrete topology, which is clearly not connected.
There are some other discussion on this site, which give many example topology of finite space and $\...
- 862
0
votes
1
answer
81
views
Countable many copies of $[0,1]$
Is $[0,1]^{\mathbb{N}}$ is separable? I’m trying to construct a countable basis from a countable basis of $[0,1]$ to show is separable but i’m not sure if i understand correctly the space.
My teacher ...
- 33
1
vote
1
answer
81
views
Can any non-empty open subset of $\mathbb R^n$ be written as a countable union of open balls whose centres belong to the open set itself?
Consider an arbitrary non-empty open set $\Omega \subset \mathbb R^n$. Is it true that one can find a countable collection of open balls $(B(x_l,r_l))_{l \in \mathbb N}$, where $x_l \in \Omega$ and $...
- 1,217
0
votes
1
answer
71
views
Proof about a property of $\mathbb{R}$
The result that I want to prove is the following:
Let's associate to each $x\in \mathbb{R}$ a number $r_{x}>0$. Then there is $M\in \mathbb{N}$ and a sequence $ \left( x_{n} \right)_{n\in \mathbb{N}...
- 151
5
votes
1
answer
95
views
Is a $\sigma$-locally finite collection of open sets locally countable?
Problem
I encountered this statement on nLab, which says that weakly Lindelöf spaces with a $\sigma$-locally finite basis are second-countable. The original proof given below the statement is
Proof. ...
- 3,184
2
votes
1
answer
96
views
If a topological space X is not first countable, is it second countable?
I know that topological space is first countable if each point has a countable neighborhood basis. A neighborhood basis at a point. Consider the following topological space, $X=R$ with $\mathcal T=\{A\...
- 21
0
votes
0
answers
158
views
Support of function
As reported in https://en.wikipedia.org/wiki/Support_(mathematics), for a function $f:X \rightarrow \mathbb{R}$ we can define some notion of $supp(f)$, in particular:
If $X$ is only a set, we define ...
- 365
4
votes
2
answers
159
views
Does there exist a second-countable locally connected space with no countable basis of connected sets?
Space $X$ is called locally connected if it has a basis consisting of connected sets.
It's called second-countable if it has a countable basis.
If $X$ is both locally connected and second-countable, ...
- 11.9k
1
vote
1
answer
86
views
Is every second countable locally compact Hausdorff space normal?
I know that there are locally compact Hausdorff spaces that aren't normal. Are there examples which are second countable?
- 283
6
votes
1
answer
199
views
Why is a Countable Basis Needed in This Proof?
My question is regarding the Theorem in Munkres that states: Every Regular Space with a Countable Basis is Normal. Before reading the proof in Munkres, I tried to prove it myself and came up with a &...
- 191
2
votes
0
answers
27
views
For non second-countable TVS, is the sum of measurable functions again measurable? [duplicate]
Let $(\Omega, \mathcal A)$ be a measurable space and $E$ a topological vector space. Let $f,g:\Omega \to E$ be measurable. I already proved that
Theorem $E$ is second-countable, then $f+g$ is ...
- 17.9k
0
votes
0
answers
45
views
Prove that the following properties are all finitely productive
The question goes as follows:
Prove that the following properties are all finitely productive
(1) $T_0$ and $T_1$
(2) Separable
(3) First Countable
(4) Second Countable
(5) Finite (i.e., the ...
- 481
4
votes
2
answers
550
views
Locally compact 2nd countable Hausdorff space and complete metrizability
I was recently trying to verify certain things in the setting of Locally compact 2nd countable Hausdorff spaces. I thought that this is a natural collection of spaces more general than metric spaces, ...
- 8,064
2
votes
0
answers
213
views
Quotient topology, product topology and subspace topology [closed]
Let $S$ be the set $\mathbb R^2\setminus\{(0, y) \mid y \neq 0\}$.
Let $\tau_1$ denote the subspace topology on $S$ induced from the usual topology of $\mathbb{R}^2$.
Now, consider the surjective map $...
- 47
0
votes
1
answer
96
views
Arbitrary union of measure $0$ open sets has measure $0$ in a separable metric space
Let $X$ be a separable metric space, with $(X, \tau)$ the corresponding topological space, and let $\mu$ be a (positive) measure on $(X, \mathcal{B}(X))$, where $\mathcal{B}(X)$ is the Borel $\sigma-$...
1
vote
1
answer
67
views
Prove that $S^2$ has a countable basis $\{U_n\}$ implies that $P^2$ has a countable basis $\{p(U_n)\}$.
The Problem: Let $p: S^2\to P^2$ be the quotient map from the $2$-sphere $S^2$ to its projective plane $P^2$. Then $S^2$ has a countable basis $\{U_n\}$ implies that $P^2$ has a countable basis $\{p(...
- 1,487
2
votes
0
answers
52
views
How many second-countable $T_1$ spaces are there? [duplicate]
How many second-countable $T_1$ spaces, up to homeomorphism, are there?
Let $X$ be a second-countable $T_1$ space. Since $X$ is second-countable, there are at most $\beth_1$ open sets in $X$. And ...
- 2,049
3
votes
1
answer
70
views
Are first and second countability preserved under intersection of topologies?
For a given set $X$ endowed with two topologies $\mathcal{T}$ and $\mathcal{T}'$, i.e. such that $(X,\mathcal{T})$ and $(X,\mathcal{T}')$ are two topological spaces defined on
the same $X$, it is easy ...
- 1,810
0
votes
1
answer
107
views
Proof verifying that separable metric space is second countable
Show that a separable metric space $X$ is second countable.
I’m trying to figure out whether I got this proof correct.
Since $X$ is separable there exists a countable subset $D$ such that the ...
- 11
1
vote
1
answer
34
views
Proof verification for separable metric space implies second countable.
Let $(X,d)$ be a separable metric space and let $Y \subset X$ be its countable dense subset.
Take the basis to be
$$\mathcal{B}=\{B_{\frac{1}{n}}(x): x \in Y, n \in \Bbb{Z}^+\}$$
I claim for an ...
- 4,268
1
vote
1
answer
128
views
Let $X$ be a topological space that satisfies the second axiom of countability. Show that if ...
Let $X$ be a topological space that satisfies the second axiom of countability. Show
that if $\cal{B}$ is a basis for $X$ then there is $\cal{B'} \subseteq \cal{B}$ countable such that $\cal{B'} $ is ...
- 97
2
votes
1
answer
426
views
Compact Hausdorff Space - X Second Countable iff C(X) separable
I recently stumbled across a property of compact Hausdorff spaces which is supposedly well-known, namely:
If $X$ is a compact Hausdorff space, then $X$ is second countable if and only if $C(X)$ is ...
- 1,074
3
votes
1
answer
356
views
The Borel $\sigma$-algebra generated by the product topology coincides with the product of Borel $\sigma$-algebras: where did I get wrong?
Let $(\Omega_n, \tau_n)_n$ be a sequence of metrizable topological spaces. Let $\sigma (\tau_n)$ be the Borel $\sigma$-algebra on $\Omega_n$. Let $\Omega :=\prod_{n =1}^\infty \Omega_n$ and $\pi_n: \...
- 5,991
1
vote
1
answer
327
views
Confusion about a proof of Lusin's theorem
I'm reading about Lusin's theorem in textbook Optimal Transport for Applied Mathematicians
Let us be more precise: take a topological space $X$ endowed with a finite regular measure $\mu$ (i.e. any ...
- 17.9k
0
votes
1
answer
125
views
Is the Alexandroff extension of a locally compact, second-countable space second-countable?
If $X$ is a locally compact, second-countable topological space, then is its Alexandroff extension $X^*$ also second-countable?
Our definition of locally compact is that for every $x$ in $X$, we have ...
- 1,425
1
vote
1
answer
31
views
$(\Bbb R, \tau)$ with $\tau$ defined as: $U\in \tau \iff U=\emptyset \vee 0 \in U$ is not second-countable.
Let $(\Bbb R,\tau)$ be a topological space with $tau$ is defined as:
$$U\in \tau \iff U=\emptyset \vee 0 \in U.$$
Show that $\tau$ is not second-countable.
Attempt:
The goal is to show that for any ...
user1089451
0
votes
0
answers
55
views
Borel $\sigma$-algebra with $\sigma$-finite measure: does a function vanish almost everywhere outside its essential support?
Let $(X, \mathcal B(X), \mu)$ be a $\sigma$-finite measure space with $\mathcal B(X)$ the Borel $\sigma$-algebra of a topological space $X$. The essential support of $f:X \to \mathbb R$ is defined as
$...
- 17.9k
4
votes
1
answer
346
views
Why does satisfying the countability conditions make topological spaces so nice?
Motivation for the question:
While I can appreciate the significance of Theorem 30.1 below, and also the Urysohn metrization theorem, I can't seem to understand why either of them is rooted in these ...
- 13.2k
3
votes
1
answer
388
views
Concerning topological manifolds: Are paracompact and connected locally euclidian Hausdorff spaces always second-countable?
There are different definitions for topological manifolds, sometimes second-countability or paracompactness are added to being locally euclidian Hausdorff. (Sometimes Hausdorff is also left out, but I ...
- 2,184
1
vote
2
answers
350
views
Exercise 4, Section 30 of Munkres’ Topology
Show that every compact metrizable space $X$ has a countable basis. [Hint: Let $\mathscr{A}_n$ be a finite covering of $X$ by $1/n$-balls.]
My attempt:
Approach(1): $B_n =\{ B(x, \frac{1}{n})| x\in X\...
- 4,508
1
vote
0
answers
127
views
Exercise 5, Section 30 of Munkres’ Topology
(a) Show that every metrizable space with a countable dense subset has a countable basis.
(b) Show that every metrizable Lindelof space has a countable basis.
My attempt:
(a) Since $X$ is separable, $...
- 4,508
1
vote
1
answer
119
views
Definition of Countability in Munkres’ Topology
$X$ have a countable basis at $x$, if $\exists \{U_n \in \mathcal{N}_x |n\in \Bbb{N}\}$ with the following property: $\forall U\in \mathcal{N}_x, \exists m\in \Bbb{N}$ such that $U_m\subseteq U$. If $...
- 4,508
1
vote
0
answers
115
views
Theorem 30.3 of Munkres’ Topology
Suppose that $X$ has a countable basis. Then: (a) Every open covering of $X$ contains a countable subcollection covering $X$. (b) There exists a countable subset of $X$ that is dense in $X$.
...
- 4,508
0
votes
1
answer
209
views
Prob. 5 (b), Sec. 30, in Munkres' TOPOLOGY, 2nd ed: Every metrizable Lindelof space is second-countable
Here is Prob. 5 (b), Sec. 30, in the book Topology by James R. Munkres, 2nd edition:
Show that every metrizable Lindelof space has a countable basis.
My Attempt:
Let $X$ be a metrizable Lindelof ...
- 27.2k
2
votes
1
answer
289
views
Prob. 5 (a), Sec. 30, in Munkres' TOPOLOGY, 2nd ed: Every metrizabe separable space is second-countable
Here is Prob. 5 (a), Sec. 30, in the book Topology by James R. Munkres, 2nd edition:
Show that every metrizable space with a countable dense subset has a countable basis.
My Attempt:
Let $X$ be a ...
- 27.2k
0
votes
1
answer
111
views
On second-countable space and its uncountable subset
This is Munkres Chapter 4, Section 30, Problem Number 3.
Let $X$ have a countable basis; let $A$ be an uncountable subset of $X$. Show that uncountably many points of $A$ are limit points of $A$.
My ...
- 374
0
votes
1
answer
78
views
Topology counterexamples without ordinals
I am looking for three counterexamples in general topology, namely:
A set which is sequentially closed, but not closed;
A set which is sequentially compact, but not compact;
A set which is compact ...
2
votes
3
answers
2k
views
Proof that Metric Spaces are Second Countable?
Metric spaces can be equipped with the topology given by the open sets (which in turn are defined with the help of open balls) such that metric spaces are topological spaces. Now, the definition of ...
- 732
1
vote
2
answers
268
views
Let $(E,d)$ be a metric space. Then $X$ is second-countable if and only if $X$ is Lindelöf if and only if $X$ is separable
In proving every subspace of a separable metric space is separable, I need below result. Could you check if my proof is fine?
Theorem: Let $(E,d)$ be a metric space. Then $X$ is second-countable if ...
- 17.9k
1
vote
2
answers
213
views
$f:I\rightarrow X$ where $X$ is hausdorff show that $X$ is metrizable.
This question comes from section 44 problem 4 of Munkres.
Let $X$ be a Hausdorff space. Let $I=[0,1]$. Show that if there is a continuous surjective map $f : I \rightarrow X$, then $X$ is compact, ...
- 346
2
votes
2
answers
107
views
Example of a topological space that has countably (but not finitely) many elements, is regular, but not 2nd countable
I'm trying to find an example of a topological space that has countably (but not finitely) many elements, is regular, but not 2nd countable.
It seems to me that if a space has countably many elements, ...
- 61
0
votes
0
answers
53
views
Chain of compact sets in locally compact space
When a topological Hausdorff space X is locally compact and second-countable (has countable weight), can we find a chain of compact sets $\{K_i: n \in \mathbb{N}\}$, where
$K_0 = \emptyset$ and
$K_n \...
- 2,640
2
votes
3
answers
2k
views
How to tell if a space is second-countable
A topological space is called second-countable iff it has a countable basis.
How to prove or at least make an assumption about whether a space does, or does NOT have countable basis? Which properties ...
- 2,640
4
votes
2
answers
289
views
Does every Lie group have at most countably many connectected components?
Some proofs in a lecture I took were motivated by this statement that "some people don't assume second countability when they define a topological manifold, but for Lie groups we get this ...
- 75