Proof That a Function From a Discrete Topology to a Subtopology is Continuous

Theorem

Ifis the discrete topology on a setandis a function fromto a subtopologythenis continuous.

Proof

Take any open set inthenis open inbecauseis the discrete topology onso that each subset ofis open.

To give a trivial example, takethen

and

henceis continuous.