Homotopical connectivity

• In the special case in which X is empty, its connectivity is defined as -2 and the ${\displaystyle \eta _{\pi }=0}$, which is its smallest possible value.
• If X is non-empty but not path-connected, then it contains a 1-dimensional hole with 0-dimesional boundary (a copy of ${\displaystyle S^{0}}$ that cannot be continuously shrunk to a point); therefore, ${\displaystyle {\text{conn}}_{\pi }(X)=-1}$ and ${\displaystyle \eta _{\pi }(X)=1}$, which is its smallest possible value for non-empty spaces.
• If X is path-connected but not simply-connected, then it contains a 2-dimensional hole with 1-dimesional boundary; therefore, ${\displaystyle {\text{conn}}_{\pi }(X)=0}$ and ${\displaystyle \eta _{\pi }(X)=2}$. Some examples are the circle and the punctured plane.
• If X simply-connected but has a "cavity" (3-dimensional hole), like the cube in the figure at the top-right, then ${\displaystyle {\text{conn}}_{\pi }(X)=1}$ and ${\displaystyle \eta _{\pi }(X)=3}$.
• A ball has no holes of any dimension. Therefore, its connectivity is infinite: ${\displaystyle \eta _{\pi }(X)={\text{conn}}_{\pi }(X)=\infty }$.

In general, for every integer d, ${\displaystyle {\text{conn}}_{\pi }(S^{d})=d-1}$ (and ${\displaystyle \eta _{\pi }(S^{d})=d+1}$)[3]^{: 79, Thm.4.3.2} The proof requires two directions:

• Proving that ${\displaystyle {\text{conn}}_{\pi }(S^{d})<d}$, that is, ${\displaystyle S^{d}}$ cannot be continuously shrunk to a single point. This can be proved using the Borsuk–Ulam theorem.
• Proving that ${\displaystyle {\text{conn}}_{\pi }(S^{d})\geq d-1}$, that is, that is, every continuous map ${\displaystyle S^{k}\to S^{d}}$ for ${\displaystyle k<d}$ can be continuously shrunk to a single point.

• A space X is (−1)-connected if and only if it is non-empty.
• A space X is 0-connected if and only if it is non-empty and path-connected.
• A space is 1-connected if and only if it is simply connected.
• An n-sphere is (n − 1)-connected.

This is instructive for a subset: an n-connected inclusion ${\displaystyle A\hookrightarrow X}$ is one such that, up to dimension n − 1, homotopies in the larger space X can be homotoped into homotopies in the subset A.

For example, for an inclusion map ${\displaystyle A\hookrightarrow X}$ to be 1-connected, it must be:

• onto ${\displaystyle \pi _{0}(X),}$
• one-to-one on ${\displaystyle \pi _{0}(A)\to \pi _{0}(X),}$ and
• onto ${\displaystyle \pi _{1}(X).}$

One-to-one on ${\displaystyle \pi _{0}(A)\to \pi _{0}(X)}$ means that if there is a path connecting two points ${\displaystyle a,b\in A}$ by passing through X, there is a path in A connecting them, while onto ${\displaystyle \pi _{1}(X)}$ means that in fact a path in X is homotopic to a path in A.

In other words, a function which is an isomorphism on ${\displaystyle \pi _{n-1}(A)\to \pi _{n-1}(X)}$ only implies that any elements of ${\displaystyle \pi _{n-1}(A)}$ that are homotopic in X are abstractly homotopic in A – the homotopy in A may be unrelated to the homotopy in X – while being n-connected (so also onto ${\displaystyle \pi _{n}(X)}$) means that (up to dimension n − 1) homotopies in X can be pushed into homotopies in A.

This gives a more concrete explanation for the utility of the definition of n-connectedness: for example, a space where the inclusion of the k-skeleton is n-connected (for n > k) – such as the inclusion of a point in the n-sphere – has the property that any cells in dimensions between k and n do not affect the lower-dimensional homotopy types.

Hurewicz theorem relates the homotopical connectivity ${\displaystyle {\text{conn}}_{\pi }(X)}$ to the homological connectivity, denoted by ${\displaystyle {\text{conn}}_{H}(X)}$. This is useful for computing homotopical connectivity, since the homological groups can be computed more easily.

Suppose first that X is simply-connected, that is, ${\displaystyle {\text{conn}}_{\pi }(X)\geq 1}$. Let ${\displaystyle n:={\text{conn}}_{\pi }(X)+1\geq 2}$; so ${\displaystyle \pi _{i}(X)=0}$ for all ${\displaystyle i<n}$, and ${\displaystyle \pi _{n}(X)\neq 0}$. Hurewicz theorem[5]^{: 366, Thm.4.32} says that, in this case, ${\displaystyle {\tilde {H_{i}}}(X)=0}$ for all ${\displaystyle i<n}$, and ${\displaystyle {\tilde {H_{n}}}(X)}$ is isomorphic to ${\displaystyle \pi _{n}(X)}$, so ${\displaystyle {\tilde {H_{n}}}(X)\neq 0}$ too. Therefore:

$${\displaystyle {\text{conn}}_{H}(X)={\text{conn}}_{\pi }(X)}$$

If X is not simply-connected (${\displaystyle {\text{conn}}_{\pi }(X)\leq 0}$), then

$${\displaystyle {\text{conn}}_{H}(X)\geq {\text{conn}}_{\pi }(X)}$$

still holds. When ${\displaystyle {\text{conn}}_{\pi }(X)\leq -1}$ this is trivial. When ${\displaystyle {\text{conn}}_{\pi }(X)=0}$ (so X is path-connected but not simply-connected), one should prove that ${\displaystyle {\tilde {H_{0}}}(X)=0}$. The inequality may be strict.

By definition, the k-th homology group of a simplicial complex depends only on the simplices of dimension at most k+1 (see simplicial homology). Therefore, the above theorem implies that a simplicial complex K is k-connected if and only if its (k+1)-dimensional skeleton (the subset of K containing only simplices of dimension at most k+1) is k-connected.:[3]^{: 80, Prop.4.4.2}

Let K and L be non-empty cell complexes. Their join is commonly denoted by ${\displaystyle K*L}$. Then:[3]^{: 81, Prop.4.4.3}

• ${\displaystyle {\text{conn}}_{\pi }(K*L)\geq {\text{conn}}_{\pi }(K)+{\text{conn}}_{\pi }(L)+2}$.

The identity is simpler with the eta notation:

• ${\displaystyle \eta _{\pi }(K*L)\geq \eta _{\pi }(K)+\eta _{\pi }(L)}$.

As an example, let ${\displaystyle K=L=S^{0}=}$ a set of two disconnected points. There is a 1-dimensional hole between the points, so the eta is 1. The join ${\displaystyle K*L}$ is a square, which is homeomorphic to a circle, so its eta is 2. The join of this square with a third copy of K is a octahedron, which is homeomorphic to ${\displaystyle S^{2}}$ , and its eta is 3. In general, the join of n copies of ${\displaystyle S^{0}}$ is homeomorphic to ${\displaystyle S^{n-1}}$ and its eta is n.

The general proof is based on a similar formula for the homological connectivity.

Let K₁,...,K_n be abstract simplicial complexes, and denote their union by K.

Denote the nerve complex of {K₁, ... , K_n } (the abstract complex recording the intersection pattern of the K_i) by N.

If, for each nonempty ${\displaystyle J\subset I}$, the intersection ${\displaystyle \bigcap _{i\in J}U_{i}}$ is either empty or (k-|J|+1)-connected, then for every j ≤ k, the j-th homotopy group of N is isomorphic to the j-th homotopy group of K.

In particular, N is k-connected if-and-only-if K is k-connected.[6]^: Thm.6