Algebraic Topology
《Algebraic Topology》 · 第 255 页 · Corollary 3.45
If \(K\) is a compact, locally contractible, nonempty, proper subspace of \(S^n\), then \(\widetilde H_i(S^n-K;\mathbb Z)\cong \widetilde H^{n-i-1}(K;\mathbb Z)\) for all \(i\).