A nonnegative integer equal to the rank of a homology group in a given dimension; it counts independent k-dimensional cycles modulo boundaries (the rank over Z or over a chosen coefficient field).

Principle

Betti numbers quantify topological 'holes' by measuring the free part (rank) of homology groups, providing algebraic invariants that are stable under homotopy.

Demonstration

For a torus T^2 the Betti numbers are b0=1, b1=2, b2=1; for the 2-sphere S^2 they are b0=1, b1=0, b2=1. In persistent homology, Betti numbers at a fixed scale count persistent independent cycles at that scale.

Misapplication

Counting torsion elements as contributing to Betti numbers (they do not), failing to specify coefficient ring or field (rank can depend on coefficients), or interpreting Betti numbers as complete invariants of shape rather than coarse measures of connectivity.

Consequence

Betti numbers give lower bounds for ranks of cycles, enter the Euler characteristic via alternating sums, and serve as computable, homotopy-invariant descriptors in classification and applied topology.

Reversal

The inverse perspective focuses on torsion in homology: a space with zero Betti numbers in all positive dimensions may still have nontrivial torsion homology; Betti numbers being maximal does not capture torsion subtleties.

Boundary

Defined when homology groups are defined (simplicial, singular, cellular, etc.); for spaces with infinitely generated homology ranks may be infinite and for pathologies one must specify dimension and coefficients.

Semantic Tension

Tension occurs between Betti numbers and other invariants such as torsion subgroups, Euler characteristic (an alternating combination of Betti numbers), and refined invariants like persistent Betti numbers or homology with different coefficients.

Synthesis

A Betti number is the integer count of independent k-dimensional holes detected by homology rank in a chosen coefficient domain, a compact algebraic summary of a space's k-dimensional connectivity.