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

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

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

Définition (selon Wikipédia) : Un Gömböc (mot hongrois) est un corps homogène tridimensionnel convexe comportant un unique point stable et un unique point instable d'équilibre. Posé n'importe comment, il revient toujours à la même position.

La question de trouver un tel corps fût posée par le mathématicien russe Vladimir Arnold et était résolue l'année dernière par deux mathématiciens hongrois. La vidéo suivante montre que certaines tortues ont une carapace qui ressemble à un Gömböc.

Et pour finir avec la même espèce animal voici un très beau dessin connexe (dessiné d'un seul trait) par un artiste de Vanuatu (république en Océanie), spécialisé en dessins de sable. Il part d'une simple grille de référence, donc avec un cahier d'école on devrait pouvoir y arriver... Tout le monde peut s'y entraîner durant des leçons ou séminaires ennuyeux (-;

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.

Dernièrement nous avons parlé de groupes cycliques et du groupe de rotation SO(3). Aujourd'hui nous allons revisiter ces deux notions pour explorer une jolie propriété en mathématiques.

Voici une petite vidéo où je tourne mon bol de café au lait. Plus précisément je lui fais deux tours complets. On remarquera qu'après le premier tour mon bras est tourdu, mais après le deuxième tour mon bras revient à sa comfortable position du début.

MathOMan tord son bras... et le remet à sa place!

Explication (par handwaving en prose)

Il reste à voir qu'on n'a pas déjà g=0, autrement dit qu'il est impossible d'avoir le bras en place déjà après le premier tour. Une manière simple de comprendre que g , ou encore h, n'est pas homotope au lacet constant est de voir h comme un lacet dans l'espace projectif de dimension 3. Il correspond alors à la rotation d'une droite dans l'espace de dimension 4, d'angle 180° autour d'un axe perpendiculaire. La droite revient sur elle-même, mais on ne peut pas rétrécir ce mouvement.

Voilà, si on formalise ces raisonnements un peu plus, on démontre que le groupe fondamental de SO(3) (ou plus généralement d'un espace projectif de dimension au moins 3) est le groupe cyclique à deux éléments Z/2Z.

Les physiciens adorent ce genre de propriétés mathématiques et invoquent même le groupe de Spin, revêtement universel de SO(3). Mais pour expliquer ces applications en physique théorique, il faudra un autre bloggeur — peut-être un PhysOMan?

On m'a recommandé à ce sujet le livre Spinors & Space-Time de Roger Penrose et Wolfgang Rindler mais mes maigres pré-recquis en physique m'ont découragé de l'acquérir ;-)

Après le précédent billet, bien triste, il est le temps de rire un peu ! Voici quelques blagues et une contrepèterie de matheux pour retrouver notre sourire ;-)

Que répond une mathématicienne venant d'accoucher à qui l'on demande "Avez-vous eu un garçon ou une fille ?"
"Oui."

Logarithme et exponentielle sont au restaurant. Qui paie l'addition ?
C'est exponentielle, car logarithme népérien...

Quel est le comble du mathématicien ?
C'est de se faire piquer sa moitié par un tiers dans un car.

Combien de fois peut-on soustraire 5 de 23 et combien reste-t-il ?
Autant de fois que l'on veut et il reste 18 à chaque fois.

Qu'est-ce qu'un ours polaire ?
Un ours cartésien après un changement de coordonnées.

Qu'est-ce qui est jaune, normé et complet ?
Un espace de Bananach.

Pourquoi la vie est-elle complexe ?
Elle a des composantes réelles et imaginaires.

Qu'obtient-on en croisant un éléphant et une banane ?
|elephant| |banane| sin(theta)

Qu'est-ce qu'un homme complexe dit à une femme réelle ?
"Viens danser !"

What's purple and commutes ?
An abelian grape.

What's yellow and equivalent to the Axiom of Choice.
Zorn's Lemon.

Théorème : Tout entier positif est intéressant.

Preuve : Supposons le contraire. Alors l'ensemble des entiers positifs non-intéressants est non-vide. D'après l'axiome du bon ordre il possède un plus petit élément. Alors cet élément est drôlement intéressant — contradiction !

On demande à plusieurs scientifiques : "Combien vaut pi ?"
L'ingénieur répond : "C'est approximativement 3 et 1/7."
Le physicien dit : "C'est 3,14159"
Le mathématicien réfléchit un instant et répond : "C'est égal à pi".

Un mathématicien et un ingénieur assistent à la conférence d'un éminent physicien concernant les théories de Kaluza-Klein sur les processus physiques intervenant dans les espaces de dimension 9.
Le mathématicien est assis et apprécie beaucoup la conférence, pendant que l'ingénieur fronce les sourcils et semble complètement embrouillé. A la fin, le mathématicien et l'ingénieur, qui a un énorme mal de crâne, commentent la conférence.
L'ingénieur : "Comment fais-tu pour comprendre tout cela ?"
Le mathématicien : "Il suffit de visualiser le processus."
L'ingénieur : "Mais comment peux-tu visualiser un processus intervenant dans un espace de dimension 9 ???"
Le mathématicien : "C'est simple. D'abord tu visualises le processus en dimension n, et ensuite il suffit de prendre n=9."

Un biologiste, un physicien et un mathématicien sont assis à la terrasse d'un café et regardent les passants. De l'autre côté de la rue, ils voient un homme et une femme entrer dans un immeuble. 10 minutes plus tard, ils ressortent avec une troisième personne.
 — Ils se sont multipliés, dit le biologiste.
 — Oh non, une erreur de mesure, s'écrie le physicien.
 — S'il rentre exactement une personne dans l'immeuble, il sera de nouveau vide, conclut le mathématicien.

Un mathématicien, un physicien et un ingénieur voyagent à travers l'Ecosse et voient un mouton noir par la fenêtre du train.
"Aha," dit l'ingénieur, "je vois que les moutons écossais sont noirs."
"Hmm," dit le physicien, "tu veux dire que certains moutons écossais sont noirs."
"Non," dit le mathématicien, "tout ce qu'on sait est qu'il y a au moins un mouton en Ecosse, et qu'au moins un côté de ce mouton est noir !"