General Definition
Consider the cartesian product of topological spaces, indexed by some index . The canonical projection is the function that maps every element of the product to its component. Then, given any open set, the preimage is called an open cylinder. The intersection of a finite number of open cylinders is a cylinder set. The collection of open cylinders form a subbase of the product topology on ; the collection of all cylinder sets thus form a basis.
The restriction that the cylinder set be the intersection of a finite number of open cylinders is important; allowing infinite intersections generally results in a finer topology. In this case, the resulting topology is the box topology; cylinder sets are never Hilbert cubes.
Read more about this topic: Cylinder Set
Famous quotes containing the words general and/or definition:
“‘A thing is called by a certain name because it instantiates a certain universal’ is obviously circular when particularized, but it looks imposing when left in this general form. And it looks imposing in this general form largely because of the inveterate philosophical habit of treating the shadows cast by words and sentences as if they were separately identifiable. Universals, like facts and propositions, are such shadows.”
—David Pears (b. 1921)
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)