Originally Posted by

**Drexel28** I came up with this nice little theorem, can anyone verify or deny it?

I can show my (very very long...need like six lemmas) proof, but it goes like this:

__Theorem:__: Let $\displaystyle \left\{X_j\right\}_{j\in\mathcal{J}}$ and $\displaystyle \left\{Y_j\right\}_{j\in\mathcal{J}}$ be two collections of topological spaces such that $\displaystyle X_j\approx Y_j$ for all $\displaystyle j\in\mathcal{J}$ ($\displaystyle \approx$ means homeomorphic). Then, $\displaystyle \prod_{j\in\mathcal{J}}X_j\approx\prod_{j\in\mathc al{J}}Y_j$ under the product topology.

Any comments would be nice.