Intereting Posts

distribution of days in a week on Christmas
How do I solve a PDE with a Dirac Delta function?
Is uncountable subset of separable space separable?
Computing the product of p/(p – 2) over the odd primes
What are the rules for complex-component vectors and why?
Unconventional mathematics books
show that rational numbers with the multipiciation are not abelian finitely generated group
Congruence question with divisibility
Unique least square solutions
What does it mean for a function to be a solution of a differential equation?
prove there is no smallest positive rational number
Proving that $x$ is irrational if $x-\lfloor x \rfloor + \frac1x – \left\lfloor \frac1x \right\rfloor = 1$
Help with this limit?
Question about Cardinality
Solving recurrence relation?

Second countability implies the existence of a countable topological base.

Does it also imply that any open set in a second countable space itself is a countable union of basic open sets?

I mean, in a second countable space together with a (not necessarily countable) topological base, can every open set be written as a countable union of basic open sets?

- Example of converging subnet, when there is no converging subsequence
- What (and how many) pieces does the Banach-Tarski Paradox break a sphere into?
- When is the product of two quotient maps a quotient map?
- A relation between product and quotient topology.
- $n$-dimensional holes
- Non-Metrizable Topological Spaces

- How to prove that given set is a connected subset of the space of matrices?
- Products of Continuous functions: Topology
- Compact topological space not having Countable Basis?
- Diagonal $\Delta = \{x \times x : x \in X \}$ closed in $X \times X$ implies that $X$ is Hausdorff
- How to prove that, the set of all matrices $M_n{\mathbb R}$ with distinct eigen values is dense in $\mathbb R^n$?
- Every absolute retract (AR) is contractible
- Topology textbook with a solution manual
- Is a continuous function simply a connected function?
- Group Structure on $\Bbb R$
- Prove that intervals of the form $(a,b]$, $$, $[a,\infty)$ do not have the fixed point property.

Given any second-countable space $X$ and any base $\mathcal B$ for $X$, every open $U \subseteq X$ is the union of a countable subfamily of $\mathcal B$.

First fix a countable base $\mathcal D$ for $X$, and let $U \subseteq X$ be open.

Note that there is a $\mathcal B_U \subseteq \mathcal B$ such that $U = \bigcup \mathcal B_U$. Now for each $V \in \mathcal B_U$ and $x \in V$ there is a $W_{x,V} \in \mathcal D$ such that $x \in W_{x,V} \subseteq V$. It follows that $\mathcal D_U = \{ W_{x,V} : V \in \mathcal B_U, x \in V \} \subseteq \mathcal D$, and is therefore countable. Also, $$

U = \bigcup_{V \in \mathcal B_U} V = \bigcup_{V \in \mathcal B_U} \bigcup_{x \in V} \{ x \} \subseteq \bigcup_{V \in \mathcal B_U} \bigcup_{x \in V} W_{x,V} \subseteq U,$$ so $\bigcup \mathcal D_U = U$.

For each $W \in \mathcal D_U$ pick $V_W \in \mathcal B$ such that $W \subseteq V_W \subseteq U$ (e.g., pick any $V$ for which $W = W_{x,V}$ for some $x \in V$). Then $\mathcal B’_U = \{ V_W : W \in \mathcal D_U \}$ is a countable subfamily of $\mathcal B$. Note, too, that

$$

U = \bigcup_{W \in \mathcal D_U} W \subseteq \bigcup_{W \in \mathcal D_U} V_W \subseteq U,$$ and so $\bigcup \mathcal B’_U = \bigcup_{W \in \mathcal D_U} V_W = U$.

(In fact, some countable subfamily of $\mathcal B$ is even a base for $X$: just take $\mathcal B’ = \bigcup \{ \mathcal B’_U : U \in \mathcal D \}$ where $\mathcal B’_U \subseteq \mathcal B$ is countable with $\bigcup \mathcal B’_U = U$ for each $U \in \mathcal D$.)

- Applications of algebraic topology
- Two equivalent definitions of a.s. convergence of random variables.
- Find $v_p\left(\binom{ap}{bp}-\binom{a}{b}\right)$, where $p>a>b>1$ and $p$ odd prime.
- Finding out the number of divisors
- Minimum of a quadratic form
- Detailed proof that no essential singularity at infinity implies polynomial
- Norm of the integral operator in $L^2(\mathbb{R})$.
- P(A|C)=P(A|B)*P(B|C)?
- Why does this not seem to be random?
- How do I compute $a^b\,\bmod c$ by hand?
- A nonsplit short exact sequence of abelian groups with $B \cong A \oplus C$
- Fourier transform of $\log x$ $ |x|^{s} $ and $\log|x| $
- Neumann series and spectral radius
- How can I correct my wrong Intuition that $\forall \, x \, \in \,\emptyset : P(x) \quad $ is false?
- Hartshorne's Exercise II.5.1 – Projection formula