Cylinder set

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.


General definition

Consider the cartesian product X = \prod_{\alpha} X_{\alpha}\, of topological spaces Xα, indexed by some index α. The canonical projection is the function p_\alpha:X\to X_\alpha that selects out the α component of the product. Then, given any open set U\subset X_\alpha, the preimage p_\alpha^{-1}(U) 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 S=\{1,2,\ldots,n\} be a finite set, containing n objects or letters. The collection of all bi-infinite strings in these letters is denoted by

S^\mathbb{Z}=\{ x=(\ldots,x_{-1},x_0,x_1,\ldots) : 
x_k \in S \; \forall k \in \mathbb{Z} \}

where \mathbb{Z} 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 S^\mathbb{Z} are

C_t[a]= \{x \in S^\mathbb{Z} : x_t = a \}.

The intersections a finite number of open cylinders are the cylinder sets

C_t[a_0, \cdots, a_m]= C_t[a_0] \,\cap\, C_{t+1}[a_1] \,\cap \cdots \cap\, C_{t+m}[a_m] = 
\{x \in S^\mathbb{Z} : x_t = a_0, \ldots ,x_{t+m} = a_m \}.

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 infinite-dimensional vector space V over a field K (such as the real or complex numbers), the cylinder sets may be defined as

C_A[f_0, \cdots, f_m] = \{x\in V : (f_1(x),f_2(x),\cdots,f_m(x))\in A \}

where A\subset K^n is a Borel set in Kn, and each fj is a linear functional on V; that is, f_j\in (V^*)^{\otimes n}, the algebraic dual space to V. When dealing with topological vector spaces, the definition is made instead for elements f_j\in (V^\prime)^{\otimes n}, the continuous dual space. That is, the functionals fj are taken to be continuous linear functionals. The article on dual spaces discusses the differences between the algebraic and the continuous dual spaces.


Cylinder sets are often used to define a topology on sets that are subsets of S^\mathbb{Z} 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 / 2m. Since strings in S^\mathbb{Z} can be considered to be p-adic numbers, some of the theory of p-adic numbers can be applied to cylinder sets, and in particular, the definition of p-adic measures and p-adic 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


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Cylinder set measure — In mathematics, cylinder set measure (or promeasure, or premeasure, or quasi measure, or CSM) is a kind of prototype for a measure on an infinite dimensional vector space. An example is the Gaussian cylinder set measure on Hilbert space. Cylinder …   Wikipedia

  • Cylinder — most commonly refers to: Cylinder (geometry), a three dimensional geometric shape Cylinder may also refer to: Contents 1 Science and technology 1.1 Information storage …   Wikipedia

  • Cylinder lock — Europrofile Cylinder set with 2 double cylinders and one single cylinder (left) and also the screw to secure the cylinder A cylinder lock is a lock constructed with a cylinder that a locksmith can easily unscrew to facilitate rekeying.[1] The… …   Wikipedia

  • Cylinder-head-sector — Cylinder head sector, also known as CHS, was an early method for giving addresses to each physical block of data on a hard disk drive. In the case of floppy drives, for which the same exact diskette medium can be truly low level formatted to… …   Wikipedia

  • Cylinder (locomotive) — The motion on the left hand side of 60163 Tornado. The black casting to the left houses the cylinder, in which slides the piston; the piston rod is immediately above the wheel. The cylinders of a steam locomotive are the components that convert… …   Wikipedia

  • Cylinder of Nabonidus — The Nabonidus Cylinder. The Nabonidus Cylinder from Sippar is a long text in which king Nabonidus of Babylonia (556 539 BC) describes how he repaired three temples: the sanctuary of the moon god Sin in Harran, the sanctuary of the warrior goddess …   Wikipedia

  • Cylinder stresses — Circumferential stress is a type of mechanical stress of a cylindrically shaped part as a result of internal or external pressure. The classic example of circumferential stress is the tension applied to the iron bands, or hoops, of a wooden… …   Wikipedia

  • Cylinder face — Face Face (f[=a]s), n. [F., from L. facies form, shape, face, perh. from facere to make (see {Fact}); or perh. orig. meaning appearance, and from a root meaning to shine, and akin to E. fancy. Cf. {Facetious}.] 1. The exterior form or appearance… …   The Collaborative International Dictionary of English

  • Cylinder seals —     Ownership of documents, jars of oil and wine, and other precious commodities was indicated by means of a clay seal. Papyrus rolls were each folded in two and tied with a thread which was fastened with a clay seal, and the owner s special… …   Ancient Egypt

  • set-up plug —   n.    a type of loading tool shaped like a plug follower. It contains pin chambers and is used with a shove knife to load springs and top pins into a cylinder shell …   Locksmith dictionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”