Topological Space Direct Product
The direct product for a collection of topological spaces Xi for i in I, some index set, once again makes use of the cartesian product
Defining the topology is a little tricky. For finitely many factors, this 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:
This topology is called the product topology. For example, directly defining the product topology on R2 by the open sets of R (disjoint unions of open intervals), the basis for this topology would consist of all disjoint unions of open rectangles in the plane (as it turns out, it coincides with the usual metric topology).
The product topology for infinite products has a twist, and this has to do with being able to make all the projection maps continuous and to make all functions into the product continuous if and only if all its component functions are continuous (i.e. to satisfy the categorical definition of product: the morphisms here are continuous functions): we take as a basis of open sets to be the collection of all cartesian products of open subsets from each factor, as before, with the proviso that all but finitely many of the open subsets are the entire factor:
The more natural-sounding topology would be, in this case, to take products of infinitely many open subsets as before, and this does yield a somewhat interesting topology, the box topology. However it is not too difficult to find an example of bunch of continuous component functions whose product function is not continuous (see the separate entry box topology for an example and more). The problem which makes the twist necessary is ultimately rooted in the fact that the intersection of open sets is only guaranteed to be open for finitely many sets in the definition of topology.
Products (with the product topology) are nice with respect to preserving properties of their factors; for example, the product of Hausdorff spaces is Hausdorff; the product of connected spaces is connected, and the product of compact spaces is compact. That last one, called Tychonoff's theorem, is yet another equivalence to the axiom of choice.
For more properties and equivalent formulations, see the separate entry product topology.
Read more about this topic: Direct Product
Famous quotes containing the words space, direct and/or product:
“What a phenomenon it has been—science fiction, space fiction—exploding out of nowhere, unexpectedly of course, as always happens when the human mind is being forced to expand; this time starwards, galaxy-wise, and who knows where next.”
—Doris Lessing (b. 1919)
“Bryan is the least of a liar I know in public life. I have always found him direct and honest, and he never goes back on what he has said to me in private—a rare thing, if found, in public men. I found him purely frank.”
—William Howard Taft (1857–1930)
“He was the product of an English public school and university. He was, moreover, a modern product of those seats of athletic exercise. He had little education and highly developed muscles—that is to say, he was no scholar, but essentially a gentleman.”
—H. Seton Merriman (1862–1903)