查看“︁伽罗瓦连接”︁的源代码

{{No footnotes|time=2021-01-01T10:00:54+00:00}}
{{NoteTA
|G1 = Math
|1=zh-cn:數學對象;zh-tw:數學物件;
}}
在[[数学]]中，特别是在[[序理论]]中，'''伽罗瓦连接'''是在两个[[偏序集]]（"poset"）之间的特殊的对应。[[伽罗瓦]]连接一般化了[[伽罗瓦理论]]中在[[群|子群]]和[[域 (数学)|子域]]之间的对应。它们用于各种数学理论和编程理论中。

伽罗瓦连接要弱于在涉及到的两个偏序集之间的[[同构]]，但是所有的伽罗瓦连接都引发特定在两个子偏序集之间的同构。

== 定义 ==

假定(''A'', ≤)和(''B'', <=)是两个偏序集。在这些偏序集之间的'''伽罗瓦连接'''由两个[[单调函数|单调]]<ref>单调性可以从下面的条件得出。参见性质章节的讨论。明确出现在定义中是为了区别于可供选择的“反序”定义。你还可以定义伽罗瓦连接为满足如下松散条件的一对单调函数，对于所有A中x有x ≤ g(f (x))并且对于所有B中的y有f(g (y)) ≤ y。</ref>[[函数]]组成：''F'' : ''A'' → ''B''和''G'' : ''B'' → ''A'',使得对于所有的''A''中的''a''和''B''中的''b''，我们有
:''F''(''a'')<= ''b''当且仅当''a'' ≤ ''G''(''b'')。

在这种情况下，''F''叫做''G''的'''下伴随'''，而''G''叫做''F''的'''上伴随'''。如下面详细讨论的那样，伽罗瓦连接每个部分唯一确定另外一个映射。把形成伽罗瓦连接的两个函数看作同一个对象的两个规定，把一对相应的下伴随和上伴随分别指示为''f''<sup> ∗</sup>和''f''<sub> ∗</sub>是很方便的。注意在函数符号之上放置星号表示下伴随。使用这种表示重写上述定义，伽罗瓦连接是''f'' =(''f''<sup> ∗</sup>, ''f''<sub> ∗</sub>)，使得对于所有的''A''中的''a''和''B''中的''b''，我们有
:''f''<sup> ∗</sup>(''a'')<= ''b''当且仅当''a'' ≤ ''f''<sub> ∗</sub>(''b'')。

=== 可供选择的定义 ===

上述定义常用于很多今天的应用中，特别是在[[格 (数学)|格理论]]和[[域理论]]中。最初从伽罗瓦理论中引出的是一个稍微不同的概念。在这个可供选择的定义中，伽罗瓦连接是在两个偏序集合''A''和''B''之间的一对反序（就是说次序倒转）函数''F'' : ''A'' → ''B''和''G'' : ''B'' → ''A''，使得
:''b'' ≤ ''F''(''a'')  当且仅当''a'' ≤ ''G''(''b'')。

伽罗瓦连接的这两个概念都存在于文献中。在这里，术语'''（单调）伽罗瓦连接'''将总是称谓前者意义的伽罗瓦连接。在应用这个可供选择的定义，则使用术语'''反序伽罗瓦连接'''或'''次序倒转伽罗瓦连接'''。 

两个定义的蕴涵在事实上是非常类似的，因为在''A''和''B''之间的反序伽罗瓦连接就是在''A''和''B''的[[序对偶]]''B''<sup>op</sup>之间的单调伽罗瓦连接。在后面关于伽罗瓦连接的陈述都可以轻易的转换成关于反序伽罗瓦连接的称述。

但是要注意对于反序伽罗瓦连接，谈论下伴随和上伴随是没有意义的：情况是完全对称的。

==例子==
===伽罗瓦理论===
激发伽罗瓦连接的例子来自伽罗瓦理论：假设''L'' /''K''是[[域扩张]]。设''A''是''L''的包含''K''的所有子域的集合，并按包含<math>\subseteq</math>排序。如果''E''是这样一个子域，把保持''E''固定的''L''的域自同构的群写为Gal(''L'' /''E'')。设''B''是Gal(''L'' /''K'')的[[子群]]的集合，并按包含<math>\subseteq</math>排序。对于这样的一个子群''G''，定义Fix(''G'')为由被''G''的所有元素保持固定的所有的''L''元素组成的域。则映射''E'' <math>\mapsto</math> Gal(''L'' /''E'')和''G'' <math>\mapsto</math> Fix(''G'')形成了反序伽罗瓦连接。

===序理论===
====幂集====

给出序理论的一个例子，设''U''是某个[[集合 (数学)|集合]]，并设''A''和''B''是按[[子集|包含]]排序的''U''的[[幂集]]。选出''U''的一个固定子集''L''。则映射''F''和''G''，这里的''F''(''M'')是''L''和''M''的[[交集]]，而''G''(''N'')是''N''和[[差集]](''U'' \ ''L'')的[[并集]]，形成了一个单调伽罗瓦连接，带有''F''是下伴随。在任何[[Heyting代数]]中能找到其下伴随由[[交运算|交]]（[[下确界]]）运算给出的类似的伽罗瓦连接。特别是，它存在于任何[[布尔代数]]中，这里的两个映射可以描述为''F''(''x'') =(''a'' <math>\wedge</math> ''x'')和''G''(''y'') =(''y'' <math>\vee</math> <math>\neg</math> ''a'') =(''a'' <math>\Rightarrow</math> ''y'')。用逻辑术语说：“蕴涵是合取的上伴随”。

====格====

更有趣的伽罗瓦连接例子是在[[完备性 (序理论)|完备性性质]]文章中描述的伽罗瓦连接。它展示了平常的函数<math>\vee</math>和<math>\wedge</math>是在两个合适的伽罗瓦连接中的伴随。对于从一个元素集合中指出一个偏序下的最小元素和最大元素的映射同样如此。进一步的说，甚至[[完全格]]可以用存在合适的伴随作为其特征。这些思考给出了伽罗瓦连接在序理论中无处不在的印象。

====二元关系和零化子====

假设''X''和''Y''是任意集合并给出在''X''和''Y''之上的[[二元关系]]''R''。对于任何''X''的子集''M''，我们定义''F''(''M'') = { ''y''<math>\in </math>''Y'' : ''mRy''对于所有''m''<math>\in </math>''M''}。类似的，对于任何''Y''的子集''N''，我们定义''G''(''N'') = { ''x''<math>\in </math>''X'' : ''xRn''对于所有''n''<math>\in </math>''N''}。则''F''和''G''生成在''X''和''Y''的幂集之间的一个反序伽罗瓦连接，这两个集合都用集合包含<math>\subseteq</math>来排序。

在[[线性代数]]中的一个重要的特殊情况是[[零化子]]（annihilator），它包括了[[正交补]]作为特殊情况。

===像和逆像===
如果''f'' : ''X'' → ''Y''是个[[函数]]，则对于任何''X''的子集''M''我们可以形成''F''(''M'') = ''f''(''M'') = {''f''(''m'') : ''m''<math>\in </math>''M''}，和对于任何''Y''的子集''N''我们可以形成逆像''G''(''N'') = ''f''<sup> -1</sup>(''N'') = {''x''<math>\in </math>''X'' : ''f''(''x'')<math>\in </math>''N''}。则''F''和''G''形成了在''X''的幂集和''Y''的幂集之间的单调伽罗瓦连接，二者都用集合包含<math>\subseteq</math>来排序。在这种情况可有一个进一步的伴随对：对于''X''的一个子集''M''，定义''H''(''M'') = {''y''<math>\in </math>''Y'' : ''f''<sup> -1</sup>({''y''}) <math>\subseteq</math> ''M''}。则''G''和''H''形成了在''Y''的幂集和''X''的幂集之间的单调伽罗瓦连接。在第一个伽罗瓦连接中，''G''是上伴随，而在第二个伽罗瓦连接中它是下伴随。

在代数对象（比如群）之间的商映射的情况下，这种连接叫做[[格定理]]：''G''的子群连接到''G''/''N''的子群，并且在''G''的子群上闭包运算给出为<math>\bar H = HN</math>。

===扩张和闭包===
选取某个有底层集合的[[数学对象]]''X''，比如[[群]]、环、[[向量空间]]等。对于任何''X''的子集''S''，设''F''(''S'')是''X''的包含''S''的最小子对象，就是说''S''所生成的[[子群]]、[[子环]]或[[子空间]]。对于任何''X''的子对象''U''，设''G''(''U'')是''U''的底层集合。（我们甚至可以采用''X''为[[拓扑空间]]，设''F''(''S'')是''S''的[[閉包 (拓撲學)|閉包]]，并采用“''X''的子对象”为''X''的闭合子集。）现在''F''和''G''形成单调伽罗瓦连接，如果集合和子对象按包含来排序。''F''是下伴随。

===覆疊空間===
[[代數拓撲學]]中，一個[[路徑連通]]的空間''X''若有路徑連通的[[覆疊空間]]''U''，則''U''的[[基本群]]<math>\pi_1(U)</math>會是''X''的基本群<math>\pi_1(X)</math>的子群。因此由''X''的所有覆疊空間所形成的偏序集，與X的基本群的所有子群形成的偏序集之間，形成了反序伽羅瓦連接。更進一步的，對於''X''的萬有覆疊空間，其基本群必為<math>\{e\}</math>。

== 性质 ==

下面我们考虑（单调）伽罗瓦连接连接''f'' =(''f''<sup> ∗</sup>, ''f''<sub> ∗</sub>)，这里的''f''<sup> ∗</sup>: ''A'' → ''B''是上面介绍的下伴随。可以立即得出一些有用处和有指导性的性质。通过伽罗瓦连接的定义性质，''f''<sup> ∗</sup>(''x'')≤ ''f''<sup> ∗</sup>(''x'')等价于''x'' ≤ ''f''<sub> ∗</sub>(''f''<sup> ∗</sup>(''x''))，对于所有''A''中的''x''。通过类似的推理（或简单的应用[[对偶性 (序理论)|序理论的对偶性原理]]），可以得到''f''<sup> ∗</sup>(''f''<sub> ∗</sub>(''y'')) ≤ ''y''，对于所有''B''中的''y''。这些性质可以描述为复合的''f''<sup> ∗</sup><math>\circ</math>''f''<sub> ∗</sub>是“紧缩”的，而''f''<sub> ∗</sub><math>\circ</math>''f''<sup> ∗</sup>是“膨胀”的（或“扩张”的）。

现在如果考虑''A''的任何元素''x''和''y''使得''x'' ≤ ''y''，则可以明确的上述性质来得到 
''x'' ≤ ''f''<sub> ∗</sub>(''f''<sup> ∗</sup>(''y''))。应用伽罗瓦连接的基本性质，可以推论出''f''<sup> ∗</sup>(''x'')≤ ''f''<sup> ∗</sup>(''y'')。但是这只证明了''f''<sup> ∗</sup>保持了任何两个元素的次序，就是说它是单调的。还有，类似的推理产生了''f''<sub> ∗</sub>的单调性。所以单调性不必须明确的包含在定义中。但是提及单调性有助于避免混淆伽罗瓦连接的两个可选择的定义。

伽罗瓦连接的另一个基本形式是''f''<sub> ∗</sub>(''f''<sup> ∗</sup>(''f''<sub> ∗</sub>(''x''))) = ''f''<sub> ∗</sub>(''x'')，对于所有''B''中的''x''。我们明显的可发现

:''f''<sub> ∗</sub>(''f''<sup> ∗</sup>(''f''<sub> ∗</sub>(''x''))) ≥ ''f''<sub> ∗</sub>(''x'')

因为''f''<sub> ∗</sub><math>\circ</math>''f''<sup> ∗</sup>是膨胀的。类似的，因为''f''<sup> ∗</sup><math>\circ</math>''f''<sub> ∗</sub>是紧缩的，可以发现

:''f''<sup> ∗</sup> ''f''<sub> ∗</sub> ''f''<sup> ∗</sup> ''f''<sub> ∗</sub>(''x'')  ≤ ''f''<sup> ∗</sup> ''f''<sub> ∗</sub>(''x'')≤ ''x'',

它等价于

:''f''<sub> ∗</sub>(''f''<sup> ∗</sup>(''f''<sub> ∗</sub>(''x''))) ≤ ''f''<sub> ∗</sub>(''x'')。

这证明了想要的相等性。进一步的，我们使用这个性质推论出

:''f''<sup> ∗</sup>(''f''<sub> ∗</sub>(''f''<sup> ∗</sup>(''f''<sub> ∗</sub>(''x'')))) = ''f''<sup> ∗</sup>(''f''<sub> ∗</sub>(''x'')),

就是说''f''<sup> ∗</sup><math>\circ</math>''f''<sub> ∗</sub>是幂等的。

== 闭包算子和伽罗瓦连接 ==

上述发现可总结如下：对于伽罗瓦连接，复合的''f''<sub> ∗</sub><math>\circ</math>''f''<sup> ∗</sup>是单调的（因为是单调函数的复合），膨胀的，和幂等的。这声称了''f''<sub> ∗</sub><math>\circ</math>''f''<sup> ∗</sup>事实上是''A''上的[[闭包算子]]。对偶的说，''f''<sup> ∗</sup><math>\circ</math>''f''<sub> ∗</sub>是单调的，紧缩的，和幂等的。这种映射有时叫做'''内核算子'''。在[[完全Heyting代数|frames和locales]]的上下文中，复合的''f''<sub> ∗</sub><math>\circ</math>''f''<sup> ∗</sup>叫做''f''诱发的'''核子'''。核子诱发frame同态；locale的子集叫做[[sublocale]]如果它给出自一个核子。 

反过来说，在某个偏序集合''A''上的任何闭包算子''c''都引发一个伽罗瓦连接，其下伴随为''f''<sup> ∗</sup>，它就是''c''对''c''的像的陪限制（corestriction，就是说作为满射映射闭包系统''c''(''A'')）。上伴随''f''<sub> ∗</sub>给出自包含''c''(''A'')到''A''之中，它映射每个闭合元素到自身，被当作''A''的一个元素。在这种方式下，闭包算子和伽罗瓦连接被看作是密切关联的，每个都指定另一个的实例。类似的结论对于核心算子也成立。

上述思考还证明了''A''的闭合元素（元素''x''带有''f''<sub> ∗</sub>(''f''<sup> ∗</sup>(''x'')) = ''x''）被映射到在核心算子''f''<sup> ∗</sup> <math>\circ</math> ''f''<sub> ∗</sub>值域内的一个元素，反之亦然。

== 伽罗瓦连接的存在性和唯一性 ==

伽罗瓦连接的另一个重要性质是下伴随[[极限保持 (序理论)|保持]]在它们的[[定义域]]内存在的所有[[上确界]]。对偶的说，上伴随保持所有存在的[[下确界]]。从这些性质，我们可立即推论出伴随的单调性。[[伴随函子定理]]声称在特定情况下反蕴涵也是有效的：特别是，在[[完全格]]之间的任何保持所有上确界的映射都是伽罗瓦连接的下伴随。

在这种情况下，伽罗瓦连接的一个重要特征就是一个伴随唯一的确定另一个。因此我们可以强化上述陈述来保证在完全格之间的任何保持上确界的映射都是一个唯一的伽罗瓦连接的下伴随。导出这个唯一性的主要性质为如下：对于所有''A''中''x''，''f''<sup> ∗</sup>(''x'')是''B''中最小的元素''y''使得''x'' ≤ ''f''<sub> ∗</sub>(''y'')。对偶的说，对于所有''B''中的''y''，''f''<sub> ∗</sub>(''y'')是''A''中最大的元素''x''使得''f''<sup> ∗</sup>(''x'')≤ ''y''。特定伽罗瓦连接的存在升年个现在分别蕴涵了最小和最大元素的存在性，不管对应的偏序集合是否满足任何[[完备性 (序理论)|完备性性质]]。因此，在给出一个伽罗瓦连接的一个伴随，另一个可以通过这个性质来定义。换句话说，某个任意函数''f''是下伴随，[[当且仅当]]形如{ ''x'' ∈ ''A'' | ''f''(''x'')≤ ''b'', ''b'' ∈ ''B''}的每个集合都包含最大元素。还有，这可对偶化到上伴随。

== 在编程理论中的应用 ==
伽罗瓦连接在[[编程语言]]的[[抽象释义]]理论中可被用于描述多种形式的抽象。

== 注释 ==
{{reflist}}

== 引用 ==
''A freely available introduction to Galois connections, presenting many examples and results. Also includes notes on the different notations and definitions that arose in this area:''
* M. Erné, J. Koslowski, A. Melton, G. E. Strecker, ''A primer on Galois connections'', in: Proceedings of the 1991 Summer Conference on General Topology and Applications in Honor of Mary Ellen Rudin and Her Work, Annals of the New York Academy of Sciences, Vol. 704, 1993, pp. 103-125. Available online in various file formats: [http://www.iti.cs.tu-bs.de/TI-INFO/koslowj/RESEARCH/gal_bw.ps.gz PS.GZ]{{Wayback|url=http://www.iti.cs.tu-bs.de/TI-INFO/koslowj/RESEARCH/gal_bw.ps.gz |date=20060108063506 }} [http://www.math.ksu.edu/~strecker/primer.ps PS]{{Wayback|url=http://www.math.ksu.edu/~strecker/primer.ps |date=20070219055156 }}

''The following standard reference books also include Galois connections using modern notation and definitions:''
* B. A. Davey and H. A. Priestley: ''Introduction to lattices and Order'', Cambridge University Press, 2002.
* G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott: ''Continuous Lattices and Domains'', Cambridge University Press, 2003.

''Finally, some publications using the original (antitone) definition:''
* Garrett Birkhoff: ''Lattice Theory'', Amer. Math. Soc. Coll. Pub., Vol 25, 1940
* Oystein Ore: ''Galois Connexions'', Transactions of the American Mathematical Society 55 (1944), pp. 493-513

[[Category:序理论|J]]
[[Category:闭包算子]]