Après quelques exercices plutôt abstraites, voici une belle question de géométrie dans l'espace.

On dit qu'un objet dans l'espace est invariant par rapport à un axe de rotation si toute rotation autour de cet axe transforme l'objet en lui-même. Par exemple un cylindre droit (ou un cône droit) est invariant par rapport à son axe central.
On dit que l'objet est convexe s'il contient avec deux points A et B aussi tout le segment [A,B]. Et on dit qu'il est borné s'il ne sétend pas infiniment, ou autrement dit s'il existe une boule (éventuellement très grande) le contenant.

Que pouvez-vous dire sur un objet convexe, borné et invariant par rapport à deux axes de rotation ?

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.

Vous avez douze boules d'or qui se ressemblent. Elles ont exactement le même poids à l'exception d'une qui est une imitation, et vous ne savez pas si elle est plus lourde ou plus légère que les vraies boules d'or.

Vous disposez d'une simple balance à plateaux. Est-il possible d'isoler avec trois pesées la fausse boule et de déterminer en même temps sa nature (plus lourde ou plus légère)?



Cliquez ici pour la solution de ce casse-tête.

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.

La question suivante est certainement dans le goût de certains lecteurs du blog, un typique petit problème sur lequel nous matheux aimons perdre notre temps...

Tout point de l'espace (trois dimensions) est coloré avec une de cinq couleurs, et toutes ces cinq couleurs interviennent. Montrer qu'il existe un plan contenant au moins quatre couleurs.

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.

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

Voici un exercice sur un énoncé de climatologie très théorique et inutile. Il est dédié à mon ami A. Wirth qui a quitté les maths pures pour consacrer son talent à des questions aussi appliquées que la météorologie et l'océanographie ;-)

Exercice : On assimile la terre à une boule parfaite et on suppose que la température sur la surface terrestre est une fonction continue. Montrer qu'il existe une infinité d'ensembles disjoints deux à deux {A,B} où A et B sont des points sur la surface terrestre tels que la température en A et B est la même et tels que la distance entre A et B est 1000 km.

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

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

Quand on dit que quelqu'un a une bonne vision dans l'espace, c'est pour exprimer que cette personne est capable de restituer à partir des informations d'un dessin 2-dimensionnel (par exemple sur une feuille de papier ou à l'écran de votre ordinateur) la position d'un objet dans l'espace 3-dimensionnel.

Ce qui est facile pour certains peut être difficile pour d'autres. Cette vision dans l'espace n'est pas innée à tout le monde, c'est une capacité qu'on peut entraîner ; et dans certaines professions elle est indispensable, par exemple en architecture.

Quand on passe d'une configuration à 3 dimensions vers un dessin à 2 dimensions, forcément on perd certaines informations. Ainsi le dessin d'un cube transparent ci-haut admet deux "vues" possibles qu'on a representées avec deux cubes opaques.
Tandis que la première de ces deux possiblilités ne semble pas poser beaucoup de problèmes, la deuxième n'est pas évidente pour tous. C'est pourquoi ci-dessous je la reprends en ajoutant deux hommes, l'un portant le cube, l'autre se promenant dessus. Cela clarifie la perspective.

Exercice
Vous pouvez maintenant faire un exercice : cachez les deux cubes à droite, fixez le cube à gauche et essayez de passer d'une perspective à l'autre ! C'est un bon entraînement...

Souvent on utilise aussi des traits en pointillets pour distinguer les bords invisibles des bords visibles:

Un autre exercice
Voici un autre exercice basé sur le même concept mais qui exige plus d'imagination.

On peut voir de deux manières la silhouette de la danseuse ci-dessus:

• La fille nous montre son dos. Alors sa tête est légèrement inclinée vers sa droite et c'est sa jambe droite qui est levée.
• Nous voyons le visage de la fille. Alors sa tête est légèrement inclinée vers sa gauche et c'est sa jambe gauche qui est levée.

Essayez de passer d'une vue à l'autre ! C'est beaucoup plus dur qu'avec les cubes. Et ça devient encore plus difficile, si elle tourne.

• Soit elle tourne sur sa jambe gauche. Un oiseau au-dessus d'elle la verrait alors tourner dans le sens des aiguilles d'une montre.
• Soit elle tourne sur sa jambe droite. Un oiseau au-dessus d'elle la verrait alors tourner contre le sens des aiguilles d'une montre.

Quant à moi, je vois spontanément la première possibilité. Mais quelques fois j'arrive à adopter la deuxième vue, et seulement si je fais un effort. Et j'y reste bloqué, c'est-à-dire immédiatement après je ne peux plus revoir la première vue.

Il est aussi intéressant de tenir compte de l'ombre de la jambe soulevée. Comme on ne voit qu'une silhouette de la danseuse on déduit que l'éclairage est placé derrière la fille ; donc quand l'ombre du pied soulevé appraît en bas de l'image cela signifie que ce pied est plus loin du spectateur que pendant la phase où l'ombre est hors du cadre. Le seul sens possible est alors le deuxième !

Paradoxes
Lorsqu'on essaie de coder un objet 3D dans un dessin 2D, on peut perdre de l'information, mais on peut aussi créer des informations contradictoires, c'est-à-dire on peut faire des représentations pour lesquels il n'existe pas d'objet dans l'espace à 3 dimensions l'ayant pour image — ce qu'a fait l'artiste Maurits Cornelis Escher avec son escalier impossible

ou le mathématicien Roger Penrose avec son fameux triangle impossible (aussi tripoutre ou tribarre).