Consider the simplest nontrivial discrete space with the discrete topology .
Let
Therefore , By Tychonoff's theorem ,
is compact and also is infinite.
But We know that the only compact discrete spaces are the finite ones .
Hence , is not discrete.
(Proved)
Comments