Précis d'épistémologie/Les symétries
Les structures en tant que propriétés.
Lorsqu'on parle de ressemblance entre deux individus, on entend qu'une partie des propriétés qui sont attribuées à l'un peut être attribuée à l'autre. Lorsqu'on parle de ressemblance entre deux systèmes, l'expression 'ce qui est vrai de l'un est également vrai de l'autre' peut recevoir une signification plus subtile. On entend qu'il existe une projection f qui permet de remplacer les individus x du premier système par des individus f(x) du second système, de telle façon que des énoncés vrais sur le premier système soient remplacés par des énoncés vrais sur le second système. Une telle projection est appelée en mathématiques un morphisme, ou un isomorphisme si elle est bijective, pour dire que les deux systèmes ont la même forme, ou la même structure.
L'usage courant du concept de structure est ambigu. La structure désigne tantôt l'objet, le système, tantôt sa propriété. Les structures ont une structure. Du point de vue logique, une structure en tant qu'objet est un monde logiquement possible ou une partie d'un tel monde. Une structure en tant que propriété peut être définie à partir de la relation d'équivalence x a la même structure que y. Cette relation d'équivalence peut être définie avec le concept d'isomorphisme :
Deux structures (ou deux systèmes) ont la même structure si et seulement si elles sont isomorphes.
Un isomorphisme entre deux structures E et F est une fonction bijective f qui remplace les individus de E par des individus de F de telle façon que toutes les propriétés et les relations fondamentales soient conservées. Formellement :
Si P est une propriété fondamentale, pour tout x dans E, x a la propriété P si et seulement si f(x) a la propriété P.
Si R est une relation binaire fondamentale, pour tout x et tout y dans E, xRy si et seulement si f(x)Rf(y)
Il en va de même pour les relations fondamentales entre davantage de termes.
Un isomorphisme f entre deux structures permet de transformer tous les énoncés vrais à propos de l'une en énoncés vrais à propos de l'autre. Il suffit de remplacer partout x par f(x). Lorsque deux structures sont isomorphes, elles sont des modèles des mêmes théories. Tout système d'axiomes vrai de l'une est nécessairement vrai de l'autre.
Un être naturel complexe est une structure naturelle, définie avec des propriétés et des relations naturelles. Deux êtres naturels complexes isomorphes sont essentiellement semblables, naturellement indiscernables. Ils ont les mêmes propriétés naturelles. Tout ce qui est naturellement possible avec l'un est naturellement possible avec l'autre. La nature d'un être naturel complexe est sa structure. Deux êtres naturels complexes isomorphes ont la même nature.
Le concept d'isomorphisme est souvent défini d'une façon plus générale. On permet à la fonction bijective f de remplacer non seulement les individus mais également les propriétés et les relations, toujours de telle façon que les énoncés vrais sur un système soient remplacés par des énoncés vrais sur un autre système. Lorsque la ressemblance entre des systèmes est définie de cette façon, on dit couramment que les systèmes semblables sont analogues et que la projection f est une analogie. Un isomorphisme peut être défini comme une analogie bijective.
On peut aussi définir le concept de structure d'une façon plus générale :
Deux structures ont la même structure si et seulement si elles sont des modèles de la même théorie.
Avec cette seconde définition, une structure en tant que propriété est déterminée par les axiomes d'une théorie. Plus précisément, des systèmes d'axiomes différents définissent la même structure lorsqu'ils ont les mêmes modèles, lorsque tout modèle de l'un est un modèle de l'autre.
Une théorie est catégorique lorsque tous ses modèles sont isomorphes. Les structures fondamentales des mathématiques, l'ensemble des nombres naturels et celui des nombres réels en particulier, sont déterminées avec des théories catégoriques. Une théorie catégorique interdit toute contingence. Il y a essentiellement un seul monde logiquement possible qui obéit à ses principes. Les lois de la Nature ne déterminent pas une théorie catégorique de la Nature. Elles laissent de la place pour la contingence.
Lorsqu'une théorie n'est pas catégorique, des structures ou des systèmes différents, non-isomorphes, peuvent avoir la même structure, telle qu'elle est définie par la théorie. Par exemple, on peut dire de tous les espaces vectoriels qu'ils ont une structure d'espace vectoriel.
Les structures symétriques.
Un automorphisme d'une structure E est un isomorphisme interne, un isomorphisme de E dans E.
Toute structure a un automorphisme trivial, la fonction-identité définie par id(x)=x.
Une structure est symétrique lorsqu'elle a au moins un automorphisme non-trivial.
Un automorphisme non-trivial est une symétrie d'une structure.
Les automorphismes d'une structure forment un groupe, au sens algébrique, parce que l'inverse d'un automorphisme est un automorphisme et parce que la composée de deux automorphismes est également un automorphisme.
Le groupe de tous les automorphismes d'une structure est aussi appelé le groupe de ses symétries. Par exemple, le groupe des symétries d'un cercle, ou d'un disque, est le groupe des rotations autour de leur centre et des réflexions par rapport à un diamètre.
Lorsqu'il existe un automorphisme g tel que y=g(x), x et y sont essentiellement indiscernables à l'intérieur de la structure, au sens où toute vérité sur l'un peut être transformée en une vérité équivalente sur l'autre.
La classe d'équivalence, ou l'orbite, d'un élément x d'une structure symétrique est l'ensemble des y tels que y=g(x) où g est un automorphisme de la structure.
Une classe d'équivalence est un ensemble d'éléments essentiellement indiscernables à l'intérieur de la structure. Par exemple, tous les points d'un cercle sont dans la même classe d'équivalence parce que rien ne permet de les distinguer sur le cercle. Tous les points d'un disque à la même distance du centre sont aussi dans une même classe d'équivalence, mais des cercles concentriques différents y sont des classes d'équivalence différentes, parce que les points sont distingués par leur distance au centre.
Une structure est symétrique lorsqu'elle contient des éléments distincts mais essentiellement indiscernables, parce que leurs propriétés et leurs relations à l'intérieur de la structure déterminent des places distinctes mais équivalentes.
Une structure naturelle est parfaitement symétrique lorsqu'elle contient des éléments naturellement indiscernables tels que leurs relations à l'intérieur de la structure leur attribuent des places équivalentes. 
Une structure naturelle est imparfaitement symétrique lorsqu'elle contient des éléments naturellement très semblables tels que leurs relations à l'intérieur de la structure leur attribuent des places équivalentes ou presque équivalentes.
Lorsqu'une structure contient de nombreux constituants, plus elle est symétrique, plus elle est facile à connaître, parce qu'on connaît toutes les parties symétriques dès qu'on en connaît une.
Le principe d'équivalence de tous les observateurs.
Pour développer la science empirique, il faut postuler que tous les expérimentateurs sont équivalents, au sens où toute expérience faite par l'un doit pouvoir être refaite par un autre. Les expériences doivent être reproductibles. Si une expérience ne l'est pas, alors elle n'est pas bien contrôlée. Pour que les expériences soient reproductibles, il faut en particulier que leurs résultats ne dépendent pas du lieu ou du moment. Les conditions expérimentales doivent pouvoir être reproduites toujours et partout et conduire toujours au même résultat. En postulant le principe d'équivalence des observateurs, on postule donc du même coup que les lois de la physique sont vraies toujours et partout. Cela conduit à définir le groupe des symétries de l'espace-temps. Tous les points de l'espace-temps sont nécessairement semblables, ils sont tous dans la même classe d'équivalence. Quand on en connaît un, on les connaît tous. Il en va de même pour toutes les directions de l'espace et plus généralement pour tous les référentiels d'observation. Il n'y a pas de centre de l'espace-temps, pas de direction spatiale privilégiée (isotropie, pas de haut et de bas), et pas non plus d'état de repos absolu (principe de relativité de Galilée-Einstein). Comme les chevaliers de la Table Ronde, mais dans un espace beaucoup plus grand, les observateurs de l'espace-temps n'ont jamais de position privilégiée. Le groupe des symétries de l'espace-temps (le groupe de Poincaré) est une traduction mathématique du principe d'équivalence de tous les observateurs, de même que le groupe des symétries d'une table ronde est une traduction mathématique du principe d'équivalence de tous les chevaliers.
Le principe d'équivalence de tous les observateurs est au fondement non seulement de la physique théorique, mais aussi de toutes les sciences, parce que la raison exige que le savoir soit universel, que tout ce qui est un savoir pour l'un puisse également être un savoir pour tous les autres.