http://pi.math.cornell.edu/~hatcher/VBKT/VB.pdf J:\pi_i(O(n)) \to \pi_{n+i}(S^n)を定義する。 f \in \pi_i(O(n))とx \in S^iに対しf_x \in O(n)はS^nのisometryを与え、x = * の時、f_x=idである。 S^{n+i}をD^{i+1} \times D^nの境界として、S^i \time…