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:
“It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
—Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)