Namespaces
Variants
Actions

Difference between revisions of "Euler characteristic"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
''of a finite CW-complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e0364001.png" />''
+
<!--
 +
e0364001.png
 +
$#A+1 = 37 n = 0
 +
$#C+1 = 37 : ~/encyclopedia/old_files/data/E036/E.0306400 Euler characteristic
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
The integer
+
{{TEX|auto}}
 +
{{TEX|done}}
  
<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/e/e036/e036400/e0364002.png" /></td> </tr></table>
+
''of a finite CW-complex  $  K $''
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e0364003.png" /> is the number of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e0364004.png" />-dimensional cells in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e0364005.png" />. It was given this name in honour of L. Euler, who proved in 1758 that the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e0364006.png" /> of vertices, the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e0364007.png" /> of edges and the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e0364008.png" /> of faces of a convex polyhedron are connected by the formula <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e0364009.png" />. This relation was known, in an implicit form, already to R. Descartes (1620). It turns out that
+
The integer
  
<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/e/e036/e036400/e03640010.png" /></td> </tr></table>
+
$$
 +
\chi ( K)  = \sum _ { k= } 0 ^  \infty 
 +
(- 1)  ^ {k} \alpha _ {k} ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640011.png" /> is the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640012.png" />-dimensional [[Betti number|Betti number]] of the complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640013.png" /> (the Euler–Poincaré formula). The Euler characteristic of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640014.png" /> is a homology, homotopy and topological invariant of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640015.png" />. In particular, it does not depend on the way in which the space is partitioned into cells. Consequently one can speak, for example, of the Euler characteristic of an arbitrary compact polyhedron, meaning by it the Euler characteristic of any of its triangulations. On the other hand, the Euler–Poincaré formula permits the extension of the concept of the Euler characteristic to a larger class of spaces and pairs of spaces for which the right-hand side of the formula remains meaningful. This formula has been generalized to the case of an arbitrary field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640016.png" />, where it expresses the Euler characteristic in terms of the dimensions over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640017.png" /> of the homology groups with coefficients in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640018.png" />:
+
where $  \alpha _ {k} $
 +
is the number of  $  k $-
 +
dimensional cells in  $  K $.
 +
It was given this name in honour of L. Euler, who proved in 1758 that the number  $  V $
 +
of vertices, the number  $  E $
 +
of edges and the number  $  F $
 +
of faces of a convex polyhedron are connected by the formula  $  V - E + F = 2 $.  
 +
This relation was known, in an implicit form, already to R. Descartes (1620). It turns out that
  
<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/e/e036/e036400/e03640019.png" /></td> </tr></table>
+
$$
 +
\chi ( K)  = \sum _ { k= } 0 ^  \infty 
 +
(- 1)  ^ {k} p  ^ {k} ,
 +
$$
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640020.png" /> be a locally trivial fibration with fibre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640021.png" />. If the spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640022.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640023.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640024.png" /> satisfy certain conditions, then their Euler characteristics are connected by the relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640025.png" />. In particular, the Euler characteristic of the direct product of two spaces is equal to the product of their Euler characteristics. The relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640026.png" />, which holds for any excisive triple <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640027.png" />, makes it possible to compute the Euler characteristics of all compact two-dimensional manifolds. The Euler characteristic of a sphere with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640028.png" /> handles and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640029.png" /> deleted open discs is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640030.png" />, while that of a sphere with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640031.png" /> Möbius strips and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640032.png" /> deleted discs is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640033.png" />. The Euler characteristic of an arbitrary compact orientable manifold of odd dimension is equal to half that of its boundary. In particular, the Euler characteristic of a closed orientable manifold of odd dimension is zero, since its boundary is empty.
+
where  $  p  ^ {k} $
 +
is the  $  k $-
 +
dimensional [[Betti number|Betti number]] of the complex  $  K $(
 +
the Euler–Poincaré formula). The Euler characteristic of  $  K $
 +
is a homology, homotopy and topological invariant of  $  K $.  
 +
In particular, it does not depend on the way in which the space is partitioned into cells. Consequently one can speak, for example, of the Euler characteristic of an arbitrary compact polyhedron, meaning by it the Euler characteristic of any of its triangulations. On the other hand, the Euler–Poincaré formula permits the extension of the concept of the Euler characteristic to a larger class of spaces and pairs of spaces for which the right-hand side of the formula remains meaningful. This formula has been generalized to the case of an arbitrary field  $  F $,  
 +
where it expresses the Euler characteristic in terms of the dimensions over  $  F $
 +
of the homology groups with coefficients in  $  F $:
  
 +
$$
 +
\chi ( K)  =  \sum _ { k= } 0 ^  \infty  (- 1)  ^ {k}
 +
\mathop{\rm dim} _ {F} ( H _ {k} ( K ;  F ) ) .
 +
$$
  
 +
Let  $  p :  A \rightarrow B $
 +
be a locally trivial fibration with fibre  $  C $.
 +
If the spaces  $  A $,
 +
$  B $
 +
and  $  C $
 +
satisfy certain conditions, then their Euler characteristics are connected by the relation  $  \chi ( A) = \chi ( B) \chi ( C) $.
 +
In particular, the Euler characteristic of the direct product of two spaces is equal to the product of their Euler characteristics. The relation  $  \chi ( A \cup B ) = \chi ( A) + \chi ( B) - \chi ( A \cap B ) $,
 +
which holds for any excisive triple  $  ( A \cup B , A , B ) $,
 +
makes it possible to compute the Euler characteristics of all compact two-dimensional manifolds. The Euler characteristic of a sphere with  $  g $
 +
handles and  $  l $
 +
deleted open discs is  $  2 - 2g - l $,
 +
while that of a sphere with  $  m $
 +
Möbius strips and  $  l $
 +
deleted discs is  $  2 - m - l $.
 +
The Euler characteristic of an arbitrary compact orientable manifold of odd dimension is equal to half that of its boundary. In particular, the Euler characteristic of a closed orientable manifold of odd dimension is zero, since its boundary is empty.
  
 
====Comments====
 
====Comments====
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640034.png" /> is homotopic to the identity mapping of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640035.png" />, then the Lefschetz fixed-point theorem (cf. [[Lefschetz theorem|Lefschetz theorem]], [[#References|[a1]]]) states that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640036.png" /> is non-zero, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036400/e03640037.png" /> must have a [[Fixed point|fixed point]].
+
If $  f : K \rightarrow K $
 +
is homotopic to the identity mapping of $  K $,  
 +
then the Lefschetz fixed-point theorem (cf. [[Lefschetz theorem|Lefschetz theorem]], [[#References|[a1]]]) states that if $  \chi ( K) $
 +
is non-zero, then $  f $
 +
must have a [[Fixed point|fixed point]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  E.H. Spanier,  "Algebraic topology" , McGraw-Hill  (1966)  pp. 156</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J.R. Munkres,  "Elements of algebraic topology" , Addison-Wesley  (1984)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  E.H. Spanier,  "Algebraic topology" , McGraw-Hill  (1966)  pp. 156</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J.R. Munkres,  "Elements of algebraic topology" , Addison-Wesley  (1984)</TD></TR></table>

Revision as of 19:38, 5 June 2020


of a finite CW-complex $ K $

The integer

$$ \chi ( K) = \sum _ { k= } 0 ^ \infty (- 1) ^ {k} \alpha _ {k} , $$

where $ \alpha _ {k} $ is the number of $ k $- dimensional cells in $ K $. It was given this name in honour of L. Euler, who proved in 1758 that the number $ V $ of vertices, the number $ E $ of edges and the number $ F $ of faces of a convex polyhedron are connected by the formula $ V - E + F = 2 $. This relation was known, in an implicit form, already to R. Descartes (1620). It turns out that

$$ \chi ( K) = \sum _ { k= } 0 ^ \infty (- 1) ^ {k} p ^ {k} , $$

where $ p ^ {k} $ is the $ k $- dimensional Betti number of the complex $ K $( the Euler–Poincaré formula). The Euler characteristic of $ K $ is a homology, homotopy and topological invariant of $ K $. In particular, it does not depend on the way in which the space is partitioned into cells. Consequently one can speak, for example, of the Euler characteristic of an arbitrary compact polyhedron, meaning by it the Euler characteristic of any of its triangulations. On the other hand, the Euler–Poincaré formula permits the extension of the concept of the Euler characteristic to a larger class of spaces and pairs of spaces for which the right-hand side of the formula remains meaningful. This formula has been generalized to the case of an arbitrary field $ F $, where it expresses the Euler characteristic in terms of the dimensions over $ F $ of the homology groups with coefficients in $ F $:

$$ \chi ( K) = \sum _ { k= } 0 ^ \infty (- 1) ^ {k} \mathop{\rm dim} _ {F} ( H _ {k} ( K ; F ) ) . $$

Let $ p : A \rightarrow B $ be a locally trivial fibration with fibre $ C $. If the spaces $ A $, $ B $ and $ C $ satisfy certain conditions, then their Euler characteristics are connected by the relation $ \chi ( A) = \chi ( B) \chi ( C) $. In particular, the Euler characteristic of the direct product of two spaces is equal to the product of their Euler characteristics. The relation $ \chi ( A \cup B ) = \chi ( A) + \chi ( B) - \chi ( A \cap B ) $, which holds for any excisive triple $ ( A \cup B , A , B ) $, makes it possible to compute the Euler characteristics of all compact two-dimensional manifolds. The Euler characteristic of a sphere with $ g $ handles and $ l $ deleted open discs is $ 2 - 2g - l $, while that of a sphere with $ m $ Möbius strips and $ l $ deleted discs is $ 2 - m - l $. The Euler characteristic of an arbitrary compact orientable manifold of odd dimension is equal to half that of its boundary. In particular, the Euler characteristic of a closed orientable manifold of odd dimension is zero, since its boundary is empty.

Comments

If $ f : K \rightarrow K $ is homotopic to the identity mapping of $ K $, then the Lefschetz fixed-point theorem (cf. Lefschetz theorem, [a1]) states that if $ \chi ( K) $ is non-zero, then $ f $ must have a fixed point.

References

[a1] E.H. Spanier, "Algebraic topology" , McGraw-Hill (1966) pp. 156
[a2] J.R. Munkres, "Elements of algebraic topology" , Addison-Wesley (1984)
How to Cite This Entry:
Euler characteristic. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Euler_characteristic&oldid=16333
This article was adapted from an original article by S.V. Matveev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article