Back to the index. Or to the chambers

This article has 22 links. View as Cloud or List.

Loading ...

Planetmath Browser (2008—2009)

BSD licence | A django site

All articles taken from PlanetMath.org snapshot under CC-BY-SA licence.

→ The original article on PlanetMath.org

Other Formats: LaTeX

New! You can click on formulas to copy the LaTeX source to your clipboard. | Math Videos

Product Topology

Definition

Let $((X_\alpha,{\mathcal T}_\alpha))_{\alpha\in A}$ be a family of topological spaces, and let be the Cartesian product of the sets $X_\alpha$ , that is

$\begin{displaymath} Y = \prod_{\alpha\in A} X_\alpha. \end{displaymath}$

Recall that an element $y\in Y$ is a function $y\colon A\to \bigcup_{\alpha\in A} X_\alpha$ such that $y(\alpha) \in X_\alpha$ for each $\alpha \in A$ , and that for each $\alpha\in A$ the projection map $\pi_\alpha\colon Y\to X_\alpha$ is defined by $\pi_\alpha(y) = y(\alpha)$ for each $y\in Y$ .

The (Tychonoff) product topology ${\mathcal T}$ for is defined to be the initial topology with respect to the projection maps; that is, ${\mathcal T}$ is the smallest topology such that each $\pi_\alpha$ is continuous.

Subbase

If $U\subseteq X_\alpha$ is open, then $\pi_\alpha^{-1}(U)$ is an open set in . Note that this is the set of all elements of in which the $\alpha$ component is restricted to and all other components are unrestricted. The open sets of are the unions of finite intersections of such sets. That is,

$\begin{displaymath} \{\, \pi_\alpha^{-1}(U) \mid \alpha\in A\hbox{ and }U\in{\mathcal T}_\alpha \,\} \end{displaymath}$

is a subbase for the topology on

Theorems

The following theorems assume the product topology on $\prod_{\alpha\in A}X_\alpha$ . Notation is as above.

Theorem 1 Let be a topological space and let $f\colon Z\to\prod_{\alpha\in A}X_\alpha$ be a function. Then is continuous if and only if $\pi_\alpha\circ f$ is continuous for each $\alpha\in A$ .

Theorem 2 The product topology on $\prod_{\alpha\in A}X_\alpha$ is the topology induced by the subbase

$\begin{displaymath} \{ \pi_\alpha^{-1}(U)\mid \alpha\in A\mbox{ and }U\in {\mathcal T}_\alpha \}. \end{displaymath}$

Theorem 3 The product topology on $\prod_{\alpha\in A}X_\alpha$ is the topology induced by the base

$\begin{displaymath} \biggl\{ \bigcap_{\alpha\in F} \pi_\alpha^{-1}(U_\alpha) \,\... ...pha\in{\mathcal T}_\alpha\mbox{ for each }\alpha\in F\biggr\}. \end{displaymath}$

Theorem 4 A net $(x_i)_{i \in I}$ in $\prod_{\alpha\in A}X_{\alpha}$ converges to if and only if each coordinate $(x_i^{\alpha})_{i \in I}$ converges to $x^{\alpha}$ in $X_{\alpha}$ .

Theorem 5 Each projection map $\pi_\alpha\colon\prod_{\alpha\in A}X_\alpha\to X_\alpha$ is continuous and open.

Theorem 6 For each $\alpha\in A$ , let $A_\alpha\subseteq X_\alpha$ . Then

$\begin{displaymath} \overline {\prod_{\alpha\in A}A_\alpha}=\prod_{\alpha\in A}\overline {A_\alpha}. \end{displaymath}$

In particular, any product of closed sets is closed.

Theorem 7 (Tychonoff's Theorem) If each $X_\alpha$ is compact, then $\prod_{\alpha\in A}X_\alpha$ is compact.

Comparison with box topology

There is another well-known way to topologize , namely the box topology. The product topology is a subset of the box topology; if is finite, then the two topologies are the same.

The product topology is generally more useful than the box topology. The main reason for this can be expressed in terms of category theory: the product topology is the topology of the direct categorical product in the category Top (see Theorem 1 above).

Bibliography

1: J. L. Kelley, General Topology, D. van Nostrand Company, Inc., 1955.
2: J. Munkres, Topology (2nd edition), Prentice Hall, 1999.

1	Category
1	Partial Orderings Of Subobjects Of An Object
1	Frame
1	Compact
1	Topological Space
1	Closed Set
1	Open Set
1	Continuous
1	Convergent Sequence
1	Finite
1	Set
1	Relation Theory
1	Intersection
2	Categorical Direct Product
2	Basis Topological Space
2	Generalized Cartesian Product
3	Net
3	Categorical Ontology A Bibliography Of Category Theory
6	Tychonoffs Theorem
7	Open Mapping
7	Box Topology
9	Initial Topology