Suspension pushes up connectivity by one

From Topospaces
Revision as of 03:17, 25 December 2010 by Vipul (talk | contribs) (Created page with '==Statement== Define, for a topological space <math>X</math>, the '''connectivity''' of <math>X</math> as follows: * If <math>X</math> is not [[path-connected space|path-co...')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Define, for a topological space , the connectivity of as follows:

  • If is not path-connected, it is .
  • If is path-connected but not simply connected (i.e., the fundamental group is nontrivial), it is .
  • Otherwise, it is the largest such that the homotopy group is a trivial group for . If no such largest exists, set it as .

The connectivity of the Suspension (?) is exactly one more than the connectivity of .

In particular, is a weakly contractible space if and only if is.

Facts used

  1. Suspension of any space is path-connected
  2. Suspension of path-connected space is simply connected
  3. Homology for suspension
  4. Hurewicz theorem

Proof

The proof essentially follows from facts (1)-(4).