https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf g:S^{n-1} \times S^{n-1} \to S^{n-1}から\hat{g}:S^{2n-1} \to S^nを定める。 S^{2n-1}をD^n \times D^nの境界とみなし、 これを\partial D^n \times D^n \cup D^n \times \partial D^nとみなす。 ここ…