Symétrie

Cet article doit être recyclé. Une réorganisation et une clarification du contenu sont nécessaires. Discutez des points à améliorer en page de discussion.

Pour les articles homonymes, voir Symétrie (homonymie).

Vue de dalles hexagonales toutes symétriques.

De manière générale le terme symétrie renvoie à l'existence, dans une figure quelconque, d'une opération géométrique qui ne modifie pas cette figure. On peut faire correspondre à chaque point de la figure un autre point, sans modification de la figure générale. En mathématique, une symétrie est une transformation géométrique qui est involutive, c'est-à-dire qu'appliquée deux fois d'affilée à une figure, elle laisse cette figure inchangée. Ces symétries sont décrites dans l'article symétrie (transformation géométrique). Un système est symétrique quand on peut permuter simultanément tous ses éléments sans modifier sa structure. Les symétries traduisent une sorte d'égalité du système avec lui-même, ou d'uniformité de sa structure. La notion d'automorphisme, ou isomorphisme interne, exposée plus loin, permet de préciser cette définition.

[modifier] Exemples

Les deux ailes des papillons (ici une vanesse du chardon) sont symétriques.

Un papillon, par exemple, est symétrique : on peut échanger tous les points de la moitié gauche du corps avec tous les points sur la moitié droite sans que l’apparence du papillon soit modifiée. La plupart des animaux, y compris les humains, présente une symétrie plane, c'est-à-dire que leur moitié droite et gauche sont symétriques par rapport à un plan de symétrie qu'on appelle plan médian en anatomie. Cette caractéristique, nommée symétrie bilatérale, définit le clade des Bilateria parmi les animaux, mais elle ne concerne pas leurs organes internes et "il est connu", comme l'écrit Weyl, "que le coeur des mammifères est une boucle asymétrique". Par ailleurs, on trouve aussi des morphologies à symétrie radiaire comme les méduses, ces animaux formant avec les Cténophores le groupe paraphylétique des Radiata. Dans le règne végétal, les plantes à fleurs possèdent souvent une pièce florale à symétrie radiale : la marguerite est un des exemples les plus connus de ce type de fleurs, dites actinomorphes.

En mathématiques, on peut définir de très nombreux types de symétries. Il y en a autant qu’il y a de façons de permuter simultanément les parties d’un système : symétries par rapport à un axe ou un plan, rotations, translations, homothéties unitaires, ainsi que toutes leurs combinaisons, entre autres.

L’espace euclidien en son entier est un des systèmes les plus symétriques, au sens où l’ensemble des façons de permuter simultanément tous ses points sans modifier sa structure, son groupe de symétries, est l’un des plus grands, parmi les groupes des symétries géométriques. Tous les points de l’espace sont semblables. Ils n’ont pas d’autre qualité que d’être un point. Ils ont tous les mêmes relations avec le reste de l’espace. Les principales symétries de l’espace euclidien sont les isométries. Que tous les points sont semblables s’exprime alors par le fait que n’importe quel point peut être transformé en n’importe quel autre par une isométrie.

Si l’on brise la symétrie de l’espace en introduisant une sphère, alors tous les points ne sont plus semblables : il y a des points sur la sphère, d’autres à l’intérieur et d’autres à l’extérieur. En revanche, tous les points de la sphère sont semblables. N’importe lequel d’entre eux peut être transformé en n’importe quel autre par une isométrie : une rotation autour du centre de la sphère.

Lorsqu’un système est symétrique, les parties permutables sont nécessairement semblables à l'intérieur d'un modèle, et presque identiques dans le monde physique, puisque le système n’est pas modifié par leur permutation.

[modifier] Qu’est-ce qu’un automorphisme ?

La notion d’automorphisme permet de préciser la définition des symétries. Que veut dire « sans modifier sa structure Â» ?

Un système est défini comme un modèle. Il faut déterminer

• l’ensemble U, fini ou infini, de ses éléments, ses points, ses atomes ou ses constituants élémentaires. C’est le domaine d’existence associé au système ou à l’univers étudié.
• l’ensemble, en général fini, des prédicats fondamentaux, propriétés de base des éléments et relations entre eux.
• l’ensemble, en général vide ou fini, des opérateurs, ou fonctions, qui déterminent davantage la structure du système.

Une transformation géométrique est un automorphisme ou isomorphisme interne, pour une relation binaire R lorsqu’elle est une fonction inversible, ou bijection, de U dans U telle que

pour tout x et y, x R y si et seulement si tx R ty

Ce qui est vrai de x et y, de satisfaire la relation R, est également vrai de tx et ty.

x est semblable à tx, y à ty.

Cette définition d’un automorphisme se généralise aisément aux prédicats unaires et à toutes les relations, quel que soit le nombre de leurs arguments. Pour un prédicat unaire P, une transformation t est un automorphisme lorsque

pour tout x, Px si et seulement si Ptx

Dans l’exemple du papillon, la symétrie entre la gauche et la droite est un automorphisme pour les propriétés (les prédicats unaires) de couleur. Un point a la même couleur que son point symétrique.

Une transformation t est un automorphisme pour un opérateur binaire + lorsque

pour tous x et y, t(x+y)=(tx)+(ty)

Cette définition d’un automorphisme se généralise aisément à tous les opérateurs, quel que soit le nombre de leurs arguments. t est un automorphisme pour un opérateur unaire lorsque

pour tout x, t(-x) = -t(x)

Autrement dit, une transformation est un automorphisme pour un opérateur unaire, ou fonction d'une seule variable, lorsqu'elle commute avec lui. Lorsque des transformations commutent entre elles, elles sont toutes des automorphismes les unes vis-à-vis des autres, au sens où toute structure définie par une transformation est conservée par toutes les autres.

À un opérateur binaire +, on peut associer une relation ternaire définie par x+y=z. On voit alors que la définition d’un automorphisme pour un opérateur est un cas particulier de la définition d’un automorphisme pour les relations.

[modifier] Les groupes de symétries

Le groupe des symétries est l’ensemble de tous les automorphismes du système. On a les propriétés suivantes.

Pour tous automorphismes t et u, t°u est un automorphisme et l’inverse de t est un automorphisme. La transformation identique (qui associe toujours x à x) est un automorphisme.

Autrement dit,

• si une structure est conservée par deux transformations effectuées séparément, elle est aussi conservée lorsqu'on effectue les deux transformations l'une à la suite de l'autre. C'est simplement la transitivité de l'égalité de la structure.
• si une structure est conservée par une transformation, elle est aussi conservée par la transformation inverse.
• en outre, il existe toujours une transformation identique, qui ne transforme rien, qui est donc toujours un automorphisme, puisqu'elle ne peut pas modifier quoi que ce soit.

Ces trois propriétés font de l'ensemble des automorphismes d'un système un groupe pour sa loi de composition interne naturelle.

La théorie des groupes est le principal outil théorique d’étude des symétries.

[modifier] Bibliographie

• Henri Bacry, La symétrie dans tous ses états, Vuibert, 2000 (ISBN 9782711752676) 447 pages
• Claude Cohen-Tannoudji, Yves Sacquin, Symétrie et brisure de symétrie, EDP Sciences, 1999 (ISBN 9782868833990)
• Jean Sivardière, Description de la symétrie (ISBN 9782868837219) et Symétrie et propriétés physiques (ISBN 9782868837226), EDP Sciences, 2004
• Bas van Fraassen, Lois et symétrie, Vrin, 1994 (ISBN 9782711612185) 520 pages
• Hermann Weyl, Symétrie et mathématique moderne, Champs|Flammarion, 1964 (ISBN 2080813668) 153 pages
• Sidney Kettle, Christine Assfeld, Xavier Assfeld, Symétrie et structure, théorie des groupes en chimie, Masson, 1997 (ISBN 9782225855269) 379 pages

[modifier] Voir aussi

• En botanique : Symétrie florale
• En chimie : symétrie moléculaire, chiralité, isomérie
• En physique : symétrie (physique)
• En géométrie : symétrie (transformation géométrique)
• Asymétrie
• Dissymétrie
• Théorie des groupes
• Fractales
• Brisure de symétrie
• Principe de Curie
• Théorème de Noether

v Â· d Â· m Algèbre linéaire générale
Vecteurʉۢ Scalaireʉۢ Combinaison lin̩aireʉۢ Espace vectorielʉۢ Matrice
Famille de vecteurs	Famille g̩n̩ratriceʉۢ Famille libre (ind̩pendance lin̩aire)ʉۢ Baseʉۢ Th̩or̬me de la base incompl̬teʉۢ Rangʉۢ Colin̩arit̩
Sous-espace	Sous-espace vectorielʉۢ Somme de Minkowskiʉۢ Somme directeʉۢ Sous-espace suppl̩mentaireʉۢ Dimensionʉۢ Codimensionʉۢ Droiteʉۢ Planʉۢ Hyperplan
Morphisme et notions relatives	Application linéaire â€¢ Noyau â€¢ Conoyau â€¢ Lemme des noyaux â€¢ Pseudo-inverse â€¢ Théorème de factorisation â€¢ Théorème du rang â€¢ Équation linéaire â€¢ Système d'équations linéaires â€¢ Élimination de Gauss-Jordan â€¢ Forme linéaire â€¢ Espace dual â€¢ Orthogonalité â€¢ Base duale â€¢ Endomorphisme linéaire â€¢ Valeur propre, vecteur propre et espace propre â€¢ Spectre â€¢ Projecteur â€¢ Symétrie â€¢ Matrice diagonalisable â€¢ Diagonalisation â€¢ Endomorphisme nilpotent
En dimension finie	Espace vectoriel de dimension finieʉۢ Traceʉۢ D̩terminantʉۢ Polyn̫me caract̩ristiqueʉۢ Polyn̫me d'endomorphismeʉۢ Th̩or̬me de Cayley-Hamiltonʉۢ Polyn̫me minimal d'un endomorphismeʉۢ Invariants de similitudeʉۢ R̩duction d'endomorphismeʉۢ R̩duction de Jordanʉۢ D̩composition de Dunfordʉۢ D̩composition de Frobenius
Enrichissements de structure	Normeʉۢ Produit scalaireʉۢ Forme quadratiqueʉۢ Espace vectoriel topologiqueʉۢ Orientationʉۢ Alg̬bre sur un corpsʉۢ Alg̬bre de Lieʉۢ Complexe diff̩rentiel
D̩veloppements	Th̩orie des matricesʉۢ Repr̩sentation de groupeʉۢ Analyse fonctionnelleʉۢ Alg̬bre multilin̩aireʉۢ Module sur un anneau