How to show 2 bases generate the same topology?

Solution 1:

If $\mathcal B$, $\mathcal B'$ are bases for topologies $\mathcal T$, $\mathcal T'$ on $X$, then $\mathcal T\subset \mathcal T'$ if and only if for each $B\in\mathcal B$ and $x\in B$, there is a $B'\in\mathcal B'$ such that $x\in B'\subset B$. To remember this, here is the analogy used in Munkres's Topology:

It may be easier to remember if you recall the analogy between a topological space and a truckload of gravel. Think of the pebbles as the basis elements of the topology; after the pebbles are smashed to dust, the dust particles are the basis elements of the new topology. The new topology is finer than the new one, and each dust particle was contained inside a pebble, as the criterion states.

So, $\mathcal T=\mathcal T'$ if and only if this condition is met for both bases.

Solution 2:

Suppose the bases are $\mathcal{B_1}$ and $\mathcal{B_2}$, generating $\mathcal{T_1}$ resp. $\mathcal{T_2}$.

Then $$\forall B_1 \in \mathcal{B_1} \forall x \in B_1 \exists B_2 \in \mathcal{B_2}: x \in B_2 \subseteq B_1$$ is equivalent to $\mathcal{T_1} \subseteq \mathcal{T_2}$.

So for equality we need this condition and the reverse $$\forall B_2 \in \mathcal{B_2} \forall x \in B_2 \exists B_1 \in \mathcal{B_1}: x \in B_1 \subseteq B_2$$ as well.

Solution 3:

Suppose you have to bases $\mathcal{B}$ and $\mathcal{B}'$ which generate $\mathcal{T}$ and $\mathcal{T}'$ respectively. We want to show that $\mathcal{T}=\mathcal{T}'$. Notice that if $\mathcal{B}\subseteq\mathcal{T}'$, then $\mathcal{T}\subseteq\mathcal{T}'$ (the converse is similar). Thus it suffices to show that each set in $\mathcal{B}$ can be generated from sets in $\mathcal{B}'$ and vice versa.