Sea \[ X \] un espacio métrico (o topológico, da igual) discreto.
Para ver que es totalmente disconexo, hay que ver que cualquier conjunto \[ A \subseteq X \] con más de un punto no es conexo. Como todos los subconjuntos de \[ X \] son abiertos (y cerrados), puedes considerar un punto \[ a \in A \] y tienes que \[ \{a\} \] y \[ A\setminus \{a\} \] son abiertos disjuntos no vacíos con unión \[ A \], luego \[ A \] no es conexo.
Por otro lado, hay que ver que todo espacio métrico es localmente conexo. Esto quiere decir que todo punto está contenido en un abierto conexo. Pero en un espacio discreto todo punto es abierto y por otro lado un conjunto con un único punto es siempre conexo, así que ya estamos.
