Ivan Shishkin, Rye (1878)

Discussions

Topologie des matrices de rang fixé

0 messages

Solution

Solution by La chouette aveugle · FR

(1)(\mathbb{1}) Il y a plusieurs cas :

(i)(i) si p=np = n, Rp=GLn(C)R_{p} = \mathrm{GL}_{n}(\mathbb{C}), RpR_{p} est donc ouvert\textbf{ouvert}, et comme il est dense mais non total, il n’est pas fermeˊ\textbf{pas fermé},
(ii)(ii) si p=0p = 0, Rp={0}R_{p} = \lbrace 0 \rbrace est donc fermeˊ\textbf{fermé}, mais pas ouvert\textbf{pas ouvert} puisque limite de 12kIn\frac{1}{2^{k}}I_{n} quand kk tend vers l’infini,
(iii)(iii) si 0<p<n0 < p < n, RpR_{p} est d’intérieur vide puisque son complémentaire contient GLn\mathrm{GL}_{n} qui est dense, comme il n’est pas vide, il n’est pas ouvert\textbf{pas ouvert}. Il n’est pas fermeˊ\textbf{pas fermé} non plus puisque la suite de matrices qui possèdent p1p-1 coefficients égaux à 11 sur p1p-1 diagonales distinctes, et un coefficient jamais nul qui tend vers 00 sur une pp-ième diagonale distincte des précédentes tend vers une matrice de rang p1p-1, tout en étant une suite de matrices de rang pp.

(2)(\mathbf{2}) Il y a plusieurs cas :

(i)(i) si p=np = n, Rp=GLn(C)R_{p} = \mathrm{GL}_{n}(\mathbb{C}), RpR_{p} est donc un ouvert dense\textbf{ouvert dense}, ce qui répond à la question,
(ii)(ii) si p=0p = 0, Rp={0}R_{p} = \lbrace 0 \rbrace, RpR_{p} est donc un fermeˊ d’inteˊrieur vide\textbf{fermé d'intérieur vide}, ce qui répond à la question,
(iii)(iii) si 0<p<n0 < p < n, RpR_{p} est d’inteˊrieur vide\textbf{d'intérieur vide} par ce qui a été dit dans le point (1)(iii)\mathbf{(1)}-(iii). Si ensuite AA est une matrice de rang q<pq<p, par le pivot de Gauss, AA est équivalente à une matrice dont les nqn-q dernière lignes sont constituées de 00, et dont les qq premières sont indépendantes. Notons BB cette matrice. Soit LL une ligne indépendante des qq premières lignes de BB. Les matrices BkB_{k} dont les qq premières lignes sont celles de BB et dont la q+1q+1-ième est égale à 2kL2^{-k}L constituent une suite de matrices de rang q+1q+1 qui converge vers BB. Ainsi, l’adhérence de Rq+1R_{q+1} contient RqR_{q}, et par récurrence l’adhérence de RpR_{p} contient RqR_{q} pour tout qpq \leq p. Si enfin AA est une matrice de rang p+1p+1, cela signifie qu’il existe une sous-matrice de AA d’ordre p+1p+1 et de déterminant non nul. Si HH est une matrice de norme assez petite, alors ledit mineur de A+HA+H sera encore non nul (cela se voit avec la norme subordonnée de la norme .\lVert.\rVert_{\infty}), et donc A+HA+H sera de rang p+1\geq p+1. On déduit que toute matrice de rang p+1\geq p+1 n’est pas adhérente à RpR_{p}. Ainsi,

                                                                                      Rp=qpRq~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\overline{R_{p}} = \bigcup_{q \leq p} R_{q}.

(3)\mathbf{(3)} Il y a plusieurs cas :

(i)(i) si p=np = n, Rp=GLn(C)R_{p} = \mathrm{GL}_{n}(\mathbb{C}). Si TT et TT' sont deux matrices triangulaires supérieures inversibles, il existe un chemin les reliant. En effet, pour chaque couple (i,j)(i,j)iji\neq j, Ti,jT_{i,j} et Ti,jT'_{i,j} sont deux nombres complexes reliés par un chemin γi,j\gamma_{i,j}. Si i=ji = j, comme C\mathbb{C}^{*} est connexe par arcs, il existe aussi un chemin γi,j\gamma_{i,j} qui relie Ti,jT_{i,j} et Ti,jT'_{i,j} sans passer par 00. En concaténant ces chemins, on obtient un chemin Γ\Gamma qui relie TT et TT' tout en demeurant dans l’ensemble des matrices triangulaires supérieurs inversibles. Ainsi, Tn(C)GLn(C)T_n(\mathbb{C}) \cap \mathrm{GL}_n(\mathbb{C}) est connexe par arcs. Si ensuite (P,Q)(P,Q) est un couple de matrices inversibles, la multiplication par PP à gauche et par Q1Q^{-1} à droite est une application continue de Mn(C)M_{n}(\mathbb{C}) dans lui-même. On déduit que les images de Tn(C)GLn(C)T_n(\mathbb{C}) \cap \mathrm{GL}_n(\mathbb{C}) par ces applications sont des sous-ensembles connexes par arcs de GLn(C)\mathrm{GL}_{n}(\mathbb{C}), mais comme leur union est GLn(C)\mathrm{GL}_{n}(\mathbb{C}) et qu’ils se rencontrent tous en InI_{n}, leur union est connexe par arc, donc GLn(C)\mathrm{GL}_{n}(\mathbb{C}) est connexe par arcs.
(ii)(ii) si p=0p = 0, Rp={0}R_p = \lbrace 0 \rbrace, RpR_{p} est donc connexe par arcs,
(iii)(iii) si 0<p<n0 < p < n, par un argument simillaire à (ii)(ii) où l’on considère plutôt les matrices triangulaires supérieures à npn-p lignes nulles et de rang pp, on trouve que RpR_{p} est connexe par arcs.

No messages yet.