# K-Topology on the real line

The K-topology on the real line by taking as basis all open intervals $(a,b)$ and $(a,b)\setminus B$ where $K=\{1/n:n=1,2,...\}$ and $B\subset K$. According to this topology,the subset $\mathbb{R}\setminus K$ is open in K-topology but not open in usual topology. I wonder that it can be first countable subspace? thanks in advance

The only point at which the $K$-topology differs locally from the Euclidean topology is $0$: at every $x\in\Bbb R\setminus\{0\}$ the ordinary open intervals around $x$ are a local base at $x$ in both topologies. For $n\in\Bbb Z^+$ let
$$B_n=\left(-\frac1n,\frac1n\right)\setminus K\;;$$
then $\{B_n:n\in\Bbb Z^+\}$ is a countable local base at $0$ in the $K$-topology. Thus, $\Bbb R$ is first countable in the $K$-topology, and so is every subspace.
• @ghb: The subspace $\Bbb R\setminus K$? Yes: its relative topology is Euclidean. – Brian M. Scott Nov 27 '13 at 19:42
• @ghb: The $K$-topology is finer than the Euclidean topology; its restriction to $\Bbb R\setminus K$ is the same as the restriction to $\Bbb R\setminus K$ of the Euclidean topology. – Brian M. Scott Nov 27 '13 at 19:49