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:
“Without metaphor the handling of general concepts such as culture and civilization becomes impossible, and that of disease and disorder is the obvious one for the case in point. Is not crisis itself a concept we owe to Hippocrates? In the social and cultural domain no metaphor is more apt than the pathological one.”
—Johan Huizinga (1872–1945)
“...Women’s Studies can amount simply to compensatory history; too often they fail to challenge the intellectual and political structures that must be challenged if women as a group are ever to come into collective, nonexclusionary freedom.”
—Adrienne Rich (b. 1929)