9
$\begingroup$

Construct an example proving that a continuous image of a second countable space may be not second countable.

I construct an example by taking two different topology on $I=[0,1]$, $(I,\mathcal{X})$ and $(I,\mathcal{Y})$ where $\mathcal{X}$ is the standard one, and $\mathcal{Y}$ is generated from the base of the open interval with end points in Cantor set. The map is the identity map.

Is my construction right? Is there any other constructions?

Added: My construction is wrong...

  • 0
    Perhaps you could elaborate on why $(I, \mathcal{Y})$ is not second countable.2012-04-24

3 Answers 3

9

Take $f: (\mathbb R, T_{Euclid}) \to (\mathbb R, T_{cof})$ the identity map from the standard topology to the cofinite topology on $\mathbb R$.

Added

To see why a basis for the cofinite topology on $\mathbb R$ cannot be countable (by contradiction) assume that you have a countable basis $B$ of $T_{cof}$. Then for every $O$ in $B$, $O^c = \mathbb R \setminus O$ is finite (by definition). Take the union $\bigcup_{O \in B} O^c$ over all $O^c$ in $B$. Then $\bigcup O^c$ is countable hence a proper subset of $\mathbb R$. Pick a point $x$ in $\mathbb R \setminus \bigcup O^c$. Then $\mathbb R \setminus \{x\}$ is open in the cofinite topology but you cannot write it as the union of sets in $B$. Hence $B$ cannot be a basis.

  • 0
    @pirriperdos I had to look it up: Apparently, the dictionary topology on $\mathbb R \times \mathbb R$ is the same as $\mathbb R_{discrete} \times \mathbb R$. So this is finer than $\mathbb R \times \mathbb R$ and it won't have a countable basis. Unfortunately, you can't take the identity map in this case since it wouldn't be continuous. As for other constructions: I don't know off the top of my head. I hope someone else can answer this.2012-04-24
3

How about a separable Banach space $X$, with $\tau$ the norm topology and $\tau_w$ the weak topology. The identity map $(X, \tau) \to (X, \tau_w)$ is continuous, and $(X,\tau)$ is a separable metric space, hence second countable, but $(X, \tau_w)$ is not even first countable.

  • 0
    @t.b. Not too terse (for now). Thank you!2012-04-25
2

This is exercise 16B.1 in Willard's General Topology: For each $n\in \Bbb N$, let $I_n$ be a copy of $[0,1]$. Let $X$ be the disjoint union of the spaces $I_n$. Identify the left hand endpoints of all the $I_n$ and let $Z$ be the resulting quotient space. The distinguished point in $Z$ has no countable nhood base, though $X$ is second countable.

  • 0
    I thought this was an excellent example. It seems really important that countable products of countable sets are uncountable (except, of course, when there are only finite $n$'s such that $|A_n| \neq 1$).2014-05-08