Unitary sphere quotient and stability range

ID: unitary-sphere-quotient-and-stability-range

The last-column map has fibre the subgroup fixing the last standard unit vector. Unitary completion gives surjectivity, and compactness gives the quotient homeomorphism. Projecting the other standard vectors onto the orthogonal complement of a nearby unit vector and applying Gram-Schmidt gives a local section, so the projection is a fiber bundle. The bundle then gives for because both adjacent sphere homotopy groups vanish.

New to topics? Read the docs here!