Search results
Results from the WOW.Com Content Network
For instance, take X= S 2 × RP 3 and Y= RP 2 × S 3. Then X and Y have the same fundamental group, namely the cyclic group Z/2, and the same universal cover, namely S 2 × S 3; thus, they have isomorphic homotopy groups. On the other hand their homology groups are different (as can be seen from the Künneth formula); thus, X and Y are not ...
CW complexes satisfy the Whitehead theorem: a map between CW complexes is a homotopy equivalence if and only if it induces an isomorphism on all homotopy groups. A covering space of a CW complex is also a CW complex. [13] The product of two CW complexes can be made into a CW complex.
A key concept in defining simplicial homology is the notion of an orientation of a simplex. By definition, an orientation of a k-simplex is given by an ordering of the vertices, written as (v 0,...,v k), with the rule that two orderings define the same orientation if and only if they differ by an even permutation.
A general paradigm in group theory is that a group G should be studied via its group representations.A slight generalization of those representations are the G-modules: a G-module is an abelian group M together with a group action of G on M, with every element of G acting as an automorphism of M.
Two pairs (X 1, A) and (X 2, A) are said to be equivalent, if there is a simple homotopy equivalence between X 1 and X 2 relative to A. The set of such equivalence classes form a group where the addition is given by taking union of X 1 and X 2 with common subspace A. This group is natural isomorphic to the Whitehead group Wh(A) of the CW-complex A.
The connection with the definition given above is via three basic results, de Rham's theorem and Poincaré duality (when those apply), and the universal coefficient theorem of homology theory. There is an alternate reading, namely that the Betti numbers give the dimensions of spaces of harmonic forms .
From the point of view of the definition, this is an expression of the fact that the knot complement is a homology circle, generated by the covering transformation . More generally if M {\displaystyle M} is a 3-manifold such that r a n k ( H 1 M ) = 1 {\displaystyle rank(H_{1}M)=1} it has an Alexander polynomial Δ M ( t ) {\displaystyle \Delta ...
In mathematics, Spanier–Whitehead duality is a duality theory in homotopy theory, based on a geometrical idea that a topological space X may be considered as dual to its complement in the n-sphere, where n is large enough. Its origins lie in Alexander duality theory, in homology theory, concerning complements in manifolds.