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.
Lastly, since there are many homology theories for topological spaces that produce the same answer, one also often speaks of the homology of a topological space. (This latter notion of homology admits more intuitive descriptions for 1- or 2-dimensional topological spaces, and is sometimes referenced in popular mathematics.)
That is, the correct answer in honest Betti numbers is 2, 0, 0. Once more, it is the reduced Betti numbers that work out. With those, we begin with 0, 1, 0. to finish with 1, 0, 0. From these two examples, therefore, Alexander's formulation can be inferred: reduced Betti numbers ~ are related in complements by
In homological algebra, Whitehead's lemmas (named after J. H. C. Whitehead) represent a series of statements regarding representation theory of finite-dimensional, semisimple Lie algebras in characteristic zero. Historically, they are regarded as leading to the discovery of Lie algebra cohomology. [1]
The Brouwer fixed point theorem: every continuous map from the unit n-disk to itself has a fixed point. The free rank of the n th homology group of a simplicial complex is the n th Betti number , which allows one to calculate the Euler–Poincaré characteristic .
Remarkably, Whitehead's theorem says that for CW complexes, a weak homotopy equivalence and a homotopy equivalence are the same thing. Another important result is the approximation theorem. First, the homotopy category of spaces is the category where an object is a space but a morphism is the homotopy class of a map. Then
This is well-defined because the intersection of a cycle and a boundary consists of an even number of points (by definition of a cycle and a boundary). If M {\displaystyle M} is oriented, analogously (i.e. counting intersections with signs) one defines the intersection form on the 2 {\displaystyle 2} nd homology group