Namespaces
Variants
Actions

Difference between revisions of "Cheeger finiteness theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (AUTOMATIC EDIT (latexlist): Replaced 13 formulas out of 13 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
 
Line 1: Line 1:
A theorem stating that for given positive numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c120/c120130/c1201301.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c120/c120130/c1201302.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c120/c120130/c1201303.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c120/c120130/c1201304.png" /> there exist only finitely many diffeomorphism classes of compact <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c120/c120130/c1201305.png" />-dimensional Riemannian manifolds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c120/c120130/c1201306.png" /> satisfying
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,  
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c120/c120130/c1201307.png" /></td> </tr></table>
+
Out of 13 formulas, 13 were replaced by TEX code.-->
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c120/c120130/c1201308.png" /></td> </tr></table>
+
{{TEX|semi-auto}}{{TEX|done}}
 +
A theorem stating that for given positive numbers $n$, $d$, $v$, $\kappa$ there exist only finitely many diffeomorphism classes of compact $n$-dimensional Riemannian manifolds $M$ satisfying
  
i.e. for every given sequence of compact <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c120/c120130/c1201309.png" />-dimensional Riemannian manifolds satisfying these bounds, there is an infinite subsequence for which any two of the manifolds are diffeomorphic.
+
\begin{equation*} \operatorname{diam}M \leq d, \end{equation*}
  
The proof is based on discretizations of Riemannian manifolds and on lower bounds for the injectivity radius (cf. [[Berger inequality|Berger inequality]]) in terms of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c120/c120130/c12013010.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c120/c120130/c12013011.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c120/c120130/c12013012.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c120/c120130/c12013013.png" />.
+
\begin{equation*} \operatorname{Vol}( M ) \leq v , | \text { sec. curv. } M | \leq \kappa, \end{equation*}
 +
 
 +
i.e. for every given sequence of compact $n$-dimensional Riemannian manifolds satisfying these bounds, there is an infinite subsequence for which any two of the manifolds are diffeomorphic.
 +
 
 +
The proof is based on discretizations of Riemannian manifolds and on lower bounds for the injectivity radius (cf. [[Berger inequality|Berger inequality]]) in terms of $n$, $d$, $v$, $\kappa$.
  
 
Cf. also [[Riemannian manifold|Riemannian manifold]].
 
Cf. also [[Riemannian manifold|Riemannian manifold]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  I. Chavel,  "Riemannian geometry: A modern introduction" , Cambridge Univ. Press  (1995)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J. Cheeger,  "Finiteness theorems in Riemannian manifolds"  ''Amer. J. Math.'' , '''92'''  (1970)  pp. 61–74</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  I. Chavel,  "Riemannian geometry: A modern introduction" , Cambridge Univ. Press  (1995)</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  J. Cheeger,  "Finiteness theorems in Riemannian manifolds"  ''Amer. J. Math.'' , '''92'''  (1970)  pp. 61–74</td></tr></table>

Latest revision as of 16:56, 1 July 2020

A theorem stating that for given positive numbers $n$, $d$, $v$, $\kappa$ there exist only finitely many diffeomorphism classes of compact $n$-dimensional Riemannian manifolds $M$ satisfying

\begin{equation*} \operatorname{diam}M \leq d, \end{equation*}

\begin{equation*} \operatorname{Vol}( M ) \leq v , | \text { sec. curv. } M | \leq \kappa, \end{equation*}

i.e. for every given sequence of compact $n$-dimensional Riemannian manifolds satisfying these bounds, there is an infinite subsequence for which any two of the manifolds are diffeomorphic.

The proof is based on discretizations of Riemannian manifolds and on lower bounds for the injectivity radius (cf. Berger inequality) in terms of $n$, $d$, $v$, $\kappa$.

Cf. also Riemannian manifold.

References

[a1] I. Chavel, "Riemannian geometry: A modern introduction" , Cambridge Univ. Press (1995)
[a2] J. Cheeger, "Finiteness theorems in Riemannian manifolds" Amer. J. Math. , 92 (1970) pp. 61–74
How to Cite This Entry:
Cheeger finiteness theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Cheeger_finiteness_theorem&oldid=50130
This article was adapted from an original article by H. Kaul (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article