Une règle méthodologique affirmant que de nombreuses assertions algébriques, d'ordre ou logiques admettent des assertions duales correspondantes obtenues en échangeant systématiquement des opérations et relations appariées (par exemple joindre et rencontrer, ou ≤ et ≥) et en inversant l'ordre lorsque c'est pertinent.

Principe

Si une formule ou un théorème est exprimé dans un langage muni d'une correspondance de dualité entre primitives, remplacer chaque primitive par sa duale et inverser les inégalités ou l'ordre produit une assertion duale valide sous les mêmes axiomes lorsque la structure admet la dualité.

Démonstration

En théorie des treillis, le dual de la loi distributive x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z) est x ∨ (y ∧ z) = (x ∨ y) ∧ (x ∨ z) ; en théorie des catégories, dualiser une assertion sur les limites donne une assertion valable sur les colimites en inversant les flèches.

Mauvaise application

Supposer que la dualité tient dans un contexte dépourvu de symétrie (par exemple dualiser un théorème reposant sur des axiomes asymétriques), ou oublier d'inverser les relations d'ordre lorsque nécessaire ; traiter la dualité comme une inversion numérique plutôt que comme un échange structurel.

Conséquence

La dualité réduit la charge de preuve en permettant d'obtenir une seconde famille de résultats à partir d'un ensemble établi ; elle met en évidence des motifs symétriques dans les théories et révèle souvent des constructions ou contre-exemples autrement cachés.

Inversion

La position inverse consisterait à considérer les énoncés comme uniques et sans rapports, refusant de chercher des homologues duaux ; cela fait manquer des symétries, double le travail et obscurcit des phénomènes parallèles que la dualité mettrait en lumière.

Limite

S'applique lorsqu'il existe une correspondance de dualité bien définie (algèbres de Boole, treillis, nombreux contextes catégoriques) ; ne s'applique pas lorsque les opérations ou relations n'ont pas de contrepartie naturelle ou quand les axiomes brisent la symétrie.

Tension sémantique

Tension entre l'usage pratique de la dualité comme stratégie de preuve et le sens interprétatif du résultat dual (un résultat formellement dual peut avoir un contenu intuitif ou des applications très différents dans le domaine d'origine).

Synthèse

Le Principe de Dualité formalise l'idée que la symétrie structurelle permet de produire des assertions homologues valides en permutant opérations et relations appariées et en inversant l'ordre ; il exploite la symétrie pour étendre et organiser le savoir mathématique.