Galois Connection - Properties

Properties

In the following, we consider a (monotone) Galois connection f = (f ∗, f _∗), where f ∗: A → B is the lower adjoint as introduced above. Some helpful and instructive basic properties can be obtained immediately. By the defining property of Galois connections, f ∗(x) ≤ f ∗(x) is equivalent to x ≤ f _∗( f ∗(x)), for all x in A. By a similar reasoning (or just by applying the duality principle for order theory), one finds that f ∗( f _∗(y)) ≤ y, for all y in B. These properties can be described by saying the composite f ∗f _∗ is deflationary, while f _∗f ∗ is inflationary (or extensive).

Now if one considers any elements x and y of A such that x ≤ y, then one can clearly use the above findings to obtain x ≤ f _∗(f ∗(y)). Applying the basic property of Galois connections, one can now conclude that f ∗(x) ≤ f ∗(y). But this just shows that f ∗ preserves the order of any two elements, i.e. it is monotone. Again, a similar reasoning yields monotonicity of f _∗. Thus monotonicity does not have to be included in the definition explicitly. However, mentioning monotonicity helps to avoid confusion about the two alternative notions of Galois connections.

Another basic property of Galois connections is the fact that f _∗(f ∗(f _∗(x))) = f _∗(x), for all x in B. Clearly we find that

f _∗(f ∗(f _∗(x))) ≥ f _∗(x)

because f _∗f ∗ is inflationary as shown above. On the other hand, since f ∗f _∗ is deflationary, while f _∗ is monotonic, one finds that

f _∗(f ∗(f _∗(x))) ≤ f _∗(x).

This shows the desired equality. Furthermore, we can use this property to conclude that

f ∗(f _∗(f ∗(f _∗(x)))) = f ∗(f _∗(x)),

i.e., f ∗f _∗ is idempotent.