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 ...
Here might be the simplicial homology, or more generally the singular homology. The usual proof of this result is a pure piece of homological algebra about chain complexes of free abelian groups . The form of the result is that other coefficients A may be used, at the cost of using a Tor functor .
It was initially introduced by J. H. C. Whitehead to meet the needs of homotopy theory. [2] CW complexes have better categorical properties than simplicial complexes, but still retain a combinatorial nature that allows for computation (often with a much smaller complex). The C in CW stands for "closure-finite", and the W for "weak" topology. [2]
Alexander had little of the modern apparatus, and his result was only for the Betti numbers, with coefficients taken modulo 2. What to expect comes from examples. What to expect comes from examples. For example the Clifford torus construction in the 3-sphere shows that the complement of a solid torus is another solid torus; which will be open ...
Example: Let X be the set of natural numbers {0, 1, 2, ...} and let Y be the set {0} ∪ {1, 1/2, 1/3, ...}, both with the subspace topology from the real line. Define f: X → Y by mapping 0 to 0 and n to 1/n for positive integers n. Then f is continuous, and in fact a weak homotopy equivalence, but it is not a homotopy equivalence.
There are two basic invariants of a space X in the rational homotopy category: the rational cohomology ring (,) and the homotopy Lie algebra ().The rational cohomology is a graded-commutative algebra over , and the homotopy groups form a graded Lie algebra via the Whitehead product.
In mathematics, especially in the fields of group cohomology, homological algebra and number theory, the Lyndon spectral sequence or Hochschild–Serre spectral sequence is a spectral sequence relating the group cohomology of a normal subgroup N and the quotient group G/N to the cohomology of the total group G.
Theorem: The map : is a homomorphism. If is odd, is trivial (since () is torsion). If is even, the image of contains .Moreover, the image of the Whitehead product of identity maps equals 2, i. e. ([,]) =, where : is the identity map and [,] is the Whitehead product.