##  [Connexion de Galois](/fr/node/59351) 

 Définition

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

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

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

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

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

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

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

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

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.