Homotopy excision theorem: Difference between revisions

Revision as of 19:53, 25 February 2014

Revision as of 14:25, 27 February 2014

Line 1:

In [[algebraic topology]], the '''homotopy excision theorem''' offers a substitute for the absence of [[Excision theorem|excision]] in [[homotopy theory]]. More precisely, let ''<math>(X''; A, B)</math> be aan [[spaceexcisive (mathematics)|spacetriad]] that is union of the interiors of subspaces ''A'', ''B'' with <math>C = A \cap B</math> nonempty, and suppose a pair <math>(A, C)</math> is [[n-connected|(<math>m-1</math>)-connected]], <math>m \ge 2</math>, and a pair <math>(B, C)</math> is (<math>n-1</math>)-connected, <math>n \ge 1</math>. Then, forthe map induced by the inclusion <math>i: (A, C) \to (X, B)</math>,

:<math>i_*: \pi_q(A, C) \to \pi_q(X, B)</math>

is bijective for <math>q < m+n-2</math> and is surjective for <math>q = m+n-2</math>.