Namespaces
Variants
Actions

Difference between revisions of "Tikhonov theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(TeX)
m (links)
 
Line 2: Line 2:
 
''on the compactness of products''
 
''on the compactness of products''
  
The topological product of an arbitrary set of compact spaces (cf. [[Compact space|Compact space]]) is compact. This is one of the fundamental theorems in general topology. It was established by A.N. Tikhonov in 1929. It plays a very essential role, and often a key one, in constructions in all branches of general topology and in many of its applications. In particular, it is of fundamental importance for the construction of compactifications (cf. [[Compactification|Compactification]]) of completely-regular $T_1$-spaces (that is, Tikhonov spaces). Using it one can construct the Stone–Čech compactification of an arbitrary Tikhonov space. Tikhonov's theorem allows one to exhibit standard compact spaces — the generalized Cantor discontinuum $D^\tau$, which is the product of discrete two-point sets indexed by $\tau$, and the [[Tikhonov cube|Tikhonov cube]] $I^\tau$, which is the product of $\tau$ copies of the unit interval on the real line. Here any cardinal number can be taken for $\tau$. The importance of the generalized Cantor set $D^\tau$ and the Tikhonov cube $I^\tau$ are related, moreover, to the fact that these are universal objects: Every zero-dimensional $T_2$-compactum is homeomorphic to a closed subspace of some $D^\tau$, and every $T_2$-compactum is homeomorphic to a closed subspace of some $I^\tau$.
+
The topological product of an arbitrary set of compact spaces (cf. [[Compact space|Compact space]]) is compact. This is one of the fundamental theorems in general topology. It was established by A.N. Tikhonov in 1929. It plays a very essential role, and often a key one, in constructions in all branches of general topology and in many of its applications. In particular, it is of fundamental importance for the construction of [[compactification]]s of completely-regular $T_1$-spaces (that is, [[Tikhonov space]]s). Using it one can construct the [[Stone–Čech compactification]] of an arbitrary Tikhonov space. Tikhonov's theorem allows one to exhibit standard compact spaces — the generalized [[Cantor discontinuum]] $D^\tau$, which is the product of discrete two-point sets indexed by $\tau$, and the [[Tikhonov cube]] $I^\tau$, which is the product of $\tau$ copies of the unit interval on the real line. Here any cardinal number can be taken for $\tau$. The importance of the generalized Cantor set $D^\tau$ and the Tikhonov cube $I^\tau$ are related, moreover, to the fact that these are universal objects: Every zero-dimensional $T_2$-compactum is homeomorphic to a closed subspace of some $D^\tau$, and every $T_2$-compactum is homeomorphic to a closed subspace of some $I^\tau$.
  
Tikhonov's theorem is applied in the proof of the non-emptiness of an inverse limit of compact spaces, in constructing the theory of absolutes, and in the theory of compact groups. If one takes into account its indirect applications, then almost all of general topology lies within the sphere of influence of this theorem. It is equally difficult to list its direct and indirect applications in other branches of mathematics. They arise practically everywhere where the notion of compactness plays an important role — in particular, in functional analysis (Banach spaces with the weak topology, measures on topological spaces), in the general theory of optimal control, etc.
+
Tikhonov's theorem is applied in the proof of the non-emptiness of an inverse limit of compact spaces, in constructing the theory of [[absolute]]s, and in the theory of compact groups. If one takes into account its indirect applications, then almost all of general topology lies within the sphere of influence of this theorem. It is equally difficult to list its direct and indirect applications in other branches of mathematics. They arise practically everywhere where the notion of compactness plays an important role — in particular, in functional analysis (Banach spaces with the weak topology, measures on topological spaces), in the general theory of optimal control, etc.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  J.L. Kelley,  "General topology" , Springer  (1975)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.V. Arkhangel'skii,  V.I. Ponomarev,  "Fundamentals of general topology: problems and exercises" , Reidel  (1984)  (Translated from Russian)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[1]</TD> <TD valign="top">  J.L. Kelley,  "General topology" , Springer  (1975)</TD></TR>
 +
<TR><TD valign="top">[2]</TD> <TD valign="top">  A.V. Arkhangel'skii,  V.I. Ponomarev,  "Fundamentals of general topology: problems and exercises" , Reidel  (1984)  (Translated from Russian)</TD></TR>
 +
</table>
  
  
Line 15: Line 18:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  R. Engelking,  "General topology" , Heldermann  (1989)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  A.N. Tikhonov,  "Über die topologische Erweiterung von Räumen"  ''Math. Ann.'' , '''102'''  (1930)  pp. 544–561</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top">  R. Engelking,  "General topology" , Heldermann  (1989)</TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top">  A.N. Tikhonov,  "Über die topologische Erweiterung von Räumen"  ''Math. Ann.'' , '''102'''  (1930)  pp. 544–561</TD></TR>
 +
</table>

Latest revision as of 17:06, 7 May 2016

on the compactness of products

The topological product of an arbitrary set of compact spaces (cf. Compact space) is compact. This is one of the fundamental theorems in general topology. It was established by A.N. Tikhonov in 1929. It plays a very essential role, and often a key one, in constructions in all branches of general topology and in many of its applications. In particular, it is of fundamental importance for the construction of compactifications of completely-regular $T_1$-spaces (that is, Tikhonov spaces). Using it one can construct the Stone–Čech compactification of an arbitrary Tikhonov space. Tikhonov's theorem allows one to exhibit standard compact spaces — the generalized Cantor discontinuum $D^\tau$, which is the product of discrete two-point sets indexed by $\tau$, and the Tikhonov cube $I^\tau$, which is the product of $\tau$ copies of the unit interval on the real line. Here any cardinal number can be taken for $\tau$. The importance of the generalized Cantor set $D^\tau$ and the Tikhonov cube $I^\tau$ are related, moreover, to the fact that these are universal objects: Every zero-dimensional $T_2$-compactum is homeomorphic to a closed subspace of some $D^\tau$, and every $T_2$-compactum is homeomorphic to a closed subspace of some $I^\tau$.

Tikhonov's theorem is applied in the proof of the non-emptiness of an inverse limit of compact spaces, in constructing the theory of absolutes, and in the theory of compact groups. If one takes into account its indirect applications, then almost all of general topology lies within the sphere of influence of this theorem. It is equally difficult to list its direct and indirect applications in other branches of mathematics. They arise practically everywhere where the notion of compactness plays an important role — in particular, in functional analysis (Banach spaces with the weak topology, measures on topological spaces), in the general theory of optimal control, etc.

References

[1] J.L. Kelley, "General topology" , Springer (1975)
[2] A.V. Arkhangel'skii, V.I. Ponomarev, "Fundamentals of general topology: problems and exercises" , Reidel (1984) (Translated from Russian)


Comments

References

[a1] R. Engelking, "General topology" , Heldermann (1989)
[a2] A.N. Tikhonov, "Über die topologische Erweiterung von Räumen" Math. Ann. , 102 (1930) pp. 544–561
How to Cite This Entry:
Tikhonov theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Tikhonov_theorem&oldid=31617
This article was adapted from an original article by A.V. Arkhangel'skii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article