Namespaces
Variants
Actions

Difference between revisions of "Proper cycle"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
p0754401.png
 +
$#A+1 = 8 n = 0
 +
$#C+1 = 8 : ~/encyclopedia/old_files/data/P075/P.0705440 Proper cycle
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''in a metric space''
 
''in a metric space''
  
A sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075440/p0754401.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075440/p0754402.png" />-cycles (cf. [[Vietoris homology|Vietoris homology]]) satisfying the condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075440/p0754403.png" /> as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075440/p0754404.png" />. The compact set on which all vertices of all cycles of all simplices of a proper cycle lie is called the compact support of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075440/p0754405.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075440/p0754406.png" /> is a continuous mapping, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075440/p0754407.png" /> is also a proper cycle, and a deformation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075440/p0754408.png" /> induces a deformation of the proper cycle.
+
A sequence $  z  ^ {n} = \{ z _ {1}  ^ {n} , z _ {2}  ^ {n} ,\dots \} $
 +
of $  \epsilon _ {k} $-
 +
cycles (cf. [[Vietoris homology|Vietoris homology]]) satisfying the condition $  \epsilon _ {k} \rightarrow 0 $
 +
as $  k \rightarrow \infty $.  
 +
The compact set on which all vertices of all cycles of all simplices of a proper cycle lie is called the compact support of $  z $.  
 +
If $  f : X \rightarrow X $
 +
is a continuous mapping, then $  f ( z) $
 +
is also a proper cycle, and a deformation of $  f $
 +
induces a deformation of the proper cycle.
  
 
Cf. [[Vietoris homology|Vietoris homology]].
 
Cf. [[Vietoris homology|Vietoris homology]].

Latest revision as of 08:08, 6 June 2020


in a metric space

A sequence $ z ^ {n} = \{ z _ {1} ^ {n} , z _ {2} ^ {n} ,\dots \} $ of $ \epsilon _ {k} $- cycles (cf. Vietoris homology) satisfying the condition $ \epsilon _ {k} \rightarrow 0 $ as $ k \rightarrow \infty $. The compact set on which all vertices of all cycles of all simplices of a proper cycle lie is called the compact support of $ z $. If $ f : X \rightarrow X $ is a continuous mapping, then $ f ( z) $ is also a proper cycle, and a deformation of $ f $ induces a deformation of the proper cycle.

Cf. Vietoris homology.

How to Cite This Entry:
Proper cycle. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Proper_cycle&oldid=48333
This article was adapted from an original article by A.A. Mal'tsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article