Homology sphereIn algebraic topology, a homology sphere is an n-manifold X having the homology groups of an n-sphere, for some integer . That is, and for all other i. Therefore X is a connected space, with one non-zero higher Betti number, namely, . 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.
Postnikov systemIn homotopy theory, a branch of algebraic topology, a Postnikov system (or Postnikov tower) is a way of decomposing a topological space's homotopy groups using an inverse system of topological spaces whose homotopy type at degree agrees with the truncated homotopy type of the original space . Postnikov systems were introduced by, and are named after, Mikhail Postnikov. A Postnikov system of a path-connected space is an inverse system of spaces with a sequence of maps compatible with the inverse system such that The map induces an isomorphism for every .
Homology (mathematics)In mathematics, homology is a general way of associating a sequence of algebraic objects, such as abelian groups or modules, with other mathematical objects such as topological spaces. Homology groups were originally defined in algebraic topology. Similar constructions are available in a wide variety of other contexts, such as abstract algebra, groups, Lie algebras, Galois theory, and algebraic geometry. The original motivation for defining homology groups was the observation that two shapes can be distinguished by examining their holes.
Homotopy fiberIn mathematics, especially homotopy theory, the homotopy fiber (sometimes called the mapping fiber) is part of a construction that associates a fibration to an arbitrary continuous function of topological spaces . It acts as a homotopy theoretic kernel of a mapping of topological spaces due to the fact it yields a long exact sequence of homotopy groupsMoreover, the homotopy fiber can be found in other contexts, such as homological algebra, where the distinguished trianglegives a long exact sequence analogous to the long exact sequence of homotopy groups.
Fiber bundleIn mathematics, and particularly topology, a fiber bundle (or, in Commonwealth English: fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space and a product space is defined using a continuous surjective map, that in small regions of behaves just like a projection from corresponding regions of to The map called the projection or submersion of the bundle, is regarded as part of the structure of the bundle.
