We end our discussion with certain remarks about generalization of Euler’s formula for manifolds.

The idea of manifolds was implicit in the works of Riemann, however it seems that it appeared first in a fully developed form in Poincare’s works.

A manifold is a topological space X, which is locally Euclidean, i.e.,, each point p in X is contained in an open set in X which is topologically equivalent to **R ^{n}** for some fixed n. a manifold is called if it has no boundary. For a large class of manifolds (e.g. smooth manifolds) cell division makes sense, by allowing higher dimensional analogue of triangles, called simplexes.

It was Poincare who proved the following far-reaching generalization of Euler’s formula:

Theorem

Given a closed manifold X, the alternating sum f_{0}-f_{1}+f_{2}-… of the numbers f_{i} of i-dimensional faces of any cell division of X is independent of cell division and is thus a topological invariant e(X) of X.

In fact Poincare improved the above formula by introducing finer invariants b_{i}(X), called Betti numbers as e(X) = b_{0}(X) – b_{1}(X) + b_{2}(X) – b_{3}(X) +…where b_{i}(X) is the rank of H_{i}(X), which themselves form a sequence of finitely generated abelian groups, called the homolog groups naturally associated to X.

Thus the Euler characteristic theory all began with counting and indeed the interaction of topology-combinatorics remains an important area in mathematical research till date.