The direct product for a collection of topological spaces for in some index set, once again makes use of the Cartesian product

Defining the topology is a little tricky. For finitely many factors, it is the obvious and natural thing to do: simply take as a basis of open sets to be the collection of all Cartesian products of open subsets from each factor:

That topology

1.Previous
3.Next