In algebraic topology, a homology sphere is an n-manifold X having the homology groups of an n-sphere, for some integer n ≥ 1. That is,
- H0(X,Z) = Z = Hn(X,Z)
and
- Hi(X,Z) = {0} for all other i.
Therefore X is a connected space, with one non-zero higher Betti number: bn. It does not follow that X is simply connected, only that its fundamental group is perfect (see Hurewicz theorem).
A rational homology sphere is defined similarly but using homology with rational coefficients.
Read more about Homology Sphere: Poincaré Homology Sphere, Constructions and Examples, Invariants, Applications
Famous quotes containing the word sphere:
“I count him a great man who inhabits a higher sphere of thought, into which other men rise with labor and difficulty; he has but to open his eyes to see things in a true light, and in large relations; whilst they must make painful corrections, and keep a vigilant eye on many sources of error.”
—Ralph Waldo Emerson (1803–1882)