How to show 2 bases generate the same topology? I don't see anything in my topology references to show that 2 bases generate the same topology.  Is there a criteria?
 A: 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.
A: 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.
A: 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.
A: I'm guessing you have an explicit example you are trying to prove this result about? So you have two bases, $\mathcal{B} = \{B_\alpha\}_{\alpha \in \lambda}$ and $\mathcal{C} = \{C_\sigma\}_{\sigma \in \gamma}$. What you want to show is given any $B_\alpha$, there exist a collection of open sets in $\mathcal{C}$ such that $$B_\alpha = \bigcup_{\sigma \in \gamma'}C_\sigma$$ and for any $C_\sigma$ there is a collection in $\mathcal{B}$ such that $$c_\sigma = \bigcup_{\alpha \in \lambda'}B_\alpha$$ where $\gamma', \lambda'$ are just indexing sets, $\gamma' \subset \gamma$, $\lambda' \subset \lambda$. Hence for any open set in the topology generated by one basis, you know you can use the other basis to make the same open set.
