Search results
Results from the WOW.Com Content Network
The Whitehead theorem states that a weak homotopy equivalence from one CW complex to another is a homotopy equivalence. (That is, the map f: X → Y has a homotopy inverse g: Y → X, which is not at all clear from the assumptions.) This implies the same conclusion for spaces X and Y that are homotopy equivalent to CW complexes.
If X is finite then Hom(X,Y) is homotopy equivalent to a CW complex by a theorem of John Milnor (1959). [14] Note that X and Y are compactly generated Hausdorff spaces, so Hom(X,Y) is often taken with the compactly generated variant of the compact-open topology; the above statements remain true. [15] Cellular approximation theorem
on homology is an isomorphism for all integers n. (Here H n (X) is the object of A defined as the kernel of X n → X n−1 modulo the image of X n+1 → X n.) The resulting homotopy category is called the derived category D(A).
The prototype here is the Jordan curve theorem, which topologically concerns the complement of a circle in the Riemann sphere. It also tells the same story. We have the honest Betti numbers 1, 1, 0. of the circle, and therefore 0, 1, 1. by flipping over and 1, 1, 0. by shifting to the left.
The Whitehead group of a connected CW-complex or a manifold M is equal to the Whitehead group (()) of the fundamental group of M.. If G is a group, the Whitehead group is defined to be the cokernel of the map {} ([]) which sends (g, ±1) to the invertible (1,1)-matrix (±g).
Define W, the Whitehead continuum, to be =, or more precisely the intersection of all the for =,,, …. The Whitehead manifold is defined as X = S 3 ∖ W , {\displaystyle X=S^{3}\setminus W,} which is a non-compact manifold without boundary.
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.
The structure theorem is of central importance to TDA; as commented by G. Carlsson, "what makes homology useful as a discriminator between topological spaces is the fact that there is a classification theorem for finitely generated abelian groups". [3] (see the fundamental theorem of finitely generated abelian groups).