Skip to main content
2 of 3
edited body
John Klein
  • 18.9k
  • 53
  • 109

The proof that $S^n \setminus K$ is path connected follows directly from general position, if $K$ is, say a finite simplicial complex of codimension two (I don't know what "codimension two" means in your general formulation).

If we take two points $x,y$ not in $K$, and we take a generic path in $S^n$ connecting them, then general position taken with respect to each simplex of $K$ guarantees that a generic path won't intersect $K$.

John Klein
  • 18.9k
  • 53
  • 109