Betti number Guide, Meaning , Facts, Information and Description
In algebraic topology, the Betti numbers of a topological space X are a sequence b0, b1, ... of topological invariants. Each Betti number is a natural number, or infinity. For the most reasonable spaces (such as compact manifolds, finite simplicial complexes or CW complexes), the sequence of Betti numbers is 0 from some points onwards, and consists of natural numbers. The term "Betti numbers" was coined by Henri Poincaré and named for Enrico Betti.
| Table of contents |
|
2 Properties 3 Examples 4 Relationship with dimensions of spaces of differential forms |
k-th Betti number bk(X) of space X is defined as the rank of the abelian group Hk(X), the k-th homology group of X. Equivalently one can define it as dimension
of Hk(X,Q) since the homology group in this case is a vector space over Q.
More generally, given a field F one can define bk(X,F)
(the k-th Betti number with coefficients in F) as the dimension
of Hk(X,F).
The Betti numbers bk(X) do not take into account any torsion
in the homology groups, but they are very useful basic topological invariants.
In the case of a finite simplicial complex the homology groups Hk(X,Z) are finitely-generated, and so has a finite rank. Also the group is 0 when k exceeds the top dimension of a simplex of X.
For a finite CW-complex K we have
For any two spaces X and Y we have
Definition
Properties
where denotes Euler characteristic of K and any field F.
where denotes the Poincaré polynomial of X, i.e. the
generating function of the Betti numbers of X:
If X is n-dimensional manifold, there is symmetry interchanging k and n − k:
Examples
It is possible for spaces that are infinite-dimensional in an essential way to have an infinite sequence of non-zero Betti numbers. An example is the infinite dimensional complex projective space, with sequence 1, 0, 1, 0, 1, ... that is periodic, with period length 2.
In geometric situations, the importance of the Betti numbers may arise from a different direction, namely that they predict the dimensions of vector spaces of closed differential forms modulo exact differential forms. The connection with the definition given above is via three basic results, de Rham's theorem and Poincaré duality (when those apply), and the universal coefficient theorem of homology theory.
There is an alternate reading, namely that the Betti numbers give the dimensions of spaces of harmonic forms. This requires also the use of some of the results of Hodge theory, about the Hodge Laplacian. This is an Article on Betti number. Page Contains Information, Facts Details or Explanation Guide About Betti number Relationship with dimensions of spaces of differential forms
