Euler Characteristic Article Index for
Euler 		Website Links For
Euler 		 

Information About

Euler Characteristic
  CATEGORIES ABOUT EULER CHARACTERISTIC
   
algebraic topology
   
topological graph theory
   
articles containing proofs
   
APPAREL
BABY
BEAUTY
BOOKS
CAR TOYS
CELL PHONES
DVD'S
ELECTRONICS
GOURMET FOOD
GROCERIES
HEALTH & PERSONAL
HOME & GARDEN
JEWELRY
MUSIC
MUSIC INSTRUMENTS
OFFICE PRODUCTS
SOFTWARE
SPORTING GOODS
TOOLS & HARDWARE
TOYS
VIDEO GAMES
SHOPPING HOME
MORE SHOPPING...



The Euler characteristic was originally defined for Polyhedra and used to prove various theorems about them, including the classification of the Platonic Solid s. Leonhard Euler , for whom the concept is named, was responsible for much of this early work. In modern mathematics, the Euler characteristic arises from Homology and connects to many other invariants.


POLYHEDRA


The Euler characteristic \chi was classically defined for polyhedra, according to the formula

:\chi=V-E+F, \,\!

where ''V'', ''E'', and ''F'' are respectively the numbers of Vertices (corners), Edge s and Faces in the given polyhedron. For any polyhedron Homeomorphic to a Sphere the Euler characteristic turns out to be

:\chi = V-E+F = 2. \,\!

This result is known as Euler's formula, and can be applied not only to polyhedra but also to Embedded Planar Graphs . A proof is given below.


Examples of convex polyhedra


The surface of any convex polyhedron is homeomorphic to a sphere and therefore has Euler characteristic 2, by Euler's formula. This fact can be used to show that there are only five Platonic Solid s (regular polyhedra):


Proof of Euler's formula


The first rigorous proof of Euler's formula, given by a 20-year-old Cauchy , is as follows.

Remove one face of the polyhedron. By pulling the edges of the missing face away from each other, deform all the rest into a Planar Network of points and curves, as illustrated by the first of the three graphs for the special case of the cube. (The assumption that the polyhedron is homeomorphic to the sphere at the beginning is what makes this possible.) After this deformation, the regular faces are generally not regular anymore — in fact, they are not even polygons. The number of vertices and edges has remained the same, but the number of faces has been reduced by 1. As such, proving Euler's formula for the polyhedron reduces to proving ''V'' − ''E'' + ''F'' =1 for this deformed, planar object.

If there is a face with more than three sides, draw a diagonal — that is, a curve through the face connecting two vertices that aren't connected yet. This adds one edge and one face and does not change the number of vertices, so it does not change the quantity ''V'' − ''E'' + ''F''. Continue adding edges in this manner until all of the faces are triangular.

Apply repeatedly either of the following two transformations:
#Remove a triangle with only one edge adjacent to the exterior, as illustrated by the second graph. This decreases the number of edges and faces by one each and does not change the number of vertices, so it preserves ''V'' − ''E'' + ''F''.
#Remove a triangle with two edges shared by the exterior of the network, as illustrated by the third graph. Each triangle removal removes a vertex, two edges and one face, so it preserves ''V'' − ''E'' + ''F''.
Repeat these two steps, one after the other, until only one triangle remains.

At this point the lone triangle has ''V'' = 3, ''E'' = 3, and ''F'' = 1, so that ''V'' − ''E'' + ''F'' = 1. Since each of the two above transformation steps preserved this quantity, we have shown ''V'' − ''E'' + ''F'' = 1 for the deformed, planar object thus demonstrating ''V'' − ''E'' + ''F'' = 2 for the polyhedron. This proves the theorem.

For additional proofs, see Nineteen Proofs of Euler's Formula by David Eppstein . Multiple proofs, including their flaws and limitations, are used as examples in '' Proofs And Refutations '' by Imre Lakatos .


Examples of non-convex polyhedra


Nonconvex Polyhedra can have various Euler characteristics:


FORMAL DEFINITION


The polyhedra discussed above are, in modern language, two-dimensional finite CW-complex es. (When only triangular faces are used, they are two-dimensional finite Simplicial Complex es.) In general, for any finite CW-complex, the Euler characteristic can be defined as the alternating sum

:\chi = k_0 - k_1 + k_2 - k_3 + \cdots,

where k_n denotes the number of cells of dimension n in the complex.

More generally still, for any Topological Space , we can define the ''n''th Betti Number b_n as the Rank of the ''n''-th Homology group. The Euler characteristic can then be defined as the alternating sum

:\chi = b_0 - b_1 + b_2 - b_3 + \cdots.

This quantity is well-defined if the Betti numbers are all finite and if they are zero beyond a certain index n_0. This definition subsumes the previous ones.

Another generalization of the classical Euler characteristic — used in \scriptstyle\mathcal{F} on a projective Scheme ''X'', one defines its Euler characteristic \scriptstyle\chi ( \mathcal{F})= \Sigma (-1)^i h^i(X,\mathcal{F}) , where \scriptstyle h^i(X, \mathcal{F}) is the dimension of the ''i''th Sheaf Cohomology group of \scriptstyle\mathcal{F}.


PROPERTIES


Homotopy invariance


Since the homology is a topological invariant (in fact, a Homotopy Invariant — two topological spaces that are Homotopy Equivalent have Isomorphic homology groups), so is the Euler characteristic.


Inclusion-exclusion principle


If ''M'' and ''N'' are any two topological spaces, then the Euler characteristic of their Disjoint Union is the sum of their Euler characteristics, since homology is additive under disjoint union:

:\chi(M \sqcup N) = \chi(M) + \chi(N).

More generally, if ''M'' and ''N'' are subspaces of a larger space ''X'', then so are their union and intersection. In some cases, the Euler characteristic obeys a version of the Inclusion-exclusion Principle :

:\chi(M \cup N) = \chi(M) + \chi(N) - \chi(M \cap N).

This is true in the following cases:

  • if ''M'' and ''N'' are an Excisive Couple . In particular, if the Interiors of ''M'' and ''N'' inside the union still cover the union.Edwin Spanier: Algebraic Topology, Springer 1966, p. 205.



  • if ''X'' is a Stratified Space all of whose strata are even dimensional, the inclusion-exclusion principle holds if ''M'' and ''N'' are unions of strata. This applies in particular if ''M'' and ''N'' are subvarieties of a Complex Algebraic Variety .William Fulton: Introduction to toric varieties, 1993, Princeton University Press, p. 141.


In general, the inclusion-exclusion principle is false. A Counterexample is given by taking ''X'' to be the Real Line , ''M'' a Subset consisting of one point and ''N'' the Complement of ''M''.


Product property


Also, the Euler characteristic of any Product Space ''M'' × ''N'' is

:\chi(M imes N) = \chi(M) \cdot \chi(N).

These addition and multiplication properties are also enjoyed by Cardinality of Set s. In this way, the Euler characterstic can be viewed as a generalisation of cardinality; see {Link without Title} .


Other properties


As a corollary of Poincaré Duality , the Euler characteristic of any Closed odd-dimensional manifold is zero. This applies more generally to any Compact Stratified Space all of whose strata are odd-dimensional.


RELATIONS TO OTHER INVARIANTS


The Euler characteristic of a closed Orientable Surface can be calculated from its Genus ''g'' (the number of Tori in a Connected Sum decomposition of the surface; intuitively, the number of "handles") as

:\chi = 2 - 2g.

The Euler characteristic of a closed non-orientable surface can be calculated from its non-orientable genus ''k'' (the number of Real Projective Plane s in a connected sum decomposition of the surface) as

:\chi = 2 - k.

For closed smooth manifolds, the Euler characteristic coincides with the Euler number, i.e., the Euler Class of its Tangent Bundle evaluated on the Fundamental Class of a manifold. The Euler class, in turn, relates to all other Characteristic Class es of Vector Bundle s.

For closed Riemannian Manifold s, the Euler characteristic can also be found by integrating the curvature; see the Gauss-Bonnet Theorem for the two-dimensional case and the Generalized Gauss-Bonnet Theorem for the general case.

A discrete analog of the Gauss-Bonnet theorem is Descartes' theorem that the "total defect" of a Polyhedron , measured in full circles, is the Euler characteristic of the polyhedron; see Defect (geometry) .

Hadwiger's Theorem characterizes the Euler characteristic as the ''unique'' ( Up To Scalar multiplication) translation-invariant, finitely additive, not-necessarily-nonnegative set function defined on Finite Unions of Compact Convex sets in R''n'' that is "homogeneous of degree 0".


EXAMPLES


Any Contractible space (that is, one homotopy equivalent to a point) has trivial homology, meaning that the 0th Betti number is 1 and the others 0. Therefore its Euler characteristic is 1. This case includes Euclidean Space \mathbb{R}^n of any dimension, as well as the solid unit ball in any Euclidean space — the one-dimensional interval, the two-dimensional disk, the three-dimensional ball, etc.

The Euler characteristic can be calculated easily for general surfaces by finding a polygonization of the surface (that is, a description as a CW-complex) and using the above definitions.


PARTIALLY ORDERED SETS


The concept of Euler characteristic of a bounded finite Poset is another generalization, important in Combinatorics . A poset is "bounded" if it has smallest and largest elements; let us call them 0 and 1. The Euler characteristic of such a poset is defined as μ(0,1), where μ is the Möbius Function in that poset's Incidence Algebra .


SEE ALSO



REFERENCES