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-12-02 | Page d'accueil | 2010-12-04 »

03/12/2010

CM2 : Additions et soustractions de nombres décimaux

Additions et soustractions de nombres décimaux

Exemple :
additions et soustractions cours - sixième : image 1

II. Calculer une somme, une différence

a) Poser une addition, une soustraction

Méthode :

Pour poser une addition ou une soustraction, les chiffres de même rang sont disposés les uns en dessous des autres : les chiffres des unités sont placés en colonne.

Exemple :
additions et soustractions cours - sixième : image 2

b) A l'aide d'une calculatrice

Exemple : A l'aide d'une calculatrice, calculer : 137,9 + 23,5
On tape : 137.9 + 23.5 =
La calculatrice affiche 161.4
On écrit : 137,9 + 23,5 = 161,4

III. Propriétés

Propriété :

Pour additionner, on peut changer l'ordre des termes et regrouper certains termes sans que cela change la somme.

Exemple :
7 + 72 + 3 + 28
= (72 + 28) + (7 + 3)
= 100 + 10
= 110

Remarque :
Regrouper les termes permet d'obtenir des opérations plus faciles à calculer.

Dans une soustraction, l'ordre des termes a de l'importance et on ne peut pas regrouper des termes.
Exemples :

100 - 40 - 15	100 - (40 - 15)
= 60 - 15	= 100 - 25
= 45	= 75

IV. Ordre de grandeur d'une somme, d'une différence

Méthode :

Pour obtenir un ordre de grandeur d'une somme, on additionne un ordre de grandeur de chaque terme.

Exemple :
Donnons un ordre de grandeur de la somme 2 037,82 + 4 984,75 :
2 037,82 est proche de 2 000.
4 984,75 est proche de 5 000.
Donc un ordre de grandeur de 2 037,82 + 4 984,75 est 2 000 + 5 000, c'est-à-dire 7 000.
Donc : 2 037,82 + 4 984,75 est proche de 7 000.

Méthode :

Pour obtenir un ordre de grandeur d'une différence, on soustrait un ordre de grandeur de chaque terme.

Exemple :
Donnons un ordre de grandeur de la différence 4 987,87 - 1 824,59 :
4 987,87 est proche de 5 000.
1 824,59 est proche de 2 000.
Donc un ordre de grandeur de 4 987,87 - 1 824,59 est 5 000 - 2 000, soit 3 000.
Donc 4 987,87 - 1 824,59 est proche de 3 000.

Remarque :
Un ordre de grandeur peut servir à prévoir ou à vérifier un résultat.
Exemple :
On a vu qu'un ordre de grandeur de 4 987,87 - 1 824,59 est 3 000.
En posant la soustraction, on trouve : 4 987,87 - 1 824,59 = 3 163,28.
3 163,28 est un nombre proche de 3 000. Le résultat est cohérent.

V. Lien entre addition et soustraction

La différence entre deux nombres est le nombre qu'il faut ajouter à l'un pour obtenir l'autre.

Exemple :
La différence 7 - 2 est le nombre qu'il faut ajouter à 2 pour obtenir 7.
7 - 2 = 5 signifie que 2 + 5 = 7

A une addition, on peut faire correspondre deux soustractions :
additions et soustractions cours - sixième : image 3

A une soustraction, on peut faire correspondre une addition et une soustraction :
$7 - 2 = 5 left lbrace begin{array}{c @{ = } c} 5 + 2 & 7 \ 7 - 5 & 2 \ end{array} right.$

VI. Calcul avec les durées

On utilise la base sexagésimale (de base soixante) pour mesurer le temps :
Dans une heure, il y a 60 minutes : 1 h = 60 min
Dans une minute, il y a 60 secondes : 1 min = 60 s

Exemple 1 :
Combien de temps dure une séance de cinéma qui commence à 15 h 25 et qui finit à 18 h 05 ?
Méthode 1 : On pose la soustraction :
additions et soustractions cours - sixième : image 4

Méthode 2 :
De 15 h 25 à 16 h s'écoulent 35 min.
De 16 h à 18 h 05 sécoulent 2 h 05 min.35 min + 2 h 05 min = 2 h 40 min

Méthode 3 :
De 15 h 25 à 18 h 25 s'écoulent 3 h.
La séance finit à 18 h 05, soit 20 min avant 18 h 25.
3 h - 20 min = 2 h 40 min.

La séance dure donc 2 h 40 min.

Exemple 2 :
A quelle heure notre train doit-il arriver s'il est parti à 11 h 50 et que la durée du voyage est 4 heures et 20 minutes ?
additions et soustractions cours - sixième : image 5
Or, 70 min = 1 h 10 min, donc :
15 h 00 + 70 min = 15 h 00 + 1 h 10 min = 16 h 10 min
Notre train va donc arriver à 16 h 10.

Source : http://www.le-precepteur.net/cm2/mathematiques/additions/...

Réviser les quatre opérations

Calcul

Objectif : Réviser les quatre opérations

1 - Pose et effectue les opérations suivantes.

7860,4 X 5,26 = .........................................

1310 : 56 = ......................................... (au dixième près)

14000 : 456 = ......................................... (au dixième près)

2 - Observe les produits suivants puis complète les deux derniers sans poser les calculs.

57,8 X 6,25 = 361,25 5,78 X 62,5 = ................

578 X 0,625 = ................

3 - Additionne en lignes et en colonnes.

45,6	3025	34	21,8
326	28,73	35,8	827
42	651	396	42,45
567,52	17,6	5,62	257

4 - Calcule en ligne.

365 - 47,4 = .…………… 70643 X 6 = .……………

5 – Complète les opérations à trous.

											•	5	3
									X		•	•	•
		6	7	,	•					2	6	1	•
+	8	•	0	,	4	5			•	•	7	•
+		5	•	,	1	3	•	•	•	•	•
	•	7	6	,	8	•	7	•	7	0	7	2	2

6 - Calcule mentalement

47 - 25 = ........................................................ 429 - 18 = ...................................................

85 - 17 = ........................................................ 47 X 10 = ...................................................

104 X 1000 = ................................................ 15 X 30 = ...................................................

12 X 400 = .................................................... 4 X 46 = .....................................................

7 + 3,5 = .......................................................... 24,7 + 10,2 = ...............................................

Corrigé

1 - Pose et effectue les opérations suivantes.

7860,4 X 5,26 = 41 345,704

1310 : 56 = 23,3 (au dixième près)

14000 : 456 = 30,7 (au dixième près)

2 - Observe les produits suivants puis complète les deux derniers sans poser les calculs.

57,8 X 6,25 = 361,25 5,78 X 62,5 = 361,25

578 X 0,625 = 361,25

3 - Additionne en lignes et en colonnes.

45,6	3025	34	21,8	3126,4
326	28,73	35,8	827	1217,53
42	651	396	42,45	1131,45
567,52	17,6	5,62	257	847,74
981,12	3722,33	471,42	1148,25	6323,12

4 - Calcule en ligne.

365 - 47,4 = 317,6 70 643 X 6 = 423 858

5 – Complète les opérations à trous.

											6	5	3
									X		8	7	4
		6	7	,	3					2	6	1	2
+	8	5	0	,	4	5			4	5	7	1
+		5	9	,	1	3	7	5	2	2	4
	9	7	6	,	8	8	7	5	7	0	7	2	2

6 - Calcule mentalement

47 - 25 = 22 429 - 18 = 411

85 - 17 = 68 47 X 10 = 470

104 X 1000 = 104 000 15 X 30 = 450

12 X 400 = 4 800 4 X 46 = 184

7 + 3,5 = 10,5 24,7 + 10,2 = 34,9

Source : http://famille-madore.fr/exercicescm.html#calcul

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

											•	5	3
									X		•	•	•
		6	7	,	•					2	6	1	•
+	8	•	0	,	4	5			•	•	7	•
+		5	•	,	1	3	•	•	•	•	•
	•	7	6	,	8	•	7	•	7	0	7	2	2

											•	5	3
									X		•	•	•
		6	7	,	•					2	6	1	•
+	8	•	0	,	4	5			•	•	7	•
+		5	•	,	1	3	•	•	•	•	•
	•	7	6	,	8	•	7	•	7	0	7	2	2

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

Juillet 2026

Notes récentes

Archives

Catégories

Derniers weblogs mis à jour

Liens Sites Amis

03/12/2010

CM2 : Additions et soustractions de nombres décimaux

Additions et soustractions de nombres décimaux

II. Calculer une somme, une différence

a) Poser une addition, une soustraction

b) A l'aide d'une calculatrice

III. Propriétés

IV. Ordre de grandeur d'une somme, d'une différence

V. Lien entre addition et soustraction

VI. Calcul avec les durées

Réviser les quatre opérations

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]

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

											•	5	3
									X		•	•	•
		6	7	,	•					2	6	1	•
+	8	•	0	,	4	5			•	•	7	•
+		5	•	,	1	3	•	•	•	•	•
	•	7	6	,	8	•	7	•	7	0	7	2	2