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

 Définition

Une paire d'applications monotones (préservant l'ordre) entre posets, L: P→Q et R: Q→P, telles que pour tout p∈P et q∈Q, L(p) ≤ q si et seulement si p ≤ R(q) ; cela crée une correspondance inversant les inclusions et analogue à une clôture reliant les deux ordres.

 

 

 

 

 

 





## Principe

Principe

L'idée organisatrice est l'adjonction au sens des ordres : une application est adjoint à gauche de l'autre, encodant une meilleure approximation ou traduction optimale de bornes entre ordres et induisant des opérateurs de clôture et de noyau.

 

 

 

 

 





## Démonstration

Démonstration

Considérer les ensembles de parties P(X) et P(Y) munis de l'ordre par inclusion et une relation R ⊆ X×Y : poser L(A)={y | ∀x∈A, (x,y)∈R} et R(B)={x | ∀y∈B, (x,y)∈R} ; ces applications forment une connexion de Galois entre P(X) et P(Y), produisant des opérateurs de clôture comme l'application double.

 

 

 

 

## Mauvaise application

Mauvaise application

Supposer que toute paire d'applications monotones est une connexion de Galois : sans la propriété d'adjonction bi-conditionnelle, les applications ne génèrent pas de clôtures ni de correspondances de points fixes et peuvent ne pas refléter fidèlement les bornes.

 

 

 

 

 





## Conséquence

Conséquence

Lorsqu'elle existe, une connexion de Galois engendre des opérateurs de clôture, des treillis de points fixes et des correspondances systématiques entre sous-objets (par exemple, sous-groupes vs sous-corps), permettant de classifier par invariants et de transférer des structures par adjoints.

 

 

 

 

## Inversion

Inversion

Renverser la connexion échange adjoints gauche et droit et inverse le sens des inclusions ; la paire renversée est de nouveau une connexion de Galois qui lit la relation d'approximation depuis l'autre côté.

 

 

 

 

 





## Limite

Limite

Les connexions de Galois requièrent des posets et des applications monotones ; elles excluent les contextes dépourvus de structure d'ordre ou où les applications ne sont pas monotones, et n'impliquent pas automatiquement d'adjonction catégorique lorsque l'enrichissement dépasse les ordres.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Les connexions de Galois sont proches des adjonctions et des opérateurs de clôture : la tension survient lorsqu'il faut décider s'il convient de privilégier la paire d'adjoints, la clôture dérivée ou la correspondance des éléments fermés comme objet principal d'étude.

 

 

 

 

 





## Synthèse

Synthèse

Une connexion de Galois est une adjonction d'ordre entre posets réalisée par une application monotone à gauche et une à droite satisfaisant une relation bi-conditionnelle de bornes, produisant des opérateurs de clôture et des correspondances précises entre éléments et leurs meilleures approximations.