Indiscrete and Discrete Topology

Indiscrete Topology

The collection of the non empty set and the set X itself is always a topology on X, and is called the indiscrete topology on X. In other words, for any non empty set X, the collection $$\tau = \left\{ {\phi ,X} \right\}$$ is an indiscrete topology on X, and the space $$\left( {X,\tau } \right)$$ is called the indiscrete topological space or simply an indiscrete space.

Discrete Topology

The power set P(X) of a non empty set X is called the discrete topology on X, and the space (X,P(X)) is called the discrete topological space or simply a discrete space.

Now we shall show that the power set of a non empty set X is a topology on X. For this, let $$\tau = P\left( X \right)$$ be the power set of X, i.e. the collection of all possible subsets of X, then:

(i) The union of any number of subsets of X, being the subset of X, belongs to $$\tau $$.
(ii) The intersection of a finite number of subsets of X, being the subset of X, belongs to $$\tau $$.
(iii) $$\phi $$ and X, being the subsets of X, belong to $$\tau $$.

This shows that the power set is a topology on X.