Un exemple où la séparation de l'espace topologique est importante

Peut-on relier deux points par un chemin injectif ?

Par Mathoman, lundi 8 juin 2009 à 15:00 - Maths pour matheux - Tags

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 $\mathbb{R}^n$ 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 $x\in U$ alors $U\subset E$ 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 $\varphi^{-1}(B(r))\subset E.$ On sait déjà qu'il existe un chemin injectif $\lambda\::\:[0,1] \rightarrow M$ tel que $\lambda(0)=x$ et $\lambda(1)=y$ . L'ensemble $\varphi^{-1}(\overline{B}(r))$ 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 $\lambda^{-1}(\varphi^{-1}(\overline{B}(r)))$ est fermé dans [0,1] et possède donc un plus petit élément $t_0$ . On a l'inégalité $t_0>0$ car $\lambda(0)=x\not\in U.$
  
  Le point $\varphi(\lambda(t_0))$ ne peut pas être contenu dans la boule ouverte $B(r)$ , sinon $\varphi(\lambda(t_0-\epsilon))$ le serait également pour $\epsilon>0$ assez petit, contrairement à la définition de $t_0$ . Donc $\varphi(\lambda(t_0))$ est sur le bord de la boule $B(r)$ . Par construction on peut relier injectivement $\lambda(t_0)$ à tout point de $\varphi^{-1}(B(r))$ sans rencontrer $\lambda([0,t_0[)$ . En juxtaposant ces deux chemins, on relie donc injectivement x à n'importe quel point de $\varphi^{-1}(B(r)).$ Donc $\varphi^{-1}(B(r))$ 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 $U\cap E$ . Pour $r=||\varphi(z)||$ on a $0<r<1$ . Il existe un chemin injectif $\lambda\::\:[0,1] \rightarrow M$ allant de x à z. L'ensemble
  $K=\lambda([0,1])\cap\varphi^{-1}(\overline{B}(r))$
  est compact car c'est l'intersection d'un compact et d'un fermé. (Pour voir que $\varphi^{-1}(\overline{B}(r))$ est fermé on utilise, comme en haut, le fait que M est séparé.)
  Parmi tous les points du compact $\varphi(K)$ il existe un ayant norme minimale. Nous notons w ce point et $\lambda(t_0)$ son correspondant sur la variété (toujours via la carte $\varphi$ ). Clairement $\lambda(t_0)\neq y$ . D'une part on a la restriction de $\lambda$ à $[0,t_0]$ 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 $\:]-\infty,-1[\,\cup\,]1,+\infty[\,\cup\,\{0'\}\:$ n'est pas ouvert.

Remarque 2 :

On est tenté de dire que $\varphi^{-1}(\overline{B}(r))$ est fermé comme image réciproque d'un fermé par une application continue. Mais cela serait faux ! En effet, $\varphi$ est seulement définie sur U et pas sur toute la variété M. On peut donc dire que $\varphi^{-1}(\overline{B}(r))$ 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 :

$\overline{B}(r)$ compact dans B(1),
donc $\varphi^{-1}(\overline{B}(r))$ compact dans U,
donc $\varphi^{-1}(\overline{B}(r))$ compact dans M,
donc $\varphi^{-1}(\overline{B}(r))$ fermé dans M (séparé).

3 commentaires

Pourquoi ne pas lire aussi :

Points colorés dans l'espace

Par Mathoman - Tags

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.

9 commentaires

Question de codimension en algèbre linéaire

Par Mathoman - Tags

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.

6 commentaires

Deux axes de symétrie radiale

Par Mathoman - Tags

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.

Question :

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

11 commentaires

SO(3) e(s)t l'espace projectif à 3 dimensions

Par Mathoman - Tags

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 $\mathbb{P}^3$ . 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 $\;SO(2)\:\simeq\: \mathbb{P}^1\;\;$ et $\;\;SO(3)\:\simeq\:\mathbb{P}^3\,.$

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

la boule $\;\mathbb{B}^{n+1}=\{x\in\mathbb{R}^{n+1} \:|\: x_1^2+\cdots+x_{n+1}^2\leq1\}\,,$
$\:$
la sphère $\;\mathbb{S}^{n}=\{x\in\mathbb{R}^{n+1} \:|\: x_1^2+\cdots+x_{n+1}^2=1\}\,,$
$\:$
l'hémisphère nord $\;\mathbb{S}^{n}_+=\{x\in\mathbb{S}^{n} \:|\: x_{n+1}^2\geq0\}\,.$
$\:$

Le bord de la boule $\mathbb{B}^{n+1}$ est la sphère $\mathbb{S}^n$ . Chaque point x sur ce bord possède un antipode, à savoir le point —x.
Si on ``recolle'' $\mathbb{B}^{n+1}$ par identification des antipodes sur son bord, alors on obtient un nouvel ensemble que nous notons $\mathbb{B}^{n+1}/\!\sim\,.$ Ca, c'est du handwaving. De manière ensembliste on pourra écrire

$\;\;\;\;\;\mathbb{B}^{n+1}/\!\sim~\;\,=\;\,\left(\mathbb{B}^{n+1}\backslash\mathbb{S}^n\right)\:\dot{\bigcup}\:<br />\big\{\{x,-x\}\,|\,x\in\mathbb{S}^n\big\}\,.<br />$

Questions

Expliquer par des mots de quelles formes sont la boule $\mathbb{B}^n$ et son bord $\mathbb{S}^{n-1}$ dans les cas n=1,2,3.
Démontrer que $\;\mathbb{S}^n_+ \:\simeq\: \mathbb{B}^n\,.$
$\,$
Démontrer que $\;\mathbb{B}^n/\!\sim~\;\simeq\:\mathbb{P}^n\,.$
$\,$
Démontrer que $\;SO(2)~\simeq~\mathbb{P}^1\,.$
$\,$
Démontrer que $\;SO(3)~\simeq~\mathbb{P}^3\,.$
$\,$

Cliquez pour lire la Solution.

7 commentaires

Les rectangles revisités une fois de plus

Par Mathoman - Tags

Apparemment la question sur un pavage de rectangles posée ici il y a quelques jours est stimulante. Après la solution par produit tensoriel, voici une autre qui repose sur une activité habituellement réservée aux enfants: le coloriage. (Les matheux ne sont que de grands enfants !) Merci à David Caisson qui m'a envoyé cette solution extraite du livre Solving Mathematical Problems de Terence Tao.

L'idée de T. Tao est aussi simple que belle: on colore en vert tous les rectangles ayant un côté horizontal entier, et en rouge tous les autres rectangles. Un argument topologique de connexité nous assure alors que dans le grand rectangle on peut relier les deux côtés verticaux par un chemin vert ou les deux côtés horizontaux par un chemin rouge. (Pour ceux qui ne connaissent pas encore la notion de connéxité : c'est une sorte de théorème des valeurs intermédiaires qui dit que deux lignes reliant les côtés opposés se coupent forcément). Or un chemin vert consiste en la juxtaposition de rectangles verts, donc sa longueur horizontale est entière; et de manière analogue pour un chemin rouge.

Vous pouvez lire la solution complète ici.

Cette "solution" m'a laissé perplexe car sur les trois premières pages l'auteur n'avance pas beaucoup, puis au tout dernier paragraphe il évoque, sans les traiter, quelques obstacles qui pourraient éventuellement se poser. Et avec un peu d'esprit critique on trouve que la démonstration est fausse! Voici un contre-exemple.

contre-exemple à une solution en géométrie

La largeur est 4 et la hauteur est 3,5. Pourtant il n'y a pas de chaîne verte mais seulement une chaîne rouge dont on ne peut rien déduire sur la hauteur (car elle possède des décalages) ni sur la largeur (car les rectangles rouges n'ont pas de largeurs entières).

Mais Terence Tao ne serait pas Terence Tao, porteur de la Médaille Fields 2006 (sorte de prix Nobel pour mathématiciens), si l'idée de sa preuve était entièrement fausse ! En effet, après une petite recherche sur internet, je me rends sur son blog personnel et j'y trouve une liste d'errata où il corrige, entre autres, cette preuve. Voici l'amélioration qu'il apporte:

On colore les rectangles comme avant, mais seulement leurs intérieurs. Ensuite on colore en vert les côtés verticaux ouverts, et le reste en rouge.

Maintenant mon contre-exemple ne résiste plus! On peut relier les deux côtés verticaux par un chemin vert.

dessin d'une exemple pour le problèmes des rectangles entiers

Pourquoi cette démonstration améliorée fonctionne-elle ? Et bien, lorsqu'on parcourt un chemin vert disons, alors chaque fois qu'on quitte un rectangle vert pour passer dans un autre, ça se fait sur un segment vertical dont l'abscisse est un entier.

Voilà donc une jolie solution purement topologique, sans analyse. Je ne pense pas qu'elle s'adapte aux dimensions supérieures.

1 commentaires

Question sur les groupes topologiques

Par Mathoman - Tags

Un groupe topologique est un ensemble G munie d'une structure de groupe et d'une topologie telles que la loi interne

$G \times G \rightarrow G ,\;\; (x,y) \rightarrow xy,$

et la formation d'inverse

$G \rightarrow G ,\;\; x \rightarrow x^{-1},$

sont des applications continues. En autres mots les deux structures, l'algébrique et la topologique, sont liées de manière naturelle par une condition de compatibilité. On peut alors se poser la question suivante :

Question

Existe-t-il deux groupes topologiques qui sont isomorphes comme groupes et homéomorphes comme espaces topologiques mais qui ne sont pas isomorphes comme groupes topologiques ?

Voici la réponse avec l'exemple de JLT.

Réponse

Oui. Preuve en trois étapes :

Soient G et H des parties denses de $\mathbb{R}$ et $f :\: G \rightarrow H$ une bijection monotone. Alors f est un homéomorphisme.

On peut supposer f croissante. Nous allons montrer sa continité. Soient $x_0\in G$ et $\epsilon>0$ . Puisque H est dense dans $\mathbb{R}$ on a $H\cap\,]f(x_0)-\epsilon,f(x_0)[\,\neq\emptyset$ . Donc il existe
$y_1\in H\cap\,]f(x_0)-\epsilon,f(x_0)[\,.$
De même il existe $y_2\in H\cap\,]f(x_0),f(x_0)+\epsilon[\,.$ A cause de la surjectivité de f on peut écrire $y_k=f(x_k)$ avec $x_k\in G, k=1,2$ . On pose $\delta=\min(x_0-x_1,x_2-x_0)$ . Alors pour tout x dans G
$\begin{align*}x_0-\delta<x<x_0+\delta \;\;\;\Longrightarrow\;\;\;& f(x_0-\delta)<f(x)<f(x_0+\delta)\\ \Longrightarrow\;\;\;&y_1=f(x_1)\leq f(x)\leq f(x_2)=y_2\\ \Longrightarrow\;\;\;&f(x_0)-\epsilon<f(x)<f(x_0)+\epsilon\,, \end{align*}$
ce qui montre que f est continue en $x_0$ . La preuve de la continuité de la réciproque $f^{-1}$ est la même.
Soient G et H des parties denses et dénombrables de $\mathbb{R}$ . Alors elles sont homéomorphes.

D'abord nous écrivons
$\begin{align*} G&=\{x_0,x_1,x_2,\ldots\}\;\;\;\;\;(*)\,,&H&=\{y_0,y_1,y_2,\ldots\}\;\;\;\;(**)\,. \end{align*}$
Maintenant nous allons énumérer G et H d'une autre manière, et Le but est de faire de sorte que est une bijection monotone (et donc automatiquement un homéomorphisme). On procède comme suit.
- k=0. On prend $x'_0=x_0,\;y'_0=y_0$
- k=1. On prend $x'_1=x_1$ . Pour le choix de $y'_1$ regardons l'ordre de $x'_0$ et de $x_1'$ .
  Si $x'_1<x'_0$ alors on prend comme $y'_1$ un élément de H inférieur à $y'_0$ .
  Si $x'_1>x'_0$ alors on prend comme $y'_1$ un élément de H supérieur à $y'_0$ .
- k=2. On prend comme $y'_2$ le premier élément de $H\setminus\{y'_0,y'_1\}$ de la liste (**). Pour choisir $x'_2$ regardons l'ordre de $y'_0,y'_1,y'_2$ .
  Si $y'_2$ est inférieur à $y'_0$ et $y'_1$ on prend comme $x'_2$ un élément de G inférieur à $x'_0$ et $x'_1$ .
  Si $y'_2$ est supérieur à $y'_0$ et $y'_1$ on prend comme $x'_2$ un élément de G supérieur à $x'_0$ et $x'_1$ .
  Si $y'_2$ est entre $y'_0$ et $y'_1$ on prend comme $x'_2$ un élément de G entre $x'_0$ et $x'_1$ .
- k=3. On prend comme $x'_3$ le premier élément de $G\setminus\{x'_0,x'_1,x'_2\}$ de la liste (*). Pour le choix de $y'_3$ regardons l'ordre de $x'_0,x'_1,x'_2,x'_3$ . Il y a 24 possible manières de ranger ces quatre nombres.
  Si $x'_3<x'_0<x'_1<x'_2$ on prend comme $y'_3$ un élément de H inférieur à $y'_0,y'_1,y'_2.$
  Si $x'_2<x'_3<x'_0<x'_1$ on prend comme $y'_3$ un élément de H entre $y'_2$ et $y'_0$ .
  Et ainsi de suite.
Les groupes topologiques $G=\mathbb{Q}+\mathbb{Q}\sqrt2$ et $H=\mathbb{Q}+\mathbb{Q}\sqrt3$ répondent au problème.

D'après ce qu'on vient de voir, G et H sont homéomorphes comme espaces topologiques. Evidemment ils sont isomorphes comme groupes. Mais ils ne sont pas isomorphes comme groupes topologiques. En effet, supposons qu'il existe un isomorphisme de groupes topologiques $f :\, G \to H$ . Par un récurrence facile f(n)=nf(1) pour tout entier n, et puis f(r)=rf(1) pour tout rationel r. Alors par continuité
$f(\sqrt2)=\sqrt2f(1),\;\;\;\;\lightning$
impossible dans $H=\mathbb{Q}+\mathbb{Q}\sqrt3$ .

2 commentaires

Trouver le contour du tore

Par Mathoman - Tags

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 $\alpha$ 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 $\alpha$ est petit. Lorsque $\alpha$ 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

5 commentaires

Autre exercice d'arithmétique

Par Mathoman - Tags

L'espace des petits exercices en maths me semble de dimension infinie ;-) Voici encore un nouvel élément :

Est-ce que tout nombre naturel non-nul possède un multiple qui fait intervenir tous les dix chiffres dans son écriture décimale ?

Même des questions connues et d'apparence très simple me surprennent encore. Par exemple, ce n'était que très récemment que j'ai perdu plusieurs jours à prouver en vain la convergence de cette suite — jusqu'à ce qu'on m'a appris que c'est un problème ouvert depuis très longtemps...

8 commentaires

Vision dans l'espace

Par Mathoman - Tags

Dessin d'un cube transparent et deux interprétations possibles

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.

Une cube transparent et deux interprétations possibles

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:

Une cube transparent et deux interprétations possibles

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

Quelle jambe est levée, la gauche ou la droite ?

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.

Fille qui tourne

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

Maurits Cornelis Escher : Escalier

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

triangle de Penrose, triangle impossible

4 commentaires

Preuve que SO(3) est l'espace projectif à 3 dimensions

Par Mathoman - Tags

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

Réponses aux questions

$\mathbb{B}^1$ est l'intervalle fermé [-1,1] et son bord $\mathbb{S}^0=\{-1,1\}$ est constitué des deux extrémités. $\mathbb{B}^2$ est un disque et son bord $\mathbb{S}^1$ est un cercle. $\mathbb{B}^3$ est une ``vraie'' boule et son bord $\mathbb{S}^2$ est une ``vraie'' sphère.
$\;$

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 $\mathbb{R}^2$ . Le demi-cercle supérieur $\mathbb{S}^1_+$ (en rouge) se projette bijectivement sur le segment $\mathbb{B}^1$ (en bleu).
  $\;$
- Si n=2 alors on est dans l'espace plan euclidien $\mathbb{R}^3$ et $\mathbb{S}^2$ est une ``vraie'' sphère dont le dessin montre une coupe. L'hémisphère nord $\mathbb{S}^2_+$ (en rouge) se projette bijectivement sur le disque $\mathbb{B}^2$ (en bleu).
  $\;$

Chaque droite $D\in\mathbb{P}^n$ coupe la sphère $\mathbb{S}^n$ en deux antipodes: $~\frac{x}{||x||}~$ et $~\frac{-x}{||x||}~$ où $x$ est arbitraire dans $D\backslash\{0\}$ .
Au moins un des deux points est dans l'hémisphère nord:

De cette observation on déduit que l'application $f\;: \;\;\;\mathbb{S}^n_+\;\longrightarrow\;\mathbb{P}^n\:,\;\;\;x\;\mapsto~\mathbb{R}x\,,$

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

$\forall x,y\in\mathbb{S}^n_+\,:\;\big[\,x\neq y\,\text{ et }\,f(x)=f(y) \:\big]\;\Rightarrow \;<br />\big[\:x=-y\;\text{ et }\;x_{n+1}=y_{n+1}=0\:\big]\,.<br />$

Par conséquence $\: \mathbb{P}^n\:$ est en bijection avec l'ensemble obtenu à partir de $\: \mathbb{S}^n_+\:$ par identification des antipodes sur l'équateur. Or d'après la question précédente nous savons que $\: \: \mathbb{S}^n_+ \:\simeq\: \mathbb{B}^n\: \:$ et l'équateur n'est rien d'autre que le bord $\: \mathbb{S}^{n-1}\:$ de $\: \mathbb{B}^n\:$ . Par conséquence $\: \: \mathbb{P}^n \,\simeq\: \mathbb{B}^n/\!\sim\:$ .

$\,$
Le résultat précédent implique en particulier que $\:\mathbb{P}^1 \,\simeq\, \mathbb{B}^1/\!\sim\:$ .
Or $\:\mathbb{B}^1$ =[-1,1] et par conséquence $\:\mathbb{B}^1/\!\sim\:$ est simplement l'intervalle [-1,1] où on a recollé -1 et 1.
Ainsi $\:\mathbb{B}^1/\!\sim\:$ est en bijection avec le cercle $\,\mathbb{S}^1\,$ . Nous obtenons $\mathbb{P}^1 \,\simeq\,\mathbb{S}^1$ . Illustration:

D'autre part $SO(2)$ est le groupe des rotations du plan euclidien orienté $\mathbb{R}^2$ . Comme chaque rotation est déterminée de manière unique par son angle compris dans $[0,2\pi[$ il est évident que $SO(2)$ est en bijection avec le cercle $\mathbb{S}^1$ .
Conclusion: $SO(2)\simeq \mathbb{P}^1$ .
$\,$