MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

2 added 7 characters in body

Another nice elementary example is the rational sequence topology. For every irrational number $x$ we pick a sequence $q(x)_n$ of rational numbers, all different, that converge to $x$ (in the usual topology on $\mathbb{R}$). A topology on $\mathbb{R}$ is then defined by specifying basic neighbourhoods: a rational number $q$ has ${q}$ \{ q \}$as a basic neighbourhood (it is isolated), while an irrational number$x$has basic neighbourhoods of the form${ \{ q(x)_n : n \ge k } , \}$,$k \in \mathbb{N}$. One checks that this defines a topology in which the irrationals are closed and discrete (in itself),$\mathbb{Q}$is dense (and open), and$X$is Hausdorff and zero-dimensional (basic open sets are clopen, this uses that 2 sequences that converge to 2 different irrationals only have at most finitely many terms in common, so no basic neighbourhood can have another irrational in its closure), so Tychonov, and locally compact, as all basic neighbourhoods are compact (finite or convergent sequences). But by Jones' lemma (in a normal space, with dense set$D$and closed discrete set$A$we have that$2^{|A|} <= \le 2^{|D|}$), a proof of which can be found here, e.g.) we have that this space is not normal. 1 Another nice elementary example is the rational sequence topology. For every irrational number$x$we pick a sequence$q(x)_n$of rational numbers, all different, that converge to$x$(in the usual topology on$\mathbb{R}$). A topology on$\mathbb{R}$is then defined by specifying basic neighbourhoods: a rational number$q$has${q}$as a basic neighbourhood (it is isolated), while an irrational number$x$has basic neighbourhoods of the form${ q(x)_n : n \ge k } , k \in \mathbb{N}$. One checks that this defines a topology in which the irrationals are closed and discrete (in itself),$\mathbb{Q}$is dense (and open), and$X$is Hausdorff and zero-dimensional (basic open sets are clopen, this uses that 2 sequences that converge to 2 different irrationals only have at most finitely many terms in common, so no basic neighbourhood can have another irrational in its closure), so Tychonov, and locally compact, as all basic neighbourhoods are compact (finite or convergent sequences). But by Jones' lemma (in a normal space, with dense set$D$and closed discrete set$A$we have that$2^{|A|} <= 2^{|D|}\$), a proof of which can be found here, e.g.) we have that this space is not normal.