 Cylinder set

In mathematics, a cylinder set is the natural open set of a product topology. Cylinder sets are particularly useful in providing the base of the natural topology of the product of a countable number of copies of a set. If V is a finite set, then each element of V can be represented by a letter, and the countable product can be represented by the collection of strings of letters.
Contents
General definition
Consider the cartesian product of topological spaces X_{α}, indexed by some index α. The canonical projection is the function that selects out the α component of the product. 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 X; 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.
Definition for infinite products of finite, discrete sets
Let be a finite set, containing n objects or letters. The collection of all biinfinite strings in these letters is denoted by
where denotes the integers. The natural topology on S is the discrete topology. Basic open sets in the discrete topology consist of individual letters; thus, the open cylinders of the product topology on are
The intersections a finite number of open cylinders are the cylinder sets
Cylinder sets are clopen sets. As elements of the topology, cylinder sets are by definition open sets. The complement of an open set is a closed set, but the complement of a cylinder set is a union of cylinders, and so cylinder sets are also closed, and are thus clopen. As a result, the topology satisfies the axioms of a sigma algebra.
Definition for vector spaces
Given a finite or infinitedimensional vector space V over a field K (such as the real or complex numbers), the cylinder sets may be defined as
where is a Borel set in K^{n}, and each f_{j} is a linear functional on V; that is, , the algebraic dual space to V. When dealing with topological vector spaces, the definition is made instead for elements , the continuous dual space. That is, the functionals f_{j} are taken to be continuous linear functionals. The article on dual spaces discusses the differences between the algebraic and the continuous dual spaces.
Applications
Cylinder sets are often used to define a topology on sets that are subsets of and occur frequently in the study of symbolic dynamics; see, for example, subshift of finite type. Cylinder sets are often used to define a measure; for example, the measure of a cylinder set of length m might be given by 1/m or by 1 / 2^{m}. Since strings in can be considered to be padic numbers, some of the theory of padic numbers can be applied to cylinder sets, and in particular, the definition of padic measures and padic metrics apply to cylinder sets. Cylinder sets may be used to define a metric on the space: for example, one says that two strings are εclose if a fraction 1ε of the letters in the strings match.
Cylinder sets over topological vector spaces are the core ingredient in the formal definition of the Feynman path integral or functional integral of quantum field theory, and the partition function of statistical mechanics.
See also
References
 R.A. Minlos (2001), "Cylinder Set", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 9781556080104, http://eom.springer.de/C/c027620.htm
Categories:
Wikimedia Foundation. 2010.