Mathématique : Archives

D	L	M	M	J	V	S
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28
29	30	31

« 2010-11 | Page d'accueil | 2011-01 »

03/12/2010

ENSEIGNER AUTREMENT LE CONCEPT DE CARRÉ EN CE2

ENSEIGNER AUTREMENT LE CONCEPT DE CARRÉ EN CE2 (AC N° 5)

Moteur de recherche

Mis en ligne le 9 octobre 2010, par Francine Dubreucq

Cet article a été rédigé en réponse à l’appel à contribution n° 5

MathemaTICE a publié deux autres articles de Francine Dubreucq :

Retour au sommaire

Sommaire

Nous proposons, dans cet article, d’exposer comment nous avons travaillé sur le carré dans une classe de CE2.

Le concept de carré évolue au cours de la scolarité. Le mot ’’carré’’ appartient d’abord au monde sensible. En effet, dans les tâches d’observation et de tri d’objets à l’école maternelle, l’enfant devra reconnaître la forme carrée parmi d’autres formes. Puis le mot ’’carré’’ change de statut. L’enfant devra être capable de décrire, de reproduire ou de tracer un carré sur son cahier. Nous nous intéressons à ce changement de statut. Nous faisons l’hypothèse qu’un logiciel de géométrique dynamique est un agent favorable à cette évolution. Nous analyserons comment les contraintes du logiciel entraînent la structuration des connaissances géométriques.

I Expérience :

Le titulaire de la classe [1] a introduit les notions de perpendiculaires et de parallèles en prenant comme support les situations Ermel, trait sur trait et droites penchées pareil. D’une part, il a mené conjointement un travail en arts sur les oeuvres de Mondrian, Kandinsky et Vasarely et sur les notions de mathématiques qu’elles recèlent. D’autre part, le projet de classe consiste en la création d’un répertoire de jeux du monde. Les élèves cherchent des informations sur Internet sur différents jeux. Le jeu de marelle demande un plateau de jeu dont la base est représentée par trois carrés concentriques. Nous avons choisi de travailler sur ces carrés avec un logiciel de géométrie dynamique pour diffuser le plateau de jeu accompagnant les règles du jeu. Le plateau de jeu est présenté en annexe 2. La dévolution du problème a été faite par le titulaire dans l’environnement papier.

Nous présentons la première séance d’introduction du logiciel TracenPoche (TeP) dans la classe de CE2. Nous ne parlerons pas précisément des conditions [2] Nous avons choisi de tracer d’abord le grand carré.

II Analyse de l’expérience :

Première partie : les élèves doivent tracer un segment.

Nous sommes dans une phase d’initiation instrumentale. Du point de vue mathématiques, à notre niveau d’enseignement, le segment est un trait qui s’arrête. Les connaissances mathématiques sont faibles. Par contre, le tracé du segment avec TeP nécessite des connaissances instrumentales importantes. Le processus cognitif fait appel à la représentation iconique du segment, tout en plaçant l’élève sur le mode de l’action. Il est à souligner, qu’à ce moment précis, se passe la compréhension de la validation d’un point. La tâche dans l’environnement informatique est de tracer le segment [AB] sachant que les points A et B ont été placés. Un élève doit comprendre la signification de l’affichage rouge. Cette tâche est nouvelle dans l’environnement informatique et ne repose pas sur une technique ancienne de l’environnement papier. Certains élèves expriment la couleur rouge comme celle de l’interdit. Ils vont valider la position de l’extrémité du segment et un point C sera malencontreusement tracé. Il faudra l’intervention du maître pour expliquer ce qui s’est passé. D’autres expliquent rapidement « C’est rouge, tu cliques ». Nous devons évoquer également les différences entre la tâche dans l’environnement papier et dans l’environnement numérique. Pour tracer le segment [AB], l’élève place le point A, puis il prend la règle pour tracer le ’’trait’’ et enfin il place le point B à la fin du ’’trait’’. Par contre, dans l’environnement numérique, l’élève place le point A, puis le point B et enfin, en utilisant le bouton ’’segment’’, il relie les points A et B. Ces chronologies différentes n’ont pas soulevé de difficulté.

Deuxième partie : les élèves doivent tracer la perpendiculaire à (AB) passant par A.

La connaissance mathématique est importante. Il n’est pas facile de visualiser la perpendiculaire à une droite passant par un point de cette dernière et encore moins de la tracer avec l’équerre. Le tracé avec TeP se fait sans difficulté. La représentation des boutons de TeP permet aux élèves de trouver la perpendiculaire. Ils reconnaissent le symbole de perpendicularité. En activant le bouton perpendiculaire, le logiciel favorise le passage au mode symbolique. Même si cette étape est difficile du point de vue mathématique, il semble important de faire formuler les élèves. Cela permet de passer par le langage mathématique. Le rapport entre les tâches mathématiques et instrumentales est maximal.

Nous avons remarqué que les élèves ont été surpris par notre formulation. Lorsqu’on leur demande « Trace la droite, qui est perpendiculaire à (AB) et qui passe par le point A » dans l’environnement papier, ils doivent effectivement prendre leurs instruments de géométrie et leur crayon pour tracer. Ils sont dans le mode de l’action. Dans l’environnement TeP, ils veulent faire de même, à savoir tracer une droite. Il faut préciser aux élèves que c’est le logiciel qui va dessiner la droite, mais il ne le fera que sur notre ordre. Il est donc nécessaire de préciser ce que l’on demande au logiciel. Cette verbalisation est essentielle : elle permet d’utiliser le vocabulaire géométrique. L’utilisation de TeP aide à exprimer leur action avec les mots.

Troisième partie : le tracé de D situé à la même distance que B par rapport à A.

Le choix a été fait de proposer un tracé sur papier et sur TeP sous forme de « symbiose instrumentale », définie par T. Assude. Les tâches dans l’environnement papier et dans l’environnement TeP sont imbriquées. Les procédures acquises dans une situation sont appliquées dans l’autre situation. C’est la présence du cercle qui assure la conservation des longueurs. Cette contrainte donnée sur le papier est exigeante. Elle repose sur l’équidistance des points du cercle au centre du cercle. Les élèves n’utilisent pas le compas pour le report des longueurs. Les connaissances mathématiques sont maximales. Cette difficulté étant surmontée, les élèves n’éprouvent aucune difficulté à utiliser TeP : ils reconnaissent le bouton de tracé du cercle. Pourtant, ils ne parviennent pas au mode symbolique : ils expliquent avec les doigts ce qu’ils vont faire. Les enfants se placent sur le mode iconique : ils placent le curseur sur le point A, et lorsqu’ils le valident comme étant le centre du cercle, ce dernier grandit au fur et à mesure du déplacement. Les traits de construction ne leur posent pas de problème. L’imbrication entre les tâches nouvelles et anciennes est importante. En effet, les élèves de CE2 n’utilisent habituellement pas le report des longueurs avec le compas. Cette tâche est nouvelle dans l’environnement papier. Pourtant, ils ont tracé de nombreux cercles au cours de cette année scolaire. Le tracé est donc une tâche ancienne.

Un groupe propose de tracer le point D à une distance égale sans mesurer. Cette technique n’est pas proposée dans l’environnement papier. On peut donc en déduire que le changement de cadres induit des comportements différents. L’enseignant permettra cette découverte en utilisant la zone d’analyse pour vérifier l’égalité des longueurs.

Quatrième partie : Placer le point D (erreur sur la lettre proposée par TeP, non corrigée)

Pour la tâche dans l’environnement papier, il n’y a pas de difficulté. On pourrait dire alors que les connaissances mathématiques sont minimales. Les élèves placent le point D à l’intersection du cercle et de la droite. Par contre, la tâche dans l’environnement TeP est difficile. C’est la conservation de la forme lors du déplacement qui pose problème. Les élèves placent le point D de la même manière que sur le papier. Il faut que l’enseignant intervienne pour montrer que le point D ne se déplace pas en même temps que le carré.

Le langage permet de surmonter cette difficulté : l’enseignant demande de décrire la position de D. Il aide à formuler la solution. On est dans la zone proximale de développement décrite par Vygotski : l’enfant ne peut pas trouver seul. Cependant avec l’aide d’un adulte, il parvient à formuler que le point D est à l’intersection du cercle et de la droite. On peut alors dire que les connaissances mathématiques deviennent intéressantes. C’est la tâche dans l’environnement instrumental qui déclenche la nécessité de le formuler. On peut noter que la tâche dans l’environnement numérique implique de comprendre la tâche mathématique.

TeP propose des lettres dans l’ordre alphabétique. Il propose donc C pour le troisième point que nous avons tracé. Un enseignant et un groupe d’élèves ont donc construit un carré ABDC qu’ils ont nommé ABCD...

Cinquième partie : placer le point C

Toutes les connaissances instrumentales ont été introduites. Il s’agit donc de réinvestir ce qui a été construit. Les élèves ont choisi la méthode qu’ils souhaitaient. Les connaissances mathématiques sont maximales : un quadrilatère qui a quatre angles droits et quatre côtés de même longueur est un carré. Pourtant les élèves utiliseront d’autres propriétés selon la construction qu’ils vont choisir : un quadrilatère qui a trois côtés de même mesure et deux angles droits ou un quadrilatère qui a quatre côtés de même mesure et un angle droit est un carré. La connaissance instrumentale est maximale : l’élève doit utiliser toutes les potentialités du logiciel qu’il connaît.

On se retrouvera avec un quadrilatère qui a trois angles droits et trois côtés consécutifs de même longueur. La figure est proposée en annexe 1. Il s’agit pour l’élève de savoir tracer un carré, puis de reconnaître que le quadrilatère obtenu est un carré.

Sixième partie : enlever les traits de construction

Il n’y a pas de connaissances mathématiques. Il n’y a que des connaissances instrumentales. Les enfants confondent « rendre invisible » et « effacer un trait de construction ». Un groupe va effacer toute la figure. Il hésitera à prendre de nouvelles initiatives. Puis il rend invisible le cercle. Ce dernier disparaît, mais, avant de poursuivre, les élèves se posent la question de savoir si les points de ce cercle vont également disparaître. Nous pouvons remarquer que cette tâche est nouvelle et contraire à ce que les élèves doivent faire dans l’environnement papier. Les élèves n’ont pas été gênés par cette contradiction. Cette situation-problème a permis aux élèves d’échanger sur ce qui s’est passé : la plupart des droites et segments sont invisibles. Ils se sont posés la question de savoir comment faire pour avoir un carré. Ils ont utilisé le bouton ’’segment’’ sans difficulté pour reconstruire les droites effacées.

Septième partie : vérifier que la figure construite est un carré

Selon les méthodes de construction utilisées, le quadrilatère a des propriétés, mais il n’a pas quatre angles droits ni quatre côtés de même longueur. Or c’est le seul critère que les élèves connaissent. On n’est plus dans la géométrie perceptive mais dans la géométrie instrumentale : c’est le recours aux instruments de tracé et de mesure qui permet de conclure. La connaissance mathématique est maximale. Les élèves doivent changer de point de vue. Ils ne peuvent pas vérifier l’égalité des longueurs en utilisant une règle graduée, ni contrôler les angles droits en utilisant leur équerre. Comme ils ont déjà utilisé la zone « analyse », ils proposent facilement l’accès à cette zone. La connaissance instrumentale est maximale. Il est indispensable que l’outil utilisé réponde positivement aux exigences mathématiques.

Les élèves connaissent deux formulations pour expliquer la présence d’un angle droit : soit l’angle est droit, soit les droites sont perpendiculaires. Il n’est pas possible d’utiliser la formule angle (...) du logiciel. D’une part, les élèves parlent de l’angle droit sans le nommer ; d’autre part, la réponse proposée est 90 degrés. Il est donc indispensable d’aider les élèves à formuler quelles sont les droites perpendiculaires pour travailler sur la zone ’’analyse’’. Une élève formulait « c’est compliqué » en étant dans la zone analyse. Puis elle a enchaîné « Il faut sans arrêt enlever et remettre le cadenas ». En effet, le symbole ’’(’’ s’écrit en minuscule, tandis que AB doit être en majuscule.

Les enfants concluent que l’utilisation de TeP est facile quand on leur a montré.

III Conclusion :

Nous avons filmé une classe avec des élèves qui manipulent TeP avec une certaine aisance. Les élèves ont découvert une autre manière de faire de la géométrie. Ils ont compris qu’il ne suffit pas de faire un beau dessin, mais qu’il faut s’appuyer sur des connaissances géométriques.

Ils ont évidemment travaillé sur leur cahier. La présence du logiciel n’exclut pas le travail dans l’environnement papier, il est un complément indispensable. Le logiciel de géométrie semble être le catalyseur pour favoriser les échanges entre les agents (élèves ou professeur). Il modifie leurs positions. Il modifie également le rapport au savoir mathématique. Il serait intéressant de comprendre comment se fait cette évolution sur un échantillon d’élèves plus important et sur une échelle temporelle plus longue. Enfin, il met en valeur l’évolution des connaissances. Le concept de carré a évolué au cours de cette séance. Le carré est un dessin, qui évolue vers un dessin sur lequel sont présentes des propriétés géométriques. C’est ainsi que le dessin deviendra la figure mathématique. En effet la construction avec le le logiciel de GD favorise la compréhension de ce qu’est un carré. Dans l’environnement papier, l’élève sait qu’il a dessiné un carré, il n’éprouve pas le besoin de vérifier. Dans l’environnement numérique, environnement nouveau dans le cadre des mathématiques, il accepte de le faire. La nouveauté facilite ce changement de position. On pourrait ainsi y voir le tremplin nécessaire pour éviter la rupture entre la géométrie instrumentée et la géométrie déductive introduite au collège. Cette modification de l’espace géométrique de travail passe par une genèse instrumentale qu’il conviendrait d’analyser ultérieurement. Il faudrait réfléchir à l’articulation entre la composante d’instrumentalisation (relative à l’artefact, à la découverte et à la sélection des commandes et à la personnalisation de l’objet) d’une part, et à la composante d’instrumentation (relative à l’émergence et à l’évolution des schèmes pour la réalisation d’un type de tâches) d’autre part.

Annexes :

Annexe 1 : figure obtenue à l’issue de la première séance

Annexe 2 : plateau de jeu

Bibliographie :

Assude T., (2007), Modes et degré d’intégration de Cabri dans les classes de primaire, dans Environnements informatiques, enjeux pour l’enseignement des mathématiques, De Boeck, Université
Assude T, Gelis J-M (2002), La dialectique ancien-nouveau dans l’intégration de cabri-géomètre à l’école primaire, Educational Studies in Mathematics, 50.259-287
Bruner J.S., (1983), Le développement de l’enfant, savoir faire, savoir dire, P.U.F
Vygotski L., « Pensée et langage », La dispute
Rabardel (Rabardel P., (1995), Les hommes et les technologies, approche cognitive des instruments contemporains, ed. Armand Colin, Paris)
Trouche L., (2005), Construction et conduite des instruments dans les apprentissages mathématiques : nécessité des orchestrations, Recherches en Didactique des Mathématiques, vol. 25, n°1.

Francine Dubreucq Haut de page

NOTES

[1] F.Faguet est PEMF à l’école Helvétie à Besançon.

[2] Quelques stagiaires IUFM ont présenté cette séance.

RÉAGIR À CET ARTICLE

Vous souhaitez compléter cet article pour un numéro futur, réagir à son contenu, demander des précisions à l'auteur ou au comité de rédaction...

Poster un message

Coloriage de cartes

Le principe
Exemple 1 sans aide
Exemple 1 avec aide

Coloriage automatique

Mots en couleurs (petit intermède)

A noir, E blanc, I rouge, U vert, O bleu : voyelles,
Je dirai quelque jour vos naissances latentes :
A, noir corset velu des mouches éclatantes
...
RIMBAUD 1871

Le principe
En 1852, Francis Guthrie, cartographe britannique, observe qu'en utilisant uniquement quatre couleurs, n'importe quelle carte géographique peut être coloriée de façon à ce que deux pays ayant une frontière commune soient de couleur distincte. Ce qu'il n'arrive pas à déterminer c'est si cette propriété est vraie pour toutes les cartes possibles et imaginables. Il s'intéresse alors aux mathématiques et pose la question au grand logicien Augustus de Morgan : quatre couleurs suffisent-elles ? De Morgan ne trouve pas la réponse. La renommée du problème va grandissant et la simplicité de l'énoncé contraste avec la difficulté pour y répondre. Cela a attisé la curiosité d'éminents mathématiciens et de nombreux amateurs.
Finalement, ce théorème des quatre couleurs a été résolu par Kenneth Appel et Wolfgang Haken en 1976, soit un siècle après avoir été énoncé.
De nombreux concepts théoriques fondamentaux de la théorie des graphes ont découlé des tentatives de résolution de ce problème.

La carte de France sans aide
Dans le jeu proposé, on choisit une couleur en cliquant dans la pastille colorée adéquate.
Ensuite on clique département à colorer qu'il soit blanc ou d'une couleur quelconque.
Si la couleur est acceptable, c'est à dire différente de celle des départements voisins, elle est déposée, sinon un petit bip indique l'erreur et Il faut alors choisir une autre couleur.
On efface un département avec la pastille blanche.

PLEIN ECRAN

La carte de France avec aide
On colorie la carte comme précédemment
En cliquant sur le bouton AIDE, dès le début, la carte est coloriée complètement.
En cliquant sur le bouton AIDE, en cours de jeu, l'ordinateur essaie de terminer le coloriage en tenant compte des couleurs données si cela est possible.
Le coloriage est alors effectué par étapes. Il faudra peut-être cliquer sur le bouton CONTINUER pour terminer le coloriage.
On peut à tout moment modifier la couleur d'une région.

PLEIN ECRAN

La carte de France avec coloriage automatique
Cette fois, la carte est coloriée automatiquement.

PLEIN ECRAN

L'algorithme utilisé est le suivant :
-Ordonner les départements selon l'ordre décroissant du nombre de voisins ;
-Parcourir cette liste en attribuant à la première région non colorée, la première couleur compatible avec celle des voisins ;
-Si impossibilité, reculer pas à pas en essayant une nouvelle couleur.
Le coloriage doit pouvoir se terminer.

Source : http://therese.eveilleau.pagesperso-orange.fr/

Le découpage de Dudeney

Le découpage de Dudeney

L'animation
Le secret du découpage
Théorème général

L'animation

Henry Dudeney (1857-1930) découvrit une ingénieuse transformation de polygones suspendus. Il en exposa un modèle en acajou devant la Royal Society de Londres en 1905. Il s'agit de transformer 4 pièces groupées d'un triangle équilatéral en un carré de même aire.
L'animation flash ci-dessous montre la transformation.

Le secret du découpage

Prenons un triangle équilatéral ABC de côté BC=2 pour simplifier. Son aire est (1/2)(2)(2/2) =
Le carré de même aire aura donc un côté mesurant  c'est à dire racine quatrième de 3 (ou racine de (racine de 3)).
Sur la figure ci-dessous, nous allons montrer que le côté du carré est [RS].
Nous allons vérifier que sa mesure est bien .
Construction :

Soient D et R les milieux des côtés [AB] et [AC].
Soit O le symétrique de A par rapport à (BC).

Nous avons OA = 2(2/2) = 2.
OB = AB =2 Symétrie de O et de A par rapport à (BC)

Traçons le cercle de centre O passant par B.

OP = OB = 2

Soit Q le milieu de [AP]
Traçons le cercle de centre Q passant par A.

OA = 2 donc AP = 2 + 2 et QP = 1 +  = O₁Q
OQ = QP - OP = 1 +  - 2 =  - 1

Soit (OO₁) la parallèle à (BC) passant par O.
I milieu de [OO₁], alors
OI est la longueur désirée soit .
Avec Pythagore on a :
O₁Q²= OQ² + OO₁²OO₁²= O₁Q² - OQ²OO₁²= (  + 1 )² - ( - 1 )²OO₁²= 4
Donc OO₁ =2
Finalement
OI =

On construit le cercle de centre R de rayon OI qui coupe (BC) en S.
RS = OI
De D on trace (DF) perpendiculaire à (RS).
Pour finir, on construit au compas RG = FS,
puis la perpendiculaire (GH) à (RS).
Nous obtenons ainsi les 4 polygones ADFR, BDFS, SGG, HGRC
permettant de réaliser le triangle de Dudeney.

Remarque
Quand on transforme le triangle, on obtient un quadrilatère convexe (les angles plats sur les côtés sont conservés par rotation de 180°) ;
ce quadrilatère a par construction 4 angles droits. Il s'agit donc d'un rectangle.
Ce rectangle a même aire que le triangle initial :  (le découpage conserve l'aire).
Un côté de ce rectangle (jaune + bleu) mesure RS. En effet c'est RF + RG = RF + FS = RS
Le calcul précédent, RS = , montre que l'aire du rectangle est égale à RS² .
Ce rectangle est donc bien un carré.

Théorème général de Hilbert

Etant donnés deux polygones dont les aires sont identiques il existe un découpage de l'un en un nombre fini de polygones qui permet de recouvrir exactement le second sans chevauchement.

Le principe général de base consiste à découper chacune des deux figures en triangles.
En effet
Pour tout couple de triangles de même aire, il existe un découpage permettant de passer de l'un à l'autre et vice versa.
Pour la démonstration, voir
http://bayledes.free.fr/decoupage/index.html

Source :
http://therese.eveilleau.pagesperso-orange.fr/

Groupe orthogonal

En mathématiques, plus précisément en algèbre linéaire, le groupe orthogonal d'une forme quadratique q est le groupe de ses automorphismes orthogonaux, muni de la loi decomposition. Si E est l'espace vectoriel sous-jacent, un automorphisme orthogonal pour q est un automorphisme f de l'espace vectoriel E (i.e. une application linéaire bijective de E dansE) laissant q invariante, c'est-à-dire vérifiant :

$forall xin E,; q(f(x))=q(x).$

Le cas le plus étudié est ( $mathbb K$ étant le corps des scalaires et n un entier naturel) :

$E=mathbb K^n,qquad q(x_1,ldots,x_n)=sum_{k=1}^nx_k^2.$

Le groupe orthogonal correspondant, noté $O(n,mathbb K)$ ou $O_n(mathbb K)$ , s'identifie au groupe des matrices orthogonales et possède un sous-groupe particulier, le groupe spécial orthogonal.

Sommaire

[masquer]

Généralités [modifier]

Le groupe orthogonal est compact, en effet on est en dimension finie et il est borné car tous les endomorphismes orthogonaux sont unitaires et fermé car c'est l'image réciproque du singleton identité par l'application continue $M mapsto M^t.M$ .

L'identité est un automorphisme orthogonal. L'ensemble des automorphismes orthogonaux est stable par composition et inversion. C'est donc un sous-groupe du groupe des automorphismes de $E$ ; on l'appelle le groupe orthogonal associé à la forme quadratique q. Il est noté $O (E, q)$ .

Pour $E={mathbb K}^n$ , lorsque la forme quadratique q s'écrit : q(x) = $sum_{k=1}^n$ x_k², on appelle matrices orthogonales les matrices des automorphismes orthogonaux. Une matrice M est donc orthogonale si et seulement si ^tMM = I_n, où ^tM est la matrice transposée de M. Par définition, le groupe orthogonal de degré n du corps $mathbb K$ est le groupe des matrices orthogonales n ×n à coefficients dans $mathbb K$ , muni de la multiplication matricielle. Il est habituellement noté $O(n,mathbb K)$ ou $O_n(mathbb K)$ . C'est un sous-groupe du groupe général linéaire $GL(n,mathbb K)$ .

Toute matrice orthogonale a un déterminant égal à 1 ou -1. Les matrices orthogonales n × n de déterminant 1 forment un sous-groupe invariant de $O(n,mathbb K)$ appelé le groupe spécial orthogonal et noté $SO(n,mathbb K)$ ou $SO_n(mathbb K)$ . Si la caractéristique de $mathbb K$ est 2, alors les groupes orthogonal et spécial orthogonal coïncident. Dans le cas contraire, l’indice de $SO(n,mathbb K)$ dans $O(n,mathbb K)$ est 2.

$O(n,mathbb K)$ et $SO(n,mathbb K)$ sont des groupes algébriques, car la condition que leurs matrices soient orthogonales, c’est-à-dire que leur transposée soit leur inverse, peut s’exprimer comme un ensemble d’équations polynomiales dans les éléments de ces matrices.

Nombres réels [modifier]

Sur le corps $R$ des nombres réels, $O(n,R)$ et $SO(n,R)$ sont généralement simplement notés $O(n),!$ et $SO(n),!$ quand aucune confusion n’est possible. Ils forment deuxgroupes de Lie compacts de dimension ${1over 2}n(n-1)$ . $O(n),!$ possède deux composantes connexes, $SO(n),!$ étant celle contenant la matrice identité.

Géométriquement, $O(n),!$ est isomorphe au groupe des isométries de $R^n$ laissant invariant l’origine. $SO(n),!$ est isomorphe au groupe des isométries directes, ou rotations de $R^n$ laissant l’origine invariante.

$SO(2),!$ est isomorphe (en tant que groupe de Lie) au cercle $S 1$ , formé des nombres complexes de module 1, muni de la multiplication. Cet isomorphisme lie le nombre complexe $e^{icdot phi} = cos(phi) + icdot sin(phi)$ à la matrice orthogonale

$begin{bmatrix}cos(phi)&-sin(phi) sin(phi)&cos(phi)end{bmatrix}$

Le groupe $SO(3),!$ est souvent appelé groupe des rotations (vectorielles) dans l'espace (tridimensionnel).

En termes de topologie algébrique, pour n > 2, le groupe fondamental de $SO(n),!$ est le groupe cyclique d’ordre 2 et le groupe Spin Spin(n) est son revêtement universel. Pour n=2, le groupe fondamental est le groupe cyclique infini et son revêtement universel correspond à la droite des réels.

L’algèbre de Lie associée aux groupes de Lie $O(n),!$ et $SO(n),!$ est formée des matrices n×n antisymétriques. Elle est généralement notée $mathfrak o(n),!$ ou $mathfrak{so}(n),!$ .

Nombres complexes [modifier]

Sur le corps $mathbb C$ des nombres complexes, $O(n,mathbb C)$ et $SO(n,mathbb C)$ (là aussi notés $O(n),!$ et $SO(n),!$ quand aucune confusion n’est possible) sont des groupes de Lie complexes de dimension ${1over 2}n(n-1)$ sur $mathbb C$ (le double sur $R$ ). $O(n),!$ possède deux composantes connexes, $SO(n),!$ étant celle contenant la matrice identité. Pour $nge 2$ , ces groupes ne sont pas compacts.

Pour $n > 2$ , le groupe fondamental de $SO(n),!$ est le groupe cyclique d’ordre 2, tandis que le groupe fondamental de $SO(2),!$ est le groupe cyclique infini.

L’algèbre de Lie associée aux groupes de Lie $O(n),!$ et $SO(n),!$ est formée des matrices complexes n×n antisymétriques.

Voir aussi [modifier]

Portail des mathématiques

Catégories : Algèbre bilinéaire | Groupe remarquable | [+]

Source : http://fr.wikipedia.org/wiki/Groupe_orthogonal

Groupe symplectique

En mathématiques, le terme groupe symplectique est utilisé pour désigner deux familles différentes de groupes linéaires. On les note Sp(2n, E) et Sp(n), ce dernier étant parfois nommé groupe compact symplectique pour le distinguer du premier. Cette notation ne fait pas l’unanimité et certains auteurs en utilisent d’autres, différant généralement d’un facteur 2. La notation utilisée dans cet article est en rapport avec la taille des matrices représentant les groupes.

Sommaire

[masquer]

Sp(2n,E) [modifier]

Le groupe symplectique de degré 2n sur un corps E, noté Sp(2n, E), est le groupe des matrices symplectiques 2n×2n à coefficients dans E, muni de la multiplication matricielle. Comme toutes les matrices symplectiques ont pour déterminant 1, le groupe symplectique est un sous-groupe du groupe spécial linéaire SL(2n, E).

De façon plus abstraite, le groupe symplectique peut être défini comme l’ensemble des transformations linéaires d’un espace vectoriel de dimension 2n sur E préservant une forme non-dégénérée, antisymétrique et bilinéaire.

Si n = 1, la condition symplectique sur une matrice est satisfaite si et seulement si son déterminant est tel que Sp(2, E) = SL(2, E). Pour n>1, d’autres conditions s’y ajoutent.

Typiquement, le corps E est le corps des nombres réels $mathbb R$ ou des nombres complexes $mathbb C$ . Dans ce cas, Sp(2n, E) est un groupe de Lie réel ou complexe, de dimension réelle ou complexe n(2n + 1). Ces groupes sont connexes mais pas compacts. Sp(2n, $mathbb C$ ) est simplement connexe tandis que Sp(2n, $mathbb R$ ) possède un groupe fondamental isomorphe à Z.

L’algèbre de Lie de Sp(2n, E) est donnée par l’ensemble des matrices 2n×2n réelles ou complexes A satisfaisant :

J A + A T J = 0

où $A T$ est la transposée de A et J est la matrice antisymétrique

$J = begin{pmatrix} 0 & I_n \ -I_n & 0 \ end{pmatrix}$

Sp(n) [modifier]

Le groupe symplectique Sp(n) est le sous-groupe de GL(n, $mathbb H$ ) ( $mathbb H$ étant l’ensemble des matrices quaternioniques inversibles) préservant la forme hermitienne standard sur $mathbb H^n$ :

$langle x, yrangle = bar x_1 y_1 + cdots + bar x_n y_n$

C’est-à-dire que Sp(n) est simplement le groupe unitaire quaternionique U(n, $mathbb H$ ). Il est d’ailleurs parfois appelé groupe hyperunitaire. Sp(n) n’est pas un groupe symplectique au sens de la section précédente : il ne préserve pas une forme antisymétrique sur $mathbb H^n$ (en fait, une telle forme n’existe pas).

Sp(n) est un groupe de Lie de dimension n(2n + 1). Il est compact, connexe et simplement connexe. L’algèbre de Lie de Sp(n) est donnée par l’ensemble des matrices quaternioniquesn×n satisfaisant

$A+A^{dagger} = 0$

où $A^{dagger}$ est la transposée conjuguée de A.

Relations entre les groupes symplectiques [modifier]

La relation entre les groupes Sp(2n, $mathbb R$ ), Sp(2n, $mathbb C$ ) et Sp(n) est la plus évidente au niveau de leur algèbre de Lie. Les algèbres de Lie de ces trois groupes, considérés comme groupes de Lie réels, partagent la même complexification. Dans la classification des algèbres de Lie simples de Cartan, cette algèbre est notée C_n.

L’algèbre de Lie complexe C_n est juste l’algèbre sp(2n, $mathbb C$ ) des groupes de Lie complexes Sp(2n, $mathbb C$ ). Cette algèbre possède deux formes réelles différentes :

la forme compacte, sp(n), qui est l’algèbre de Lie de Sp(n),
la forme normale, sp(2n, $mathbb R$ ), qui est l’algèbre de Lie de Sp(2n, $mathbb R$ ).

Comparaison des groupes symplectiques :

	Matrices	Groupe de Lie	Dim/ $mathbb R$	Dim/ $mathbb C$	Compact	π₁
Sp(2n, $mathbb R$ )	$mathbb R$	réel	n(2n + 1)	–		$mathbb Z$
Sp(2n, $mathbb C$ )	$mathbb C$	complexe	2n(2n + 1)	n(2n + 1)		1
Sp(n)	$mathbb H$	réel	n(2n + 1)	–	x	1

Voir aussi [modifier]

Portail des mathématiques

Catégories : Groupe remarquable | Géométrie symplectique | [+]

Source : http://fr.wikipedia.org/wiki/Groupe_symplectique

Groupe fondamental

Pour les articles homonymes, voir Groupe de Poincaré.

Des informations de cet article ou section devraient être mieux reliées aux sources mentionnées dans la bibliographie.

Améliorez sa vérifiabilité en les associant par des références.

En mathématiques, et plus spécifiquement en topologie algébrique, le groupe fondamental, ou groupe de Poincaré, est un invariant topologique. Le groupe fondamental d'un espace topologique pointé (X, p) est, par définition, l'ensemble des classes d'homotopie de lacets (arcs fermés) de X d'origine et d'extrémité p. C'est un groupe dont la loi de composition interneest induite par la concaténation des arcs.

L'examen des groupes fondamentaux permet de prouver que deux espaces ne peuvent être homéomorphes, ou topologiquement équivalents. Le groupe fondamental permet de classifier les revêtements d'un espace connexe par arcs, à un isomorphisme près.

Une généralisation des groupes fondamentaux est la suite des groupes d'homotopie supérieurs. Pour cette raison, le groupe fondamental est aussi appelé premier groupe d'homotopie¹.

Le groupe fondamental fut introduit par Henri Poincaré dans la douzième section de son article intitulé Analysis Situs, paru en 1895 et annoncé dans une note aux Comptes-rendus de l'Académie des Sciences, parue en 1892².

Sommaire

[masquer]

Définition intuitive à travers l'exemple du tore [modifier]

Un lacet sur le tore bidimensionnel de point de départ p

Tout d'abord, familiarisons-nous avec l'idée du groupe fondamental à travers l'exemple du tore bidimensionnel (qu'on peut se représenter comme étant la surface d'un donut ou d'une bouée). On fixe sur le tore un point de départ p.

À partir de ce point, on peut construire des lacets, i.e des courbes fermées, qui partent du point p, se promènent sur le tore et qui reviennent au point de départ. Imaginons que les lacets soient faits à partir de caoutchouc comme un élastique et qu'il soit ainsi possible de les étirer, les déformer de telle manière que le point de départ et le point d'arrivée soient toujours p et que les lacets se déplacent toujours sur le tore. Une telle déformation s'appelle une homotopie : on dit que deux lacets qui peuvent s'obtenir l'un à partir de l'autre par une homotopie sont homotopiquement équivalents. Ce sont les lacets à déformation près qui nous intéressent : on regroupe donc les lacets dans des classes d'homotopie. Le groupe fondamental du tore est l'ensemble des différentes classes d'homotopie des lacets.

a et b ne sont pas homotopiquement équivalents

Dans la figure ci-contre, les lacets a et b ne sont pas homotopiquement équivalents : on ne peut obtenir l'un en déformant continûment le second sans le « déchirer » à un moment, ils représentent deux éléments distincts du groupe fondamental. On obtient d'autres classes d'homotopie en faisant tourner les lacets plusieurs fois autour du trou.

Concaténé de deux lacets

Comme son nom l'indique, le groupe fondamental n'est pas un simple ensemble, il est muni d'une structure degroupe : la loi de composition interne est celle qui à deux lacets associe un troisième lacet obtenu en parcourant le premier puis le second à la même vitesse (il n'y a pas de problèmes de définition puisque les lacets commencent et terminent avec le même point p). L'élément neutre du groupe fondamental est la classe d'homotopie du lacet qui reste au point p. On obtient un élément inverse en parcourant les lacets d'une classe d'homotopie dans le sens contraire.

Définition [modifier]

Classe d'équivalence de lacets [modifier]

Soit X un espace topologique. Un arc continu est une application continue $γ$ : [0 1] → X.

Soit p un point fixé dans X. Un lacet basé en p est un arc continu vérifiant de plus $γ(0) = γ(1) = p$ .

Deux lacets $γ 0$ et $γ 1$ sont dits homotopes s'il existe une homotopie de l'un vers l'autre, c'est-à-dire une application continue H : [0 1]² → X telle que :

$forall t in [0,1], , H(t,0) = gamma_0(t)$
$forall t in [0,1], , H(t,1) = gamma_1(t)$
$forall x in [0,1], , H(0,x) = p = H(1,x)$ .

La dernière condition exprime que pour x fixé entre 0 et 1 $γ x (t) = H (t, x)$ est un lacet basé en p.

Autrement dit, deux lacets sont dits homotopes si l'on peut passer continument de l'un à l'autre, à l'image de la figure de droite (le point p est situé en A sur la figure) .

Le fait d'être homotopes est une relation d'équivalence entre lacets (basés en p). On peut considérer l'ensemble E(p) des lacets (basés en p) de X et l'ensemble quotient $π 1 (X, p)$ de E(p)par la relation d'homotopie. On notera $[γ]$ la classe d'équivalence d'un lacet $γ$ (aussi appelée classe d'homotopie)³.

Intuitivement (si l'espace X est métrisable et localement compact) une classe d'homotopie de lacets est une composante connexe par arcs de l'espace E(p) muni de la topologie de la convergence compacte-ouverte. $π 1 (X, p)$ est l'ensemble des classes d'équivalence d'homotopie $[γ]$ de lacets basés en p. C'est donc l'ensemble des composantes connexes par arcs deE(p).

Structure de groupe [modifier]

On souhaite donner une structure de groupe à cet ensemble $π 1 (X, p)$ . Si f et g sont deux lacets de X (basés en p), leur concaténation est le laceth défini par :

$h(t)=left{begin{matrix} f(2t), & mbox{si }tin[0,1/2] \ g(2t-1), & mbox{si } tin[1/2,1]end{matrix}right.$

Intuitivement, c'est le lacet qui parcourt f puis g (chacun à vitesse double, pour arriver à parcourir le lacet en un temps unité). On notera $f g$ le concaténé de f et de g. On peut prouver que la classe d'homotopie $[f g]$ ne dépend que de la classe d'homotopie de f, et de celle de g. Ainsi, on peut définir une loi de composition interne sur l'ensemble $π 1 (X, p)$ des classes d'homotopie des lacets basés en p de X, par $[f][g] = [f g]$ .

On peut alors prouver que l'on obtient une structure de groupe sur l'ensemble $π 1 (X, p)$ : la loi est associative car les lacets (fg)h et f(gh) sont homotopes, l'élément neutre est la classe d'homotopie $[γ]$ du lacet trivial $γ$ défini par $γ(t) = p$ pour tout t. L'inverse d'un lacet f est simplement le même lacet, mais parcouru dans l'autre sens (c'est-à-dire, défini par $f - 1 (t) = f (1 - t)$ )

Le groupe ainsi obtenu est appelé groupe fondamental³ (ou groupe de Poincaré) de X basé en p, et est noté $π 1 (X, p)$ .

Point base [modifier]

Examinons le cas particulier où l'espace topologique X est connexe par arcs. Deux groupes fondamentaux basés en deux points p et q ( $π 1 (X, p)$ et $π 1 (X, q)$ ) sont isomorphes. En effet, il existe un chemin $γ$ allant de p à q. On peut donc définir l'application suivante

$[alpha] mapsto [gamma] [alpha] [gamma]^{-1}$

qui réalise visiblement un isomorphisme du groupe fondamental $π 1 (X, q)$ vers le groupe fondamental $π 1 (X, p)$ dont l'isomorphisme réciproque est l'application :

$[alpha] mapsto [gamma]^{-1} [alpha] [gamma]$

Ainsi, si X est connexe par arcs, par abus de langage, on parle du groupe fondamental (à un isomorphisme non unique près) de l'espace topologique X, sans préciser le point base⁴, que l'on note $π 1 (X) = π 1 (X, p)$ . Cependant, l'isomorphisme entre les groupes $π 1 (X, p)$ et $π 1 (X, q)$ n'est pas unique et dépend du choix d'un chemin entre p et q . Ainsi on doit se souvenir que le groupe fondamental varie lorsque le point base varie dans l'espace X, les groupes restant toujours isomorphes.

Si X n'est pas connexe par arcs, les groupes fondamentaux de deux composantes connexes, sont différents. Par abus de langage, on parle néanmoins du groupe fondamental d'une composante connexe par arcs, sans préciser le point base, mais on doit se souvenir que le groupe fondamental varie lorsque le point base varie dans la composante connexe par arcs, les groupes restant toujours isomorphes. À l'inverse, un autre invariant d'un espace topologique, non nécessairement connexe par arcs, le premier groupe d'homologie, ne dépend pas du choix d'un point base ni du choix d'une composante connexe par arcs. Si le groupe fondamental (en un point) est abélien, ce qui est le cas de celui des groupes de Lie ou des espaces simplement connexes, il s'identifie naturellement au groupe d'homologie de la composante connexe du point.

Espaces simplement connexes [modifier]

Article détaillé : Connexité simple.

Un espace topologique connexe par arcs dont le groupe fondamental est trivial est dit simplement connexe .

Exemples [modifier]

Convexes d'un espace euclidien [modifier]

Soit E un espace euclidien de dimension n, où n est un entier strictement positif. On dispose de la propriété suivante :

Le groupe fondamental d'un ensemble convexe C non vide de E est trivial⁵. Autrement dit, un convexe d'un espace euclidien (plus généralement d'un espace vectoriel topologique localement convexe) est simplement connexe.

Si p est un élément de C, l'objectif est de montrer que $π 1 (C, p)$ est le groupe trivial, ou encore que tout lacet $γ$ basé en p est homotope au point p, c'est-à-dire au lacet constant valant p. Pour cela on définit une application H : [0 1]² → C définie par :

$forall t,x in [0,1]quad H(t,x)= tp + (1-t)gamma(x)$

L'application H est manifestement continue, comme $γ(x)$ et p sont deux éléments de C, pour toutes valeurs de t $H (t, x)$ est élément de C car C est convexe. L'application H définit bien une homotopie entre le lacet constant et $γ$ .

Cercle [modifier]

Le terme de cercle désigne ici un espace homéomorphe à l'ensemble des points situées à une distance constante non nulle d'un point c d'un plan euclidien. Ainsi, l'ensemble des nombres complexes de module 1 ou encore R/Z sont des cercles. Le cercle est noté ici S¹ et est identifié aux nombres complexes de module 1.

Le groupe fondamental du cercle est isomorphe à Z l'ensemble des nombres entiers³.

Intuitivement, ce résultat est évident. On considère ici $π 1 (S 1,1)$ , c'est-à-dire que le point de base est 1. Si le chemin considéré fait n tours dans le sens trigonométrique, on a envie de lui associer par l'isomorphisme de groupe $μ$ de Z dans $π 1 (S 1,1)$ qui, à la valeur m, associe une classe de lacets qui fait m tours, dans le sens trigonométrique si m est positif, et dans le sens inverse sinon. Pour construire l'isomorphisme $μ$ , on définit les lacets $e m$ de la manière suivante :

$e_m : [0,1] rightarrow mathbb S^1quad e_m(t) = exp(2ipi mt)$

On définit $μ$ comme l'application qui à m associe $[e m]$ . Intuitivement, il semble clair que $μ$ est un isomorphisme.

La non trivialité du groupe fondamental du cercle est à l'origine de plusieurs démonstrations de théorèmes non triviaux. Un exemple est celui de Borsuk-Ulam qui indique qu'une application continue de la sphère dans le plan possède toujours deux points antipodaux ayant même image. Ce résultat est la clé de la démonstration du théorème du sandwich au jambon qui indique qu'il existe toujours un plan qui divise deux parties de volumes égaux trois solides bornés et mesurables.

[Dérouler]

Détail des calculs

Espace produit [modifier]

Si X et Y sont deux espaces connexes par arcs, l'espace topologique produit XxY est aussi connexe par arcs. Si (p, q) est un point du produit, le groupe fondamental de XxY que l'on note $π 1 (X x Y,(p, q))$ est bien défini. On dispose de la propriété suivante :

Le groupe fondamental de l'espace produit XxY est le produit direct du groupe fondamental de X par celui de Y⁶.

Les propositions précédentes permettent d'établir que le produit $S 1$ par lui-même, généralement appelé tore de dimension 2, admet un groupe fondamental isomorphe à Z². Plus généralement, le groupe fondamental du tore de dimension n est isomorphe à Zⁿ.

[Dérouler]

Démonstration

Autres exemples [modifier]

Pour $ngeq 2$ , le groupe fondamental de la sphère $mathbb S^n$ de l'espace euclidien $R^{n+1}$ est également trivial. Autrement dit, les sphères de dimension supérieure ou égale à 2 sont simplement connexes.
Le groupe fondamental peut également contenir des éléments de torsion : par exemple, le groupe fondamental du plan projectif $R P^2$ est isomorphe à $Z/2Z$ (voir plus bas).
Le groupe fondamental n'est pas toujours commutatif : Par exemple, le groupe fondamental basé en un point p du plan privé de deux points $mathbb R^2-{a;b}$ , est isomorphe au groupe libre à deux générateurs $F 2$ . Les deux générateurs sont ici des lacets partant de p et faisant chacun le tour d'un des points a ou b.

Théorème: On peut montrer que quel que soit le groupe G, il existe un espace topologique de groupe fondamental G. On peut en fait trouver un CW-complexe de dimension 2 ou même unevariété de dimension 4 si le groupe est de présentation finie.

Fonction continue et morphisme [modifier]

Une question naturelle est celle de la compatibilité du groupe fondamental vis à vis d'une application continue f. Soit X et Y deux espaces topologiques tel que X soit connexe par arc et fune application continue de X dans Y. La fonction f assure non seulement la connexité de Y, mais aussi sa connexité par arcs de f(X).

De plus la fonction f transforme un lacet de X en un lacet de Y. Soit $α$ un lacet de X, l'application fo $α$ est bien un lacet de Y. Ce lacet est généralement noté $f * (α)$ .

Morphisme de groupes fondamentaux induit par une fonction continue [modifier]

La fonction f induit une application $f *$ des lacets de X dans les lacets de Y. Cette application est compatible avec la relation d'équivalence que définit l'homotopie ainsi qu'avec la loi de composition du groupe fondamental.

Si $α 1$ et $α 2$ sont deux lacets ayant mêmes extrémités p, la loi de concaténation s'applique. Si les deux lacets sont homotopes, et si H(t, x) est une homotopie, alors l'application foH(t, x) est une homotopie entre $f * (α 1)$ et $f * (α 2).$ , ce qui montre que l'application $f *$ est définie sur le groupe $π 1 (X, p)$ à valeurs dans le groupe $π 1 (Y, f (p))$ .

Il existe un unique morphisme de groupe de $π 1 (X, p)$ dans $π 1 (Y, f (p))$ , qui associe à la classe, notée $[α]$ , d'un lacet de X, la classe du lacet $f o α$ . Ce morphisme est appelémorphisme induit par l'application f, il est défini par⁷ :

$forall gamma in pi_1(X,p),;forall t in [0,1] quad f_*(gamma)(t) = fcircgamma (t)$

Pour montrer cette proposition, il suffit de remarquer que :

$forall gamma_1,gamma_2 in pi_1(X,p) quad f_*(gamma_1gamma_2) = f_*(gamma_1)f_*(gamma_2)$

Si Z est un autre espace topologique et g une fonction continue de Y dans Z, alors les morphismes se composent :

$(gcirc f)_* = g_*circ f_*$

Il suffit de remarquer que l'application (Id_X)_* est l'identité du groupe $π 1 (X, p)$ pour conclure que :

Si f est un homéomorphisme, le morphisme de groupe f_* est un isomorphisme. Si deux espaces X et Y sont connexes par arcs et s'il existe un homéomorphisme de X dans Y, alors les groupes fondamentaux de X et Y sont isomorphes.

L'isomorphisme n'est en général pas unique.

Application : théorème du point fixe de Brouwer en dimension 2 [modifier]

Un exemple d'application des morphismes précédents est le théorème du point fixe de Brouwer. En dimension deux, il se démontre simplement à l'aide de l'étude d'une fonction continue permettant de bâtir un morphisme de groupes fondamentaux. Une définition est utile⁸ :

Soit X un espace topologique connexe par arcs et A une partie de X. Une rétraction F de X sur A est une application de X dans A telle que la restriction de F à A soit l'identité. On dit que A est un rétracte de X s'il existe une rétraction continue de X sur A.

Cette définition permet d'exprimer la proposition suivante, équivalente au théorème du point fixe de Brouwer en dimension 2 :

Il n'existe pas de rétraction continue d'un disque dans sa frontière.

Soit $B 2$ le disque et $S 1$ sa frontière. Supposons qu'une telle rétraction, notée F, de $B 2$ dans $S 1$ existe. On note $I n j S$ , l'injection canonique de $S 1$ dans $B 2$ et $I d S$ l'application identité de $S 1$ . On dispose des égalités :

$Id_{S} = Fcirc Inj_Squadtext{donc}quad (Id_{S})_* = F_*circ (Inj_S)_*$

L'application $(I d S) *$ est le morphisme identité du groupe fondamental du cercle. L'application $(I n j S) *$ est le morphisme du groupe fondamental du cercle dans le groupe fondamental du disque, qui est trivial. L'image de cette application est donc réduite à l'élément neutre. L'image par le morphisme F_* du groupe fondamental du disque dans le groupe fondamental du cercle est réduite à l'élément neutre. Ce résultat est en contradiction avec le fait que l'image de $(I d S) *$ , qui est le groupe fondamental du cercle, est non triviale car isomorphe à Z.

Le théorème de Brouwer indique que toute fonction continue f du disque dans lui-même admet un point fixe. S'il n'en avait pas, il serait aisé de construire une rétraction continue. On considérerait le segment passant par x et f(x) illustré sur la figure (si x est un élément du disque). Ce segment traverse le disque en un point, plus proche de x que de f(x). Si ce point est l'image par F du point x, alors F est la rétraction recherchée⁹. Une description plus précise est disponible dans l'article détaillé :

Article détaillé : Théorème du point fixe de Brouwer.

Degré d'une application du cercle dans lui-même $S^1 to S^1$ [modifier]

Article détaillé : Degré d'une application.

Autres théorèmes [modifier]

Articles détaillés : Théorème de d'Alembert-Gauss et Théorème de la boule chevelue.

Équivalence d'homotopie et espaces contractiles [modifier]

Deux espaces X et Y sont dits homotopiquement équivalents s'il existe deux applications f : X → Y et g : Y → X, telles que $gcirc f$ est homotope à $I d X$ et $fcirc g$ est homotope à $I d Y$ .

Si X et Y sont connexes par arcs et homotopiquement équivalents, ils ont des groupes fondamentaux isomorphes.

Par conséquent, un espace homotopiquement équivalent à un point est simplement connexe. Un tel espace est dit contractile.

Propriétés [modifier]

Lien avec le premier groupe d'homologie [modifier]

On montre que : le premier groupe d'homologie (d'un espace connexe par arcs) est isomorphe à l'abélianisé du groupe fondamental (en un point quelconque de l'espace).

C'est un cas particulier du théorème d'Hurewicz.

Groupe fondamental et théorie des revêtements [modifier]

Il y a équivalence entre les sous-groupes à conjugaison près du groupe fondamental et les revêtements à isomorphisme près. Dans cette équivalence, les sous-groupes normaux correspondent aux revêtements galoisiens.

En théorie des revêtements, on montre que si l'espace admet un revêtement simplement connexe (en particulier si l'espace est semi-localement simplement connexe c'est-à-dire si l'espace n'est pas trop "sauvage", par exemple s'il est localement contractile) son groupe fondamental est isomorphe au groupe des automorphismes d'un de ses revêtements universels.

Méthodes de calcul et applications [modifier]

Théorème de van Kampen [modifier]

Calculer le groupe fondamental d'un espace topologique qui n'est pas simplement connexe est un exercice difficile, car il faut prouver que certains lacets ne sont pas homotopes. Lethéorème de van Kampen, également appelé théorème de Seifert-Van Kampen, permet de résoudre ce problème lorsque l'espace topologique peut être décomposé en des espaces plus simples dont les groupes fondamentaux sont déjà connus. Ce théorème permet de calculer le groupe fondamental d'un éventail très large d'espaces.

Article détaillé : Théorème de van Kampen.

En termes abstraits, ce théorème dit que si deux sous-espaces, tous les deux ouverts ou tous les deux fermés, de X contiennent le point p et ont une intersection connexe par arcs, le groupe fondamental de la réunion des deux espaces pointés en p est la somme amalgamée (dans la catégorie des groupes) des groupes fondamentaux des deux espaces, en p, somme amalgamée le long du groupe fondamental de leur intersection.

$pi(V_1 cup V_2, x) = pi(V_1, x) underset{pi(V_1 cap V_2, x)}{bigstar}pi(V_2,x)$ .

Théorème du cône et groupe fondamental des espaces projectifs [modifier]

Si X est un espace topologique, on définit le cône de X comme l'espace quotient $frac{Itimes X}{0times X}$ où $I$ désigne le segment [O;1]. Si X est un cercle, on obtient une partie d'un cône de révolution. Le groupe fondamental du cône d'un espace connexe par arc est trivial, autrement dit, si X est connexe par arcs, C(X) est simplement connexe. On a une inclusion canonique $X=1times Xsubset C(X)$ .

Si f est une application continue entre deux espaces topologiques $f : Xto Y$ , on définit le cône de l'application f : $C (f)$ comme l'espace obtenu en recollant $Xsub C(X)$ et $f(X)sub Y$ le long de X.

Exemple : Si f est l'application de degré 2 dans le cercle $S^1to S^1 : zmapsto z^2$ , on obtient $C(f)=P_2(mathbb R)$ . Le cône de f est le plan projectif réel.

Le théorème du cône affirme que le groupe fondamental de C(f) est isomorphe au quotient de $π 1 (Y)$ par le normalisé du sous-groupe de $π 1 (Y)$ image de f.

Application : les espaces projectifs (réels) $P_n(mathbb R)$ pour $nge 2$ ont des groupes fondamentaux isomorphes à $mathbb Z/2mathbb Z$ .

Groupe fondamental des graphes, des surfaces et des polyèdres [modifier]

Le groupe fondamental des graphes est un groupe libre.
Le groupe fondamental des polyèdres admet une présentation par générateurs et relations. Une relation étant fournie par chacune des faces du polyèdre.
Le groupe fondamental d'une surface compacte orientable admet une présentation avec 2g générateurs $a_1, b_1, a_2, b_2,ldots a_g, b_g$ et une seule relation ( $a_1b_1a_1^{-1}b_1^{-1} a_2b_2a_2^{-1}b_2^{-1}ldots a_gb_ga_g^{-1}b_g^{-1}=1$ , on peut aussi choisir la présentation $a_1ldots a_g b_1ldots b_g a_1^{-1}ldots a_g^{-1} b_1^{-1}ldots b_g^{-1}=1$ ). L'entier g est uniquement déterminé par la surface et est appelé genre de la surface.

Théorie des nœuds [modifier]

En théorie des nœuds, on cherche à distinguer les différents nœuds (ceux qui ne sont pas homotopiques). Le groupe fondamental du complémentaire d'un nœud fournit un invariant des nœuds, qui permet de distinguer certains d'entre eux.

Généralisations [modifier]

Groupoïde fondamental (ou groupoïde de Poincaré) [modifier]

Une catégorie est appelée un groupoïde si les objets et les flèches forment un ensemble (c'est une "petite catégorie") et si toutes les flèches sont inversibles (sont des isomorphismes). Les groupoïdes forment une catégorie dont les morphismes sont les foncteurs entre groupoïdes. Les groupes sont des groupoïdes (avec un seul objet).

Soit G un groupoïde, on définit la relation d'équivalence $xequiv{},y$ si l'ensemble G(x,y) des morphismes de x vers y est non vide. Elle définit un groupoïde quotient noté $π 0 (G)$ . $π 0$ définit un foncteur (composantes connexes) de la catégorie des groupoïdes vers la catégorie des ensembles.

À chaque espace topologique on va associer de façon fonctorielle un groupoïde $π X$ .

Soit X un espace topologique, on prend pour ensemble d'objets $π X$ l'ensemble sous-jacent à X. Les flèches de source x et de but y sont les classes d'homotopie des chemins (= arcs continus) de x vers y. La relation d'homotopie est compatible avec la composition des chemins et définit donc un groupoïde $π X$ appelé le groupoïde fondamental de X. Le théorème de Van Kampen s'exprime également simplement en utilisant les groupoïdes fondamentaux.

Soit G un groupoïde, et $x$ un objet de G (on dit aussi un point de G). La loi de composition entre les flèches de $G (x, x)$ restreinte à ce sous-groupoïde est une loi de groupe. On note $π 1 (G, x)$ ce groupe. Remarque : $π 1$ ne définit pas un foncteur de la catégorie des groupoïdes vers la catégorie des groupes.

Le groupe fondamental est défini par $π 1 (X, x 0) = π 1 (π X, x 0)$

Groupes d'homotopie supérieurs [modifier]

Le groupe fondamental est en fait le premier groupe d'homotopie, d'où l'indice 1 dans la notation $π 1 (X)$ .

Groupe fondamental et géométrie algébrique [modifier]

Dans la théorie des revêtements d'un espace X, on définit la fibre d'un revêtement $pi_E~:~Eto X$ au point p comme l'ensemble $pi_E^{-1}(p)$ qui est aussi noté E(p). La correspondance $E~mapsto~E(p)$ définit un foncteur de la catégorie des revêtements de base (X; p), dans la catégorie des ensembles. Le groupe fondamental peut être défini de manière abstraite comme le groupe des automorphismes du foncteur fibre, qui, à un revêtement de base $(X, p)$ , associe E(p).

Cette définition alternative ouvre la voie à la généralisation en géométrie algébrique, où la définition donnée précédemment en termes de lacets de base p ne s'applique pas naturellement. Dans cette généralisation, les revêtements étant remplacés par les morphismes étales : le groupe fondamental de l'espace pointé $(X, p)$ est le groupe des automorphismes du foncteur fibre qui, à un morphisme étale $Eto X$ , associe la fibre $E (p)$ au point $p$ . Cette généralisation est due à Alexandre Grothendieck et Claude Chevalley.

Cette théorie permet d'expliquer le lien entre la théorie de Galois des revêtements des surfaces de Riemann (groupe d'automorphismes…) et la théorie de Galois des corps de fonctions.

Bibliographie (en français) [modifier]

Adrien Douady et Régine Douady, Algèbre et théories galoisiennes [détail des éditions]
Claude Godbillon, Éléments de topologie algébrique [détail des éditions]
Dolbeault : Analyse complexe
Zisman : Topologie algébrique élémentaire
Jean Dieudonné : Éléments d'Analyse, tome 3
André Gramain : Topologie des Surfaces

Notes et références [modifier]

↑ Dolbeault, Analyse complexe, ed. Masson, page 120.
↑ J. Dieudonné, A History of Algebraic and differential Topology, 1900-1960, pages 17-24
↑ ^a, b et c Cette définition est reprise de : J. Lannes Groupe fondamental [archive] École Polytechnique
↑ Claude Godbillon, Elements de topologie algébrique, page 76
↑ Le site suivant traite le cas plus général d'un espace étoilé p 8 : H. Cartan Algèbre et géométrie Groupe fondamental, revêtements [archive] Orsay (1968-1969)
↑ J. Lannes Groupe fondamental [archive] École Polytechnique p 8
↑ Adrien Douady et Régine Douady, Algèbre et théories galoisiennes [détail des éditions] p 237 (dans l'édition Cassini 2005)
↑ On la trouve dans : Adrien Douady et Régine Douady, Algèbre et théories galoisiennes [détail des éditions] p218
↑ J. Lannes Groupe fondamental [archive] École Polytechnique p 12

Liens externes [modifier]

Animations qui introduisent au groupe fondamental, par Nicolas Delanoue

Lien externe en anglais :

Algebraic Topology, par Allen Hatcher

Portail des mathématiques

Catégories : Groupe fondamental | Groupe remarquable | Topologie algébrique | Topologie générale | [+]

Source : http://fr.wikipedia.org/wiki/Groupe_fondamental

Formulaire de géométrie classique

(Redirigé depuis Formules mathématiques simples)

Illustration tirée de l'encyclopédie Brockhaus et Efron (1890-1907) représentant deux globes terrestresentourés de diverses formes géométriques.

Ce formulaire de géométrie classique récapitule diverses formules reliant algébriquement des mesures de longueur, d'aire ou de volumepour des figures de géométrie euclidienne.

Sommaire

[masquer]

Figures du plan [modifier]

Périmètre et aire [modifier]

Nom	Périmètre $p,$	Aire intérieure $mathcal A$	Relations supplémentaires
Carré	$4 a,$	$a^2,$	$d = asqrt{2}$
Rectangle	$2(a+b),$	$atimes b$	$d = sqrt{a^2+b^2}$
Triangle	$a+b+c,$	$tfrac{1}{2}b times h$	$mathcal A = sqrt{s(s-a)(s-b)(s-c)}$ où $s=tfrac{1}{2}p$ (formule de Héron)
Triangle équilatéral	$3a,$	$frac{a^2sqrt{3}}{4},$	$h= frac{asqrt{3}}{2}$
Triangle isocèle rectangle	$(2+sqrt{2})c$	$tfrac{1}{2}c^2$	$d = csqrt{2}$
Losange	$4 a,$	$tfrac{1}{2}D_1times D_2$	$a = tfrac{1}{2}sqrt{{D_1}^2+mathcal {D_2}^2}$
Parallélogramme	$2(a+b),$	$atimes h$
Trapèze	$a+b+c+d,$	$tfrac{1}{2}(a+c)times h,$
Disque	$2pi r,$	$pi r^2,$
Ellipse	(non algébrique)	$pi a b,$	(voir ci-dessous)

La lettre $π$ désigne la constante d'Archimède qui vaut environ 3,14.

Autres relations [modifier]

Triangle rectangle

Théorème de Pythagore: Dans un triangle $A B C$ rectangle en $C$ , les longueurs des côtés sont reliées par la formule :; $AB^2 = AC^2 + BC^2 .$

Configuration de Thalès

Théorème de Thalès: Dans un triangle $A B C$ non plat, si une droite parallèle à $(B C)$ coupe $(A B)$ en $D$ et coupe $(A C)$ en $E$ alors les égalités suivantes sont vérifiées :; $frac{AD}{AB} = frac{AE}{AC} = frac{DE}{BC} .$

Figures de l'espace [modifier]

Nom	Aire de la surface	Volume intérieur	Relations supplémentaires
Cube	$6 c^2,$	$c^3,$	$mathcal D = csqrt{3}$
Pavé droit	$2(ab+ah+bh),$	$abh,$	$mathcal D = sqrt{a^2+b^2+h^2}$
Prisme droit		$mathcal Btimes h$
Cylindre droit	extrémités : $2times pi r^2$ surface latérale : $2pi r h,$	$pi r^2 h,$
Pyramide		$tfrac{1}{3}mathcal Btimes h$
Tétraèdre régulier	$a^2sqrt{3}$	$frac{a^3sqrt{2}}{12}$	$h = asqrt{tfrac{2}{3}}$
Cône de révolution	base : $π r 2$ surface latérale : $pi r sqrt{r^2 + h^2}$	$tfrac{1}{3}pi r^2 h$
Sphère	$4pi r^2,$	$tfrac{4}{3}pi r^3$
Calotte sphérique	base : $pi a^2,$ surface courbe : $2pi r h,$	$tfrac{1}{6}pi h(3a^2+h^2)$	$r = frac{a^2+h^2}{2h}$
Ellipsoïde	(non algébrique)	$tfrac{4}{3}pi abc$
Tore ouvert	$4 pi^2 r R,$	$2pi^2 r^2 R,$

Sur les autres projets Wikimédia :

Mesure en géométrie sur Wikiversity(communauté pédagogique libre)

Portail de la géométrie

Catégorie : Géométrie | [+]

Source : http://fr.wikipedia.org/wiki/Formules_math%C3%A9matiques_...

Géométrie symplectique

La géométrie symplectique est un domaine actif de la recherche mathématique, né de la volonté d'une formulation mathématique naturelle à la mécanique classique. Elle est à la rencontre de la géométrie différentielle et des systèmes dynamiques. En mathématiques, elle trouve des applications en géométrie algébrique, en géométrie riemannienne et engéométrie de contact. Formellement, elle est définie comme l'étude des « 2-formes différentielles fermées non dégénérées » — appelées formes symplectiques — sur les variétés différentielles¹.

Sommaire

[masquer]

Étymologie, histoire de la terminologie [modifier]

L'adjectif symplectique fut introduit par le mathématicien Hermann Weyl (9 novembre 1885 – 8 décembre 1955) pour désigner le groupe symplectique $S p (2 n)$ , le groupe des automorphismes linéaires réels de $C n$ conjuguant la multiplication par i à elle-même. Ce groupe était appelé « groupe du linéaire complexe » et une confusion était possible avec le groupe des automorphismes linéaires complexes. Hermann Weyl justifie son choix :

«
The name “complex group” formerly advocated by me in allusion to line complexes, as these are defined by the vanishing of antisymmetric bilinear forms, has become more and more embarrassing through collision with the word “complex” in the connotation of complex number. I therefore propose to replace it by the corresponding Greek adjective “symplectic”.
(Le nom « groupe complexe » que j'ai précédemment évoqué en allusion à la droite complexe, est devenu de plus en plus embarrassant par l'usage de « complexe » dans l'expression « nombre complexe ». Je propose donc de le remplacer par l'adjectif grec correspondant « symplectique ».)
»

— Hermann Weyl, The classical Groups. Their Invariants and Representations

Plus exactement, l'adjectif « symplectique » est basé sur la racine grecque συµπλεκτικoς, traduction de la racine latine de complexus. La racine latine a donné le nom de complexité d'où dérive « nombre complexe », ce nom latin traduit l'idée d'entrelacement. En histoire naturelle, l'adjectif symplectique désigne « être entrelacé avec un autre corps ».

Par extension, l'adjectif symplectique a été utilisé dans l'appellation de forme symplectique et de variété symplectique (voir définitions ci-dessous).

Motivations [modifier]

Mécanique classique et formalisme hamiltonien [modifier]

Le cadre de la géométrie symplectique a permis de donner un nouveau regard sur la mécanique classique. Elle permet une étude du comportement global d'un système mécanique, de traiter les symétries et leurs conséquences et d'étudier des questions qualitatives comme par exemple l'existence de trajectoires périodiques ou le caractère chaotique ou stable d'une évolution.

En mécanique, la position d'un ensemble de points matériels ou plus généralement d'un objet en mouvement est traditionnellement repérée par un certain nombre de coordonnées curvilignes $q=(q_1,dots, q_n)$ . Le nombre $n$ est appelé nombre de degrés de liberté du système. Par exemple, un pendule astreint à rester dans un plan est repéré par un seul paramètre $q 1$ , à savoir l'angle que fait sa tige avec la verticale définie par le champ de gravité. Les positions occupées par deux masses ponctuelles en interaction (par exemple une planète et une étoile) sont repérées par six paramètres, trois pour chaque masse. L'ensemble des différentes valeurs $(q_1,dots, q_n)$ que les coordonnées peuvent prendre dans toutes les positions possibles du système est appelé espace de configuration. Les lois de Newton de la mécanique affirment (entre autres choses) qu'un système mécanique évolue d'une façon déterministe qui peut être prévue si on connait la position et la vitesse d'un point à l'instant initial.

Espace des phases du pendule simple

Pour prendre en compte les vitesses, il est nécessaire d'ajouter aux coordonnées de position $n$ nouvelles variables $p=(p_1,dots, p_n)$ . Dans le premier exemple, $p 1$ serait la vitesse angulaire du pendule et dans le deuxième, on aurait les composantes de la vitesse des deux planètes. L'ensemble des valeurs $(q_1,p_1,dots, q_n, p_n)$ que peuvent prendre les différents paramètres est appelé espace des phases du système. Les trajectoires du système se tracent dans cet espace.

Bien sûr, il n'est en général pas possible de calculer explicitement toutes les trajectoires possibles et même un tel calcul ne donne pas forcément une bonne idée globale du comportement du système étudié. Pour comprendre ce comportement on peut essayer de suivre le déplacement d'un sous-ensemble de l'espace des phases, on a alors accès à des informations globales et qualitatives.

Dans toute la suite on suppose que le système évolue en suivant les lois de la mécanique de Newton pour des forces dérivant d'un potentiel (ce qui signifie en simplifiant qu'il n'y a pas de frottements). On peut se demander quel type de géométrie est adapté à cette étude des trajectoires dans l'espace des phases. La géométrie euclidienne est la plus familière mais elle n'est pas adaptée car les droites ne sont pas conservées lors de l'évolution d'un système mécanique. Ainsi dans l'exemple du pendule simple on constate que si l'on part de configurations alignées cette propriété se perd en route. Il y a pire, un segment de droite n'est même pas envoyé sur une courbe de même longueur. Dans la suite on verra que la géométrie pertinente est la géométrie symplectique.

Théorème de Liouville [modifier]

Le théorème de Liouville affirme que lorsqu'un système mécanique évolue, le volume de toute partie de l'espace des phases est préservé. Voici comment on définit le volume d'une partie de l'espace des phases qui est de dimension $2 n$ . Si la partie est définie par les conditions :

$q_1^0leq q_1 leq q_1^1, p_1^0leq p_1 leq p_1^1,dots, q_n^0leq q_n leq q_n^1, p_n^0leq p_n leq p_n^1$

alors le volume est

$(q_1^1-q_1^0)(p_1^1-p_1^0)dots(q_n^1-q_n^0)(p_n^1-p_n^0).$

Dans le cas où $n = 1$ on retrouve la définition de l'aire d'un rectangle. Si la partie dont on veut calculer le volume est plus compliquée, on la découpe en un très grand nombre de parties telles que plus haut et on fait la somme des volumes. Lorsque le nombre de rectangle tend vers l'infini et que leur réunion tend vers la partie initiale on trouve le volume.

Ainsi dans le cas du pendule simple, on a conservation de l'aire de toute partie de l'espace des phases que l'on suit lors de l'évolution du système.

Le théorème de Liouville affirme que l'évolution d'un système mécanique préserve le volume dans l'espace des phases.

On peut donc penser que la structure géométrique de l'espace des phases est celle du volume des objets mais on va voir dans le paragraphe suivante qu'il existe une géométrie plus subtile.

Théorème de Poincaré [modifier]

Le théorème de Poincaré est un raffinement du théorème de Liouville. Pour l'énoncer il faut introduire quelques notations. Pour tout $i$ compris entre 1 et $n$ , on note $π i$ la projection de l'espace des phases sur le plan des $(q i, p i)$ . C'est donc la fonction qui à $(q_1,p_1,dots, q_n, p_n)$ associe $(q i, p i)$ .

Le théorème de Poincaré affirme que pour toute surface $S$ dans l'espace des phases, la somme des aires des projections $p i i (S)$ est conservée par l'évolution du système. %Todo dessin de la projection d'une surface

Une structure symplectique sur un ensemble est un mécanisme d'attribution d'un nombre à toute surface dans l'ensemble et qui vérifie certaines conditions sur lesquelles on reviendra plus loin. Le fait d'associer à chaque surface $S$ de l'espace des phases la somme des aires de ses projections $π i (S)$ est un exemple de telle structure qu'on appelle structure symplectique canonique de l'espace des phases.

Le théorème de Poincaré affirme donc que l'évolution d'un système mécanique préserve la structure symplectique canonique de l'espace des phases.

On peut montrer que le théorème de Poincaré implique celui de Liouville.

Théorème de non-tassement de Gromov [modifier]

Pendant très longtemps, personne n'a su si le théorème de Poincaré permettait d'avoir vraiment plus d'information sur l'évolution des formes dans l'espace des phases que le théorème de Liouville. Enfin, en 1985, Mikhaïl Gromov a démontré le théorème suivant : pour tout système mécanique à $n$ degrés de liberté, la boule

$B={(q_1,p_1,dots, q_n, p_n); q_1^2+p_1^2+cdots +q_n^2+p_n^2leqslant 1}$

ne peut jamais évoluer en un ensemble dont tous les points vérifient

$q_1^2+p_1^2leqslant r^2$ pour un

r

strictement plus petit que 1.

Or une telle évolution serait possible si seul le théorème de Liouville était vrai et pas le théorème de Poincaré. Ce théorème de Gromov est un théorème difficile et qui a de nombreuses conséquences, il a révolutionné le domaine de la géométrie symplectique.

Symétries en mécanique [modifier]

Le deuxième argument confortant l'idée que la géométrie symplectique est la géométrie naturelle des espaces de phases est la facilité avec laquelle elle permet d'intégrer les questions de symétrie et leurs conséquences dans la théorie.

Théorème de Noether [modifier]

La présence de symétries dans un système mécanique a toujours pour conséquence la conservation de certaines quantités calculées à partir des positions et vitesses des objets étudiés. Ainsi lorsqu'un système est invariant par translation dans une direction, la quantité de mouvement dans cette direction est conservée. Lorsque le système est invariant par rotation autour d'un axe, le moment cinétique par rapport à cet axe est conservé.

Dans la formulation Newtonnienne de la mécanique classique, il semble impossible d'énoncer un théorème général qui engloberait les exemples cités ainsi que des situations possédant des symétries plus compliquées.

Le théorème de Noether affirme que dès que l'on a un groupe à un paramètre de transformations qui préserve un système mécanique il existe une quantité conservée lors de l'évolution de ce système. En fait l'énoncé complet donne une formule pour cette quantité en fonction des transformations et du système considérés.

Dans la formulation lagrangienne de la mécanique on peut démontrer ce théorème en un dizaine de lignes. Dans la formulation hamiltonienne en termes de géométrie symplectique la démonstration ne fait qu'une ligne et l'énoncé se généralise au cas de groupe de transformations à un nombre quelconque de paramètres qui ne commutent pas nécessairement entre elles. Le nombre de quantités conservées est alors égal au nombre de paramètres du groupe de transformations.

Systèmes hamiltoniens intégrables [modifier]

Une des conséquences de l'existence de quantités conservées est qu'elle contraint le système mécanique étudié à rester dans certaines régions de l'espace des phases définies par les conditions initiales.

Lorsqu'on a autant de quantités conservées que de degrés de liberté on dit que le système mécanique est intégrable et la situation devient très simple, c'est ce qu'affirme le théorème d'Arnold-Liouville : pour presque toute énergie de départ il existe des coordonnées $(I_1,dots,I_n,theta_1,dots,theta_n)$ et des nombres $omega_i(I_1,dots,I_n)$ tels que

$theta_i(t) = omega_i(I_1,dots,I_n) t + theta_i(0).$

Systèmes presque intégrables [modifier]

Bien sûr la plupart des systèmes mécaniques ne sont pas intégrables mais certains sont proches d'être intégrables, on peut alors essayer de comprendre dans quelle mesure leur comportement s'éloigne de celui d'un système intégrable, c'est l'objet de la théorie des perturbations qui fait elle aussi un grand usage de la structure symplectique des espaces de phases.

Des connaissances élémentaires en géométrie différentielle sont nécessaires pour aborder les aspects techniques de la géométrie symplectique. L'introduction ici présentée donne un entr'aperçu des résultats fondamentaux qui se veut abordable.

La géométrie symplectique partage de nombreux points communs avec la géométrie de Riemann, qui étudie les variétés différentielles dotées de tenseurs bilinéaires non dégénérés symétriques. Par contre, les variétés symplectiques n'ont pas d'invariants locaux telle que la courbure. C'est une conséquence du théorème de Darboux qui établit que deux variétés symplectiques sont localement isomorphes. La question de savoir quelles variétés admettent des structures symplectiques n'est pas encore complètement résolue.

Chaque variété de Kähler est également une variété symplectique. Au cours des années 1970, les experts du domaine étaient incertains quant à la question de savoir si des variétés symplectiques compactes autres que celles de Kähler existaient, mais depuis plusieurs exemples ont peu être construits (le premier est dû à William Thurston).

La plupart des variétés symplectiques ne sont pas de Kähler et n'ont donc pas de structure complexe intégrable compatible avec la forme symplectique. Mikhaïl Gromov a remarqué cependant que les variétés symplectiques possèdent de nombreuses structures quasi-complexes qui vérifient tous les axiomes d'une variété complexe à l'exception du fait que les fonctions de transition n'y sont pas holomorphes.

Gromov développa le fait qu'il existe de telles structures pour fonder une théorie des courbes pseudoholomorphes, qui permit de grandes avancées dans la recherche géométrique symplectique, et notamment la découverte d'une classe d'invariants connus sous le nom d'invariants de Gromov-Witten, en coopération avec Edward Witten, qui jouent un rôle clé dans lathéorie des cordes.

Présentation générale [modifier]

Géométrie symplectique linéaire [modifier]

La géométrie euclidienne concerne les espaces affines euclidiens E : à ces derniers sont associées une distance naturelle, appelée distance euclidienne, unique invariant pour l'actiondiagonale du groupe des isométries affines de E sur E², et une notion d'angle. Les distances et angles définis par un ensemble de points de E sont préservés sous l'action d'une isométrie.

En oubliant la notion de distance, il est loisible de s'intéresser uniquement au volume euclidien. Il est bien connu qu'un isomorphisme linéaire affine préservant le volume est de déterminant +1 ou -1. Malheureusment, en dimension n, on perd ainsi toute information sur les configurations d'au plus n-1 points.

La géométrie symplectique linéaire apparaît comme une géométrie intermédiaire, dans laquelle on perd la notion de distance, tout en conservant une notion d'aire orientée, et donc un invariant associé à 3 points. À trois points A, B et C d'un espace vectoriel réel E doit être associée une aire a(ABC). Pour des raisons d'additivité et de monotonicité des aires, cette quantité doit s'écrire :

a (A B C) = ω(A B, A C)

où $omega:E^2rightarrow E$ est une forme bilinéaire. Comme une transposition sur les points A, B, C change l'orientation du triangle ABC, la forme $ω$ doit être antisymétrique au sens où, pour tous vecteurs u et v :

ω(u, v) = - ω(v, u)

Cette forme est dite non-dégénérée lorsque, pour tout vecteur $uneq 0$ , il existe un vecteur v vérifiant : $omega(u,v)neq 0$ . Par définition, une forme symplectique sur E désigne une forme bilinéaire antisymétrique non dégénérée. Une telle forme est unique à isomorphisme linéaire près ; et son existence implique que la dimension de E soit paire, disons 2n. Le modèle standard est l'espace Cⁿ regardé comme espace vectoriel réel, avec comme forme symplectique la partie imaginaire de la métrique hermitienne standard.

Un isomorphisme linéaire ou affine de E est dit symplectique lorsqu'il préserve la forme symplectique $ω$ . L'ensemble des isomorphismes linéaires symplectiques de Cⁿ forme un groupe, appelé le groupe symplectique, noté Sp(n) ou Sp(2n) suivant les auteurs. C'est un groupe de Lie classique connexe non compact de dimension n(n-1)/2. Il contient le groupe unitaire U(n) comme rétracte par déformation forte : ces deux groupes ont donc le même type d'homotopie.

La classification des ellipsoïdes dans un espace euclidien de dimension 2n modulo les isométries est donnée par 2n invariants, qui sont leurs diamètres respectifs. Par opposition, comme observé par Hofer et Zehnder², la classification des ellipsoïdes d'un espace symplectique modulo les applications affines symplectiques est donné par n invariants.

Géométrie symplectique [modifier]

Les variétés différentielles s'obtiennent par des recollements d'ouverts d'espaces vectoriels réels de dimension finie suivant des difféomorphismes. Un intérêt porté sur des structures particulières peut conduire à imposer des restrictions sur la nature de ces recollements.

L'objet d'étude de la géométrie symplectique est les 2-formes différentielles fermées non dégénérées. Une telle forme différentielle est appelée forme symplectique. Sur une variété différentielle M, on se donne une forme antilinéaire non dégénérée $ω x$ , et on demande à ce que la collection $omega={omega_x}_{xin M}$ ait une certaine régularité en x. L'application $omega:xmapstoomega_x$ est un exemple de 2-forme différentielle, qu'on exige fermée : tous champs de vecteurs X, Y, et Z vérifient :

$Xcdotomega(Y,Z)+Ycdot omega(Z,X)+Zcdot omega(X,Y)=omega([X,Y],Z)+omega([Y,Z],X)+omega([Z,X],Y)$ .

Darboux

Une variété munie d'une forme symplectique est appelée variété symplectique. Une fois les objets d'étude définis, on a coutume de s'intéresser aux relations qu'ils peuvent entretenir entre eux. Un difféomorphisme $f:Mrightarrow N$ s'appelle difféomorphisme symplectique lorsque f préserve les formes symplectiques $ω$ . De manière plus explicite, la différentielle $df(x):(T_xM,omega_x)rightarrow (T_xN,eta_x)$ est un isomorphisme linéaire symplectique. Le lecteur mal à l'aise avec la géométrie différentielle comprendra les choses ainsi : au premier ordre, f est un isomorphisme symplectique linéaire.

L'ensemble des difféomorphismes symplectiques de $(M,ω)$ forment un groupe, appelé groupe des difféomorphismes symplectiques, et noté $S y m p (M,ω)$ . Son étude a un intérêt de premier plan.

L'un des principaux résultats élémentaires de la géométrie symplectique est le théorème de Darboux : localement, deux variétés symplectiques de même dimension sont isomorphes. Dit autrement, aucun invariant local n'existe. Sur ce point, et pas le moindre, la géométrie symplectique s'oppose complètement à la géométrie riemannienne :

En géométrie riemannienne, l'existence d'invariants de classe C² se traduit par un groupe d'isométries de dimension finie et une quantité infinie de classes d'équivalence de métriques riemanniennes.
En géométrie symplectique, l'inexistence d'invariants locaux au contraire donne un groupe de dimension infinie de difféomorphismes symplectiques et un ensemble "discret" de classes d'équivalence de formes symplectiques.

Cette dichotomie résume bien l'opposition entre la souplesse de la géométrie riemannienne contre la rigidité de la géométrie symplectique. Cette rigidité se retrouve à bien d'autres niveaux (rigidité des symplectomorphismes, théorème de rigidité de Gromov, ...).

Variétés symplectiques [modifier]

Les espaces de phases étudiés jusqu'à maintenant étaient assez simples car nous étions partis d'espaces de configurations assez simples. Cependant, dans l'exemple du pendule simple, il eut été plus logique de considérer que la variable $q 1$ vivait dans une cercle et pas dans une droite. Plus généralement, on peut imaginer des espaces de configuration arbitrairement compliqués, par exemple si un point est astreint à se déplacer sur une surface ayant une forme sophistiquée.

Quelle que soit la complexité de l'espace de configuration on peut toujours lui associer un espace des phases appelé fibré cotangent de l'espace de configuration et qui est toujours muni d'une structure symplectique canonique. Les théorèmes de Liouville, Poincaré, Noether et Liouville-Arnold restent vrais et on peut donner des analogues du théorème de Gromov dans ce cadre plus général.

Définition et théorème de Darboux [modifier]

On peut vouloir aller plus loin dans la généralisation et étudier tous les espaces munis d'une structure symplectique. Pour cela il faut revenir un peu plus en détail sur la définition d'une structure symplectique. À partir de maintenant on considère un variété $M$ de dimension $2 n$ , c'est-à-dire un ensemble qui peut localement être paramétré par $2 n$ nombres. Comme expliqué plus haut, une structure symplectique sur $M$ est une application qui, à toute surface dans $M$ , associe un nombre et qui vérifie en plus deux propriétés. La première est que cette structure doit permettre d'associer un volume à toute partie de dimension $2 n$ de $M$ en procédant comme expliqué dans le paragraphe sur le théorème de Poincaré. La deuxième condition est que le nombre associé à toute surface sans bord est nul.

Le passage des espaces de phases aux variétés symplectiques générales est une grande généralisation mais on peut montrer qu'une variété symplectique ressemble toujours localement à un espace de phases. C'est le théorème de Darboux : au voisinage de n'importe quel point, toute variété symplectique peut être paramétré par un espace de phase de sorte que toute surface assez petite se voit attribuer le même nombre par la structure symplectique donnée et par la structure symplectique de l'espace des phases.

Existence et classification [modifier]

La question de savoir quels ensembles admettent au moins une structure symplectique est difficile. On connaît de nombreux exemples, des conditions nécessaires, d'autres qui sont suffisantes mais aucune caractérisation complète.

De même, une fois l'existence acquise on ne sait que très rarement combien de structures symplectiques réellement différentes cohabitent sur un même ensemble.

Symplectomorphismes [modifier]

L'étude de la géométrie symplectique est née du constat que l'évolution d'un système mécanique préserve la structure symplectique canonique de l'espace des phases. Plus généralement on peut chercher à comprendre l'ensemble des transformations qui préservent une structure symplectique donnée. De telles transformations sont appelées symplectomorphismes et sont toujours très nombreuses, elles forment un ensemble de dimension infinie appelé groupe des symplectomorphismes. Pour comprendre la forme de cet ensemble, on cherche à le comparer à des ensembles plus petits que l'on comprend mieux. Les premiers résultats significatifs dans ce domaine sont dus à Gromov dans la foulée de son théorème de non-tassement.

Interactions [modifier]

Géométrie complexe : De nombreux exemples de structures symplectiques et de nombreuses questions viennent de la géométrie complexe. Ainsi pour (presque) toute équation polynomiale en plusieurs variables complexes, l'ensemble des solutions est muni d'une structure symplectique. L'étude de ces équations et des structures symplectiques s'éclairent l'une l'autre et c'est en transposant au cas symplectique général des idées nées dans le contexte de la géométrie complexe que Gromov a obtenu son théorème de non-tassement et de nombreux autres résultats révolutionnaires.
Géométrie de contact : La géométrie de contact est une autre branche de recherche en géométrie qui entretient des liens tellement étroits que certains auteurs présentent la géométrie de contact comme un analogue en dimension impaire de la géométrie symplectique. Sous des circonstances favorables, le bord éventuel d'une variété symplectique hérite d'une structure de contact (la variété symplectique est alors appelée remplissage de la variété de contact) ; de nombreux problèmes se posent, comme l'existence d'un tel remplissage ou l'existence de caractéristiques fermées (lire à ce sujet Conjecture de Weinstein).
Systèmes dynamiques (différentiables) : Les développements en géométrie symplectique ont été motivées par les conjectures d'Arnold concernant l'estimation du nombre de points fixes minimal d'un symplectomorphisme sur une variété symplectique compacte (voir Histoire). En retour, l'intégration de champs de vecteurs spécifiques dépendant du temps sur des variétés symplectiques donnent lieu à une classe particulière de symplectomorphismes, appelés difféomorphismes hamiltoniens. Les termes dynamique hamiltonienne ou système hamiltonien sont d'usage courant.
Ergodicité : La n-ième puissance d'une forme symplectique sur une variété de dimension 2n est une forme volume, préservée par les symplectomorphismes. Des travaux de Polterovich portent sur les propriétés ergodiques de ces difféomorphismes, et en particulier donnent des estimations de leurs entropies métriques.
Géométrie riemannienne : Une famille importante de variétés symplectiques est donnée par les variétés cotangentes.
Géométrie algébrique : Suite aux travaux de Gromov, un certain nombre de concepts de géométrie complexe s'adaptent en géométrie symplectique : courbes holomorphes, invariants de Gromov-Witten, ...

Histoire [modifier]

La géométrie symplectique est née de la formalisation hamiltonienne des lois de la mécanique classique. Cette formulation est née par la somme successive des travaux de Newton, deLagrange, et de Hamilton, du XVII^e au xix^e. Mais ce n'est que dans les années 1960 que les outils de la géométrie symplectique ont pu être formalisés, sous l'impulsion de Vladimir Arnold, et avec la participation active de Mikhaïl Gromov et Jean-Marie Souriau.

Genèse de la géométrie symplectique [modifier]

En 1666, Newton révolutionne simultanément la physique et les mathématiques en énonçant la loi d'attraction universelle. Cette loi permet de décrire le mouvement relatif d'une planète autour de son étoile. Encore aujourd'hui, malgré l'avènement de la relativité générale, cette loi est toujours utilisée aujourd'hui dans la détection des exoplanètes. Une planète, à l'instar de la Terre, subit la force attractive du Soleil, et son évolution est décrite par l'équation différentielle :

$frac{d^2r}{dt^2}=-alphafrac{r}{r^3}$

Le problème du mouvement relatif de deux corps en interaction mututelle est devenu un exercice classique incontournable du premier cycle universitaire. Newton lui-même en a donné une solution correcte dans les propositions 57 à 65 de ses Principia. La planète décrit par rapport à l'étoile un mouvement elliptique dont l'étoile est l'un des foyers. Six constantes sont nécessaires pour décrire ce mouvement :

deux constantes $t, u$ pour paramétrer le plan dans lequel le mouvement s'effectue ;
deux constantes $v, w$ pour décrire la position du second foyer dans ce plan ;
une constante e, appelée l'excentricité, pour décrire l'ellipse ;
et une constante $θ$ pour décrire la position initiale de la planète.

Toutefois, cette description oublie la présence d'autres planètes. Le problème à $ngeq 3$ corps est autrement plus ardu. Il résiste encore aujourd'hui à trois siècles d'histoire. Aucune solution analytique n'est connue, excepté pour le problème à trois corps, pour lequel on sait déterminer certaines solutions dites "homographiques".

De 1808 à 1811, Joseph-Louis Lagrange, alors professeur de mathématiques à l' École polytechnique, s'intéresse au problème de la stabilité des planètes du système solaire. Compte-tenu du nombre de corps considérés, le problème est de taille ; il s'est depuis complexifié au fur et à mesure des avancées dans les observations astronomiques.

Grossièrement, la méthode de Lagrange consiste à effectuer des petites perturbations sur le mouvement d'une planète, autrement dit, sur les six constantes d'intégration. Cette perturbation varie dans le temps suivant une loi moyennant les forces subies :

$(t_0,u_0,v_0,w_0,e_0,theta_0)mapsto (t_0+t(t),u_0+u(t),v_0+v(t),w_0+w(t),e_0+e(t),theta_0+theta(t))$

Les calculs n'étaient pas justifiés. Poincaré montre la divergence des séries utilisées par les astronomes dans Méthodes nouvelles de la mécanique céleste. Il faudra attendre la seconde moitié du xx^e siècle pour que les outils nécessaires soient introduits. La véritable révolution apportée par Lagrange est d'avoir introduit une fonctionnelle d'énergie, aujourd'hui notée L et appelée Lagrangien, dont les points critiques sont les trajectoires du mouvement.

Histoire de la géométrie symplectique [modifier]

L'intérêt croissant vis-a-vis des structures symplectiques durant les dernières décennies s'explique par les besoins de la physique du xx^e siècle. Le passage de la mécanique classique à la mécanique quantique est à ce jour encore mal compris. La question de fonder de sérieuses bases mathématiques est un défi qui a conduit les mathématiciens à s'interroger à nouveau sur la dynamique hamiltonienne (la mécanique classique, des systèmes dynamiques de points matériels à l'optique géométrique). Le regard porté à la lumière de la géométrie différentielle ne pouvait être que nouveau.

Dans la continuation des travaux de Lagrange et de Hamilton, pour établir l'existence d'orbites périodiques dans le problème des trois corps, Henri Poincaré se ramène à l'étude d'une application préservant l'aire sur un anneau $S^1times [-1,1]$ . Cette application s'est avérée par la suite d'une grande utilité dans l'étude des flots de champs de vecteurs. Elle est aujourd'hui connue sous le nom d'application de retour de Poincaré.

Les résultats furent démontrés dans les années 1920 par George David Birkhoff ; ils sont aujourd'hui considérés comme les premiers travaux sur la géométrie symplectique - s'ils peuvent être considérés comme tels. Le théorème de Birkhoff affirme l'existence de points fixes pour un difféomorphisme de l'anneau $S^1times [-1,1]$ , qui préserve la mesure de Lebesgue, et qui induit un difféomorphisme croissant sur $S^1times {1}$ et un difféomorphisme décroissant sur $S^1times {-1}$ . En réalité, ils portaient davantage sur la préservation du volume. Mais en dimension 2, une mesure est essentiellement une forme d'aire, donc une forme symplectique. La dimension 2 reflète mal les particularités propres à la géométrie symplectique.

Le théorème de Birkhoff préfigure la conjecture d'Arnold, énoncée au début des années 1960. Cette conjecture s'efforce de trouver un minorant du nombre d'orbites périodiques pour un difféomorphisme symplectique sur une variété symplectique compacte. En 1983 Conley et Zehnder démontrent la conjecture pour le tore par une étude variationnelle. Inspiré de ces travaux, Andreas Floer démontre en partie la conjecture pour une large classe de variétés symplectiques compactes, étendue par la suite par Weinstein. Les méthodes utilisées ont contribué à la mise en place de l'homologie de Floer. La formulation de cette homologie représente un des aspects les plus puissants mis en place ces dernières décennies.

Brièvement, et du moins sous certaines hypothèses, l'homologie de Floer consiste à compter des orbites périodiques d'une isotopie hamiltonienne et, modulo translation, des cylindres reliant ces orbites répondant à une EDP elliptique. L'ellipticité joue un rôle central.

Le théorème KAM figure parmi les résultats les plus cités en dynamique hamiltonienne. Il étudie la stabilité des systèmes mécaniques complètement intégrables. Le nom du théorème est l'abréviation des trois mathématiciens qui ont contribué à sa démonstration : Kolmogorov, Arnold et Moser. Il justifie dans le langage actuel des mathématiques les résultats de Lagrange.

Une autre investigation importante concerne l'introduction des capacités symplectiques. Ce sont des invariants symplectiques vérifiant de bonnes conditions de normalisation et d'homogénéité. Leur classification reste totalement incomprise à ce jour. Il existe un grand nombre de capacités introduites³ : le rayon de Gromov, lié au théorème de non-plongement de Gromov ; les capacités d'Ekeland-Hofer et de Hofer-Zehnder, utilisant des études variationnelles sur la dynamique hamiltonienne ; ou encore un grand nombre de capacités dites spectrales dont l'introduction a été initiée par Claude Viterbo. L'utilisation de ces capacités a permis une preuve partielle de la conjecture de Weinstein (évoquée plus haut), et une preuve du théorème de rigidité de Gromov.

L'usage d'une généralisation des courbes holomorphes a porté de forts développements en géométrie symplectique.

La géométrie symplectique s'est constituée comme domaine d'étude à part entière dès la fin des années 1960. Ce nouveau souffle dans la recherche mathématique a introduitparallèlement d'autres disciplines, la quantification géométrique et la Théorie des champs symplectique.

Annexes [modifier]

Bibliographie [modifier]

(en) McDuff et Salamon, Introduction to Symplectic Topology, Oxford University Press, 1998. ISBN 0-19-850451-9.
(en) Fomenko, Symplectic Geometry (2nd édition) (1995) Gordon and Breach Publishers, ISBN 2-88124-901-9.

Publications spécialisées

(en) Alan D. Weinstein, Lectures on symplectic manifolds [détail des éditions]
(en) Dusa McDuff et Dietmar Salamon, Introduction to symplectic topology [détail des éditions]
(en) Helmut Hofer et Eduard J. Zehnder ; Symplectic Invariants and Hamiltonian Dynamics [détail des éditions]
(en) Vladimir Igorevic Arnold, Mathematical methods of classical mechanics [détail des éditions]

Notes et références [modifier]

↑ D. McDuff et D. Salamon, Introduction to symplectic topology, Second Edition, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, 1998.
↑ H. Hofer et E. Zehnder, Symplectic Invariants and Hamiltonian Dynamics, Birkhäuser, 1994.
↑ K. Cieliebak, H. Hofer, L. Latschev, F. Schlenk, Quantitative symplectic geometry, 9 juin 2005.

Voir aussi [modifier]

Sur les autres projets Wikimédia :

Géométrie symplectique surWikiversity (communauté pédagogique libre)

Liens externes [modifier]

Yasha Eliashberg, « Symplectic topology in the nineties », Differential Geometry and its Applications, Volume 9, Issues 1-2 , August 1998, Pages 59–88.
Article listant les principaux papiers de géométrie symplectique publiés avant 1998.
Patrick Iglesias, Les origines du calcul symplectique chez Lagrange
Article sur la méthode des variations des constantes de Lagrange, amplement argumentés, abordable par le grand public.
Patrick Iglesias-Zemmour, Aperçu des origines de la géométrie symplectique
Article sur l'histoire de la géométrie symplectique avec la correction d'idées faussement communément admises.
Michèle Audin et Patrick Iglesias, De la mécanique à la géométrie symplectique
Exposé sur le mérite de Lagrange et rapide résumé de l'histoire des mathématiques qui a conduit à la formulation de la géométrie symplectique.

[Enrouler]

v · d · m

Géométrie

Formules mathématiques simples • Géométrie projective • Géométrie arguésienne • Géométrie affine • Géométrie euclidienne • Géométrie non euclidienne • Géométrie elliptique • Géométrie hyperbolique • Programme d'Erlangen • Géométrie synthétique • Géométrie algébrique • Topologie algébrique • Topologie différentielle • Géométrie riemannienne • Géométrie différentielle •Géométrie symplectique

Portail de la géométrie

Catégories : Géométrie symplectique | Topologie différentielle | [+]

Source : http://fr.wikipedia.org/wiki/G%C3%A9om%C3%A9trie_symplect...

Les « harmonies cachées » de Cédric Villani, médaille Fields 2010

Salvatore Tummarello

Le 26 août dernier, le mathématicien Cédric Villani recevait la prestigieuse médaille Fields, équivalent du prix Nobel pour cette discipline. Auteur de près d'une cinquantaine de publications, ce chercheur a bien voulu répondre aux questions de Futura-Sciences.

Après avoir enseigné à l'École normale supérieure de Lyon, Cédric Villani est aujourd'hui professeur à l'université de Lyon et assume par ailleurs la charge de directeur de l'institut Henri Poincaré depuis 2009. En compagnie de Ngo Bao Chau, un autre mathématicien français, de l'Israélien Elon Lindenstrauss et du Russe Stanislav Smirnov, il s'est vu attribuer la médaille Fields 2010.

Ce prix prestigieux récompense les travaux de Cédric Villani sur l'équationde Boltzmann et le transport optimal. En 2009, le mathématicien avait expliqué cette question dans un dossier de Futura-Sciences, l'abordant en termes simples et en remontant l'histoire de ce problème séculaire. Cédric Villani revient pour nous sur son travail original et nous fait part de ses réflexions sur la recherche française.

Cédric Villani maîtrise l'équation de Boltzmann mais aussi l'art de nouer une lavallière. Par ailleurs, il aime les araignées (et aussi, paraît-il, les marsupilamis). © Pierre Maraval

Futura-Sciences : Tout comme pour Pierre-Louis Lions, qui fut votre directeur de thèse, l'équation de Boltzmann occupe une place importante dans vos travaux : en quoi est-ce un bon problème ?

Cédric Villani : On trouve de tout dans l'équation de Boltzmann, et d'ailleurs les directions que j'ai le plus explorées ne sont pas les mêmes que celles explorées par Pierre-Louis Lions. L'équation de Boltzmann est un carrefour entre la mécanique des fluides (variations des caractéristiques des gaz), la physique statistique (grands systèmes de particules) et la théorie de l'information (augmentation de l'entropie). Cet assemblage lui confère une connotation unique et une richesse théorique qui va bien au-delà de son importance pratique. Dans mon cas les deux questions qui ont le plus retenu mon attention sont la régularité induite par les interactions à longue portée et la production d'entropie. Le premier problème est lié à des questions fondamentales de régularisation pour des équations dégénérées, le second mêle la mécanique des fluides, la théorie de l'information et diverses inégalités développées au départ en théorie quantique des champs ou enélasticité... On touche bien ici l'universalité des mathématiques et la richesse des problèmes issus de la physique.

FS : Quelle intuition vous a permis de mettre en relation l'équation de Boltzmann et le transport optimal ?

Cédric Villani : La relation entre l'équation de Boltzmann et le transport optimal est bien antérieure à mes travaux ! C'est le chercheur japonais Hiroshi Tanaka qui a compris, dans les années 1970, que la distance du transport optimal (techniquement parlant, la distance quadratique) ne peut que décroître le long des solutions de l'équation de Boltzmann spatialement homogène à interactions maxwelliennes (un modèle où les particules interagissent par des forces inversement proportionnelles à la puissance 5 de la distance). En d'autres termes, vous prenez deux solutions de cette équation, chacune associée à un profil de vitesses qui évolue au cours dutemps : à mesure que le temps passe il est de plus en plus facile de transporter le premier profil de vitesses vers le second profil.

C'est par Giuseppe Toscani (Pavie) que j'ai entendu parler pour la première fois de cette contribution de Tanaka et il se trouve que Yann Brenier, qui m'encadrait à l'École normale supérieure, était spécialiste du problème de transport optimal. Il m'a proposé de co-organiser un petit colloque consacré à ce problème de transport ; c'est là que j'ai rencontré Felix Otto, qui était en train de développer un formalisme révolutionnaire pour le transport optimal, basé sur la géométrie différentielle. J'ai été tout de suite frappé par le formalisme et je l'ai bien intégré. Quelques semaines plus tard, je me suis rendu compte en lisant un cours de Michel Ledoux (Toulouse) qu'un certainthéorème mentionné dans ce cours pouvait se démontrer par un chemin alternatif basé sur la vision géométrique de Otto.

C'était le point de départ de mon premier article avec Otto, qui reste à ce jour le plus cité de tous mes articles car il établit un pont entre deux domaines distincts de l'analyse. Dans la suite de mes travaux, ma culture de l'équation de Boltzmann et des phénomènes de transport m'a permis d'explorer le transport optimal de manière originale et efficace, mais comme vous le voyez, en fait d'intuition il y a surtout beaucoup de hasard et d'opportunités à saisir, le principal étant de rester curieux et ouvert d'esprit !

FS : Pensez-vous que vos travaux trouveront une application à l'étude des équations de Navier-Stokes ?

Cédric Villani : J'en doute fort ! En tout cas certainement pas Navier-Stokes incompressible, dont le lien avec Boltzmann est très indirect. Pour tout dire, le problème de la régularité de Navier-Stokes incompressible a beau être mis à prix pour un million de dollars, il me laisse de marbre, il ne rentre pas dans ma sensibilité mathématique.

FS : Quelles sont les conséquences de vos recherches pour les autres sciences ?

Cédric Villani : Mes recherches sont en interaction avec la physique, l'économie ou d'autres sciences. Quelques-uns de mes collaborateurs ont récemment publié un article où ils explorent les conséquences économiques d'un problème de géométrie différentielle relié à la régularité des solutions du transport optimal. Plus près de moi, récemment j'ai pu convaincre l'un de mes collaborateurs, spécialiste de simulations numériques, que l'un de ses codes donnait des résultats aberrants. L'une des raisons était que le comportement était en contradiction avec un de mes résultats théoriques. Ces conséquences sont modestes et je suis clairement un mathématicien, cependant j'ai très régulièrement l'occasion de discuter avec des physiciens ou de faire des exposés devant des parterres de physiciens, voire de leur suggérer des pistes de recherche.

FS : Quel est votre guide dans vos recherches ? Avez-vous un but particulier que vous souhaiteriez atteindre ?

Cédric Villani : Ce qui guide mes recherches : la curiosité, la conviction qu'il y a quelque chose d'intéressant à comprendre, des harmonies cachées... Un certain nombre de problèmes me tiennent particulièrement à cœur, surtout ceux qui sont liés à beaucoup d'autres questions. La régularité des solutions de l'équation de Boltzmann en est un. Il y a un certain problème de caractérisation de la courbure de Ricci qui me tient beaucoup à cœur, et puis d'autres pistes à explorer en physique des plasmas et des galaxies.... Je ne vais pas tous les citer !

FS : Que pensez-vous de la « déraisonnable efficacité des mathématiques », dont parlait Wigner ?

Cédric Villani : C'est un mystère sur lequel se sont extasiés Einstein, Poincaré et bien d'autres. On ne peut que constater cette efficacité, je n'aurai pas la prétention de l'expliquer. Il est incroyable que le monde, si complexe et incompréhensible qu'il puisse paraître, soit ainsi fait qu'on puisse isoler certaines caractéristiques abstraites fondamentales qui permettent de le comprendre, ou au moins de comprendre certains de ses aspects.

En conférence. © Doppler Institute

FS : Selon vous, vaut-il mieux parler en mathématiques de découverte ou d'invention ?

Cédric Villani : Il s'agit de découvertes, je ne le pense qu'ainsi ! La plupart de mes contributions marquantes ont consisté à mettre à jour des liens que personne, moi compris, ne soupçonnait. L'une, récente, est un lien entre la théorie de Kolmogorov-Arnold-Moser des systèmes mécaniques « presque intégrables » et la théorie non linéaire de l'amortissement Landau en physique des plasmas. Je n'en suis toujours pas revenu de la série de coïncidences qui m'a mené à trouver ce lien, j'aurais été bien en peine de l'imaginer. Bien sûr ce n'est qu'une impression personnelle… En fait il est impossible de trancher le vieux débat découverte-invention par des arguments scientifiques, cela relève de la conviction philosophique.

FS : Comment voyez-vous l'avenir de la recherche en France ?

Cédric Villani : L'avenir sera beau si quelques ajustements sont réussis. Plusieurs facteurs contribuent à une grande inquiétude ambiante actuellement : les mutations des institutions (Agence nationale de la recherche, AERES, réforme du CNRS, loi d'autonomie des universités), le poids accru sur la scène internationale d'indicateurs inadaptés (classement de Shanghai, impact factor), la chute des effectifs dans les filières scientifiques qui rend critique la situation des « petites » universités, nombreuses en France. Là-dessus est arrivé le très maladroit discours de Nicolas Sarkozy en janvier 2009 qui a mis le feu aux poudres, à un moment où la recherche avait besoin plus que jamais de se sentir en confiance.

Cependant les nouvelles institutions ne marchent pas mal : à l'usage, l'ANR est un bon pourvoyeur de moyens, même si à mon avis elle fait la part bien trop belle aux projets et devrait laisser plus de place à l'improvisation. L'AERES joue bien son rôle, au moins en mathématiques pour ce que j'en ai vu. Quant à la loi d'autonomie des universités, elle est très délicate à mettre en œuvre mais je pense qu'elle sera très bénéfique si le dispositif est simplifié et que l'on ne reste pas prisonnier des lourdeurs administratives. Ensuite ce sera aux chercheurs de s'organiser dans les universités pour mettre en place pouvoirs et contre-pouvoirs, et garantir la compétitivité sur la scène internationale. Si nous n'y arrivons pas, nous ne pourrons nous en prendre qu'à nous-mêmes !

Une caractéristique de la recherche française est le poids de nombreuses institutions assez spécifiques et très performantes : grandes écoles, CNRS, Inria, etc. La bonne articulation de ces organismes avec les universités (lieu naturel où se fait la recherche) est un défi majeur qui permettra de valoriser nos atouts. Tout le monde gagnera à renforcer les liens entre la recherche et les écoles d'ingénieurs, ainsi d'ailleurs que les liens entre la recherche et les entreprises (débat délicat car il ne faut en aucun cas sacrifier l'indépendance de la recherche).

De manière générale, on pourrait beaucoup gagner en efficacité en assouplissant l'administration, les contrôles, les évaluations, etc. Il faut parfois respecter l'esprit des textes plutôt que leur lettre ; cela demande du bon sens, de la souplesse et de l'intelligence administrative, et la réaffirmation du principe selon lequel l'administration doit se mettre au service du chercheur et non l'inverse. Nous avons de gros progrès à faire en ce sens, même si la situation française est considérablement meilleure qu'au niveau européen, où je pense que tout est à refaire. Dans l'ensemble les problèmes sont assez bien identifiés, je suis confiant en notre capacité à les résoudre.

Source : http://www.futura-sciences.com/fr/news/t/mathematiques-1/...

Skander Belhaj, un mathématicien aux multiples talents

2010-12-01

C’est aux Editions Universitaires Européennes que le jeune chercheur tunisien Skander Belhaj vient de publier un nouvel ouvrage issu de ses travaux de thèse et intitulé Algèbre matricielle rapide en calcul formel et calcul numérique : Calcul rapide sur les matrices structurées.Originaire de Metouia où il est né en 1978, Skander est passé par les rangs de la mythique Sadkia où il obtient son Baccalauréat de Mathématiques en 1996. Les Mathématiques, un domaine dont il ne devait plus se séparer alignant une maîtrise, un DEA et une thèse élaborée sous la co-direction du Professeur Mohamed Jaoua du temps où ce dernier présidait le LAMSIN (Laboratoire de Modélisation Mathématique et Numérique dans la Science de l'Ingénieur) à l’Ecole Nationale des Ingénieurs de Tunis et du Professeur Henri Lombardi de l’Université de Franche-Comté à Besançon en France.

Les travaux du Docteur Skander Belhaj portent sur la conception des algorithmes rapides via les outils d’algèbre matricielle et leurs applications au traitement d’image. Il a notamment travaillé sur l’amélioration de quelques algorithmes rapides sur les matrices structurées en calcul formel et numérique, objet de son nouvel ouvrage.

Skander Belhaj est également assistant de l’enseignement supérieur depuis 2007 à l’Université de Jendouba et a été élu Directeur du Département des Méthodes Quantitatives à la Faculté des Sciences Juridiques, Economiques et de Gestion de Jendouba en Février 2010. Une charge administrative qu’il assume en plus de ses activités de recherche et d’enseignement reconnues à l’échelle internationale puisqu’il est reviewer et editor de plusieurs revues scientifiques internationales (Journal of Mathematics Research., International Journal of Numerical Methods and Applications, Journal of Statistics and Mathematics, etc.).

Déjà père de famille depuis plusieurs années malgré son jeune âge, Skander avoue se sentir au tout début du long chemin périlleux de la recherche scientifique. « Je dois encore travailler, travailler et travailler », dit-il. On peut lui faire confiance, et les 4700 universitaires qui sont membres du groupe Facebook « Enseignants et chercheurs tunisiens » dont il est l’administrateur, peuvent témoigner de son dynamisme et de sa volonté de faire de ce groupe une communauté où les chercheurs tunisiens, jeunes et moins jeunes, peuvent exposer et partager leurs questionnements et leurs problématiques de recherche.

Anissa BEN HASSINE

Source : http://www.leaders.com.tn/article/skander-belhaj-un-mathe...

SMS 2011 - Overview

In recent decades, metric-measure spaces have emerged as a fruitful source of mathematical questions in their own right, and as indispensable tools for addressing classical problems in geometry, topology, dynamical systems and partial differential equations. The purpose of the 2011 summer school is to lead young scientists to the research frontier concerning the analysis and geometry of metric-measure spaces, by exposing them to a series of mini-courses featuring leading researchers who will present both the state-of-the-art and the exciting challenges which remain.

In geometry and topology, metric-measure spaces arise naturally as non-smooth limits of smooth objects, such as Riemannian manifolds. Here the limit may be taken in the coarse sense of Gromov-Hausdorff convergence, which allows the formation of singularities and dimensional collapse, among other phenomena. Such limits arise under dynamical processes including curvature flows, as in Perelman's proof of the Poincaré and Geometrization Conjectures for 3-manifolds. Moreover, the limit of the normalized Riemannian volume need not bear any relation to the limiting metric, hence it is natural to equip the limiting metric space with a limiting measure.

Most results in geometry rely on curvature bounds, such as upper bounds on sectional curvatures or lower bounds on Ricci curvature. Nonsmooth analogues of sectional curvature bounds can be constructed using comparisons with triangles in model spaces, after Cartan, Alexandrov, and Topagonov, but notions of Ricci curvature have proved elusive in a metric-measure setting. Recently, two quite different definitions for Ricci curvature lower bounds have emerged from the theory of optimal transportation. Both respect (measured) Gromov-Hausdorff convergence, and depend crucially on the measure and a putative dimension (which need not coincide with the topological or geometric dimension), as well as the metric. These quite different approaches have led to some striking conclusions --- including Bishop, Myers, Sobolev, log-Sobolev, Talagrand and Poincaré inequalities in metric-measure settings, sometimes with sharp constants.

In order for students to appreciate the latest breakthroughs, the summer school aims to provide a broad view of the developments in geometry of and analysis on metric measure spaces in recent years, as well as to touch on important advances in related areas. Among these are notions of differentiability, function spaces (Lipschitz, BV, Sobolev), Hausdorff measure and dimension, fundamental inequalities (Sobolev, Poincaré, isoperimetric, Gaussian), heat kernel estimates and probabilistic aspects, convergence of metric measure spaces, Ricci curvature lower bounds, optimal transportation, curvature flows, quasi-conformal mappings and geometric measure theory

Source :

http://www.dms.umontreal.ca/~sms/Metric11/index_e.php

Canadian Journal of Mathematics déc. 1996

Canadian Journal of Mathematics juin 1980

Mathematisches Institut georg-august-universität Göttingen, seminars summer

Kurt Gödel und die mathematische Logik, Volume 5 Par Werner DePauli-Schimanovich

Théorie des nombres, Volume 1 Par Adrien Marie Legendre

Nombres premiers et décomposition en produit de facteurs premiers

Théorie des nombres -- Nombres premiers
Théorie des nombres -- Factorisation

Un nombre entier p positif supérieur strict à 1 est dit premier s'il n'admet que 2 diviseurs positifs : 1 et p (remarquons que 1 n'est pas premier). Dans le cas contraire, cet entier est dit composé.
Ex : 7 est premier. 24 est composé : 2 divise 24.

Tout entier positif n>1 s'écrit comme produit de nombres premiers, et cette écriture est unique : on dit que l'on réalise ainsi sa décomposition en produit de facteurs premiers.
Ex : 24=2³×3.

C'est à Euclide que l'on doit la première démonstration de l'infinitude de l'ensemble des nombres premiers : s'il en existait juste un nombre fini p₁,...,p_r, on pose m=p₁...p_r+1, et q un facteur premier de m. Alors q n'est pas égal à un des p_i, car si p_i divise m, alors, puisque p_i divise le produit p₁...p_r, p_i divise 1, ce qui est absurde. Donc q est un nombre premier différent de p₁,...,p_r, ce qui contredit qu'il n'en existe qu'un nombre fini. Par le crible d'Erathostène, on peut écrire tous les nombres premiers inférieurs à une certaine quantité.

Les nombres premiers sont redevenus récemment un sujet fort à la mode, en particulier pour leur utilisation dans la cryptographie RSA.

Consulter aussi...

•Biographie de Euclide

Version imprimable

Source : http://www.bibmath.net/dico/index.php3?action=affiche&...

Nombres p-adiques

Théorie des nombres
Algèbre -- Anneaux
Algèbre -- Corps
Analyse -- Topologie -- Vocabulaire général

Comme les nombres réels sont construits à partir des nombres rationnels en complétant Q pour la topologie induite par la valeur absolue, les nombres p-adiques sont obtenus en complétant Q, mais pour une topologie différente, celle induite par la distance p-adique. On fixe donc un premier p et on définit la norme p-adique de la façon suivante :

Si n est un entier, la valuation p-adique de n, notée v_p(n), est l'exposant de p dans la décomposition en produit de facteurs premiers de n.
Si r=a/b est un rationnel, on pose v_p(r)=v_p(a)-v_p(b). Ceci ne dépend pas du représentant a/b choisi pour la fraction r.
On pose aussi v_p(0)=0.
La norme p-adique d'un rationnel r est alors défini par :

|.|_p est une norme sur Q, avec des propriétés très différentes de la valeur absolue. Par exemple,

Plus |r|_p est petit, plus une grande puissance de p divise r. Ainsi, un rationnel peut avoir une très grande valeur absolue, et une très petite distance p-adique. Ainsi :
La distance p-adique définie sur Q par d_p(x,y)=|x-y|_p est une distance ultra-métrique :

Définition : Le corps des nombres p-adiques, noté Q_p, est le complété de Q pour la norme p-adique.

On peut encore décrire autrement les nombres p-adiques. Si n est un entier positif, il s'écrit de façon unique sous la forme

La suite (a_i) est définie par

a₀ est l'entier de {0,...,p-1} qui est congru à n modulo p;
a_j+1 est l'entier de {0,...,p-1} qui est congru àmodulo p.

Les nombres p-adiques sont ceux qui s'écrivent

Cette série est convergente pour la distance p-adique. L'écriture précédente s'appelle décomposition de Hensel de r. Finalement, l'ensemble des entiers p-adiques, noté Z_p, est l'ensemble des r de Q_p s'écrivant

C'est un sous-anneau de Q_p.

Les nombres p-adiques ont été introduits par Hensel en 1897. Son idée était de pouvoir utiliser la théorie des séries entières en arithmétique. Depuis, toute une branche des mathématiques, l'analyse p-adique, s'est développée sur ses idées.

Version imprimable

Source : http://www.bibmath.net/dico/index.php3?action=affiche&...

Adhérence (mathématiques)

Pour les articles homonymes, voir Adhérence.

En topologie, l'adhérence d'une partie d'un espace topologique est le plus petit ensemble fermé contenant cette partie. On retrouve cette notion particulièrement dans la convergence de suites dans les espaces métriques avec la notion de valeur d'adhérence.

Sommaire

[masquer]

Définitions [modifier]

En topologie, l'adhérence d'une partie $X$ d'un espace topologique $E$ est le plus petit ensemble fermé de $E$ qui contienne $X$ .

L'existence d'un tel fermé est claire : il existe au moins un fermé contenant $X$ , à savoir l'espace $E$ lui-même ; d'autre part, l'intersection de tous les fermés contenant $X$ est un fermé contenant $X$ , et est le plus petit ayant cette propriété.

L'adhérence de $X$ est aussi appelée fermeture de $X$ et se note souvent $overline{X}$ .

On dit d'un point $x$ de $E$ qu'il est adhérent à $X$ lorsque tout voisinage de $x$ rencontre $X$ .

Caractérisations [modifier]

Ensemble des points adhérents [modifier]

Article détaillé : point adhérent.

L'adhérence de $X$ est égale à l'ensemble des points qui lui sont adhérents.

En effet :

Si le point $x$ de $E$ est adhérent à $X$ , il ne peut appartenir à l'ouvert $E-overline{X}$ , car celui-ci serait alors un voisinage de $x$ ne rencontrant pas $X$ ; donc il appartient à $overline{X}$ .
Si le point $x$ de $E$ n'est pas adhérent à $X$ , il existe un voisinage de $x$ qui ne rencontre pas $X$ ; ce voisinage contient un ouvert $U$ qui contient $x$ et ne rencontre pas $X$ . Il s'ensuit que le complémentaire de $U$ dans $E$ est un fermé qui contient $X$ , et donc qui contient $overline{X}$ . Puisque $x$ est dans $U$ , $x$ n'est pas dans $overline{X}$ .

Intuitivement, l'adhérence d'une partie $X$ contient tous les points de l'espace qui sont dans $X$ ou qui sont trop près de $X$ pour que l'on puisse y « bricoler » localement sans toucher à $X$ .

Espaces métriques et suites [modifier]

Dans un espace métrique (la topologie est issue d'une distance sur l'espace considéré), l'adhérence d'un ensemble $X$ de $E$ est l'ensemble contenant toutes les limites de suitesconvergentes dans $E$ et formées des éléments de $X$ .

Exemples [modifier]

Caractère archimédien de $mathbb R$ : l'ensemble des réels $mathbb R$ est l'adhérence de l'ensemble des rationnels $mathbb Q$ . En effet, tout ouvert contenant un irrationnel contient un rationnel. Tout irrationnel est donc dans l'adhérence de $mathbb Q$ .

L'adhérence d'un intervalle de $mathbb R$ , c'est l'intervalle fermé de mêmes bornes : l'adhérence de $]-infty,a[$ est l'intervalle $]-infty,a]$ .

Assez souvent on parle de $bar{mathbb{R}}$ comme adhérence de $mathbb{R}$ , mais cette notion veut simplement dire qu'on étend la notion de convergence aux valeurs infinies : ainsi la suite des entiers converge dans $bar{mathbb{R}}$ vers $+infty$ . Cela permet de donner un sens différent à la notion de divergence : ce qui diverge n'admet pas de limite, fût elle infinie. C'est le concept de droite réelle achevée.

Densité [modifier]

Article détaillé : Densité (mathématiques).

On dit qu'une partie $X$ d'un espace topologique $E$ est dense lorsque son adhérence est l'espace $E$ tout entier. Une telle partie se caractérise donc par le fait que tout ouvert non vide en contient un point.

Ainsi, le caractère archimédien de $mathbb{R}$ fait que $mathbb{Q}$ est dense dans $mathbb{R}$ .

Un point $x$ de $X$ est dense si ${x}$ est dense. On l'appelle parfois aussi point générique.

Intuitivement, les parties denses d'un espace sont donc des parties qui sont très grosses : on ne peut pas les éviter.

Pièges [modifier]

Boules ouvertes et boules fermées [modifier]

Dans un espace métrique, on définit des boules ouvertes et des boules fermées, et la tentation est grande d'utiliser $B_f=overline B$ dans ce cadre. Il est vrai que dans un certain nombre de cas, cela marche bien, notamment les $mathbb R^n$ avec la distance usuelle, et plus généralement pour la distance $Vert x-yVert,$ dans un espace vectoriel normé...

Néanmoins, c'est faux en général ; voyons l'exemple le plus simple : soit un ensemble $E$ , avec au moins deux éléments. On définit une métrique dessus ainsi : la distance entre deux points distincts est $1$ . La boule ouverte de rayon $1$ centrée en un point est donc ce point. La boule fermée de rayon $1$ centrée en un point est donc l'espace entier. L'adhérence de la boule ouverte de rayon $1$ centrée en un point est le point.

Si dans le cadre d'espaces vectoriels sur $mathbb{R}$ ou $mathbb{C}$ normés de dimension finie, les propriétés de l'adhérence restent assez intuitives, il faut aussi se méfier des caractéristiques des espaces de dimension infinie.

Un point c'est petit [modifier]

Considérons l'ensemble $mathbb{N}$ des entiers naturels. On y définit une topologie (via des fermés) de la façon suivante :

un ensemble fini d'entiers non nuls est fermé ;
l'espace entier est fermé.

Dans ce cas, l'adhérence de ${0}$ est l'espace $mathbb{N}$ tout entier, ce qui signifie qu'on ne peut pas mettre le point $0$ de côté pour travailler au voisinage d'un autre point. C'est un point dense/générique.

NB : en géométrie algébrique, ce genre de situation est très courant, car l'espace de base, le spectre d'anneau, vérifie souvent ce genre de propriétés ; en fait, cet exemple esthoméomorphe à $Spec,mathbb Z$ par simple substitution des nombres premiers aux entiers non nuls.

Voir aussi [modifier]

Point adhérent (les divers types de points de l'adhérence)
Intérieur (notion duale de celle d'adhérence)
Adhérence, intérieur et frontière d'un convexe (le cas particulier des convexes)
Valeur d'adhérence

Portail des mathématiques

Catégorie : Topologie générale | [+]

Source : http://fr.wikipedia.org/wiki/Adh%C3%A9rence_(math%C3%A9ma...

02/12/2010

Glossaire de topologie

(Redirigé depuis Glossaire topologique)

Ceci est un glossaire de quelques termes utilisés en topologie.

Ce glossaire est divisé en deux parties. La première traite des concepts généraux, et la seconde liste différents types d'espaces topologiques. Dans ce glossaire, tous les espaces sont supposés topologiques.

Sommaire

[masquer]

1 Généralités
- 1.1 A
- 1.2 B
- 1.3 C
- 1.4 D
- 1.5 E
- 1.6 F
- 1.7 G
- 1.8 H
- 1.9 I
- 1.10 K
- 1.11 L
- 1.12 M
- 1.13 N
- 1.14 O
- 1.15 P
- 1.16 Q
- 1.17 R
- 1.18 S
- 1.19 T
- 1.20 U
- 1.21 V
2 Propriétés d'espaces topologiques

Généralités [modifier]

A [modifier]

Accessible : voir l'axiome de séparation T₁.

Adhérence

L'adhérence ou fermeture d'une partie d'un espace topologique est le plus petit fermé contenant celle-ci. Un point est dit adhérent à une partie s'il appartient à son adhérence.

Voir aussi Valeur d'adhérence.

B [modifier]

Base ou base d'ouverts

Une base d'un espace topologique est un ensemble d'ouverts dont les réunions sont tous les ouverts de la topologie. En particulier, une base d'ouverts est une base de voisinages.

Un espace est dit à base dénombrable s'il admet une base d'ouverts dénombrable.

Base de voisinages : voir Système fondamental de voisinages.

Boule

Dans un espace métrique, la boule ouverte (respectivement fermée) de centre x et de rayon r (réel strictement positif) est l'ensemble des points situés à une distance de xstrictement inférieure (respectivement inférieure ou égale) à r.

Dans un espace vectoriel normé, la boule unité (ouverte ou fermée) est la boule (ouverte ou fermée) de centre 0 et de rayon 1.

C [modifier]

Cauchy : voir Suite de Cauchy.

Compact : voir les axiomes de recouvrement.

Complet

Un espace métrique est dit complet si toute suite de Cauchy est convergente.

Complètement de Hausdorff : voir l'axiome de séparation T_2½.

Complètement normal : voir l'axiome de séparation T₅.

Complètement régulier : voir l'axiome de séparation T_3½.

Composante connexe

La composante connexe d'un point est la plus grande partie connexe de l'espace contenant ce point. C'est l'union de toutes les parties connexes contenant ce point.

Connexe, connexe par arcs : voir les notions de connexité.

Continu

Une application entre espaces topologiques est dite continue lorsque l'image réciproque de chaque ouvert est un ouvert.

Contractile : voir les notions de connexité.

Convergent

Une suite dans un espace séparé est dite convergente s'il existe un point (appelé limite de la suite) dont chaque voisinage contient tous les termes de la suite à partir d'un certain rang.

D [modifier]

Dense

Une partie dense d'un espace topologique est une partie dont l'adhérence est l'espace tout entier.

Dérivé

L'ensemble dérivé P' d'un partie P d'un espace topologique est l'ensemble de ses points d'accumulation.

Discontinu

Une application entre espaces topologiques est dite discontinue si elle n'est pas continue.

Voir aussi Totalement discontinu.

Discret

Un espace topologique est dit discret si toutes ses parties sont des ouverts. En particulier, il est totalement discontinu.

Distance

Une distance sur un ensemble E est une application $d colon E times E to R^+$ satisfaisant les propriétés suivantes :

la symétrie : pour tout couple (x, y) d'éléments de E, $d (x, y) = d (y, x)$ ;
la séparation : pour tout couple (x, y) d'éléments de E, $d (x, y) = 0$ si et seulement si $x = y$ ;
l'inégalité triangulaire : pour tout triplet (x, y, z) d'éléments de E, $d(x,z) le d(x,y) + d(y,z)$ .

E [modifier]

Engendrée : voir Topologie engendrée.

Espace de Fréchet

Un espace de Fréchet est un espace topologique satisfaisant l'axiome de séparation T₁.
Certains espaces vectoriels topologiques sont aussi dits de Fréchet.

Espace de Hausdorff : voir l'axiome de séparation T₂.

Espace de Kolmogorov : voir l'axiome de séparation T₀.

Espace de Tychonoff : voir l'axiome de séparation T_3½.

Espace métrique

Un espace métrique est un couple (E,d), où E est un ensemble, et d une distance sur E. Voir aussi métrisable.

Espace polonais

Un espace polonais est un espace séparable et métrisable par une distance pour laquelle il est complet.

Espace topologique

Un espace topologique est un ensemble E muni d'une topologie.

F [modifier]

Faiblement normal : voir les axiomes de séparation.

Fermé

Une partie d'un espace topologique est dite fermée lorsque son complémentaire est un ouvert.
L'ensemble vide et l'espace sont donc des fermés. L'union de deux fermés est un fermé et l'intersection d'une famille quelconque de fermés est un fermé.
En géométrie, une courbe est dite fermée lorsqu'elle est périodique.

Fermeture : voir Adhérence.

Filtre : Un filtre sur un ensemble E est un ensemble non vide de parties non vides de E qui est stable par sur-parties et intersections finies. Dans un espace topologique, les voisinages d'un point forment un filtre.

Fin

Une topologie est plus fine qu'une autre sur le même ensemble si tout ouvert pour la deuxième est ouvert pour la première.

Fonctionnellement séparés

Deux parties

A

B

d'un espace topologique

X

sont dites fonctionnellement séparées lorsqu'il existe une fonction continue f : X → [0,1] telle que f_|A=0 et f_|B = 1.

Fréchet : voir l'axiome de séparation T₁, ou le type d'espace vectoriel topologique dit de Fréchet.

Frontière

La frontière d'une partie d'un espace topologique est le complémentaire de son intérieur dans son adhérence, autrement dit l'ensemble des points qui sont adhérents à la fois à cette partie et à son complémentaire. C'est un fermé.

F $σ$ : Une partie d'un espace topologique est un F $σ$ si c'est une réunion dénombrables de fermés.

G [modifier]

$G δ$ : Une partie d'un espace topologique est un $G δ$ si c'est une intersection dénombrables d'ouverts.

Grossière : voir Topologie grossière.

H [modifier]

Hausdorff : : voir l'axiome de séparation T₂ ou Séparé.

Homéomorphisme

Un homéomorphisme entre deux espaces est une bijection continue à réciproque continue. Deux espaces entre lesquels il existe un homéomorphisme sont dits homéomorphes.

Homogène

Un espace est dit homogène si le groupe des automorphismes agit transitivement, autrement dit si pour tout couple de points il existe un homéomorphisme de l'espace sur lui-même qui envoie le premier point sur le deuxième. Tous les groupes topologiques, en particulier les espaces vectoriels topologiques, sont des espaces homogènes.

Homotopie

Une homotopie entre deux applications continues $f,g : X to Y$ est une application continue $H : Xtimes [0,1] to Y$ telle que $forall x in X, H(x,0) = f(x); mbox{et}; H(x,1)=g(x)$ . Les applications f et g sont alors dites homotopes.

I [modifier]

Induite : voir Topologie induite.

Intérieur

L'intérieur d'une partie d'un espace topologique est la réunion de tous les ouverts contenus dans cette partie. C'est donc le plus grand ouvert contenu dans cette partie, ou le complémentaire de l'adhérence de son complémentaire. Un point est intérieur à une partie si et seulement si cette partie est un voisinage du point.

Isolé : voir Point isolé.

K [modifier]

Kolmogorov : voir l'axiome de séparation T₀ ou Espace de Kolmogorov.

L [modifier]

Limite

La limite d'une suite convergente est son unique valeur d'adhérence.

Lindelöf : voir l'axiome de recouvrement Espace de Lindelöf.

Localement : voir Propriété locale.

Localement compact : voir les axiomes de recouvrement.
Localement connexe ou localement connexe par arcs : voir les notions de connexité.
Localement fini

Une famille de parties d'un espace topologique est dite localement finie lorsque chaque point possède un voisinage qui ne rencontre qu'un nombre fini d'éléments de la famille. Une famille dénombrablement localement finie est une union dénombrable de familles localement finies.

Localement métrisable

Un espace est dit localement métrisable lorsque chaque point admet un voisinage métrisable.

M [modifier]

Maigre

Une partie d'un espace topologique est dite maigre lorsqu'elle est contenue dans une réunion dénombrable de fermés d'intérieur vide.

Métrique : voir Espace métrique.

Métrisable

Un espace est dit métrisable lorsqu'il peut être muni d'une distance dont les boules forment une base d'ouverts. Un espace métrisable est nécessairement paracompact etparfaitement normal. Voir les conditions de métrisabilité.

Moins fine : voir Topologie moins fine.

N [modifier]

Normal : voir les axiomes de séparation.

O [modifier]

Ouvert

Un ouvert est un élément d'une topologie.

Un recouvrement est dit ouvert lorsque tous ses éléments sont des ouverts.

Une application entre espaces topologiques est dite ouverte lorsque l'image de chaque ouvert est un ouvert.

P [modifier]

Paracompact : voir les axiomes de recouvrement.

Parfait

Un ensemble parfait d'un espace topologique est une partie fermée sans point isolé.

Parfaitement normal : voir les axiomes de séparation.

Partition de l'unité

Une partition de l'unité sur un espace topologique est un ensemble de fonctions continues à valeurs dans

[0,1]

tel que chaque point possède un voisinage sur lequel seul un nombre fini de ces fonctions ne sont pas constamment nulles et la somme des restrictions de celles-ci est constante égale à 1.

Plus fine : voir Topologie plus fine.

Point d'accumulation

Si A est une partie d'un espace topologique, un point d'accumulation de A est un point x dont tout voisinage contient un point de A distinct de x. Autrement dit, un point x est un point d'accumulation de A si et seulement s'il est adhérent à

A - {x}

Point isolé

Dans un espace séparé, un point isolé d'une partie A est un point x de A pour lequel il existe un voisinage qui ne rencontre A qu'au point x. Autrement dit, c'est un point de A qui n'est pas point d'accumulation de A.

Polonais : voir Espace polonais.

Prébase

Une prébase d'une topologie est un ensemble d'ouverts dont l'ensemble des intersections finies constitue une base.

Produit : voir Topologie produit.

Q [modifier]

Quasi-compact : voir les axiomes de recouvrement.

Quotient

Voir Topologie quotient.

R [modifier]

Raffinement

Un raffinement d'un recouvrement $mathcal U$ est un recouvrement dont chaque élément est inclus dans un élément de $mathcal U$ .

Rare

Une partie d'un espace topologique est dite rare ou nulle part dense lorsque son adhérence est d'intérieur vide, c'est-à-dire lorsque le complémentaire de son adhérence est dense.

Recouvrement

Un recouvrement d'un espace topologique est une famille de parties dont l'union est l'espace tout entier. Un recouvrement est dit ouvert lorsque tous ses éléments sont des ouverts.

Relativement compact

Une partie d'un espace topologique est dite relativement compacte lorsque son adhérence est compacte.

Régulier : voir l'axiome de séparation T₃.

S [modifier]

Séparable

Un espace séparable est un espace qui admet une partie dense dénombrable.

Un espace séparé n'est pas nécessairement séparable et réciproquement.

Séparant

Une famille d'applications continues entre deux espaces topologiques X et Y est dite séparante si tout couple de points distincts dans X a des images séparées dans Y par au moins l'une de ces applications.

L'espace X est alors nécessairement séparé.

Séparé : voir l'axiome de séparation T₂.

Simplement connexe : voir les notions de connexité.

Sous-recouvrement

Un sous-recouvrement d'un recouvrement K est une partie de K qui est aussi un recouvrement.

Système fondamental de voisinages

Un système fondamental de voisinages d'un point est un ensemble $mathcal V$ de voisinages de ce point tel que tout autre voisinage de ce point contient un élément de $mathcal V$ .

Suite de Cauchy

Dans un espace métrique, une suite de Cauchy est une suite de points telle que pour tout réel strictement positif a il existe un rang de la suite à partir duquel la distance entre deux images quelconques de la suite est toujours inférieure à a.

T [modifier]

T₀, T₁, T₂, T_2½, T₃, T_3½, T₄, T₅ : voir les axiomes de séparation.

Topologie

Une topologie sur un ensemble E est un ensemble T de parties de E tel que :

l'ensemble E lui-même et l'ensemble vide sont des éléments de T ;
la réunion de toute famille d'éléments de T est un élément de T ;
l'intersection de deux éléments de T est un élément de T.

Les éléments de T sont appelés les ouverts de cette topologie.

Topologie discrète

La topologie discrète sur un ensemble E est la topologie dont les ouverts sont toutes les parties de E. C'est la plus fine de toutes les topologies sur E.

Topologie engendrée

La topologie engendrée par un ensemble $mathcal P$ de parties d'un ensemble est celle dont les ouverts sont les réunions quelconques d'intersections finies d'éléments de $mathcal P$ . L'ensemble $mathcal P$ constitue une prébase de la topologie engendrée.

Topologie grossière

La topologie grossière sur un ensemble E est la topologie dont les seuls ouverts sont l'ensemble vide et l'ensemble E. C'est la moins fine de toutes les topologies sur E.

Topologie induite

La topologie induite sur une partie A d'un espace topologique E est l'ensemble des intersections de A avec les ouverts de E. C'est la topologie la moins fine sur A rendant continue l'injection canonique de A dans E.

Topologie moins fine

Soient T, T' deux topologies sur le même ensemble E. La topologie T est moins fine que la topologie T' si tout ouvert de T est ouvert de T'. Cela équivaut à la continuité de l'application identique de (E,T') dans (E,T).

Topologie plus fine

Soient T, T' deux topologies sur le même ensemble E. La topologie T est plus fine que la topologie T' si tout ouvert de T' est ouvert de T. Cela équivaut à la continuité de l'application identique de (E,T) dans (E,T').

Topologie produit

La topologie produit sur un produit quelconque d'espaces topologiques $prod_{i in I}E_i$ est la topologie engendrée par les $prod_{i in I}U_i$ où un nombre fini d'éléments

U i

sont des ouverts des espaces topologiques correspondants et les autres sont les espaces

E i

correspondants.

C'est la topologie la moins fine rendant continues toutes les projections $pi_j colon prod_{i in I}E_i to E_j$ .

Topologie quotient

Si E est un espace topologique et $mathfrak R$ une relation d'équivalence sur E, la topologie quotient sur l'ensemble quotient $E/mathfrak R$ est l'ensemble des parties de $E/mathfrak R$ dont lespréimages sont des ouverts de E. C'est la topologie la plus fine rendant continue la projection canonique, qui à tout élément de E associe sa classe d'équivalence..

Topologique : voir Espace topologique.

Totalement discontinu : voir les notions de connexité.

Tychonoff : voir l'axiome de séparation T_3½ ou Complètement régulier.

U [modifier]

Uniformisable : dont la topologie est induite par une structure d'espace uniforme ; voir l'axiome de séparation T_3½ ou Complètement régulier.

V [modifier]

Valeur d'adhérence

Une valeur d'adhérence d'une suite de points d'un espace topologique est un point dont tout voisinage contient une infinité de termes de la suite. Si tout point admet une base dénombrable de voisinages, une valeur d'adhérence est la limite d'une sous-suite.

Voisinage

Un voisinage d'une partie A d'un espace topologique est un ensemble contenant un ouvert contenant lui-même A. En particulier, un voisinage ouvert de A est simplement un ouvert contenant A. Un voisinage d'un point p est un voisinage du singleton

{p}

Propriétés d'espaces topologiques [modifier]

Les espaces topologiques peuvent être qualifiés de différentes manières en termes de séparation, de recouvrements ou de connexité.

Axiomes de séparation [modifier]

Article détaillé : Axiome de séparation (topologie).

Certains des termes employés ici peuvent avoir été définis autrement dans la littérature ancienne (voir l'histoire des axiomes de séparation).

T₀ ou de Kolmogorov : dans lequel pour tout couple de points distincts, il existe un voisinage de l'un qui ne contient pas l'autre.

T₁ ou accessible ou de Fréchet : dont tous les singletons sont fermés.

T₂ ou de Hausdorff ou séparé : dans lequel deux points distincts admettent toujours des voisinages disjoints.

T_2½ ou complètement de Hausdorff : dans lequel deux points distincts admettent toujours des voisinage fermés disjoints.

Régulier : séparé et dont tout point admet une base de voisinages fermés.

Complètement régulier ou de Tychonoff : séparé et uniformisable, ou encore : sous-espace d'un compact.

Faiblement normal : complètement régulier et dans lequel deux ouverts disjoints quelconques ont deux voisinages fermés disjoints dont l'un est à base dénombrable.

Normal : séparé et dans lequel deux fermés disjoints quelconques possèdent toujours des voisinages disjoints. Le lemme d'Urysohn garantit alors que ces deux fermés sontfonctionnellement séparés.

Complètement normal : dont tout sous-espace est normal.

Parfaitement normal : séparé et dont tout fermé est le lieu d'annulation d'une fonction continue réelle.

Axiomes de recouvrement [modifier]

Les axiomes de recouvrement traitent de l'existence de raffinements ou de sous-recouvrements particuliers pour un recouvrement quelconque de l'espace considéré.

Paracompact : espace séparé dont tout recouvrement ouvert admet un raffinement localement fini.

Lindelöf : dont tout recouvrement ouvert admet un sous-recouvrement dénombrable.

Quasi-compact : dont tout recouvrement ouvert admet un sous-recouvrement fini.

Compact : quasi-compact et séparé.

Le terme compact est utilisé en anglais pour décrire un quasi-compact. Le risque de confusion peut alors amener à préciser « compact Hausdorff » pour désigner l'acception française.

Voir aussi Relativement compact.

σ-compact ou sigma-compact : recouvert par une famille dénombrable de parties compactes.

Localement compact : séparé, et dont chaque point admet un système fondamental de voisinages compacts.

Séquentiellement compact : dans lequel toute suite admet au moins une valeur d'adhérence.

Connexité [modifier]

Les hypothèses de connexité décrivent la cohésion de l'espace ou de certains voisinages, ou l'existence de déformations (homotopies) entre certaines applications continues vers l'espace considéré.

Connexe : qui n'est pas l'union disjointe de deux ouverts non vides.

Voir aussi Composante connexe.

Localement connexe : dont chaque point admet un système fondamental de voisinages connexes.

Totalement discontinu : dont les seules parties connexes sont les singletons.

Connexe par arcs : dont tout couple de points $(x, y)$ est relié par un chemin (ou arc), c'est-à-dire une application continue $p:[0,1]to X$ telle que $p (0) = x$ et $p (1) = y$ .

Un espace connexe par arcs est connexe.

Localement connexe par arcs : dont chaque point admet un système fondamental de voisinages connexes par arcs.

Un espace localement connexe par arcs est connexe si et seulement s’il est connexe par arcs.

Simplement connexe : connexe par arcs et dans lequel toute application continue $f:S^1 to X$ est homotope à une application constante.

Contractile : pour lequel l'application identité de $X$ est homotope à une application constante.

Les espaces contractiles sont toujours simplement connexes.

Portail des mathématiques

Catégories : Topologie | Topologie générale | Glossaire | [+]

Source : http://fr.wikipedia.org/wiki/Glossaire_topologique

Mathématique

Cours, définitions, Vidéos, théorèmes, exercices, corrigés, livres sur les mathématiques, Livres Rares, Livres anciens de mathématiques

Recherchez sur le site (cours, livres, Agregation, etc.)

Liens utiles

Rechercher

CODE PROMO

Liens mathématiques divers

Livres en pdf

Cours

Documents Mathématiques

Décembre 2024

Notes récentes

Archives

Catégories

Derniers weblogs mis à jour

Liens Sites Amis

03/12/2010

ENSEIGNER AUTREMENT LE CONCEPT DE CARRÉ EN CE2

I Expérience :

II Analyse de l’expérience :

Première partie : les élèves doivent tracer un segment.

Deuxième partie : les élèves doivent tracer la perpendiculaire à (AB) passant par A.

Troisième partie : le tracé de D situé à la même distance que B par rapport à A.

Quatrième partie : Placer le point D (erreur sur la lettre proposée par TeP, non corrigée)

Cinquième partie : placer le point C

Sixième partie : enlever les traits de construction

Septième partie : vérifier que la figure construite est un carré

III Conclusion :

Annexes :

Annexe 1 : figure obtenue à l’issue de la première séance

Annexe 2 : plateau de jeu

Bibliographie :

Coloriage de cartes

Le découpage de Dudeney

Groupe orthogonal

Groupe orthogonal

Sommaire

Généralités [modifier]

Nombres réels [modifier]

Nombres complexes [modifier]

Voir aussi [modifier]

Groupe symplectique

Groupe symplectique

Sommaire

Sp(2n,E) [modifier]

Sp(n) [modifier]

Relations entre les groupes symplectiques [modifier]

Voir aussi [modifier]

Groupe fondamental

Groupe fondamental

Sommaire

Définition intuitive à travers l'exemple du tore [modifier]

Définition [modifier]

Classe d'équivalence de lacets [modifier]

Structure de groupe [modifier]

Point base [modifier]

Espaces simplement connexes [modifier]

Exemples [modifier]

Convexes d'un espace euclidien [modifier]

Cercle [modifier]

Espace produit [modifier]

Autres exemples [modifier]

Fonction continue et morphisme [modifier]

Morphisme de groupes fondamentaux induit par une fonction continue [modifier]

Application : théorème du point fixe de Brouwer en dimension 2 [modifier]

Degré d'une application du cercle dans lui-même [modifier]

Autres théorèmes [modifier]

Équivalence d'homotopie et espaces contractiles [modifier]

Propriétés [modifier]

Lien avec le premier groupe d'homologie [modifier]

Groupe fondamental et théorie des revêtements [modifier]

Méthodes de calcul et applications [modifier]

Théorème de van Kampen [modifier]

Théorème du cône et groupe fondamental des espaces projectifs [modifier]

Groupe fondamental des graphes, des surfaces et des polyèdres [modifier]

Théorie des nœuds [modifier]

Généralisations [modifier]

Groupoïde fondamental (ou groupoïde de Poincaré) [modifier]

Groupes d'homotopie supérieurs [modifier]

Groupe fondamental et géométrie algébrique [modifier]

Degré d'une application du cercle dans lui-même $S^1 to S^1$ [modifier]