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.

- Definition
- Properties
- Example - failure of continuity
- Example - failure of compactness
- Convergence in the box topology
- Comparison with product topology
- See also
- Notes
- References
- External links

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).

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 **R**^{n}, in which the basis sets look like boxes.

Box topology on **R**^{ω}:^{ [2] }

- The box topology is completely regular
- The box topology is neither compact nor connected
- The box topology is not first countable (hence not metrizable)
- The box topology is not separable
- The box topology is paracompact (and hence normal and completely regular) if the continuum hypothesis is true

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.

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.

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] }

The basis sets in the product topology have almost the same definition as the above, *except* with the qualification that *all but finitely many**U _{i}* are equal to the component space

- ↑ Willard, 8.2 pp. 52–53,
- ↑ Steen, Seebach, 109. pp. 128–129.
- ↑ Scott, Brian M. "Difference between the behavior of a sequence and a function in product and box topology on same set".
*math.stackexchange.com*.

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.

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.

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 ** L^{p} spaces** are function spaces defined using a natural generalization of the

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

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.

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.

- Steen, Lynn A. and Seebach, J. Arthur Jr.;
*Counterexamples in Topology*, Holt, Rinehart and Winston (1970). ISBN 0030794854. - Willard, Stephen (2004).
*General Topology*. Dover Publications. ISBN 0-486-43479-6.

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.