Project a based map to . Since , the resulting homotopy class vanishes. Lift a based null-homotopy by the special orthogonal sphere fibration. Its endpoint lies in the fiber . If the lift moves its base point, right-multiply at time by the inverse of its base-point value, which lies in the fiber. This keeps the projected homotopy unchanged and makes the lift based. Thus is based-homotopic to a map into , proving the asserted surjectivity.
Articles by others on the same topic
There are currently no matching articles.