Bourbaki

Example

Tag 01X9, permanent. Cite it as [Bourbaki, Tag 01X9].

Topologie algébrique, chapter III, § 2. Homotopie et chemins

Let G be the subgroup of GL(n,R)\mathbf{G}\mathbf{L}(n,\mathbf{R}) formed by the square matrices of order nn whose determinant is strictly positive. The group G is connected and locally path-connected.

According to A, III, p. 104, prop. 17, the group SL(n,R)\mathbf{S}\mathbf{L}(n,\mathbf{R}) is generated by the elements Bij(λ)B_{ij}(\lambda ) (for 1⩽i,j⩽n1\leqslant i, j\leqslant n such that i=j̸i=\not j and λ∈R\lambda \in \mathbf{R}). The mappings λ↦Bij(λ)\lambda \mapsto B_{ij}(\lambda ) from R\mathbf{R} into GL(n,R)\mathbf{G}\mathbf{L}(n,\mathbf{R}) are continuous, their images are connected subsets of SL(n,R)\mathbf{S}\mathbf{L}(n,\mathbf{R}); since they all contain the identity matrix InI_n, their union is connected (TG, I, p. 81, prop. 2). Consequently, the group SL(n,R)\mathbf{S}\mathbf{L}(n,\mathbf{R}) is connected (TG, III, p. 8, prop. 7). Let A be the subgroup of G formed by the matrices of the form diag(1,...,1,λ, . . . ,1, \lambda ), with λ∈R+∗\lambda \in \mathbf{R}_+^*; it is connected and one has GL(n,R)=A⋅SL(n,R)\mathbf{G}\mathbf{L}(n,\mathbf{R}) = A\cdot \mathbf{S}\mathbf{L}(n,\mathbf{R}). It follows that the group G is connected. Since it is the inverse image of R+∗\mathbf{R}_+^* by the determinant mapping of Mn(R)\mathbf{M}_n(\mathbf{R}) into R\mathbf{R}, it is an open subset of Mn(R)\mathbf{M}_n(\mathbf{R}); it is therefore locally arcwise connected (corollary above), as well as arcwise connected (III, p. 261, corollary 1).

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-6-mini, gpt-5-mini, gpt-5-6, gpt-5.4, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.