Une relation qui associe à chaque objet (et morphisme) d'un contexte mathématique un objet dual (et morphisme dual) dans un autre ou le même contexte, renversant typiquement le sens des flèches ou l'ordre et produisant une équivalence contravariante involutive ou une correspondance. La dualité échange souvent limites et colimites, sous‑structures et quotients, ou descriptions algébriques et géométriques.

Principe

La dualité signifie que la structure mathématique se lit de deux façons complémentaires : un foncteur contravariant ou une correspondance convertit les constructions en constructions duales, révélant des motifs symétriques et traduisant des problèmes en problèmes duals parfois plus simples.

Démonstration

Dualité des espaces vectoriels : pour un espace vectoriel de dimension finie V sur un corps k le dual V* = Hom_k(V,k) associe aux applications linéaires f : V→W la transposée f* : W*→V*. Dualité de Stone : les algèbres de Boole correspondent contravariamment aux espaces topologiques de Stone, échangeant opérations algébriques et constructions topologiques.

Mauvaise application

Prétendre une dualité sans vérifier les hypothèses (par ex. affirmer V ≅ V** pour V de dimension infinie sans préciser dual topologique) ou confondre équivalences contravariantes avec de simples inversions formelles qui ne préservent pas la structure requise.

Conséquence

Les dualités offrent des traductions puissantes : preuves, invariants et constructions se transportent entre contextes ; elles montrent quand des théories apparemment différentes sont deux faces d'un même système formel et conduisent souvent à des résultats de classification.

Inversion

Inverser une dualité rétablit l'orientation initiale ; ne pas inverser les flèches donne une identification covariante, pas une dualité. Certaines dualités sont involutives (double dual ≅ original), d'autres sont des correspondances unilatérales.

Limite

La dualité exige une correspondance ou foncteur contravariant spécifié avec domaine/codomaine ; elle peut requérir des hypothèses de finitude, de structure topologique ou de complétude et ne tient pas automatiquement dans tous les cadres.

Tension sémantique

Sens proches : « catégorie opposée » (renversement formel des flèches) vs « dualité » (souvent équivalence ou correspondance profonde). La tension réside entre inversion syntaxique formelle et équivalence substantielle du contenu mathématique.

Synthèse

La dualité est une correspondance contravariante qui met en paire objets et morphismes entre contextes, renversant la structure pour révéler des formulations symétriques des problèmes et permettre la traduction de constructions et résultats entre cadres duaux.