Zum Inhalt springen

Galoisverbindung

aus Wikipedia, der freien Enzyklopädie

Als Galoisverbindung bezeichnet man die mathematische Beschreibung einer Wechselbeziehung zwischen zwei Gesamtheiten (Mengen). Dabei wird jedem Element der einen Menge ein Element der anderen zugeordnet und umgekehrt, wobei noch bestimmte Regeln einzuhalten sind. Es wird angenommen, dass die beiden Gesamtheiten (partiell) geordnet sind. Die Regeln sollen dann sicherstellen, dass die Wechselbeziehung mit diesen Ordnungen verträglich ist.

Ein außermathematisches Beispiel einer solchen Wechselbeziehung wird durch das sogenannte Reziprozitätsgesetz der philosophischen Begriffslehre beschrieben: „Inhalt und Umfang eines Begriffs stehen gegen einander in umgekehrtem Verhältnis. Je mehr nämlich ein Begriff unter sich enthält, desto weniger enthält er in sich, und umgekehrt.“<ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Gottlob Benjamin Jäsche|Gottlob Benjamin Jäsche: }}{{#if:|{{#if:Immanuel Kants Logik|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Immanuel Kants Logik}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Immanuel Kants Logik}}}}|[{{#invoke:URLutil|getNormalized|1=https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Immanuel Kants Logik}}}}]}}{{#if:| ({{{format}}}{{#if:2015-12-30{{#if: 2019-04-13 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}} 

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html}}%7C%7C}}}}{{#if:Immanuel Kants Logik|{{#if:{{#invoke:WLink|isValidLinktext|1=Immanuel Kants Logik|lines=0}}||}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: | {{{hrsg}}}{{#if: 2015-12-30|,|{{#if: 2019-04-13 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 2015-12-30| {{#if:{{#invoke:DateTime|format|2015-12-30|noerror=1}}
            |{{#invoke:DateTime|format|2015-12-30|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2015-12-30|class=Zitationswartung}} }}{{#if: |,|{{#if: 2019-04-13 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2019-04-13 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:2015-12-30|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:285314||(?)}}}}}}{{#if: 2019-04-13|;}}}}{{#if: 2019-04-13| {{#if:2015-12-30{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2019-04-13 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2019-04-13|class=Zitationswartung}} }} {{#invoke:DateTime|format|2019-04-13|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:2015-12-30{{#if: 2019-04-13 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2015-12-30{{#if: 2019-04-13 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if: 

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}} 

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch: 

   |0|=Vorlage:Toter Link/Core{{#if: https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html
      | {{#if:{{#invoke:URLutil|isWebURL|https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html
       | {{#if:{{#invoke:URLutil|isWebURL|https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html
      | {{#if:{{#invoke:URLutil|isWebURL|https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html
       | {{#if:{{#invoke:URLutil|isWebURL|https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://www.gleichsatz.de/b-u-t/begin/kdrv/jaesche-kantlog1.html }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>

Benannt sind die Galoisverbindungen nach dem französischen Mathematiker Évariste Galois. Man unterscheidet monotone und antitone Galoisverbindungen. Das erwähnte Beispiel der Beziehung zwischen Begriffsumfang und Begriffsinhalt entspricht dem antitonen Fall (je mehr von dem einen, desto weniger vom anderen). Ohne Angabe von „monoton“ oder „antiton“ sind in diesem Artikel antitone Galoisverbindungen gemeint.

Definitionen

Antitone Galoisverbindung

Eine antitone Galoisverbindung zwischen zwei partiell geordneten Mengen <math>(S, \leq)</math> und <math>(T, \leq)</math> ist ein Paar <math>(\sigma, \tau)</math> von Abbildungen <math>\sigma \colon S \to T</math> und <math>\tau \colon T \to S</math>, wobei <math>\sigma</math> und <math>\tau</math> antitone Abbildungen sind und ihre Kompositionen <math>\sigma \circ \tau</math> und <math>\tau \circ \sigma</math> extensiv sind. Das bedeutet, es müssen die folgenden Eigenschaften erfüllt sein:

  1. <math>\forall s_1 , s_2 \in S \colon [s_1 \leq s_2 \Rightarrow \sigma(s_2) \leq \sigma(s_1)]</math>
  2. <math>\forall t_1 , t_2 \in T \colon [t_1 \leq t_2 \Rightarrow \tau(t_2) \leq \tau(t_1)]</math>
  3. <math>\forall s \in S \colon s \leq \tau(\sigma(s))</math>
  4. <math>\forall t \in T \colon t \leq \sigma(\tau(t))</math>

Äquivalent ist es zu fordern, dass

<math>\forall s \in S\ \forall t \in T \colon [s \leq \tau(t) \iff t \leq \sigma(s)]</math>

erfüllt ist.

Monotone Galoisverbindung

Eine monotone Galoisverbindung zwischen zwei partiell geordneten Mengen <math>(S, \leq)</math> und <math>(T, \leq)</math> ist ein Paar <math>(f, g)</math> von Abbildungen <math>f\colon S \to T</math> und <math>g\colon T \to S</math>, wobei <math>f</math> und <math>g</math> monotone Abbildungen sind, <math>g \circ f</math> extensiv ist und <math>f \circ g</math> intensiv. Das bedeutet, es müssen die folgenden Eigenschaften erfüllt sein:

  1. <math>\forall s_1, s_2 \in S \colon [s_1 \leq s_2 \Rightarrow f(s_1) \leq f(s_2)]</math>
  2. <math>\forall t_1, t_2 \in T \colon [t_1 \leq t_2 \Rightarrow g(t_1) \leq g(t_2)]</math>
  3. <math>\forall s\in S \colon s \leq g(f(s))</math>
  4. <math>\forall t\in T \colon f(g(t)) \leq t</math>

Äquivalent ist es zu fordern, dass

<math>\forall s \in S \forall t \in T \colon [s \leq g(t) \iff f(s) \leq t]</math>

erfüllt ist.

Eine monotone Galoisverbindung <math>(f,g)</math> ist gerade der Spezialfall einer kategorientheoretischen Adjunktion <math>f\dashv g</math>, wo es sich bei den Kategorien um partiell geordnete Mengen handelt.

Eigenschaften

Eine antitone Galoisverbindung <math>(\sigma, \tau)</math> zwischen <math>S</math> und <math>T</math> besitzt die folgenden Eigenschaften:

  • Symmetrie: <math>(\tau,\sigma)</math> ist eine Galoisverbindung zwischen <math>T</math> und <math>S</math>.
  • <math>\tau \circ \sigma \circ \tau = \tau</math>, per Symmetrie ebenso <math>\sigma \circ \tau \circ \sigma = \sigma</math>.
  • <math>\tau \circ \sigma</math> ist ein Hüllenoperator auf <math>S</math>, und damit ist <math>\sigma \circ \tau </math> ein Hüllenoperator auf <math>T</math> .
  • Eindeutigkeit: Ist <math>(\sigma, \tau')</math> eine weitere Galoisverbindung zwischen <math>S</math> und <math>T</math>, so ist <math>\tau = \tau'</math>. Ist <math>(\sigma', \tau)</math> eine weitere Galoisverbindung zwischen <math>S</math> und <math>T</math>, so ist <math>\sigma = \sigma'</math>

Eine monotone Galoisverbindung <math>(f, g)</math> zwischen <math>S</math> und <math>T</math> besitzt die folgenden Eigenschaften:

  • <math>f \circ g \circ f = f</math> und <math>g \circ f \circ g=g</math>.
  • <math>g \circ f</math> ist ein Hüllenoperator auf <math>S</math> und <math>f \circ g</math> ein Kernoperator auf <math>T</math>.
  • Ist <math>(f,g')</math> eine weitere monotone Galoisverbindung zwischen <math>S</math> und <math>T</math>, so ist <math>g = g'</math>. Ist <math>(f', g)</math> eine weitere monotone Galoisverbindung zwischen <math>S</math> und <math>T</math>, so ist <math>f = f'</math>.

Anwendung

Theorie und Anwendung solcher Galoisverbindungen sind z. B. Gegenstand der Formalen Begriffsanalyse<ref>{{#invoke:Vorlage:Literatur|f}}</ref> (FBA). In der FBA bilden Gegenstände die eine Menge, die potentiellen Eigenschaften (Merkmale) die dazugehörige andere Menge.

Dabei sind <math>S</math> und <math>T</math> Potenzmengen, etwa <math>S=\mathcal{P}(A)</math> und <math>T=\mathcal{P}(B)</math>. Diese sind durch Inklusion halbgeordnet. Unter einer Galoisverbindung zwischen den Mengen <math>A</math> und <math>B</math> versteht man dann eine Galoisverbindung zwischen <math>S</math> und <math>T</math>. Solche können mit Hilfe von Relationen gewonnen werden: Sei <math>R \subseteq A \times B</math> eine Relation zwischen <math>A</math> und <math>B</math>. Die Abbildungen

<math>\sigma(X) := \{ y \in B ~|~ \forall x \in X: (x,y) \in R \} </math>,

<math>\tau(Y) := \{ x \in A ~|~ \forall y \in Y: (x,y) \in R \} </math>

stellen dann eine Galoisverbindung zwischen <math>S</math> und <math>T</math> her.

Beispiele

  • Sind die partiellen Ordnungen auf <math>S</math> und <math>T</math> gerade die Gleichheit, ist eine Galois-Verbindung (gleichgültig, ob monoton oder antiton) zwischen <math>S</math> und <math>T</math> ein Paar zueinander inverser Funktionen.
  • Die Einbettung der ganzen Zahlen in die reellen Zahlen <math>i\colon \Z \to \R, z \mapsto z</math> bildet mit der Abrundungsfunktion <math>\lfloor\cdot\rfloor \colon \R \to \Z</math> eine monotone Galoisverbindung, <math>i \dashv \lfloor\cdot\rfloor</math>, zwischen <math>\Z</math> und <math>\R</math> mit ihren gewöhnlichen Ordnungen.
  • Für jede natürliche Zahl <math>d\neq 0</math> bilden die ganzzahlige Division durch <math>d</math>, d. h. <math>\lfloor \mathord{\cdot} / d\rfloor\colon \mathbb{N}\to\mathbb{N}</math>, und die Multiplikation mit <math>d</math>, d. h. <math>\mathord{\cdot} \times d\colon \mathbb{N}\to\mathbb{N}</math>, eine monotone Galoisverbindung zwischen <math>(\mathbb{N}, \leq)</math> und <math>(\mathbb{N}, \leq)</math>, <math>(\mathord{\cdot} \times d) \dashv \lfloor \mathord{\cdot}/d\rfloor</math>.
  • Zwischen einem Körper <math>L</math> mit Unterkörper <math>K</math> und der Galoisgruppe von <math>G = Gal(L / K)</math> besteht die folgende Relation <math>R</math>:
<math> (\phi, x) \in R \Leftrightarrow \phi x = x.</math>
Daraus kann eine Galoisverbindung zwischen <math>L</math> und <math>G</math> definiert werden. Diese wird im Hauptsatz der Galoistheorie untersucht. Dieses Beispiel erklärt die Bezeichnung Galoisverbindung.
  • Betrachten wir einen Vektorraum <math>V</math> und einen zweiten Vektorraum <math>F</math> bestehend aus linearen Funktionalen von <math>V</math>, d. h. einen Unterraum des Dualraumes <math>V^*</math>. Wir definieren die Relation <math>R</math> auf <math>V \times F</math> durch
<math> (v,f) \in R  :\Leftrightarrow f(v)=0</math>.
Diese Relation definiert eine Galois-Verbindung zwischen <math>V</math> und <math>F</math>, aber auch zwischen deren Unterräumen. Man schreibt dann <math>\perp</math> anstatt <math>\sigma</math> sowie <math>\top</math> anstatt <math>\tau</math>, und es gelten
<math>U^\perp = \{f \in V^* ~|~ U \subseteq \operatorname{Kern}(f)\}</math>,
<math>U^\top = \bigcap\limits_{f \in U} \operatorname{Kern}(f)</math>.
  • Dies gilt insbesondere für einen endlichdimensionalen Links-Vektorraum <math>V</math> über einem Schiefkörper <math>K</math> und seinen (ebenfalls endlichdimensionalen) rechtsseitigen Dualraum <math>V^* = F</math>. Die zugrunde liegende Paarung ist <math>V \times V^* \to K, \langle v, \lambda\rangle = \lambda(v)</math> mit der Relation <math>v\bot \lambda :\Leftrightarrow \langle v, \lambda \rangle = 0</math> . Dabei ist der Bidualraum <math>V^{**}</math> wiederum ein Links-Vektorraum und vermöge der Paarung kanonisch isomorph zu <math>V</math>.
  • Ist <math>G</math> eine endliche abelsche Gruppe und <math>\widehat{G} := \operatorname{Hom}(G, S^1)</math> ihre (ebenfalls endliche abelsche) Dualgruppe, das heißt die Gruppe aller Charaktere <math>G \to S^1</math> von <math>G</math> in die Einheitssphäre <math>S^1 := \{z \in \C \colon |z| = 1 \}</math>, so liefert die Paarung <math>\langle g, \chi\rangle := \chi(g)</math> mit der Relation <math>g \bot \chi :\Leftrightarrow \langle g, \chi \rangle = 1</math> eine Galoisverbindung auf den Untergruppenverbänden beider Gruppen <math>G</math> und <math>\widehat{G}</math>. – Dabei ist die Bidualgruppe <math>\widehat{\widehat{G}}</math> zur Gruppe <math>G</math> vermöge der Paarung kanonisch isomorph.
  • Diese Theorie lässt sich zur Dualitätstheorie lokalkompakter abelscher Gruppen (Pontrjagin-Dualität) verallgemeinern. Dabei stehen sich das Begriffspaar „kompakt“ und „diskret“ als duale Begriffe gegenüber, weshalb die Dualitätstheorie endlicher Gruppen besonders einfach ausfällt.
  • In der algebraischen Geometrie besteht eine Galois-Verbindung <math>(\mathcal{I},\mathcal{V})</math> z. B. zwischen den affinen algebraischen Mengen in <math>k^n</math> und den Idealen im Polynomring <math>k[X_1,X_2, \dots, X_n]</math>, wobei <math>k</math> einen algebraisch abgeschlossenen Körper bezeichnet. Dabei ordnet <math>\mathcal{I}</math> jeder algebraischen Menge das Ideal aller Polynome zu, die auf dieser Menge verschwinden, und <math>\mathcal{V}</math> ordnet jedem Ideal diejenige algebraische Menge zu, die gemeinsame Nullstellenmenge aller Polynome in diesem Ideal ist; formal:
<math>\mathcal{I}(A) := \left\{ f \in k[X_1,X_2, \dots, X_n] \,~|~\, f(A) = 0 \right\}</math>,
<math>\mathcal{V}(I) := \left\{ x \in k^n \,~|~\, \forall f \in I \colon f(x) = 0 \right\}</math>.
  • In der universellen Algebra, genauer in der Gleichungstheorie, existiert eine Galoisverbindung <math>(M,G_X)</math> zwischen den Gleichungssystemen und den Klassen von Algebren. Dabei seien Algebren und Terme von einem festen Typ. Die Galoisverbindung wird als die Galoisverbindung der Gleichungstheorie bezeichnet und weicht von der ursprünglichen Definition dahingehend ab, dass nicht bloß auf Mengen, sondern auf Klassen operiert wird. Es sei <math>\Sigma \subseteq T(X) \times T(X) </math> ein Gleichungssystem über der Variablenmenge <math>X</math> und <math>\mathcal{K}</math> eine Klasse von Algebren:
<math>M(\Sigma) := \left\{ A ~|~ \forall (s, t) \in \Sigma \colon A \models s \approx t\right\} </math>, die Klasse aller Modelle von <math>\Sigma</math>,
<math>G_X(\mathcal{K}) := \left\{ (s,t) \in T(X) \times T(X) ~|~ \forall A \in \mathcal{K} \colon A \models s \approx t\right\}</math>, die Menge aller in allen Algebren von <math>\mathcal{K}</math> gültigen Gleichungen über <math>X</math>.
  • In <math>\R</math> mit der Standardordnung gilt
<math>a+b \geq c \Longleftrightarrow a \geq c-b</math>.
Das heißt, <math>x\mapsto x+b</math> und <math>x\mapsto x-b</math> bilden eine monotone Galoisverbindung. Man kann diese Eigenschaft auch als Definition der Subtraktion einer Zahl relativ zur Addition derselben Zahl auffassen. Im Gegensatz zur Definition der Subtraktion als Addition des additiven Inversen ist sie auch in Situationen brauchbar, wo es keine negativen Zahlen gibt.
  • Für jede Abbildung <math>f \colon A \to B</math> gibt es die Urbildabbildung <math>f^{-1} \colon \mathcal P(B) \to \mathcal P(A)</math>. Bezüglich der Teilmengenrelation hat letztere Links- und Rechtsadjungierte <math>\exists_f, \forall_f \colon \mathcal P(A) \to \mathcal P(B)</math>, mit <math>\exists_f \dashv f^{-1} \dashv \forall_f</math>, definiert durch
<math>\exists_f(X) := \{ b \in B \mid \exists a \in A \colon f(a)=b \land a \in X\}</math> und
<math>\forall_f(X) := \{ b \in B \mid \forall a \in A \colon f(a)=b \Rightarrow a \in X\}</math>.
<math>\exists_f</math> ist als Bildung des Bilds unter <math>f</math> bekannt.

Einzelnachweise

<references />

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Galoisverbindung&oldid=285314“