« Matrice/Inverse » : différence entre les versions

Contenu supprimé Contenu ajouté
Style → mep
m Robot : Remplacement de texte automatisé (-c.-à-d. +c'est-à-dire)
Ligne 59 :
Cette caractérisation des matrices inversibles permet de démontrer que dans <math>\mathrm M_n(\R)</math> et dans <math>\mathrm M_n(\C)</math>:
*le sous-ensemble des matrices inversibles est dense (cf. [[Espaces vectoriels normés/Exercices/Dimension finie#Exercice 2-2 : densité de GLn]]) ;
*son complémentaire est [[w:Ensemble négligeable|négligeable]], c.'est-à-d.dire de [[w:Mesure de Lebesgue|mesure de Lebesgue]] nulle<ref>{{Lien web|auteur=Alexandre Bailleul|titre=Mesure de M{{ind|''n''}}('''R''')\GL{{ind|''n''}}('''R''')|url=http://perso.eleves.ens-rennes.fr/~abailleu/divers/compGLn.pdf|site=perso.eleves.[[w:École normale supérieure de Rennes|ens-rennes]].fr/~abailleu/}}.</ref>{{,}}<ref>{{Article|auteur=Boris Mityagin|titre=The zero set of a real analytic function|revue=[[w:arXiv|arXiv]]|year=2015|url=https://arxiv.org/abs/1512.07276}}.</ref>.
 
===Conditions équivalentes===
Ligne 83 :
*l'injectivité équivaut à :
**pour tout ''b'' dans ''K{{exp|n}}'', le système ''AX = b'' a au plus une solution, ou encore à
**le système homogène ''AX'' = 0 a pour seule solution ''X'' = 0 (c.'est-à-d.dire le noyau de cette application est nul) ;
*la surjectivité équivaut à :
**pour tout ''b'' dans ''K{{exp|n}}'', le système ''AX = b'' a au moins une solution .