Proof That a Non Constant Continuous Function Exists on a T4 Space Containing More Than One Point

Theorem

Ifis a T4 space containing more than one point, then there exists a non constant continuous function

Proof

Supposeare distinct points. Sinceis T4 it must be normal and T1.

For any T1 space

and

so that any singleton set is closed. Sinceandare distinctandare disjoint.

Therefore, sinceis normal a continuous functionexists such that and

Henceis a continuous non constant function frominto