Soit A la matrice carrée d'ordre 20 définie par les propriétés suivantes :

• le coefficient d'indice (j,k) vaut 0 si k=j,
• le coefficient d'indice (j,k) vaut 4 si k-j est pair et non-nul,
• le coefficient d'indice (j,k) vaut 5 si k-j est impair.

Montrer que la matrice A est inversible (sur le corps des rationnels).

Je collectionne constamment des exercices de maths intéressants et accéssibles aux élèves niveau prépa ou licence. On en trouve beaucoup dans les livres, sur internet, sur les vieilles feuilles d'exercices de ses propres professeurs... et quelques fois en invente soi-même ! Voici une question intéressante qui m'est venue le week-end dernier. La solution que j'ai trouvée ne nécessite pas de grand théorème, il faut seulement bien maîtriser ses connaissances élémentaires en algèbre linéaire :

Quel est le plus grand entier k tel que tout sous-espace affine de codimension k dans l'espace des matrices n x n contient une matrice inversible ?

Rappel : la codimension d'un sous-espace est la différence entre la dimension de l'espace ambiant et la dimension du sous-espace. Autrement dit, c'est le nombre d'équations nécessaires pour décrire le sous-espace (car chaque équation enlève un degré de liberté). Par exemple, dans l'espace habituel à trois dimensions la codimension d'une droite est 2, celle d'un plan est 1.

Après le grand succès de son dernier avis de recherche en algèbre linéaire mon collègue mathématicien Laurent Kaczmarek nous propose un nouvel exercice sympa sur les matrices.

Soit A une matrice carrée d'ordre n. Montrer que son commutant (le sous-espace vectoriel des matrices qui commutent avec A) est de dimension supérieure ou égale à n.

Etudes dans les cas réel ou complexe acceptées (et même souhaitées !).

Mon billet récent sur la dimension maximale d'un sous-espace affine contenu dans l'ensemble des matrices non-inversibles m'a inspiré les réflexions suivantes, une sorte de version différentiable de ce résultat.

On note l'espace des matrices n x n à coefficients réels et le sous-ensemble des matrices inversibles. On sait que est un ouvert dans . En effet c'est l'image réciproque de l'ouvert par l'application continue déterminant

On peut même dire un peu plus : le déterminant étant polynômial en le complémentaire des matrices inversibles, c'est-à-dire l'ensemble des matrices de déterminant nul,

est une hypersurface algébrique. Géométriquement parlé est un fermé de qui ressemble localement à un hyperplan (c'est-à-dire à un sous-espace affine de dimension n²-1). Enfin, cela est vrai en presque tous les points, ceux où la différentielle du déterminant ne s'annulle pas (points réguliers). En revanche, en les points où la différentielle du déterminant est nulle (points singuliers), l'hypersurface ne ressemble plus à un sous-espace affine. Il peut y avoir un croisement comme par exemple

ou un rétrécissement comme par exemple

(Pour plus d'images de surfaces algébriques visitez le la galerie de Herwig Hauser.)

Il est évident que la différentielle du déterminant est nulle à l'origine. Donc notre hypersurface possède une singularité à l'origine. Le résultat suivant dit qu'il s'agit d'une singularité de type rétrécissement, car l'hypersurface de dimension n²-1 y perd quelques dimensions — il y reste juste assez de place pour n²-n dimensions...

Proposition :

Le nombre n²-n est la plus grande dimension possible d'une sous-variété différentiable F de telle que

Démonstration :

• L'ensemble des matrices dont la première ligne est nulle est un sous-espace vectoriel (et donc en particulier une sous-variété différentielle) de dimension n²-n. Evidemment il contient l'origine 0 et est contenu dans .


• Soit F une sous-variété de de dimension n²-n+1 et telle que . Nous allons prouver que F contient une matrice inversible.
  Au voisinage de l'origine la sous-variété F est décrite par un système de n-1 équations

  

  tel que les différentielles sont linéairement indépendantes à l'origine. On résoud ce système par le théorème des fonctions implicites, c'est-à-dire on peut isoler (théorétiquement) n-1 des coordonnées et les exprimer par les autres. On a ainsi, toujours au voisiange de l'origine, n²-n+1 coordonnées variables et n-1 coordonnées isolées (fonctions différentiables des coordonnées variables).
  Maintenant je peux poursuivre mon raisonnement de la preuve du cas affine : par des permutations de lignes et de colonnes je m'arrange à ce que les coordonnées isolées soient toutes au-dessus de la diagonale matricielle ; puis je prends les coordonnées sur la diagonale toutes égales à un nombre non-nul et proche de 0 et les autres coordonnées variables égales à 0. Ainsi j'obtiens une matrice inversible qui est dans F.

Voici un petit exercice d'algèbre linéaire :

Soit A une matrice symétrique n×n à coefficients entiers et de déterminant nul. On note A_j la matrice (n-1)×(n-1) obtenue à partir de A en supprimant la j-ième ligne et la j-ième colonne. Soient i,j dans {1,...,n}. Le nombre det(A_iA_j) est-il un nombre carré?

Mon ami Laurent Kaczmarek souhaite recenser toutes les démonstrations du résultat suivant d'algèbre linéaire.

Un espace vectoriel de dimension finie sur un corps non-dénombrable n'est pas réunion dénombrable de sous-espaces vectoriels stricts.

Preuves dans les cas réel ou complexe acceptées (et même souhaitées !).

Le cofacteur d'indice (j,k) d'une matrice carrée A est où désigne la matrice qu'on obtient en enlevant de A la k-ième ligne et la j-ième colonne. Autrement dit, si A est de format nxn alors est la matrice suivante de format (n-1)x(n-1)

La matrice des cofacteurs de A, s'appelle la comatrice de A, notée com(A). En résumé,

Petit exercice :  la fonction qui à une matrice associe sa comatrice est-elle un difféomorphisme du groupe linéaire sur lui-même ? Et de sur lui-même ?

Pas si évident que ça!

Appelons un rectangle entier si sa largeur ou sa longueur est un entier.
Soit R un rectangle constitué d'autres rectangles (leur union est R et ils se touchent seulement sur leurs bords).

Questions:

1. Démontrer que si chacun de ces rectangles est entier, alors le rectangle R l'est aussi.
2. La réciproque est-elle vraie?
3. Cet énoncé en dimension deux peut-on le généraliser à des dimensions plus grandes, par exemple aux cubes?

Réponses:   Cliquez ici pour la solution. Voir aussi les discussions ici et là.

La comatrice com(M) d'une matrice carré M d'ordre n est la matrice des cofacteurs, c'est-à-dire sa composante en (l,k) est fois le déterminant de la matrice qui s'obtient lorsqu'on ôte à M sa l-ème ligne et sa k-ème colonne.
Mais c'est surtout la transposée de la comatrice qui nous intéresse ; elle s'appele matrice complémentaire (en allemand Adjunkte, en anglais adjugate matrix) et on démontre dans tout cours d'algèbre linéaire qu'elle vérifie la propriété fondamentale :

Par conséquence si on travaille avec des coefficients dans un anneau A, alors la matrice M est inversible dans l'anneau matriciel à coefficients dans A si et seulement si le scalaire det(M) est inversible dans l'anneau A. Par exemple les matrices inversibles sur sont précisément celles dont le déterminant est 1 ou -1.

Exercice :  Démontrer que  com  est compatible avec la multiplication matricielle,

com(I) = I      et      com(MN) = com(M) com(N).

En 1991 le mathématicien russe Vladimir Arnol'd publia un

Il y vise ceux qu'il appelle les mathématiciens ignorants qui ont étudié les super-variétés ou les théorèmes de plongements mais ne savent pas résoudre des problèmes concrets et simples — ou, avec les mots de Pólya, ceux qui ressemblent à des singes qui sont toujours en haut d'un arbre :

A mathematician who can only generalise is like a monkey who can only climb up a tree, and a mathematician who can only specialise is like a monkey who can only climb down a tree. [...] A real mathematician must be able to generalise and specialise. — George Pólya

Selon Arnold le niveau de la culture mathématique baisse. Et il ne parle pas de la baisse du niveau du bac mais de celle du bac+5. (Or, comme le remarque Martin Andler ici, la question de la baisse de niveau est mal posée à cause de la massification de l'enseignement. Le nombre de mathématiciens en l'an 2000 est beaucoup plus grand que celui en 1900, en absolu et aussi en pourcentage de la population.)
Aux yeux d'Arnold je suis certainement un mathématicien très médiocre, voire ignorant ! De la même manière que je suis étonné quand un étudiant titulaire du bac S puisse avoir du mal à dériver sin(2x) ou à distinguer entre condition nécessaire et condition suffisante, Arnold serait choqué par le fait que je ne sais pas faire d'emblée sa liste de problèmes. En fait, si certains exercices de sa liste me sont très accessibles (par exemple les exercices 45 à 55), il y en a d'autres où je ne sais même pas par où commencer, comme par exemple le no. 72 (un problème de diffusion ?).

Pour Arnold cette collection ne contient pas de questions difficiles, mais seulement des questions qui forment le strict minimum essentiel — il serait alors intéressant de savoir combien un agrégé français moyen en résoudra en une semaine si on lui donne acces à wikipedia et à une bibliothèque de recherche. Quelle est votre estimation ? Plus ou moins que la moitié des problèmes ?

Si on regarde la liste des problèmes proposés on voit bien la préférence de l'auteur pour la géométrie et les équations différentielles. Il y a aussi un peu de topologie algébrique, mais on cherchera en vain des questions d'analyse ou algèbre pures, par exemple.

Vladimir Arnol'd est mort il y a trois semaines pas loin de chez moi, dans l'hôpital Saint-Antoine à Paris.

Mise-à-jour : JLT n'a pas chômé pendant le mois de juillet et a résolu la plupart des exercices !

Restent encore à faire: les no. 27, 41, 51, 58, 68, 69, 70, 73, 74.

Les solutions des exercices se trouvent dans les commentaires (pour déplier cliquer ci-dessous) mais ne sont pas dans l'ordre. Pour s'y retrouver utilisez la fonction find (Ctrl+F) de votre browser et recherchez le numéro de l'exercice par exemple sous la forme "no.54" ou "no.04".

Récemment j'ai regardé, comme tout bloggeur qui se respecte, les statistiques de ce blog MathOMan. J'étais curieux de savoir de quels pays viennent mes visiteurs et via quelles pages web intermédiaires ou grâce à quels mots clé ils arrivent sur mon site.

Pour les non-initiés : un mot-clé (en anglais keyword) est un mot ou une combinaison de mots que vous rentrez dans un moteur de recherche.

La majorité des visiteurs de ce blog viennent de la France, du Canada et des pays francophones d'Afrique. En regardant de plus près dans Network Location j'ai pu constater que le Ministère de l'éducation nationale rend visite à MathOMan presque tous les jours ouvrés de la semaine. Je suppose qu'il s'agit là d'une procédure standard visée à vérifier que les enseignants n'écrivent pas trop de bêtises sur leurs blogs.

Les mots clés les plus fréquemment cherchés par les internautes arrivés sur MathOMan concernent les mathématiques élémentaires, comme par exemple :

• comment trouver le centre d'un cercle
• comment calculer un pourcentage
• calculer une circonférence
• algebre pour les nuls

Pour que ces gens ne restent plus sur leur faim ici, je vais ouvrir prochainement une nouvelle catégorie de billets intitulée Les Maths pour les Nuls !

Evidemment il y a actuellement beaucoup de recherches du mot clé "sujet de bac mathématiques". D'autres mots clé sont très amusants, pour diverses raisons, soit par leur combinaisons insolites, soit par le côté existentiel (comme le no.4 ci-dessous), soit par l'impossibilité de trouver une réponse à cette question (comme le no.5) :

1. blog ennuyeux
2. comment etre elégante en classe
3. pourquoi pas de belle fille en math spé
4. faire des math ou pas
5. comment trouver le centre d'un cercle juste avec un compas
6. comment faire un piege a oiseau qui marche
7. piege a oiseaux sans piege
8. thèse doctorat reggae
9. ils ne comprennent rien il n'apprennent jamais
10. combien en fraction le nombre de gens qui parlent existent ?
11. comment resoudre une equation du premier degre sans pi
12. jean dieudonné: quelle distance a-t-il parcouru ?
13. apprendre beaucoup en peu de temps
14. bien gerer son bac avec humour
15. komen reusir le bac san travailé
16. avec quelle musique faire des maths ?
17. comment etre un bon eleve dans la classe
18. comment calculer comment sa nous prend pour passer avec un pourcentage
19. insecte laid qui ressemble a une fourmi transparent
20. je veux qu'on me calcule cet exercice
21. comment faire une opération de transformation un homme en une femme
22. peut on réapprendre les maths à quarante ans
23. qui fait les math à ma place
24. demontrer de fausses égalités mathématiques
25. elle est ferme
26. image filles sur canapé
27. colloque proust contrepeterie
28. les étudiants ne savent plus faire une équation
29. exercice pour avoir le prix nobel en maths
30. apres combien de temps un chien oublie son maitre
31. comment tracer une droites concourantes
32. apprendre la corégraphie de nobody's perfect
33. je suis aller au collège cette année, un jour, malheureusement, nous avons un problème dans le français le plus de mes leçons que nous ne comprenons pas ce que je dois faire des contrôles
34. combien de temp deux chien son coller après avoir fait l'amour
35. comment trouver le mot je t'aime en math
36. comment être une fille amusante
37. comment aimer son mari
38. maths et masturbation
39. extrait x les petit nin avec femme
40. femme qui fait l'amour avec un chien
41. anssienne metode de multiplication
42. alain conne salaire
43. les 3 connes streaming
44. comment écrire (a+b)² sous la forme d'un produit de deux facteurs
45. franque du bosque
46. ou faire virifier c'est fiche de paye

Je lance un défi aux lecteurs de ce blog : trouvez les réponses les plus insolite à ces questions !