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.

Deux exos sympas sur les matrices.

Exercice 1. Soient , k=1,...,n des matrices carrées complexes de même taille, toutes non-nulles. Existe-t-il toujours une matrice carrée A telle que

Exercice 2. On note T la transposition des matrices. Soient A,B,C,D, des matrices carrées telles que T(A)=BCD, T(B)=CDA, T(C)=DAB et T(D)=ABC. Démontrer que

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 !).

Le fait que

est une des premières choses qu'un étudiant apprend lorsqu'il étudie les nombres réels. Voici une démonstration de cette égalité.

On pose

X = 0,99999...

Alors on a l'égalité

10X = 9,99999...

dont on soustrait la première,

9X = 9,00000...

D'où X = 1.

Convaincant, n'est-ce pas ? Pour beaucoup de gens il s'agit d'une preuve — mais en réalité ça reste une tricherie car on ômet de réfléchir sur un certain nombre détails (comme par exemple à la signification rigoureuse de 0,99999... ou du produit 10 fois 0,99999.... C'est un peu comme en topologie où il faut aussi faire comprendre au débutant que le fait que les boules ouvertes sont des ouverts nécessite une preuve.)
Or qui a bien compris le cours sur les nombres réels n'a pas besoin d'une preuve car l'égalité 0,999999... = 1 est une conséquence immédiate des diverses définitions possibles du corps des réels.

Voici la manière dont j'expliquerai l'égalité 1=0,99999... à quelqu'un qui ne connais pas grand chose en maths :

Une bien meilleure méthode

On pose X = 0,99999... et on admet (!) que

0 < 0,9 < 0,99 < 0,999 < 0, 9999 < ... < X

donc par multiplication par -1 les inégalités changent de sens,

0 > - 0,9 > - 0,99 > - 0,999 > - 0,9999 > ... > - X.

En ajoutant 1 à chaque membre de ces inégalités, on obtient

1 > 1 - 0,9 > 1 - 0,99 > 1 - 0,999 > 1 - 0,9999 > ... > 1 - X.

Autrement dit,

Ainsi la différence 1-X est plus petite que tout nombre de la forme 0,000...0001. C'est-à-dire 1-X ne peut pas être strictement positif. D'autre part 1-X n'est pas strictement négatif car X est n'est pas plus grand que 1. Cela prouve que 1-X = 0 , ou encore que X = 1.   CQFD

Avec un tel raisonnement, je crois, le non-initié comprend mieux les idées mathématiques qu'avec une tricherie qui fait seulement appel à ses habitudes de calcul.

Brenoms

D'ailleurs au lieu d'écrire une infinité de chiffres après la virgule on peut aussi écrire une infinité de chiffres devant. On obtient alors ce qu'on appelle un brenom (verlan de nombre). On additionne les brenoms en commencant par la droite. Ca donne des résultats bizarres comme par exemple

Plus de détails sur les brenoms dans ce bel article.

Ci-dessous les questions avec corrigés pour mes élèves en colles de mathématiques en classe P1P de l'ISEP. Si vous avez une colle à rattraper vous devez obligatoirement m'en prévenir via le formulaire contact de ce site et m'indiquer le jour et le programme de colle.

Khôlles prépa math sup avec corrigés :

1. Khôlle 1
2. Khôlle 2
3. Khôlle 3
4. Khôlle 4 — Equations différentielles
5. Khôlle 5 — fichier perdu
6. Khôlle 6 — Suites
7. Khôlle 7 — Intervalles, densité, continuité
8. Khôlle 8 — Continuité
9. Khôlle 9 — Dérivabilité
10. Khôlle 10 — Développements limités
11. Khôlle 11 — Convexité
12. Khôlle 12 — Groupes
13. Khôlle 13 — Anneaux, arithmétique
14. Khôlle 14 — Applications linéaires
15. Khôlle 15 — Applications linéaires
16. Khôlle 16 — Matrices
17. Khôlle 17 — Matrices
18. Khôlle 18 — Déterminant
19. Khôlle 19 — Polynômes
20. Khôlle 20 — Polynômes (encore)
21. Khôlle 21 — Fractions rationnelles
22. Khôlle 22 — Fonction intégrables
23. Khôlle 23 — Fonction intégrables (suite)
24. Khôlle 24 — Espaces euclidiens
25. Khôlle 25 — Espaces euclidiens (suite)
26. Khôlle 26 — Coniques
27. Khôlle 27 — Fonctions de plusieurs variables
28. Khôlle 28 — Courbes

Lire les conseils de rédaction.

Classer les gens

• Il y a trois sortes de gens au monde: ceux qui savent compter et ceux qui ne savent pas compter.
• Il y a deux sortes de gens au monde: ceux qui pensent que le monde peut être divisé en deux sortes de gens et ceux qui pensent que ce n'est pas possible.
• Il y a 10 sortes de gens au monde: ceux qui comprennent la notation binaire et ceux qui ne la comprennent pas.

Combien faut-il de mathématiciens pour changer une ampoule ?

• Aucun. C'est laissé au lecteur en exercice.
• Aucun. Un mathématicien ne peut pas changer une ampoule, mais il peut prouver que cela est faisable.
• Un. Il la donne à un physicien et ramène ainsi le problème à un problème précédemment résolu.
• La solution est triviale.
• Un seul, une fois que vous avez réussi à lui présenter le problème dans des termes qu'il peut comprendre.

Combien faut-il d'analystes pour changer une ampoule ?
Trois. Un pour prouver l'existence, un pour prouver l'unicité et un pour déterminer les condtions initiales.

Combien faut-il d'analystes numériques pour changer une ampoule ?
3,9967 (après six itérations)

Combien faut-il de mathématiciens constructivistes pour changer une ampoule ?
Aucun. Ils ne croient pas au rotations infinitésimales.

Combien faut-il de géomètres classiques pour changer une ampoule ?
Cela ne peut pas être fait à la règle et au compas.

Combien faut-il de topologistes pour changer une ampoule ?
Un seul. Mais que fait-il du beignet ??

Combien faut-il de Bourbakistes pour changer une ampoule ?
Changer une ampoule est un cas particulier d'un problème plus général concernant l'entretien et la réparation d'un système électrique. Pour déterminer un minorant et un majorant du nombre de personnes nécessaires, nous devons vérifier si les conditions du lemme 2.1 (disponibilité du personnel) et ceux du corollaire 2.3.55 (motivation du personnel) sont vérifiées. Si et seulement si ces conditions sont réunies, on obtient le résultat en appliquant le théorème de la section 3.11.23. Le majorant obtenu est, bien sûr, à prendre en compte dans un espace mesuré, muni de la topologie *-faible.

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).

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.

La langue des français ne finit pas par me surprendre. Ils ne faut pas toujours prendre à la lettre ce qu'ils disent. Par exemple il a quarante balais ne signifie pas qu'il s'agit d'un collectionneur d'outils de nettoyage, non mais quel manque d'imagination de la part de l'étranger que je suis, évidemment il fallait comprendre qu'on compte ici les années...

Mais encore plus bizarres sont les deux expressions suivantes qui inversent le sens. Contrairement à ce qu'on devrait croire t'inquiète ne signifie pas inquiète-toi mais ne t'inquiète pas ! Et fais gaffe ne veut pas dire fais une gaffe mais ne fais pas de gaffe !

J'avoue qu'en ma patrie, la Bavière, aussi il y a des illogismes. Par exemple, on peut entendre des bavarois dire i hob koa Mo net gsehn. Traduction en allemand correct : ich habe keinen Mann nicht gesehen. La double-négation kein/nicht en allemand fait une affirmation, mais pas chez les bavarois car ils aiment faire chose à part du reste de l'Allemagne.

En général, une négation en mathématiques et en langue est ce qu'on appelle une involution, c'est-à-dire une opération qui appliquée deux fois nous ramène au point de départ. Comme la multiplication avec -1. Si je multiplie deux fois par -1 je retrouve le nombre initial car -(-x)=x. Un autre exemple d'involution est une réflexion, par exemple par rapport à un plan : l'image miroir d'un image miroir est l'image initial.

Blague : A Krka lors de la conférence mondiale bi-annuelle des linguistes un chercheur fait un exposé détaillé sur les principes de la double-négation. Il explique alors qu'une double-négation est équivalente à une affirmation, mais qu'une double-affirmation ne peut jamais, mais vraiment jamais produire une négation. Après une heure son exposé compliqué en MindMaps et PowerPoint, avec des matrices, des équations comme et se termine, les scientifiques s'apprêtent à applaudir quand soudainement vient du dernier rang de l'amphi un Oui, oui...

Exercice : Un condamné est dans une pièce avec deux portes, chacune gardée par un gardien. Il sait que l'une des portes amène à la liberté et l'autre à la prison et que l'un des gardiens dit toujours la vérité tandis que l'autre ment toujours. Il a le droit de poser à un gardien au choix une seule question à réponse oui/non, puis il a le droit de sortir par la porte qu'il veut. Quelle question posera-t-il et quelle porte prendra-t-il ensuite ?

Remarque : Il existe une solution bien connue. Mais il existe aussi une autre qui ne suppose même pas que chaque gardien soit au courant qu'il existe une autre porte avec un autre gardien.

Les chercheurs en mathématiques appellent hand waving une manière d'expliquer une idée oralement et avec les mains, sans faire appel à un formalisme poussé. Dans certaines situations, cette démarche est justifiée et peut être très efficace.

Si on veut être méchant on pourrait dire que, pour expliquer sa nouvelle découverte un mathématicien a besoin de

• ses mains et 15 minutes s'il s'adresse à un collègue dans la cafétéria de son centre de recherche,
• cinq transparents et 60 minutes s'il l'expose dans un séminaire,
• vingt pages qui demandent trois jours de lecture, s'il la publie dans une revue scientifique.

Le problème est que les mathématiques demandent la précision totale, et celle-ci nécessite un formalisme exacte et sans ambiguïté. Oralement, en faisant des dessins avec les mains dans l'air ou sur un brouillon, on peut toujours guider son interlocuteur et l'empêcher de mal comprendre. Mais ce n'est pas le cas en communication écrite où l'auteur est obligé de traduire ses idées en un formalisme que le lecteur devra ensuite retraduire en idées!
Beaucoup d'énergie est perdue dans ces efforts de traduction et re-traduction. Pour minimiser ces efforts le lecteur doit s'entraîner à maîtriser le formalisme et l'auteur, de son côté, doit inventer un formalisme facile à lire et avec des notations intuitives --- et, si possible, ajouter des dessins à son texte!

Malheureusement, dans beaucoup de manuels universitaires, il n'y a pas assez de dessins. Peut-être c'est dû à la paresse des auteurs qui rédigent en LaTeX où il est beaucoup plus rapide d'écrire cinq lignes de formules que de faire un dessin avec PSTricks...

Moi, personnellement, lorsque j'étais étudiant j'adorais les livres de Klaus Jänich, parus dans la série Undergraduate Texts in Mathematics chez Springer, très bien écrits et agrementés de nombreux dessins; en particulier son livre sur la topologie et son livre sur les fonctions holomorphes m'ont beaucoup aidé.
C'est cette démarche, avec beaucoup d'illustrations, que nous avons adoptée pour la rédaction de notre livre Mathématiques L1 pour la première année en université ou en classe prépa.

Étienne Ghys, Jos Leys et Aurélien Alvarez ont réalisé une très belle série de films en images de synthèse sur les mathématiques. Chaque vidéo est un récit scénarisé d'un mathématicien qui raconte ses découvertes d'une manière très compréhensible. C'est bien écrit et les visualisations correspondent exactement au texte ; on prend le temps d'expliquer ce type de maths sans beaucoup de formules.

Cliquez sur l'image

Le niveau recquis des différents épisodes est très divers. Aux lycéens en terminale S je recommande l'épisode 5 qui explique de manière simple ce que c'est un nombre complexe.
En revanche, les épisodes 7 et 8 qui parlent, entre autres, de la fibration de Hopf, vont plutôt profiter aux initiés en topologie en basses dimensions.