Box topology

Last updated

In topology, the cartesian product of topological spaces can be given several different topologies. One of the more obvious choices is the box topology, where a base is given by the Cartesian products of open sets in the component spaces. [1] Another possibility is the product topology, where a base is given by the Cartesian products of open sets in the component spaces, only finitely many of which can be not equal to the entire component space.

Contents

While the box topology has a somewhat more intuitive definition than the product topology, it satisfies fewer desirable properties. In particular, if all the component spaces are compact, the box topology on their Cartesian product will not necessarily be compact, although the product topology on their Cartesian product will always be compact. In general, the box topology is finer than the product topology, although the two agree in the case of finite direct products (or when all but finitely many of the factors are trivial).

Definition

Given such that

or the (possibly infinite) Cartesian product of the topological spaces , indexed by , the box topology on is generated by the base

The name box comes from the case of Rn, in which the basis sets look like boxes.

Properties

Box topology on Rω: [2]

Example - failure of continuity

The following example is based on the Hilbert cube. Let Rω denote the countable cartesian product of R with itself, i.e. the set of all sequences in R. Equip R with the standard topology and Rω with the box topology. Define:

So all the component functions are the identity and hence continuous, however we will show f is not continuous. To see this, consider the open set

Suppose f were continuous. Then, since:

there should exist such that But this would imply that

which is false since for Thus f is not continuous even though all its component functions are.

Example - failure of compactness

Consider the countable product where for each i, with the discrete topology. The box topology on will also be the discrete topology. Since discrete spaces are compact if and only if they are finite, we Immediately see that is not compact, even though its component spaces are.

is not sequentially compact either: consider the sequence given by

Since no two points in the sequence are the same, the sequence has no limit point, and therefore is not sequentially compact.

Convergence in the box topology

Topologies are often best understood by describing how sequences converge. In general, a Cartesian product of a space with itself over an indexing set is precisely the space of functions from to , denoted . The product topology yields the topology of pointwise convergence; sequences of functions converge if and only if they converge at every point of .

Because the box topology is finer than the product topology, convergence of a sequence in the box topology is a more stringent condition. Assuming is Hausdorff, a sequence of functions in converges in the box topology to a function if and only if it converges pointwise to and there is a finite subset and there is an such that for all the sequence in is constant for all . In other words, the sequence is eventually constant for nearly all and in a uniform way. [3]

Comparison with product topology

The basis sets in the product topology have almost the same definition as the above, except with the qualification that all but finitely manyUi are equal to the component space Xi. The product topology satisfies a very desirable property for maps fi : YXi into the component spaces: the product map f: YX defined by the component functions fi is continuous if and only if all the fi are continuous. As shown above, this does not always hold in the box topology. This actually makes the box topology very useful for providing counterexamples many qualities such as compactness, connectedness, metrizability, etc., if possessed by the factor spaces, are not in general preserved in the product with this topology.

See also

Notes

  1. Willard, 8.2 pp. 5253,
  2. Steen, Seebach, 109. pp. 128129.
  3. Scott, Brian M. "Difference between the behavior of a sequence and a function in product and box topology on same set". math.stackexchange.com.

Related Research Articles

In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well defined limit that is within the space.

In mathematics, one can often define a direct product of objects already known, giving a new one. This generalizes the Cartesian product of the underlying sets, together with a suitably defined structure on the product set. More abstractly, one talks about the product in category theory, which formalizes these notions.

In mathematics, a metric space is a set together with a metric on the set. The metric is a function that defines a concept of distance between any two members of the set, which are usually called points. The metric satisfies a few simple properties. Informally:

In topology and related areas of mathematics, a product space is the Cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more obvious, topology called the box topology, which can also be given to a product space and which agrees with the product topology when the product is over only finitely many spaces. However, the product topology is "correct" in that it makes the product space a categorical product of its factors, whereas the box topology is too fine; in that sense the product topology is the natural topology on the Cartesian product.

Real analysis Mathematics of real numbers and real functions

In mathematics, real analysis is the branch of mathematical analysis that studies the behavior of real numbers, sequences and series of real numbers, and real functions. Some particular properties of real-valued sequences and functions that real analysis studies include convergence, limits, continuity, smoothness, differentiability and integrability.

This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology.

Uniform continuity Function limiting the "growth" of distances of outputs uniformly across its domain

In mathematics, a function f is uniformly continuous if, roughly speaking, it is possible to guarantee that f(x) and f(y) be as close to each other as we please by requiring only that x and y are sufficiently close to each other; unlike ordinary continuity, where the maximum distance between f(x) and f(y) may depend on x and y themselves.

In mathematics, the Lp spaces are function spaces defined using a natural generalization of the p-norm for finite-dimensional vector spaces. They are sometimes called Lebesgue spaces, named after Henri Lebesgue, although according to the Bourbaki group they were first introduced by Frigyes Riesz. Lp spaces form an important class of Banach spaces in functional analysis, and of topological vector spaces. Because of their key role in the mathematical analysis of measure and probability spaces, Lebesgue spaces are used also in the theoretical discussion of problems in physics, statistics, finance, engineering, and other disciplines.

In mathematics, an infinite series of numbers is said to converge absolutely if the sum of the absolute values of the summands is finite. More precisely, a real or complex series is said to converge absolutely if for some real number . Similarly, an improper integral of a function, , is said to converge absolutely if the integral of the absolute value of the integrand is finite—that is, if

General topology

In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology. Another name for general topology is point-set topology.

In the area of mathematics known as functional analysis, a reflexive space is a locally convex topological vector space (TVS) such that the canonical evaluation map from X into its bidual is an isomorphism of TVSs. Since a normable TVS is reflexive if and only if it is semi-reflexive, every normed space X is reflexive if and only if the canonical evaluation map from X into its bidual is surjective; in this case the normed space is necessarily also a Banach space. Note that in 1951, R. C. James discovered a non-reflexive Banach space that is isometrically isomorphic to its bidual.

In functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces. They are generalizations of Banach spaces. All Banach and Hilbert spaces are Fréchet spaces. Spaces of infinitely differentiable functions are typical examples of Fréchet spaces, many of which are typically not Banach spaces.

In functional analysis, the weak operator topology, often abbreviated WOT, is the weakest topology on the set of bounded operators on a Hilbert space , such that the functional sending an operator to the complex number is continuous for any vectors and in the Hilbert space.

In mathematical analysis, a family of functions is equicontinuous if all the functions are continuous and they have equal variation over a given neighbourhood, in a precise sense described herein. In particular, the concept applies to countable families, and thus sequences of functions.

In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals.

The Arzelà–Ascoli theorem is a fundamental result of mathematical analysis giving necessary and sufficient conditions to decide whether every sequence of a given family of real-valued continuous functions defined on a closed and bounded interval has a uniformly convergent subsequence. The main condition is the equicontinuity of the family of functions. The theorem is the basis of many proofs in mathematics, including that of the Peano existence theorem in the theory of ordinary differential equations, Montel's theorem in complex analysis, and the Peter–Weyl theorem in harmonic analysis and various results concerning compactness of integral operators.

Hawaiian earring topological space defined by the union of circles

In mathematics, the Hawaiian earring is the topological space defined by the union of circles in the Euclidean plane with center and radius for endowed with the subspace topology:

In topology and related branches of mathematics, total-boundedness is a generalization of compactness for circumstances in which a set is not necessarily closed. A totally bounded set can be covered by finitely many subsets of every fixed "size"

In the mathematical field of real analysis, Lusin's theorem or Lusin's Criterion states that an almost-everywhere finite function is measurable if and only if it is a continuous function on nearly all its domain. In the informal formulation of J. E. Littlewood, "every measurable function is nearly continuous".

In mathematics, the injective tensor product of two topological vector spaces was introduced by Alexander Grothendieck and was used by him to define nuclear spaces.

References