Preuve que SO(3) est l'espace projectif à 3 dimensions
Par Mathoman, lundi 15 septembre 2008 à 23:44 - Maths pour matheux - Tags
Réponses aux questions
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.
- 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).
- Si n=1 alors on est dans le plan euclidien
- 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![\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 />](http://www.mathoman.com/CACHE/tex_40c5885431668db18aeaf867a1e7cddc.png)
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
.
- 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:
.
- Pour la suite voir le fichier pdf.
SO(3) e(s)t l'espace projectif à 3 dimensions
Par Mathoman, samedi 6 septembre 2008 à 21:28 - Maths pour matheux - Tags
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


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
- Expliquer par des mots de quelles formes sont la boule
et son bord
dans les cas n=1,2,3. - Démontrer que


- Démontrer que


- Démontrer que


- Démontrer que


Pourquoi ne pas lire aussi :
Preuve que SO(3) est l'espace projectif à 3 dimensions
Par Mathoman - Tags
Réponses aux questions
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.
- 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).
- Si n=1 alors on est dans le plan euclidien
- 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![\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 />](http://www.mathoman.com/CACHE/tex_40c5885431668db18aeaf867a1e7cddc.png)
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
.
- 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:
.
- Pour la suite voir le fichier pdf.
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


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
et
une bijection monotone. Alors f est un homéomorphisme.
On peut supposer f croissante. Nous allons montrer sa continité. Soient
et
.
Puisque H est dense dans
on a
. Donc il existe
De même il existe![y_1\in H\cap\,]f(x_0)-\epsilon,f(x_0)[\,.](http://www.mathoman.com/CACHE/tex_376f1c93cf07e957b1f90079791a921b.png)
A cause de la surjectivité de f on peut écrire
avec
. On pose
. Alors pour tout x dans G
ce qui montre que f est continue en
. La preuve de la continuité de la réciproque
est la même.
- Soient G et H des parties denses et dénombrables de
. Alors elles sont homéomorphes.
D'abord nous écrivons
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

- k=1. On prend
. Pour le choix de
regardons l'ordre de
et de
.
Si
alors on prend comme
un élément de H inférieur à
.
Si
alors on prend comme
un élément de H supérieur à
.
- k=2. On prend comme
le premier élément de
de la liste (**).
Pour choisir
regardons l'ordre de
.
Si
est inférieur à
et
on prend comme
un élément de G inférieur à
et
.
Si
est supérieur à
et
on prend comme
un élément de G supérieur à
et
.
Si
est entre
et
on prend comme
un élément de G entre
et
.
- k=3. On prend comme
le premier élément de
de la liste (*).
Pour le choix de
regardons l'ordre de
. Il y a 24 possible manières de ranger ces quatre nombres.
Si
on prend comme
un élément de H inférieur à 
Si
on prend comme
un élément de H entre
et
.
Et ainsi de suite.
- k=0. On prend
- Les groupes topologiques
et
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
. 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é
impossible dans
.
Concevoir la notion d'application
Par Mathoman - Tags
Je me rappelle qu'au début de mes études de mathématiques, parfois une simple question de formalisme pouvait me poser des problèmes. Par exemple, j'avais du mal à jongler entre différents points de vue d'une notion a priori simple comme celle d'application. Voici quelques lignes qui pourraient sembler bêtes aux initiés, mais comme les livres expliquent rarement ce genre de choses en détail elles peuvent être utiles à ceux qui y sont confrontés pour la première fois et notamment aux élèves et étudiants d'aujourd'hui qui, lors de leur parcours scolaire, ne rencontrent plus assez de théorie des ensembles.
Considérons une application (synonyme de fonction) d'un ensemble X dans un ensemble Y.

(Désolé, la deuxième flèche devrait commencer par un pied mais mon plug-in LaTeX ne le permet pas.)
Si vous venez de passer le bac, vous avez déjà une notion intuitive de ce que c'est une application. Mais les mathématiciens possèdent plusieurs autres points de vue pour concevoir cet objet et chacun a sa raison d'être.- Point de vue
y en fonction de x
.
C'est le point de vue habituellement enseigné au collège et au lycée. On conçoit x comme variable et y comme l'image qui change en fonction de x.
Le schéma mental est le suivant.
L'ensemble de départ X est représenté horizontalement, l'ensemble d'arrivée Y est représenté verticalement. La donnée de l'application f revient à la donnée de son graphe
constitué des couples (x,f(x)), où x parcourt X.
En disantx parcourt X
, on adopte donc bien l'idée que la variable est x.
- Point de vue
collection d'éléments de Y
.
On peut aussi écrire l'application f en forme de famille
. On oublie donc de spécifier l'ensemble d'arrivée Y.
En général, une famille
dans Y n'est rien d'autre qu'une application

où l'ensemble de départ J est appellé l'ensemble d'indices ; très souvent il n'a pas d'importance et peut être remplacé par un autre ensemble de même cardinal. Ce qui compte dans ce point de vue c'est simplement la collection des images de l'application.
Dans certaines situations un bon choix de l'ensemble d'indices peut raccourcir les écritures. Par exemple, si
est une base d'un K-espace vectoriel E, alors tout vecteur v de E se décompose comme combinaison linéaire
où
est une famille de scalaires presque tous nuls (c'est-à-dire l'application
est nulle sauf en un nombre fini de points ; cela est nécessaire pour pouvoir prendre la somme). Mais si on conçoit la base non comme une famille de vecteurs mais comme un sous-ensemble B de l'espace E, alors on peut la prendre elle-même comme ensemble d'indices et écrire simplement

- Point de vue
les fibres en fonction de y
.
Pour chaque y dans Y on appelle fibre de f en y (ou ensemble de niveau y) l'ensemble de tous les antécédents de y, noté

Connaître une application revient à connaître la collection de ses fibres. C'est donc y qu'on considére comme variable. On s'aide du schéma mental suivant.

L'espace de départ estprojeté
sur l'espace d'arrivée. L'application est injective (resp. surjective resp. bijective) si et seulement si chaque fibre possède au plus (resp. au moins resp. précisément) un élément.
L'ensemble des fibres non-vides d'une application est une partition de l'ensemble de départ et a le même cardinal que l'image de l'application.
Factorisation canonique
Nous nous proposons de montrer que toute application est la composée d'une surjection, d'une bijection et d'une injection. Soit donc f une application de X vers Y. On considère son image

et
sont en bijection. Plus précisément il existe une surjection
, une bijection
et une injection
tel que le diagramme suivant commute.

la projection canonique sur le quotient X/~, c'est-à-dire l'application qui à chaque x dans X associe la fibre de f en f(x) ; puis pour j l'injection naturelle, et enfin pour
l'application qui envoie une fibre sur l'unique élément dans Y qui est son image par f. Il est alors évident que f est la composée
.
Un avant-goût de la suite
Concevoir une application comme la collection de ses fibres est très fréquent en topologie, géométrie algébriques et théorie des singularités. On fait varier un point dans l'espace d'arrivée pour observer, dans l'espace de départ, la manière dont varie la fibre au-dessus de ce point. Un exemple très basique est l'application
où a,b,c sont des réels fixés non tous nuls. La collection des fibres est constituée de plans parallèles. Il s'agit donc d'un feuilletage de l'espace
par plans (comme un feuilleté). Les fibres se ressemblent toutes ; on a même ce qu'on appelle une fibration globalement triviale.Plus généralement, si f est une fonction différentiable et si on fait varier le point dans l'espace d'arrivée sans toucher les valeurs critiques, alors localement les fibres se ressemblent toutes (fibration localement triviale). En revanche, si on passe par une valeur critique alors la nature des fibres peut changer. Par exemple si on traverse la valeur critique 0 de l'application

dans le sens décroissant, alors la fibre est d'abord un cercle, puis dégénère en un point et, enfin, devient vide une catastrophe a lieu au sens de la théorie des catastrophes de René Thom.
Tout ça devient plus intéressant dans le complexe. Les fibres de

sont des surfaces réelles (courbes complexes ou surfaces de Riemann). Et au lieu de traverser la valeur critique 0, on peut la contourner avec un petit lacet dans le plan complexe et observer la déformation de cette surface le long du lacet. Evidemment à la fin on retrouve la même surface qu'au début du lacet, mais lors du trajet certaines caractéristiques se sont déplacés continûment et ont échangés leurs places... (monodromie).
Sur les réformes du recrutement des professeurs à l'Education Nationale
Par Mathoman - Tags
Chers lecteurs, j'ai beaucoup apprécié les commentaires détaillés que vous avez laissés à mon dernier billet concernant la suppression de cours d'HG selon la réforme du lycée. Aujourd'hui je vais donner mon point de vue sur deux autres changements prévus par cette réforme : le recrutement.
Le premier point concerne l'attribution des postes. Dans un article du Monde on peut lire que l'Eduction Nationale modifie son mode de recrutement vers un système à l'anglo-saxonne ou à l'allemande. Le concours devient un examen à l'issue duquel les professeurs n'auront pas de poste assuré et devront postuler auprès des écoles, collèges ou lycées en fonction des besoins, comme dans une entreprise. Peut-être l'Education Nationale a fait de bonnes expériences avec son système de mouvement sur postes spécifiques et souhaite élargir ce concept à tous les postes.
Encore une fois, je trouve que c'est une bonne idée de récruter sur profil. En plus, le fait de poser candidature pour un certain poste implique automatiquement que l'enseignant sera plus motivé que s'il est nommé sur un poste qui souvent ne lui convient pas soit à cause de sa situation géographique soit à cause de son environnement. Au lieu de subir une affectation il doit agir et reste maître de son destin
.
Autre avantage possible : le principe d'offre/demande pourra générer une plus juste rémunération car il est clair que certains postes ne trouveront aucun candidat, donc il faudra les rendre plus attractifs par des primes financières importantes ou des décharges horaires ! En effet, certains considèrent le système actuel comme injuste car les professeurs qui enseignent devant des classes plus agréables sont payés plus que leurs collègues.
Dans cette vidéo des auditions sur le métier d'enseignant Philippe Meirieu dit à peu près ceci : Dans le passé la société avait besoin de professeurs en classes préparatoires et donc on a augmenté leur salaire. Aujourd'hui nous avons besoin de personnel dans des établissements difficiles, il faudrait maintenant faire un effort financier pour ces einseignants.
En fait, un professeur agrégé en prépa touche 50% plus pour chaque heure de cours avec sa classe. On justifie cette augmentation de salaire par une charge de travail plus importante en CPGE. Or on peut aussi argumenter et c'est le point de Philippe Meirieu que le temps de récupération du système nerveux d'un enseignant en collège difficile après un cours devant une bande d'adolescents de niveau très hétérogène est bien supérieure au temps de préparation de cours en prépa.
Ce qui amenerait à poser les enseignants de prépa devant le choix suivant : Soit vous gardez votre prépa mais avec le même salaire horaire que toute le monde ou bien vous prenez une classe de collège qui vous fait moins de travail.
Combien vont choisir le collège ?
Le deuxième point de la réforme dont je veux parler ici c'est l'idée d'élever les niveaux des enseignants en les recrutant à bac + 5 contre bac + 3 aujourd'hui. Je pense que c'est une très mauvaise idée, au moins en mathématiques.
Déjà aujourd'hui l'Education Nationale ne dispose pas d'assez de postes qui nécessitent un niveau avancé de maths, alors pourquoi monter le niveau de recrutement ? A mon avis, il vaudrait mieux le baisser les exigences disciplinaires pour pouvoir recruter dans le vivier de profils dont les chefs d'établissement ont vraiment besoin. Et de quoi ont-ils besoin ? De personnages capables à tenir, garder et surveiller une classe. L'enseignement passe au second plan.
On a parfois l'impression que les critères de recrutement sont complètement découplés des missions confiées aux professeurs. Par exemple dans le rapport du jury de l'agrégation externe de mathématiques 2008 (page 52) on peut lire :
Signalons que la grande majorité des candidats ne sait pas faire la différence entre une bijection indéfiniment dérivable et un difféomorphisme.En effet, c'est triste. Mais d'autre part Jean-Pierre Obin, inspecteur général de l'éducation nationale, dit clairement (voir vidéo ici) que les professeurs doivent s'occuper de l'éducation civique et morale des élèves. Et ceux qui connaissent les collèges d'aujourd'hui savent que cela représente 80% du temps et de l'énergie dépensés par un professeur. Le problème est alors trouver des fins connaisseurs de difféomorphismes qui sont aussi des éducateurs passionnés et charismatiques pour des élèves qui n'ont rien à voir avec les difféomorphismes. C'est un recrutement paradoxale...
