Intereting Posts

knowledge needed to understand Fermat's last theorem proof
Generalization of $\lfloor \sqrt n+\sqrt {n+1}+\sqrt{n+2}+\sqrt{n+3}+\sqrt{n+4}\rfloor=\lfloor\sqrt {25n+49}\rfloor$
Proving Binomial Identity without calculus
Drawing subgroup diagram of Dihedral group $D4$
Constructing a cyclic code with a given minimum distance
How to prove $(a-b)^3 + (b-c)^3 + (c-a)^3 -3(a-b)(b-c)(c-a) = 0$ without calculations
Random Variable
Regarding Ladder Operators and Quantum Harmonic Oscillators
How was this approximation of $\pi$ involving $\sqrt{5}$ arrived at?
Showing that a function is a tensor
Ideal class group of $\mathbb{Q}(\sqrt{-65})$
What is the most elegant proof of the Pythagorean theorem?
Sum over all non-evil numbers
Does one necessarily need an MS in Math before taking a PhD in Math?
The set of natural numbers that don't belong to a set

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?

- Is an “open system” just a topological space?
- prove Taylor of $R(a)$ converges $R$ but its sum equals $R(a)$ for $a$ in interval.Which interval? Pls I'm glad to give an idea or hint?:
- Prove that open half planes are open sets
- Proofs in Linear Algebra via Topology
- Countable-infinity-to-one function
- Prove that a set consisting of a sequence and its limit point is closed

- Two definitions of locally compact space
- $(X,\tau)$ needs to be $T_1$ in order to guarantee that $A'$ is closed?
- Compact sets in regular topological spaces
- Alexander Polynomial of the stevedore knot using Fox's free calculus
- Topologist's sine curve is not path-connected
- Genus of a curve: topology vs algebraic geometry
- Prove that a compact metric space is complete.
- For which topological spaces $X$ can one write $X \approx Y \times Y$? Is $Y$ unique?
- Explanations of Lebesgue number lemma
- When is a quotient by closed equivalence relation Hausdorff

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$.)

- Real Numbers to Irrational Powers
- show that $\int_{0}^{\infty}\frac{x\cos ax}{\sinh x}dx=\frac{\pi^2}{4} \operatorname{sech}^2 \left(\frac{a\pi}{2}\right) $
- Is every $F_{\sigma\delta}$-set a set of points of convergence of a sequence of continuous functions?
- Norm inequality for sum and difference of positive-definite matrices
- Obstructions to lifting a map for the Hopf fibration
- How important is it to remember computational tricks as a pure mathematician?
- Prove that function is homeomorphism.
- Sequence converges iff $\limsup = \liminf$
- How to prove that $\frac{\zeta(2) }{2}+\frac{\zeta (4)}{2^3}+\frac{\zeta (6)}{2^5}+\frac{\zeta (8)}{2^7}+\cdots=1$?
- Sum of two truncated gaussian
- Squarefree polynomials over finite fields
- How to check if a symmetric $4\times4$ matrix is positive semi-definite?
- When does Coh$(X)$ have enough locally frees?
- Negating A Mathematical Statement
- Generalization of Dirichlet's theorem