10-01-2026, 05:50 PM
Betti numbers are important invariants in algebraic topology that describe the structure of a topological space by measuring the number of independent “holes” of different dimensions. The $n$-th Betti number, denoted $b_n$, is the rank of the $n$-th homology group $H_n(X)$. Informally, $b_0$ counts connected components, $b_1$ counts one-dimensional or circular holes, and $b_2$ counts two-dimensional cavities. For example, a torus has $b_0=1$, $b_1=2$, and $b_2=1$, corresponding to one connected component, two independent circular holes, and one enclosed cavity.
Formally, the Betti number is defined by $b_k(X)=\operatorname{rank} H_k(X)$, where $H_k(X)=\ker\delta_k/\operatorname{Im}\delta_{k+1}$ is the $k$-th homology group. Equivalently, it can be viewed as the dimension of $H_k(X;\mathbb{Q})$ as a vector space over the rational numbers. Importantly, Betti numbers measure the free part of homology and therefore do not detect finite torsion. For instance, the projective plane has $H_1\cong\mathbb{Z}_2$, so its first Betti number is $b_1=0$, even though its first homology group is nontrivial.
The Betti numbers can be collected into the Poincaré polynomial $P_X(x)=b_0+b_1x+b_2x^2+\cdots$, which provides a compact description of a space's topology. They are related to other fundamental invariants: for a finite CW complex, the Euler characteristic is $\chi(X)=\sum_i(-1)^i b_i$, while under suitable conditions on an $n$-dimensional manifold, Poincaré duality gives $b_k=b_{n-k}$. Betti numbers also appear in differential geometry through de Rham and Hodge theory, and they have applications beyond pure mathematics, including computer science, digital image analysis, and topological data analysis.
ARTICLE
Formally, the Betti number is defined by $b_k(X)=\operatorname{rank} H_k(X)$, where $H_k(X)=\ker\delta_k/\operatorname{Im}\delta_{k+1}$ is the $k$-th homology group. Equivalently, it can be viewed as the dimension of $H_k(X;\mathbb{Q})$ as a vector space over the rational numbers. Importantly, Betti numbers measure the free part of homology and therefore do not detect finite torsion. For instance, the projective plane has $H_1\cong\mathbb{Z}_2$, so its first Betti number is $b_1=0$, even though its first homology group is nontrivial.
The Betti numbers can be collected into the Poincaré polynomial $P_X(x)=b_0+b_1x+b_2x^2+\cdots$, which provides a compact description of a space's topology. They are related to other fundamental invariants: for a finite CW complex, the Euler characteristic is $\chi(X)=\sum_i(-1)^i b_i$, while under suitable conditions on an $n$-dimensional manifold, Poincaré duality gives $b_k=b_{n-k}$. Betti numbers also appear in differential geometry through de Rham and Hodge theory, and they have applications beyond pure mathematics, including computer science, digital image analysis, and topological data analysis.
ARTICLE
┌────────────────────────────────┐
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘