Namespaces
Variants
Actions

Difference between revisions of "Continuum"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX, MSC, Refs)
 
Line 1: Line 1:
A non-empty connected compact Hausdorff space (cf. [[Compact space|Compact space]]). A continuum is said to be degenerate if it consists of a single point. Of special importance is the class of metrizable continua. Examples of continua: a closed segment, a circle, a convex polytope, etc. A Hausdorff compactum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025770/c0257701.png" /> (that is, a metrizable compactum with metric <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025770/c0257702.png" />) is a continuum if and only if for every pair of points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025770/c0257703.png" /> and for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025770/c0257704.png" /> there is a finite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025770/c0257706.png" />-chain joining these points, that is, a sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025770/c0257707.png" /> of points in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025770/c0257708.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025770/c0257709.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025770/c02577010.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c025/c025770/c02577011.png" />. The union of two continua having a point in common is a continuum. The topological product of continua is a continuum, a continuous image of a continuum is a continuum, the components of a Hausdorff compactum are continua, the intersection of a decreasing sequence of continua is a continuum. No continuum can be decomposed into a countable union of non-empty disjoint closed sets (Sierpiński's theorem).
+
{{MSC|54A05,54E45}}
 +
{{TEX|done}}
 +
 
 +
A non-empty connected compact Hausdorff space (cf. [[Compact space|Compact space]]). A continuum is said to be degenerate if it consists of a single point. Of special importance is the class of metrizable continua. Examples of continua: a closed segment, a circle, a convex polytope, etc. A Hausdorff compactum $(X,\rho)$ (that is, a metrizable compactum with metric $\rho$) is a continuum if and only if for every pair of points $a, b \in X$ and for any $\epsilon > 0$ there is a finite $\epsilon$-chain joining these points, that is, a sequence $\{x_n\}_{n=1}^k$ of points in $X$ such that $x_1 = a$, $x_k = b$ and $\rho(x_n,x_{n+1} )< \epsilon$. The union of two continua having a point in common is a continuum. The topological product of continua is a continuum, a continuous image of a continuum is a continuum, the components of a Hausdorff compactum are continua, the intersection of a decreasing sequence of continua is a continuum. No continuum can be decomposed into a countable union of non-empty disjoint closed sets (Sierpiński's theorem).
  
 
Every locally connected metric continuum is a continuous image of a closed segment (the Hahn–Mazurkiewicz theorem). A non-degenerate continuum is irreducible between two of its points if no proper subcontinuum contains these two points. A continuum that is irreducible between any two of its points is called an irreducible continuum. Every locally connected irreducible continuum is a simple arc, that is, is homeomorphic to an interval.
 
Every locally connected metric continuum is a continuous image of a closed segment (the Hahn–Mazurkiewicz theorem). A non-degenerate continuum is irreducible between two of its points if no proper subcontinuum contains these two points. A continuum that is irreducible between any two of its points is called an irreducible continuum. Every locally connected irreducible continuum is a simple arc, that is, is homeomorphic to an interval.
Line 5: Line 8:
 
An irreducible continuum is said to be indecomposable if it cannot be represented as the sum of two proper subcontinua, and is called hereditarily indecomposable if the continuum itself and all of its subcontinua are indecomposable. A continuum is indecomposable if and only if it contains three points such that it is irreducible between any two of them; all hereditarily-indecomposable metrizable chainable continua are homeomorphic.
 
An irreducible continuum is said to be indecomposable if it cannot be represented as the sum of two proper subcontinua, and is called hereditarily indecomposable if the continuum itself and all of its subcontinua are indecomposable. A continuum is indecomposable if and only if it contains three points such that it is irreducible between any two of them; all hereditarily-indecomposable metrizable chainable continua are homeomorphic.
  
====References====
+
====References====  
<table><TR><TD valign="top">[1]</TD> <TD valign="top"K. Kuratowski,   "Topology" , '''2''' , Acad. Press (1968) (Translated from French)</TD></TR></table>
+
{|
 +
|-
 +
|valign="top"|{{Ref|Ku}}||valign="top"| K. Kuratowski, "Topology", '''2''', Acad. Press (1968) (Translated from French)
 +
|-
 +
|}

Latest revision as of 15:31, 23 July 2012

2020 Mathematics Subject Classification: Primary: 54A05,54E45 [MSN][ZBL]

A non-empty connected compact Hausdorff space (cf. Compact space). A continuum is said to be degenerate if it consists of a single point. Of special importance is the class of metrizable continua. Examples of continua: a closed segment, a circle, a convex polytope, etc. A Hausdorff compactum $(X,\rho)$ (that is, a metrizable compactum with metric $\rho$) is a continuum if and only if for every pair of points $a, b \in X$ and for any $\epsilon > 0$ there is a finite $\epsilon$-chain joining these points, that is, a sequence $\{x_n\}_{n=1}^k$ of points in $X$ such that $x_1 = a$, $x_k = b$ and $\rho(x_n,x_{n+1} )< \epsilon$. The union of two continua having a point in common is a continuum. The topological product of continua is a continuum, a continuous image of a continuum is a continuum, the components of a Hausdorff compactum are continua, the intersection of a decreasing sequence of continua is a continuum. No continuum can be decomposed into a countable union of non-empty disjoint closed sets (Sierpiński's theorem).

Every locally connected metric continuum is a continuous image of a closed segment (the Hahn–Mazurkiewicz theorem). A non-degenerate continuum is irreducible between two of its points if no proper subcontinuum contains these two points. A continuum that is irreducible between any two of its points is called an irreducible continuum. Every locally connected irreducible continuum is a simple arc, that is, is homeomorphic to an interval.

An irreducible continuum is said to be indecomposable if it cannot be represented as the sum of two proper subcontinua, and is called hereditarily indecomposable if the continuum itself and all of its subcontinua are indecomposable. A continuum is indecomposable if and only if it contains three points such that it is irreducible between any two of them; all hereditarily-indecomposable metrizable chainable continua are homeomorphic.

References

[Ku] K. Kuratowski, "Topology", 2, Acad. Press (1968) (Translated from French)
How to Cite This Entry:
Continuum. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Continuum&oldid=27187
This article was adapted from an original article by P.S. AleksandrovL.G. Zambakhidze (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article