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.
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étrique 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. 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 radiaire : la marguerite est un des exemple 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.