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.

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.

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

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

Quelques fois on garde un souvenir très complet d'une démonstration mathématique, et ce souvenir inclût également des accessoires absurdes et inutiles comme par exemple le numéro de la page du livre où on l'a apprise ou la couleur de la chemise du professeur qui l'a expliquée...

Ci-dessous j'explique, en forme d'exercice corrigé, pourquoi le groupe SO(3) de rotations dans l'espace peut être identifié à l'espace projectif réel . Et je me rappelle que c'était un collègue d'études qui m'a raconté cette preuve par la méthode de hand waving sous le soleil d'été dans une piscine plein air à Bonn!

Un bel énoncé géométrie et topologie
Le but de l'exercice est de montrer que et

Notations
Dans un premier temps — dont nous nous contentons ici — le symbole signifie simplement qu'il existe une bijection entre les ensembles concernés; c'est clairement une relation d'équivalence.
Comme d'habitude dénote l'espace projectif réel de dimension n, c'est-à-dire l'ensemble des droites vectorielles dans . Fixons aussi les notations pour trois sous-ensembles importants de :

• la boule
  
• la sphère
  
• l'hémisphère nord
  

Le bord de la boule est la sphère . Chaque point x sur ce bord possède un antipode, à savoir le point —x.
Si on ``recolle'' par identification des antipodes sur son bord, alors on obtient un nouvel ensemble que nous notons Ca, c'est du handwaving. De manière ensembliste on pourra écrire




Questions

1. Expliquer par des mots de quelles formes sont la boule et son bord dans les cas n=1,2,3.
2. Démontrer que
   
3. Démontrer que
   
4. Démontrer que
   
5. Démontrer que
   

Cliquez pour lire la Solution.

L'artiste suisse Felice Varini expose actuellement à la Galérie Xippas à Paris. Il aime jouer avec des illusions optiques dans l'espace, des sortes de trompe l'œil. Plus précisément, en termes mathématiques, il profite du fait que la projection de l'espace à trois dimensions sur un plan (espace à deux dimensions) n'est ni injective ni isométrique.

Par exemple une ellipse peut se transformer en cercle par cette projection. Les installations de Varini l'illustrent, il suffit de changer de perspective (ou comme dit Varini, se mettre hors point de vue). Les photos suivantes sont extraites du site web de l'artiste. On peut réaliser cette illusion optique dans son propre appartement ; voici une vidéo avec un cube.

Felice Varini : Quatre cercles dansants

Hors point de vue

Et comme les cercles ne sont pas posés sur un support plane, il arrive bien souvent qu'ils consistent de plusieurs parties non-connexes. Dans l'exemple ci-dessus les dessins des cercles rentrent même à l'intérieur de la salle de séjour (sur la première photo la porte est ouverte). On constate également que l'épaisseur du trait doit varier en fonction de l'emplacement.
L'été dernier Varini a même encerclé tout un village dans les Alpes Suisses !

Felice Varini : Cercle et suite d'éclats (Vercorin, Suisse, été 2009)

Hors point de vue

Et pour finir, voici une autre illusion d'optique, cette fois fabriquée par un mathématicien, le japonais Kokichi Sugihara, de l’Institut pour les sciences mathématiques de Kawasaki. Quatre boules sous le seul effet de la gravation...

Mon dernier billet où on parlait de racines multiples de polynômes m'a rappelé quelques souvenirs de notions que j'avais apprises pendant ma maîtrise.

Le résultant de deux polynômes

Considérons deux polynômes

Leur résultant R(P,Q) est le déterminant de la matrice de Sylvester, matrice carré d'ordre m+n dont on comprend la construction par l'exemple ci-dessous pour n=4 et m=3.

La proposition suivante est la raison d'être du résultant.

Proposition. On a R(P,Q)=0 si et seulement si P et Q possèdent un diviseur commun non-constant.

Le discriminant d'un polynôme

Dans le cas où Q est la dérivée de P le résultant porte un nom particulier : on appelle R(P,P') le discriminant de P. La proposition ci-dessus implique le corollaire ci-dessous.

Corollaire. Un polynôme complexe admet une racine multiple si et seulement si son discriminant est nul.

Testons au moins la véracité de ce corollaire sur les polynômes de second degré (que les profs de lycée appellent trinômes) !

On calcule alors le discriminant de P comme déterminant d'une matrice 3x3 (règle de Sarrus),

Nous retrouvons ainsi le fait, connu par tout lycéen en classe première S, que le polynôme de second degré aX²+bX+c possède une racine double si et seulement si b²-4ac=0.

Groupe fondamental du complémentaire du lieu discriminant

Maintenant revenons au niveau maîtrise (des nos jours master ou encore magistère...) pour poser les deux questions suivantes. Dans l'espace on appelle lieu discriminant le sous-ensemble formé des tels que le polynôme

possède une racine multiple.

1. Montrer que est connexe par arcs.
2. Quel est le groupe fondamental de  ? Le décrire par générateurs et relations.

Les réponses sont plutôt faciles ; pour la deuxième question, pas la peine de tout formaliser, le handwaving suffit car dans cet exemple le formalisme ne donne rien en valeur ajoutée...

Ci-dessus la solution pour l'exercice sur le lien entre groupe de rotation et espace projectif.

Réponses aux questions

1. est l'intervalle fermé [-1,1] et son bord est constitué des deux extrémités. est un disque et son bord est un cercle. est une ``vraie'' boule et son bord est une ``vraie'' sphère.
   


2. Les deux applications suivantes sont bijectives car inverses l'une de l'autre.
   
   
   
   
   
   Illustration: si on projette l'hémisphère nord sur l'hyper-plan équatorial, on obtient la boule d'unité dans cet hyper-plan.
   
   
   
   Notons que dans le graphique l'axe des abscisses représente l'espace . Il est instructif de comprendre ce dessin déjà pour les plus basses dimensions:
   
   
   
   
   • Si n=1 alors on est dans le plan euclidien . Le demi-cercle supérieur (en rouge) se projette bijectivement sur le segment (en bleu).
     
   
   
   • Si n=2 alors on est dans l'espace plan euclidien et est une ``vraie'' sphère dont le dessin montre une coupe. L'hémisphère nord (en rouge) se projette bijectivement sur le disque (en bleu).
     
   
   
   
   


3. Chaque droite coupe la sphère en deux antipodes: et où est arbitraire dans .
   Au moins un des deux points est dans l'hémisphère nord:
   
   
   
   De cette observation on déduit que l'application
   
   est surjective; en plus, elle est injective en dehors de l'équateur, et deux antipodes sur l'équateur sont envoyés sur une même image. Plus précisément
   
   
   
   Par conséquence est en bijection avec l'ensemble obtenu à partir de par identification des antipodes sur l'équateur. Or d'après la question précédente nous savons que et l'équateur n'est rien d'autre que le bord de . Par conséquence .
   
   
4. Le résultat précédent implique en particulier que .
   Or =[-1,1] et par conséquence est simplement l'intervalle [-1,1] où on a recollé -1 et 1.
   Ainsi est en bijection avec le cercle . Nous obtenons . Illustration:
   
   
   
   D'autre part est le groupe des rotations du plan euclidien orienté . Comme chaque rotation est déterminée de manière unique par son angle compris dans il est évident que est en bijection avec le cercle .
   Conclusion: .
   


5. Pour la suite voir le fichier pdf.

Hier soir j'étais chez mon ami artiste-développeur Eric Wenger. Il m'a présenté la nouvelle version de l'un des logiciels dont il est le créateur. Il s'agit d'ArtMatic Voyager avec lequel on peut créer des paysages infinis avec plantes, et beaucoup d'autres choses sans utiliser de bases de données préfabriquées...
Les projections des objets en trois dimensions sur un plan font donc partie du quotidien d'Eric. Voici un bel exercice de géométrie dans l'espace:

Décrire analytiquement le contour d'un tore de rayons r et R en fonction de l'angle entre le plan du tore et la droite entre le centre du tore et l'oeil.

Le contour possède une seule partie connexe lorsque est petit. Lorsque augmente une deuxième partie connexe apparaît à l'intérieur; elle est d'abord singulière, puis lisse. Mais qu'est-ce que ça donne analytiquement? Des ellipses?

Différentes positions d'un tore dans l'espace

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é?

Les commentaires du billet un exercice de topologie sur le blog de PB soulevait quelques questions intéressantes. Une parmi elles possède la réponse suivante :

Dans une variété topologique connexe on peut relier tout couple de points distincts par un chemin injectif.

Remarquons que ce résultat ne vaut plus sur des espaces non-séparés comme la droite avec un point dédoublé (une variété topologique est séparée par définition).

Démonstration :

Rappellons d'abord que sur une variété topologique les notions connexe et connexe par arcs sont équivalentes.
Quelques notations : B(r) désigne la boule ouverte de rayon r et de centre 0 dans pour la norme euclidienne. Pour noter la boule fermée, on mettra une barre dessus.

Soit M une variété topologique de dimension n et x un point de M. Notons E le sous-ensemble de M constitué de x et de tous les points qu'on peut relier injectivement à x. Notre but est de prouver que E=M. Vu que M est connexe et que E est non-vide, il suffit de montrer que E est ouvert et fermé.

• Ouvert : Soit y un point arbitraire dans E. Dans l'atlas de la variété M il existe une carte .
  
  
  • Si alors car dans une boule on peut toujours relier injectivement deux points distincts par un segment.
  
  
  • Dans l'autre cas où x n'est pas dans U nous posons r=1/2 et nous allons prouver que On sait déjà qu'il existe un chemin injectif tel que et . L'ensemble est compact, et comme M est séparé, on déduit qu'il est fermé (voir aussi remarque 2 en bas).
    
    Par continuité l'image réciproque est fermé dans [0,1] et possède donc un plus petit élément . On a l'inégalité car
    
    Le point ne peut pas être contenu dans la boule ouverte , sinon le serait également pour assez petit, contrairement à la définition de . Donc est sur le bord de la boule . Par construction on peut relier injectivement à tout point de sans rencontrer . En juxtaposant ces deux chemins, on relie donc injectivement x à n'importe quel point de Donc est un voisinage ouvert de y contenu dans E.

    



• Fermé : Nous devons prouver que le complémentaire de E est ouvert. Soit donc y un point arbitraire dans M\E, autrement dit y est un point qui ne peut pas être relié injectivement à x. On prend une carte . Alors on sait déjà que x ne peut pas être dans U. De deux choses l'une :
  
  
  • Soit l'ouvert U est une partie de M\E — dans ce cas on a terminé.
  
  
  • Soit U n'est pas inclu dans M\E — dans ce cas il existe un point z dans l'intersection . Pour on a . Il existe un chemin injectif allant de x à z. L'ensemble

    

    est compact car c'est l'intersection d'un compact et d'un fermé. (Pour voir que est fermé on utilise, comme en haut, le fait que M est séparé.)
    Parmi tous les points du compact il existe un ayant norme minimale. Nous notons w ce point et son correspondant sur la variété (toujours via la carte ). Clairement . D'une part on a la restriction de à et d'autre part le chemin correspondant au segment [w,0] ; en juxtaposant ces deux chemins injectifs on obtient un chemin de x à y qui, par construction, est injectif. Contradiction, ce cas ne peut pas avoir lieu.

    

Remarque 1 :

L'idée de la preuve est de se ramener à l'intuition que nous avons de notre espace usuel. Quand une trajectoire passe de l'extérieur d'une boule à l'intérieur d'une boule, elle doit forcément traverser le bord de la boule, elle coule comme une rivière. Or cela n'est plus vrai dans les espaces non-séparés comme la droite à deux origines dédoublées, 0' et 0''. Quand je fais un chemin de 0' à 0'' alors je rentre directement dans l'intérieur de la boule [-1,1]'' sans passer par -1 ou par 1. Le chemin apparait miraculeusement de nul part, il jaillit comme une source...

Il est donc intéressant de voir où la preuve ne fonctionne plus dans cet exemple. Evidemment c'est au moment où on utilise le fait qu'un compact d'un espace séparé est toujours fermé. Sur la droite dédoublée l'ensemble [-1,1]'' est compact mais il n'est pas fermé, car son complémentaire n'est pas ouvert.

Remarque 2 :

On est tenté de dire que est fermé comme image réciproque d'un fermé par une application continue. Mais cela serait faux ! En effet, est seulement définie sur U et pas sur toute la variété M. On peut donc dire que est un fermé de l'espace U (pour la topologie induite par M), mais de là on ne peut pas conclûre directement qu'il s'agit d'un fermé de M. C'est pourquoi nous devons faire ce détour :

compact dans B(1),
donc compact dans U,
donc compact dans M,
donc fermé dans M (séparé).