Une paire d'applications monotones entre posets (f : P → Q, g : Q → P) telles que pour tout p∈P et q∈Q, f(p) ≤_Q q si et seulement si p ≤_P g(q). Équivalente à dire que f est adjoint à gauche de g quand on voit les posets comme des catégories. Elle fournit une correspondance résiduelle liant approximation et opérateurs de fermeture.

Principe

Les connexions de Galois saisissent l'adjonction d'un point de vue d'ordre : une application donne la meilleure approximation inférieure/supérieure par rapport à l'autre, produisant des opérateurs de clôture et de type noyau et préservant des réunions ou intersections d'un côté.

Démonstration

L'image directe et l'image réciproque d'une fonction φ : X→Y induisent une connexion de Galois entre parties : pour A⊆X et B⊆Y, φ(A)⊆B ⇔ A⊆φ^{-1}(B). Ici f=image directe, g=image réciproque ; f préserve les unions (suprémums) et g préserve les intersections (infimums).

Mauvaise application

Qualifier toute paire d'applications monotones de connexion de Galois sans vérifier la condition d'équivalence adjoint ; confondre connexions de Galois et correspondances de Galois en théorie des corps (historiquement reliées mais techniquement distinctes).

Conséquence

Une connexion de Galois fournit des constructions systématiques d'opérateurs de clôture et d'intérieur (g∘f et f∘g), identifie des sous‑posets réfléchissants/corefléchissants et traduit des propriétés d'ordre (comme la complétude) en existence d'adjoints.

Inversion

Permuter f et g échange les rôles adjoints gauche/droite ; abandonner la monotonie ou la biconditionnelle détruit la connexion et les opérateurs de clôture induits.

Limite

Limitée aux préordres/posets et aux applications monotones ; ne fournit pas en soi les résultats de théorie de Galois en algèbre ou les correspondances d'automorphismes de corps sauf si une structure algébrique supplémentaire est présente.

Tension sémantique

Concepts proches : « adjonction » en catégories (même motif formel) et « correspondance de Galois » en algèbre (instance spécifique avec plus de structure). La tension vient des noms semblables à différents niveaux d'abstraction.

Synthèse

Une connexion de Galois est la forme d'ordre d'une adjonction : une paire d'applications monotones liée par une biconditionnelle qui engendre des opérateurs canoniques de clôture/intérieur et encode des relations d'approximation optimale dans des cadres ordonnés.