General Topology of The General Linear Group
For finite dimensional H, this group would be a complex general linear group and not at all contractible. In fact it is homotopy equivalent to its maximal compact subgroup, the unitary group U of H. The proof that the complex general linear group and unitary group have the same homotopy type is by the Gram-Schmidt process, or through the matrix polar decomposition, and carries over to the infinite-dimensional case of separable Hilbert space, basically because the space of upper triangular matrices is contractible as can be seen quite explicitly. The underlying phenomenon is that passing to infinitely many dimensions causes much of the topological complexity of the unitary groups to vanish; but see the section on Bott's unitary group, where the passage to infinity is more constrained, and the resulting group has non-trivial homotopy groups.
Read more about this topic: Kuiper's Theorem
Famous quotes containing the words general and/or group:
“Private property is held sacred in all good governments, and particularly in our own. Yet shall the fear of invading it prevent a general from marching his army over a cornfield or burning a house which protects the enemy? A thousand other instances might be cited to show that laws must sometimes be silent when necessity speaks.”
—Andrew Jackson (1767–1845)
“He hung out of the window a long while looking up and down the street. The world’s second metropolis. In the brick houses and the dingy lamplight and the voices of a group of boys kidding and quarreling on the steps of a house opposite, in the regular firm tread of a policeman, he felt a marching like soldiers, like a sidewheeler going up the Hudson under the Palisades, like an election parade, through long streets towards something tall white full of colonnades and stately. Metropolis.”
—John Dos Passos (1896–1970)