Homotopy excision theoremIn algebraic topology, the homotopy excision theorem offers a substitute for the absence of excision in homotopy theory. More precisely, let be an excisive triad with nonempty, and suppose the pair is ()-connected, , and the pair is ()-connected, . Then the map induced by the inclusion , is bijective for and is surjective for . A geometric proof is given in a book by Tammo tom Dieck. This result should also be seen as a consequence of the most general form of the Blakers–Massey theorem, which deals with the non-simply-connected case.
Classification theoremIn mathematics, a classification theorem answers the classification problem "What are the objects of a given type, up to some equivalence?". It gives a non-redundant enumeration: each object is equivalent to exactly one class. A few issues related to classification are the following. The equivalence problem is "given two objects, determine if they are equivalent". A complete set of invariants, together with which invariants are solves the classification problem, and is often a step in solving it.
Hans FreudenthalHans Freudenthal (17 September 1905 – 13 October 1990) was a Jewish German-born Dutch mathematician. He made substantial contributions to algebraic topology and also took an interest in literature, philosophy, history and mathematics education. Freudenthal was born in Luckenwalde, Brandenburg, on 17 September 1905, the son of a Jewish teacher. He was interested in both mathematics and literature as a child, and studied mathematics at the University of Berlin beginning in 1923. He met L. E. J.
Abstract simplicial complexIn combinatorics, an abstract simplicial complex (ASC), often called an abstract complex or just a complex, is a family of sets that is closed under taking subsets, i.e., every subset of a set in the family is also in the family. It is a purely combinatorial description of the geometric notion of a simplicial complex. For example, in a 2-dimensional simplicial complex, the sets in the family are the triangles (sets of size 3), their edges (sets of size 2), and their vertices (sets of size 1).
Ambient isotopyIn the mathematical subject of topology, an ambient isotopy, also called an h-isotopy, is a kind of continuous distortion of an ambient space, for example a manifold, taking a submanifold to another submanifold. For example in knot theory, one considers two knots the same if one can distort one knot into the other without breaking it. Such a distortion is an example of an ambient isotopy. More precisely, let and be manifolds and and be embeddings of in .
Whitehead theoremIn homotopy theory (a branch of mathematics), the Whitehead theorem states that if a continuous mapping f between CW complexes X and Y induces isomorphisms on all homotopy groups, then f is a homotopy equivalence. This result was proved by J. H. C. Whitehead in two landmark papers from 1949, and provides a justification for working with the concept of a CW complex that he introduced there. It is a model result of algebraic topology, in which the behavior of certain algebraic invariants (in this case, homotopy groups) determines a topological property of a mapping.