Euler characteristic

The Euler characteristic is in the mathematical subfield of topology a characteristic / topological invariant for topological spaces, for example for closed surfaces. As a designation one usually uses χ \chi .

It is named after the mathematician Leonhard Euler, who proved in 1758 that for E the number of vertices, K the number of edges and F the number of faces of a convex polyhedron the relation E-K+F=2holds. This particular statement is called the Eulerian polyhedron theorem. One can use the Euler characteristic, i.e., the number E-K+F, can be defined more generally also for CW-complexes. This generalization is also called the Euler-Poincaré characteristic, referring to the mathematician Henri Poincaré. Surfaces which are considered equal from a topological point of view have the same Euler characteristic. It is therefore an integer topological invariant. The Euler characteristic is an important object in the Gauss-Bonnet theorem. Indeed, the latter establishes a connection between the Gaussian curvature and the Euler characteristic.

Definition

For surfaces

A closed surface S can always be triangulated, that is, one can always cover it with a finite triangular lattice. The Euler characteristic χ \chi is then defined as

\chi (S):=E-K+F.

where E is the number of vertices, K is the number of edges, and F is the number of triangles in the triangulation.

For CW complexes

Let X be a topological space that Tis a finite-dimensional CW-complex Let k_i idenote the number of cells of dimension and let n be the dimension of the CW-complex. Then the Euler characteristic is given by the alternating sum

\chi (X):=\chi (T)=\sum _{{i=0}}^{n}(-1)^{i}k_{i}

is defined. This Euler characteristic for CW-complexes is also called Euler-Poincaré characteristic. If one decomposes the space into simplices instead of cells, one can also define the Euler characteristic analogously by the resulting simplicial complex .C For the Euler characteristic holds

\chi (X):=\chi (C)=\sum _{{i=0}}^{{n}}(-1)^{{i}}f_{{i}}

where f_{{i}} is the number of i -dimensional simplices of C. For a simplicial complex of a two-dimensional space, we obtain E=f_{{0}}, K=f_{{1}}and F=f_{{2}}, we recover the definition of the Euler characteristic on surfaces. The value of the characteristic is independent of the type of calculation.

Definition by means of singular homology

Let Xagain be a topological space. The rank of the i-th singular homology groups is called the i-th Betti number and is b_{i}denoted by If the singular homology groups have finite rank and only finitely many Betti numbers are nonzero, then the Euler characteristic of given by X

\chi (X):=\sum _{{i=0}}^{n}(-1)^{i}b_{i}=\sum _{{i=0}}^{n}(-1)^{i}\dim(H_{i}(X))

defined. If X is a CW-complex, then this definition gives the same value as in the definition for CW-complexes. For example, a closed orientable differentiable manifold satisfies the conditions on singular homology.

Properties

Well-defined

An important observation is that the given definition is independent of the triangular lattice chosen. This can be shown by moving to a joint refinement of given lattices without changing the Euler characteristic.

Moreover, since homeomorphisms preserve a triangulation, the Euler characteristic even depends only on the topological type. Conversely, if two surfaces have different Euler characteristics, it follows that they must be topologically different. Therefore it is called a topological invariant.

Relationship to the sex of the area

The Euler characteristic χ \chi and the gender gof the surface S are related. If the surface is Sorientable, then the relation holds.

\chi (S)=2-2g,

If the surface is not orientable, on the other hand, the equation

\chi (S)=2-g.

This formula for orientable surfaces results as follows: We start with a 2-sphere, i.e., a surface of gender 0 and Euler characteristic 2. A surface of gender gobtained from it by g-folding the connected sum with a torus. The connected sum can be set up so that the gluing occurs along one triangle of the triangulation at a time. This gives the following balance per gluing:

  • Surfaces: F'=F-2 (the two bonding surfaces).
  • Edges: K'=K-3(each 3 edges are glued, they then count only once).
  • Corners: E'=E-3(each 3 corners are glued, they also count only once).

so in total χ\chi '=\chi -3+3-2=\chi -2 . Thus, by each of the gtori, the Euler characteristic decreases by 2.

Connection with the Eulerian polyhedron theorem

Let S be a convex polyhedron that can be embedded in the interior of a 2-sphere \mathbb{S}^2 can be embedded. Now one can consider the vertices, edges and exterior faces of this polyhedron as cells of a CW-complex. Also the singular homology groups of the complex are finite dimensional. Since the polyhedron Sis orientable and has gender 0, it follows from the above section that the Euler characteristic has value 2. Altogether we get the formula

E-K+F=2,

where E describes the number of vertices, K the number of edges and F the number of faces. This formula is called Euler's polyhedron formula.


AlegsaOnline.com - 2020 / 2023 - License CC3