Let U(∞), O(∞) and Sp(∞)
be the direct limits of the finite-dimensional unitary, orthogonal and symplectic
groups under inclusion, and let P2C be the complex projective plane. Then, by a
result of R. Wood in K-theory, there exist homotopy equivalences from U(∞) to the
space of based maps P2C → O(∞), and to the space of based maps P2C → Sp(∞).
In this paper we give an explicit construction of such homotopy equivalences, and
prove Wood’s theorem by using classical results of R. Bott and elementary homotopy
theory.
|