Discrete topology

A topological space is discrete iff every point is its own connected component

A topological space has the discrete topology iff each point is in its own connected component . #m/thm/topology

Proof

is discrete iff the following function is continuous for all

which holds iff every is disconnected from all other points.


#state/tidy | #lang/en | #SemBr