--- Advertisement ---

 In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological space's shape or structure regardless of the way it is bent. It is commonly denoted by χ displaystyle chi (Greek lower-case letter chi). The Euler characteristic Euler characteristic was originally defined for polyhedra and used to prove various theorems about them, including the classification of the Platonic solids. Leonhard Euler, for whom the concept is named, was responsible for much of this early work. In modern mathematics, the Euler characteristic Euler characteristic arises from homology and, more abstractly, homological algebra.Contents1 Polyhedra1.1 Plane graphs 1.2 Proof of Euler's formula2 Topological definition 3 Properties3.1 Homotopy invariance 3.2 Inclusion–exclusion principle 3.3 Connected sum 3.4 Product property 3.5 Covering spaces 3.6 Fibration property4 Examples4.1 Surfaces 4.2 Soccer ball 4.3 Arbitrary dimensions5 Relations to other invariants 6 Generalizations 7 See also 8 References8.1 Notes 8.2 Bibliography9 Further reading 10 External linksPolyhedra The Euler characteristic Euler characteristic χ displaystyle chi was classically defined for the surfaces of polyhedra, according to the formula χ = V − E + F displaystyle chi =V-E+F where V, E, and F are respectively the numbers of vertices (corners), edges and faces in the given polyhedron. Any convex polyhedron's surface has Euler characteristic V − E + F = 2. displaystyle V-E+F=2. This equation is known as Euler's polyhedron formula.[1] It corresponds to the Euler characteristic Euler characteristic of the sphere (i.e. χ = 2), and applies identically to spherical polyhedra. An illustration of the formula on some polyhedra is given below.Name Image Vertices V Edges E Faces F Euler characteristic: V − E + FTetrahedron4 6 4 2 Hexahedron Hexahedron or cube8 12 6 2Octahedron6 12 8 2Dodecahedron20 30 12 2Icosahedron12 30 20 2The surfaces of nonconvex polyhedra can have various Euler characteristics;Name Image Vertices V Edges E Faces F Euler characteristic: V − E + FTetrahemihexahedron6 12 7 1Octahemioctahedron12 24 12 0Cubohemioctahedron12 24 10 −2Great icosahedron12 30 20 2For regular polyhedra, Arthur Cayley Arthur Cayley derived a modified form of Euler's formula using the density D, vertex figure density dv, and face density d f displaystyle d_ f : d v V − E + d f F = 2 D . displaystyle d_ v V-E+d_ f F=2D. This version holds both for convex polyhedra (where the densities are all 1) and the non-convex Kepler-Poinsot polyhedra. Projective polyhedra Projective polyhedra all have Euler characteristic Euler characteristic 1, like the real projective plane, while the surfaces of toroidal polyhedra all have Euler characteristic Euler characteristic 0, like the torus. Plane graphs See also: Planar graph § Euler's formula The Euler characteristic Euler characteristic can be defined for connected plane graphs by the same V − E + F displaystyle V-E+F formula as for polyhedral surfaces, where F is the number of faces in the graph, including the exterior face. The Euler characteristic Euler characteristic of any plane connected graph G is 2. This is easily proved by induction on the number of faces determined by G, starting with a tree as the base case. For trees, E = V − 1 displaystyle E=V-1 and F = 1 displaystyle F=1 . If G has C components (disconnected graphs), the same argument by induction on F shows that V − E + F − C = 1 displaystyle V-E+F-C=1 . One of the few graph theory papers of Cauchy also proves this result. Via stereographic projection the plane maps to the two-dimensional sphere, such that a connected graph maps to a polygonal decomposition of the sphere, which has Euler characteristic Euler characteristic 2. This viewpoint is implicit in Cauchy's proof of Euler's formula given below. Proof of Euler's formulaFirst steps of the proof in the case of a cubeThere are many proofs of Euler's formula. One was given by Cauchy in 1811, as follows. It applies to any convex polyhedron, and more generally to any polyhedron whose boundary is topologically equivalent to a sphere and whose faces are topologically equivalent to disks. Remove one face of the polyhedral surface. By pulling the edges of the missing face away from each other, deform all the rest into a planar graph of points and curves, in such a way that the perimeter of the missing face is placed externally, surrounding the graph obtained, as illustrated by the first of the three graphs for the special case of the cube. (The assumption that the polyhedral surface is homeomorphic to the sphere at the beginning is what makes this possible.) After this deformation, the regular faces are generally not regular anymore. The number of vertices and edges has remained the same, but the number of faces has been reduced by 1. Therefore, 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. (The assumption that all faces are disks is needed here, to show via the Jordan curve theorem Jordan curve theorem that this operation increases the number of faces by one.) Continue adding edges in this manner until all of the faces are triangular. Apply repeatedly either of the following two transformations, maintaining the invariant that the exterior boundary is always a simple cycle: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.These transformations eventually reduce the planar graph to a single triangle. (Without the simple-cycle invariant, removing a triangle might disconnect the remaining triangles, invalidating the rest of the argument. A valid removal order is an elementary example of a shelling.) 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 Twenty Proofs of Euler's Formula by David Eppstein.[2] Multiple proofs, including their flaws and limitations, are used as examples in Proofs and Refutations by Imre Lakatos.[3] Topological definition The polyhedral surfaces discussed above are, in modern language, two-dimensional finite CW-complexes. (When only triangular faces are used, they are two-dimensional finite simplicial complexes.) In general, for any finite CW-complex, the Euler characteristic Euler characteristic can be defined as the alternating sum χ = k 0 − k 1 + k 2 − k 3 + ⋯ , displaystyle chi =k_ 0 -k_ 1 +k_ 2 -k_ 3 +cdots , where kn denotes the number of cells of dimension n in the complex. Similarly, for a simplicial complex, the Euler characteristic Euler characteristic equals the alternating sum χ = k 0 − k 1 + k 2 − k 3 + ⋯ , displaystyle chi =k_ 0 -k_ 1 +k_ 2 -k_ 3 +cdots , where kn denotes the number of n-simplexes in the complex. More generally still, for any topological space, we can define the nth Betti number Betti number bn as the rank of the n-th singular homology group. The Euler characteristic Euler characteristic can then be defined as the alternating sum χ = b 0 − b 1 + b 2 − b 3 + ⋯ . displaystyle 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 n0. For simplicial complexes, this is not the same definition as in the previous paragraph but a homology computation shows that the two definitions will give the same value for χ displaystyle chi . Properties The Euler characteristic Euler characteristic behaves well with respect to many basic operations on topological spaces, as follows. Homotopy invariance Homology is a topological invariant, and moreover a homotopy invariant: Two topological spaces that are homotopy equivalent have isomorphic homology groups. It follows that the Euler characteristic is also a homotopy invariant. For example, any contractible space (that is, one homotopy equivalent to a point) has trivial homology, meaning that the 0th Betti number Betti number is 1 and the others 0. Therefore, its Euler characteristic Euler characteristic is 1. This case includes Euclidean space Euclidean space R n displaystyle 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. For another example, any convex polyhedron is homeomorphic to the three-dimensional ball, so its surface is homeomorphic (hence homotopy equivalent) to the two-dimensional sphere, which has Euler characteristic 2. This explains why convex polyhedra have Euler characteristic 2. 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: χ ( M ⊔ N ) = χ ( M ) + χ ( N ) . displaystyle chi (Msqcup 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: χ ( M ∪ N ) = χ ( M ) + χ ( N ) − χ ( M ∩ N ) . displaystyle chi (Mcup N)=chi (M)+chi (N)-chi (Mcap 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.[4] if X is a locally compact space, and one uses Euler characteristics with compact supports, no assumptions on M or N are needed. 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.[5]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. Connected sum For two connected closed n-manifolds M , N displaystyle M,N one can obtain a new connected manifold M # N displaystyle M#N via the connected sum operation. The Euler characteristic Euler characteristic is related by the formula [6] χ ( M # N ) = χ ( M ) + χ ( N ) − χ ( S n ) . displaystyle chi (M#N)=chi (M)+chi (N)-chi (S^ n ). Product property Also, the Euler characteristic Euler characteristic of any product space M × N is χ ( M × N ) = χ ( M ) ⋅ χ ( N ) . displaystyle chi (Mtimes N)=chi (M)cdot chi (N). These addition and multiplication properties are also enjoyed by cardinality of sets. In this way, the Euler characteristic Euler characteristic can be viewed as a generalisation of cardinality; see [1]. Covering spaces Further information: Riemann–Hurwitz formula Similarly, for an k-sheeted covering space M ~ → M , displaystyle tilde M to M, one has χ ( M ~ ) = k ⋅ χ ( M ) . displaystyle chi ( tilde M )=kcdot chi (M). More generally, for a ramified covering space, the Euler characteristic of the cover can be computed from the above, with a correction factor for the ramification points, which yields the Riemann–Hurwitz formula. Fibration property The product property holds much more generally, for fibrations with certain conditions. If p : E → B displaystyle pcolon Eto B is a fibration with fiber F, with the base B path-connected, and the fibration is orientable over a field K, then the Euler characteristic with coefficients in the field K satisfies the product property:[7] χ ( E ) = χ ( F ) ⋅ χ ( B ) . displaystyle chi (E)=chi (F)cdot chi (B). This includes product spaces and covering spaces as special cases, and can be proven by the Serre spectral sequence on homology of a fibration. For fiber bundles, this can also be understood in terms of a transfer map τ : H ∗ ( B ) → H ∗ ( E ) displaystyle tau colon H_ * (B)to H_ * (E) – note that this is a lifting and goes "the wrong way" – whose composition with the projection map p ∗ : H ∗ ( E ) → H ∗ ( B ) displaystyle p_ * colon H_ * (E)to H_ * (B) is multiplication by the Euler class of the fiber:[8] p ∗ ∘ τ = χ ( F ) ⋅ 1. displaystyle p_ * circ tau =chi (F)cdot 1. Examples Surfaces The Euler characteristic 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.Name Image Euler characteristicInterval1Circle0Disk1Sphere2Torus (Product of two circles)0Double torus−2Triple torus−4Real projective plane1Möbius strip0Klein bottle0Two spheres (not connected) ( Disjoint union Disjoint union of two spheres)2 + 2 = 4Three spheres (not connected) ( Disjoint union Disjoint union of three spheres)2 + 2 + 2 = 6Soccer ball It is common to construct soccer balls by stitching together pentagonal and hexagonal pieces, with three pieces meeting at each vertex (see for example the Adidas Telstar). If P pentagons and H hexagons are used, then there are F = P + H faces, V = (5 P + 6 H) / 3 vertices, and E = (5 P + 6 H) / 2 edges. The Euler characteristic Euler characteristic is thus V − E + F = 5 P + 6 H 3 − 5 P + 6 H 2 + P + H = P 6 . displaystyle V-E+F= frac 5P+6H 3 - frac 5P+6H 2 +P+H= frac P 6 . Because the sphere has Euler characteristic Euler characteristic 2, it follows that P = 12. That is, a soccer ball constructed in this way always has 12 pentagons. In principle, the number of hexagons is unconstrained. This result is also applicable to fullerenes. Arbitrary dimensions The n-dimensional sphere has singular homology groups equal to H k ( S n ) = Z k = 0 , n 0 otherwise, displaystyle H_ k (S^ n )= begin cases mathbb Z &k=0,n\ 0 & text otherwise, end cases hence has Betti number Betti number 1 in dimensions 0 and n, and all other Betti numbers are 0. Its Euler characteristic Euler characteristic is then 1 + (−1)n — that is, either 0 or 2. The n-dimensional real projective space is the quotient of the n-sphere by the antipodal map. It follows that its Euler characteristic is exactly half that of the corresponding sphere — either 0 or 1. The n-dimensional torus is the product space of n circles. Its Euler characteristic is 0, by the product property. More generally, any compact parallelizable manifold, including any compact Lie group, has Euler characteristic Euler characteristic 0.[9] The Euler characteristic Euler characteristic of any closed odd-dimensional manifold is also 0.[10] The case for orientable examples is a corollary of Poincaré duality. This property applies more generally to any compact stratified space all of whose strata have odd dimension. It also applies to closed odd-dimensional non-orientable manifolds, via the two-to-one orientable double cover. Relations to other invariants The Euler characteristic 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 χ = 2 − 2 g . displaystyle chi =2-2g. The Euler characteristic Euler characteristic of a closed non-orientable surface can be calculated from its non-orientable genus k (the number of real projective planes in a connected sum decomposition of the surface) as χ = 2 − k . displaystyle chi =2-k. For closed smooth manifolds, the Euler characteristic 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 classes of vector bundles. For closed Riemannian manifolds, the Euler characteristic Euler characteristic can also be found by integrating the curvature; see the Gauss–Bonnet theorem 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 Gauss–Bonnet theorem is Descartes' theorem that the "total defect" of a polyhedron, measured in full circles, is the Euler characteristic Euler characteristic of the polyhedron; see defect (geometry). Hadwiger's theorem characterizes the Euler characteristic 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 Rn that is "homogeneous of degree 0". Generalizations For every combinatorial cell complex, one defines the Euler characteristic as the number of 0-cells, minus the number of 1-cells, plus the number of 2-cells, etc., if this alternating sum is finite. In particular, the Euler characteristic Euler characteristic of a finite set is simply its cardinality, and the Euler characteristic Euler characteristic of a graph is the number of vertices minus the number of edges.[11] More generally, one can define the Euler characteristic Euler characteristic of any chain complex to be the alternating sum of the ranks of the homology groups of the chain complex, assuming that all these ranks are finite.[12] A version of Euler characteristic Euler characteristic used in algebraic geometry is as follows. For any coherent sheaf F displaystyle mathcal F on a proper scheme X, one defines its Euler characteristic Euler characteristic to be χ ( F ) = ∑ i ( − 1 ) i h i ( X , F ) , displaystyle chi ( mathcal F )=sum _ i (-1)^ i h^ i (X, mathcal F ), where h i ( X , F ) displaystyle h^ i (X, mathcal F ) is the dimension of the i-th sheaf cohomology group of F displaystyle mathcal F . In this case, the dimensions are all finite by Grothendieck's finiteness theorem. This is an instance of the Euler characteristic Euler characteristic of a chain complex, where the chain complex is a finite resolution of F displaystyle mathcal F by acyclic sheaves. Another generalization of the concept of Euler characteristic Euler characteristic on manifolds comes from orbifolds (see Euler characteristic Euler characteristic of an orbifold). While every manifold has an integer Euler characteristic, an orbifold can have a fractional Euler characteristic. For example, the teardrop orbifold has Euler characteristic Euler characteristic 1 + 1/p, where p is a prime number corresponding to the cone angle 2π / p. The concept of Euler characteristic Euler characteristic of a bounded finite poset is another generalization, important in combinatorics. A poset is "bounded" if it has smallest and largest elements; call them 0 and 1. The Euler characteristic Euler characteristic of such a poset is defined as the integer μ(0,1), where μ is the Möbius function Möbius function in that poset's incidence algebra. This can be further generalized by defining a Q-valued Euler characteristic for certain finite categories, a notion compatible with the Euler characteristics of graphs, orbifolds and posets mentioned above. In this setting, the Euler characteristic Euler characteristic of a finite group or monoid G is 1/G, and the Euler characteristic Euler characteristic of a finite groupoid is the sum of 1/Gi, where we picked one representative group Gi for each connected component of the groupoid.[13] See alsoEuler calculus Euler class List of topics named after Leonhard Euler List of uniform polyhedraReferences Notes^ Richeson 2008 ^ Eppstein, David. "Twenty Proofs of Euler's Formula: V-E+F=2". Retrieved 3 June 2013.  ^ Imre Lakatos: Proofs and Refutations, Cambridge Technology Press, 1976 ^ Edwin Spanier: Algebraic Topology, Springer 1966, p. 205. ^ William Fulton: Introduction to toric varieties, 1993, Princeton University Press, p. 141. ^ "Homology of connected sum". Retrieved 2016-07-13.  ^ Spanier, Edwin Henry (1982), Algebraic Topology, Springer, ISBN 978-0-387-94426-5 , Applications of the homology spectral sequence, p. 481 ^ Gottlieb, Daniel Henry (1975), "Fibre bundles and the Euler characteristic" (PDF), Journal of Differential Geometry, 10 (1): 39–48  ^ Milnor, John W. and Stasheff, James D.: Characteristic Classes, Princeton University Press, 1974 ^ Richeson 2008, p. 261 ^ Olaf Post calls this a "well-known formula": Post, Olaf (2009), "Spectral analysis of metric graphs and related spaces", Limits of graphs in group theory and computer science, Lausanne, Switzerland: EPFL Press, pp. 109–140, arXiv:0712.1507  . ^ nLab, "Euler characteristic" ^ Tom Leinster, "The Euler characteristic Euler characteristic of a category", Documenta Mathematica, 13 (2008), pp. 21–49BibliographyRicheson, David S.; Euler's Gem: The Polyhedron Polyhedron Formula and the Birth of Topology. Princeton University Press 2008.Further readingFlegg, H. Graham; From Geometry to Topology, Dover 2001, p. 40.External linksWeisstein, Eric W. "Euler characteristic". MathWorld.  Weisstein, Eric W. "Polyhedral formula". MathWorld.  Matveev, S.V. (2001) [1994], "Euler characteristic", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4  Euler Characteristic of the Barycentric Subdivision of an n-Simplex. In math.stackexchange. Euler characteristic Euler characteristic constant under barycentric subdivision. In m

.