mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...

, a

topological space In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a to ...

is said to be weakly contractible if all of its

homotopy group In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, denoted \pi_1(X), which records information about loops in a space. Intuitively, homo ...

s are trivial.

Property

It follows from

Whitehead's Theorem In 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 ...

that if a

CW-complex In mathematics, and specifically in topology, a CW complex (also cellular complex or cell complex) is a topological space that is built by gluing together topological balls (so-called ''cells'') of different dimensions in specific ways. It generali ...

is weakly contractible then it is

contractible In mathematics, a topological space ''X'' is contractible if the identity map on ''X'' is null-homotopic, i.e. if it is homotopic to some constant map. Intuitively, a contractible space is one that can be continuously shrunk to a point within t ...

Example

Define

S^\infty

to be the

inductive limit In mathematics, a direct limit is a way to construct a (typically large) object from many (typically smaller) objects that are put together in a specific way. These objects may be groups, rings, vector spaces or in general objects from any categ ...

of the spheres

S^n, n\ge 1

. Then this space is weakly contractible. Since

S^\infty

is moreover a CW-complex, it is also contractible. See Contractibility of unit sphere in Hilbert space for more. The

Long Line Long line or longline may refer to: *'' Long Line'', an album by Peter Wolf *Long line (topology), or Alexandroff line, a topological space * Long line (telecommunications), a transmission line in a long-distance communications network *Longline fi ...

is an example of a space which is weakly contractible, but not contractible. This does not contradict Whitehead theorem since the Long Line does not have the homotopy type of a CW-complex. Another prominent example for this phenomenon is the

Warsaw circle Shape theory is a branch of topology that provides a more global view of the topological spaces than homotopy theory. The two coincide on compacta dominated homotopically by finite polyhedra. Shape theory associates with the Čech homology theory ...

References

* Topology Homotopy theory {{Topology-stub