Groupe de symétrie
1406195
31847805
2008-07-24T12:15:08Z
Deep silence
126287
Restauration des [[Projet:Restauration des ancres brisées|ancres brisées]]
[[Image:Tetrahedral group 2.svg|thumb|right|300px|Un [[tétraèdre]] peut être placé dans 12 positions distinctes par une seule [[rotation]]. Celles-ci sont illustrées ci-dessus dans le format d'un [[graphe de cycle (algèbre)|graphe de cycle]], avec des rotations à 180° par rapport à une arête (flèches bleues) et à 120° par rapport à un sommet (flèches rouges) qui [[permutation|permutent]] le tétraèdre à travers les positions. Les 12 rotations forment le '''groupe (de symétrie) de rotation''' de la figure.]]
Le '''groupe de [[symétrie]]''' d'un objet ([[image]], [[signal (théorie de l'information)|signal]], etc., e.g. en 1D, 2D ou 3D) est le [[groupe (mathématiques)|groupe]] de toutes les [[isométrie]]s sous lesquelles il est [[invariant]] avec la [[composition de fonctions|composition]] en tant qu'opération. C'est un [[sous-groupe]] du [[groupe d'isométrie]] de l'espace concerné.
(Si cela n'est pas indiqué, nous considérons les groupes de symétrie dans la [[géométrie euclidienne]] ici, mais le concept peut aussi être étudié dans des contextes plus larges, voir ci-dessous).
Les "objets" peuvent être des figures géométriques, des images et des motifs, tel que les [[groupe de papier-peint|motif de papier-peint]]. La définition peut être rendue plus précise en précisant ce que l'on entend par image ou motif, e.g. une fonction de position avec des valeurs dans un ensemble de couleurs. Pour la symétrie des corps en 3D, par exemple, on peut aussi vouloir prendre en compte la composition physique. Le groupe des isométries de l'espace induit une [[action de groupe (mathématiques)|action de groupe]] sur les objets à l'intérieur de lui.
Le groupe de symétrie est quelquefois appelé le '''groupe de symétrie complet''' afin de souligner qu'il inclut les isométries de changement d'orientation (comme les réflexions, les [[antitranslation]]s et les [[rotation impropre|rotations impropres]]) sous lesquelles la figure est invariant. Le [[sous-groupe]] des isométries qui conservent l'orientation (i.e. les translations, les rotations et les compositions de celles-ci) qui laissent la figure invariante est appelé son '''groupe de symétrie propre'''. Le groupe de symétrie propre d'un objet est égal à son groupe de symétrie complet [[si et seulement si]] l'objet est [[chiralité (mathématiques)|chiral]] (et ainsi, il n'existe pas d'isométries de changement d'orientations sous lesquelles il est invariant).
Tout groupe de symétrie dont les éléments ont un [[point fixe (mathématiques)|point fixe]] commun, ce qui est vrai pour tous les groupes de symétrie de figures limitées, peut être représenté comme un [[sous-groupe]] du [[groupe orthogonal]] O(n) en choisissant l'origine pour point fixe. Le groupe de symétrie propre est alors un sous-groupe du groupe orthogonal spécial SO(n), et par conséquent, il est aussi appelé le '''groupe de rotation''' de la figure.
Les groupes de symétrie [[groupe discret|discrets]] sont de trois sortes : (1) les '''[[groupe ponctuel de symétrie|groupes ponctuels de symétrie]]''' finis, qui incluent seulement les rotations, les réflexions, les inversions et les roto-inversion - ils sont en fait simplement des sous-groupes finis de O(n), (2) les groupes '''[[réseau (géométrie)|réseau]]''' infinis, qui incluent seulement les translations et (3) les '''[[groupe d'espace|groupes d'espace]]''' infinis qui combinent les éléments des deux sortes précédentes, et qui peuvent aussi inclure des transformations supplémentaires comme les [[similitude directe|similitudes directes]] et les [[antitranslation]]s. Il existe aussi les groupes de symétrie ''continus'', qui contiennent des rotations d'angles arbitrairement petits ou des translations de distances arbitrairement petites. Le groupe de toutes les symétries d'une sphère [[groupe orthogonal|O(3)]] est un exemple de ceci, et en général, de tels groupes de [[symétrie continue]] sont étudiés comme des [[groupe de Lie|groupes de Lie]]. Avec une [[groupe euclidien#Sous-groupes|catégorisation de sous-groupes du groupe euclidien]] correspond une catégorisation de groupes de symétrie.
Deux figures géométriques sont considérées avoir le même type de symétrie si leurs groupes de symétries sont des sous-groupes conjugués du [[groupe euclidien]] ''E''(''n'') (le groupe d'isométrie de R<sup>n</sup>), où deux sous-groupes ''H''<sub>1</sub>, ''H''<sub>2</sub> d'un groupe ''G'' sont [[classe de conjugaison|''conjugué'']], s'il existe ''g'' ∈ ''G'' tel que ''H''<sub>1</sub>=g<sup>-1</sup>''H''<sub>2</sub>''g''. Par exemple :
* deux figures 3D ont une symétrie miroir, mais en respectant un plan miroir différent
* deux figures 3D ont une symétrie rotationnelle d'ordre 3, mais en respectant un axe différent
* deux motifs 2D ont une symétrie de translation, chacun dans une direction; les deux vecteurs de translation ont la même longueur mais une direction différente
Quelquefois, un concept plus large, le "même type de symétrie" est utilisé, par exemple dans les 17 groupes de papier-peint.
Lorsque l'on considère les groupes d'isométrie, on peut se limiter à ceux où pour tous les points, l'ensemble des images sous les isométries est [[fermé (topologie)|topologiquement fermé]]. Ceci exclut, par exemple, dans le groupe 1D des translations par un nombre rationnel. Une "figure" avec ce groupe de symétrie est impossible à dessiner et arbitrairement homogène en détail, sans être réellement homogène.
==Une dimension==
Les groupes d'isométrie en une dimension où, pour tous les points, l'ensemble des images sous les isométries est [[fermé (topologie)|topologiquement fermé]] sont :
* le groupe trivial ''C''<sub>1</sub>
* les groupes de deux éléments engendrés par une réflexion d'un point; ils sont isomorphes avec ''C''<sub>2</sub>
* les groupes discrets infinis engendrés par une translation; ils sont isomorphes avec '''Z'''
* Les groupes discrets infinis engendrés par une translation et une réflexion en un point; ils sont isomorphes avec le [[groupe diédral|groupe diédral généralisé]] de '''Z''', Dih('''Z'''), aussi noté D<sub>∞</sub> (qui est un [[produit semi-direct]] de '''Z''' et C<sub>2</sub>).
* Le groupe engendré par toutes les translations (isomorphes avec '''R'''); ce groupe ne peut pas être le groupe de symétrie d'un "motif" : il serait homogène, par conséquent il pourrait aussi être réfléchi. Néanmoins, un champ de vecteurs unidimensionnels uniforme a ce groupe de symétrie.
* Le groupe engendré par toutes les translations et réflexions en tous points; ils sont isomorphes avec le [[groupe diédral|groupe diédral généralisé]] de '''R''', Dih('''R''').
Voir aussi [[groupes de symétrie en une dimension]].
==Deux dimensions==
Jusqu'à la conjugaison, les groupes de point discrets dans un espace bidimensionnel sont des classes suivantes :
* les [[groupe cyclique|groupes cycliques]] ''C''<sub>1</sub>, ''C''<sub>2</sub>, ''C''<sub>3</sub>, ''C''<sub>4</sub>,... où ''C<sub>n</sub>'' est constitué de toutes les rotations autour d'un point fixé par des multiples de l'angle 360°/''n''
* les [[groupe diédral|groupes diédraux]] ''D''<sub>1</sub>, ''D''<sub>2</sub>, [[groupe diédral d'ordre 6|''D''<sub>3</sub>]], ''D''<sub>4</sub>,... où ''D<sub>n</sub>'' (d'ordre 2''n'') est constitué des rotations dans ''C<sub>n</sub>'' avec les réflexions de ''n'' axes qui passent à travers le point fixé.
''C''<sub>1</sub> est le groupe trivial contenant seulement l'opération identité, qui apparaît lorsque la figure n'a pas de symétrie du tout, par exemple la lettre '''F'''. ''C''<sub>2</sub> est le groupe de symétrie de la lettre '''Z''', ''C''<sub>3</sub>, celui d'un [[triskel]], ''C''<sub>4</sub> d'une [[svastika]] et ''C''<sub>5</sub>, ''C''<sub>6</sub> etc. sont les groupes de symétrie de figures similaires à la svastika avec cinq, six etc. bras à la place de quatre.
''D''<sub>1</sub> est le groupe à 2 éléments contenant l'opération identité et une réflexion unique, qui apparaît lorsque la figure a seulement un seul axe de [[symétrie bilatérale|symétrie bilatéral]], par exemple la lettre '''A'''. ''D''<sub>2</sub>, qui est isomorphe au [[groupe de Klein]], est le groupe de symétrie d'un rectangle non-équilatéral, et ''D''<sub>3</sub>, ''D''<sub>4</sub> etc. sont les groupes de symétrie des [[polygone régulier|polygones réguliers]].
Les groupes de symétrie actuels dans chacun de ces cas ont deux [[degrés de liberté (physiques et chimie)|degrés de liberté]] pour le centre de rotation, et dans le cas des groupes diédriques, un de plus pour les positions des miroirs.
Les groupes d'isométrie restants en 2D avec un point fixé, où pour tous les points, l'ensemble des images sous les isométries est topologiquement clos, sont :
* Le [[groupe orthogonal]] spécial SO(2) constitué de toutes les rotations autour d'un point fixé ; il est aussi appelé le [[groupe cercle]] S<sup>1</sup>, le groupe multiplicatif des [[nombre complexe|nombres complexes]] de [[module]] 1. C'est le groupe de symétrie ''propre'' d'un cercle et l'équivalent continu de ''C''<sub>''n''</sub>. Il n'existe pas de figure qui a un groupe cercle de symétrie ''complet'', mais pour un champ de vecteur, il peut être appliqué (voir le cas 3D ci-dessous).
* Le groupe orthogonal O(2) constitué de toutes les rotations autour d'un point fixé et des réflexions d'un axe quelconque à travers ce point fixé. C'est le groupe de symétrie d'un cercle. Il est aussi appelé Dih(S<sup>1</sup>) comme c'est le [[groupe diédral|groupe diédral généralisé]] de S<sup>1</sup>.
Pour les figures non-limitées, les groupes d'isométrie supplémentaires peuvent inclure les translations; ceux qui sont clos sont :
* les 7 [[groupe de frise|groupes de frise]]
* les 17 [[groupe de papier-peint|groupes de papier-peint]]
* pour chaque groupe de symétrie en 1D, la combinaison de toutes les symétries dans ce groupe à une direction, et le groupe de toutes les translations dans la direction perpendiculaire.
==Trois dimensions==
À une conjugaison près, l'ensemble des groupes de point 3D est constitué de 7 séries infinies et de 7 autres séparées. En cristallographie, ils sont restreints pour être compatibles avec les symétries discrètes de translation d'un réseau cristallin. Cette [[théorème de restriction cristallographique|restriction cristallographique]] de la famille infinie de groupes généraux de point a pour résultat 32 groupes de point cristallographiques (27 à partir des 7 séries infinies et 5 des 7 autres).
Voir '''[[groupes de point en trois dimensions]]'''.
Les groupes de symétrie continue avec un point fixé incluent :
* la symétrie cylindrique sans une symétrie plane perpendiculaire à l'axe, ceci s'applique souvent à une [[bouteille]], par exemple.
* la symétrie cylindrique avec une symétrie plane perpendiculaire à l'axe
* la symétrie sphérique
Pour les objets et les [[champ scalaire|champs scalaires]], la symétrie cylindrique impliques des plans verticaux de réflexion. Ce n'est pas le cas pour les [[champ de vecteur|champs de vecteur]] : en [[coordonnée cylindrique|coordonnées cylindriques]] qui conserve un certain axe,
<math>\mathbf{A} = A_\rho\boldsymbol{\hat \rho} + A_\phi\boldsymbol{\hat \phi} + A_z\boldsymbol{\hat z}</math> a une symétrie cylindrique qui conserve l'axe [[si et seulement si]] <math>A_\rho, A_\phi,</math> et <math> A_z</math> ont cette symétrie, i.e., ils ne dépendent pas de φ. De plus, il existe une symétrie de réflexion si et seulement si <math>A_\phi = 0</math>.
Pour la symétrie sphérique, il n'existe pas de telle distinction, elle implique des plans de réflexion.
Les groupes de symétrie continue sans un point fixé incluent celles avec un [[axe hélicoïdal]], telle qu'une [[hélice]] infinie. Voir aussi [[groupe euclidien#Sous-groupes|sous-groupes de groupe euclidien]].
==Groupes de symétrie en général==
Dans des contextes plus larges, un '''groupe de symétrie''' peut être toute sorte de '''groupe de transformation''', ou groupe d'[[automorphisme]]. Une fois que nous connaissons quelle sorte de [[structure mathématique]] nous avons affaire, nous devrions être capable de déterminer quelle [[application]]s conservent la structure. Inversement, en précisant la symétrie, on peut définir la structure, ou au moins clarifier ce que l'on entend par un [[invariant]], langage géométrique avec lequel on parle; c'est une manière de voir dans le [[programme d'Erlangen]].
Par exemple, les groupes d'automorphismes de certains modèles de [[géométrie finie|géométries finies]] ne sont pas des "groupes de symétrie" dans le sens commun, bien qu'ils conservent la symétrie. Ils le font en conservant les ''familles'' d'ensembles de point plutôt que les "objets" eux-mêmes. Voir [http://finitegeometry.org/sc/gen/patt.html groupes de motifs].
Comme ci-dessus, le groupe d'automorphismes de l'espace induit une [[Action de groupe (mathématiques)|action de groupe]] sur les objets qu'il contient.
Pour une figure géométrique donnée dans un espace géométrique donné, on considère la relation d'équivalence suivante : deux automorphismes de l'espace sont équivalents [[si et seulement si]] les deux images de la figure sont les mêmes (ici "les mêmes" ne signifie pas quelque chose comme par exemple "le même à une translation et une rotation près", mais signifie "exactement le même"). Alors, la classe d'équivalence de l'identité est le groupe de symétrie de la figure et chaque classe d'équivalence correspond à une version isomorphe de la figure.
Il existe une bijection entre chaque paire de classes d'équivalence : l'inverse du représentant de la première classe d'équivalence, composé d'un représentant de la deuxième.
Dans le cas d'un groupe d'automorphisme fini d'un espace entier, son ordre est l'ordre du groupe de symétrie de la figure multiplié par le nombre de versions isomorphes de la figure.
Exemples :
* Isométries du plan euclidien, la figure est un rectangle : il existe une infinité de classes d'équivalence; chacune contient 4 isométries.
* L'espace est un [[cube]] avec une métrique euclidienne ; les figures incluent les cubes de la même taille que l'espace, avec des couleurs ou des motifs sur les faces; les automorphismes de l'espace sont les 48 isométries ; la figure est un cube dont une face a une couleur différente ; la figure a un groupe de symétrie de 8 isométries, il existe 6 classes d'équivalence de 8 isométries, pour 6 versions isomorphes de la figure.
Comparer le [[Théorème de Lagrange (algèbre)|théorème de Lagrange]] et sa démonstration.
==Voir aussi==
*[[symétrie]]
*[[groupes de symétrie en une dimension]]
*[[groupe de permutation]]
*[[points fixés des groupes d'isométrie dans l'espace euclidien]]
*[[isométrie du plan euclidien]]
*[[action de groupe (mathématiques)|action de groupe]]
*[[groupe ponctuel de symétrie]]
*[[système cristallin]]
*[[groupe d'espace]]
==Liens externes==
*[http://newton.ex.ac.uk/research/qsystems/people/goss/symmetry/Solids.html Vue d'ensemble sur les 32 groupes de point cristallographiques] - forme les premières parties (indépendamment du saut ''n''=5) des 7 séries infinies et 5 des 7 groupes de points 3D séparés
{{Portail|géométrie|mathématiques}}
[[Catégorie:Théorie des groupes]]
[[Catégorie:Groupe]]
[[de:Symmetriegruppe]]
[[en:Symmetry group]]
[[eo:Geometria simetria grupo]]
[[eu:Simetria talde]]
[[he:חבורת סימטריות]]
[[pl:Grupa symetrii]]
[[pt:Grupo de simetria]]
[[zh:空間對稱群]]