Ein Paar monotoner Abbildungen zwischen Posets (f : P → Q, g : Q → P) sodass für alle p∈P und q∈Q gilt: f(p) ≤_Q q genau dann, wenn p ≤_P g(q). Äquivalent dazu, dass f linksadjungiert zu g ist, wenn Posets als Kategorien betrachtet werden. Sie liefert eine residuelle Korrespondenz, die Approximation und Abschlussoperatoren verknüpft.

Prinzip

Galois‑Verbindungen erfassen adjungierte Beziehungen in ordnungstheoretischer Form: eine Abbildung gibt die beste untere/obere Approximation bezüglich der anderen und erzeugt Abschluss‑ und Kern‑ähnliche Operatoren sowie Erhalt von Supremums bzw. Infimums auf einer Seite.

Demonstration

Bild und Urbild einer Funktion φ : X→Y induzieren eine Galois‑Verbindung zwischen Potenzmengen: für A⊆X und B⊆Y gilt φ(A)⊆B ⇔ A⊆φ^{-1}(B). Hier ist f=Bild, g=Urbild; f erhält Vereinigungen (Suprema), g erhält Schnitte (Infima).

Fehlanwendung

Jedes Paar monotoner Abbildungen ohne Prüfung der Adjunkt‑Äquivalenz als Galois‑Verbindung zu bezeichnen; Galois‑Verbindungen mit Galois‑Korrespondenzen der Körpertheorie zu verwechseln (historisch verwandt, formal aber verschieden).

Konsequenz

Eine Galois‑Verbindung liefert systematische Konstruktionen von Abschluss‑ und Inneren‑Operatoren (g∘f und f∘g), identifiziert reflektive/korflektive Teilposets und übersetzt Ordnungs‑Eigenschaften (z. B. Vollständigkeit) in Existenz von Adjunkten.

Umkehrung

Vertauscht man f und g, vertauschen sich die linken/rechten Adjunkt‑Rollen; verliert man Monotonie oder die Bikonditionalität, bricht die Verbindung und die induzierten Abschlussoperatoren zusammen.

Abgrenzung

Beschränkt auf Präordnungen/Posets und monotone Abbildungen; liefert für sich keine gruppentheoretischen Galois‑Ergebnisse oder Körperautomorphismen‑Korrelationen, es sei denn, zusätzlich algebraische Struktur liegt vor.

Semantische Spannung

Nahe Begriffe: »Adjunktion« in Kategorien (gleiche formale Struktur) und »Galois‑Korrespondenz« in der Algebra (spezifischere Instanz). Die Spannung entsteht durch ähnliche Benennungen auf unterschiedlichen Abstraktionsebenen.

Synthese

Eine Galois‑Verbindung ist die ordnungstheoretische Form einer Adjunktion: ein monotones Paar von Abbildungen, verbunden durch eine Bikonditionalität, das kanonische Abschluss‑/Innenoperatoren erzeugt und optimale Approximationen in geordneten Kontexten beschreibt.