Existence and Uniqueness of Galois Connections
Another important property of Galois connections is that lower adjoints preserve all suprema that exist within their domain. Dually, upper adjoints preserve all existing infima. From these properties, one can also conclude monotonicity of the adjoints immediately. The adjoint functor theorem for order theory states that the converse implication is also valid in certain cases: especially, any mapping between complete lattices that preserves all suprema is the lower adjoint of a Galois connection.
In this situation, an important feature of Galois connections is that one adjoint uniquely determines the other. Hence one can strengthen the above statement to guarantee that any supremum-preserving map between complete lattices is the lower adjoint of a unique Galois connection. The main property to derive this uniqueness is the following: For every x in A, f ∗(x) is the least element y of B such that x ≤ f ∗(y). Dually, for every y in B, f ∗(y) is the greatest x in A such that f ∗(x) ≤ y. The existence of a certain Galois connection now implies the existence of the respective least or greatest elements, no matter whether the corresponding posets satisfy any completeness properties. Thus, when one adjoint of a Galois connection is given, the other can be defined via this property. On the other hand, some arbitrary function f is a lower adjoint if and only if each set of the form { x in A | f(x) ≤ b }, b in B, contains a greatest element. Again, this can be dualized for the upper adjoint.
Read more about this topic: Galois Connection
Famous quotes containing the words existence, uniqueness and/or connections:
“The duty of the State toward the citizen is the duty of the servant to its master.... One of the duties of the State is that of caring for those of its citizens who find themselves the victims of such adverse circumstances as makes them unable to obtain even the necessities for mere existence without the aid of others.... To these unfortunate citizens aid must be extended by government—not as a matter of charity but as a matter of social duty.”
—Franklin D. Roosevelt (1882–1945)
“Until now when we have started to talk about the uniqueness of America we have almost always ended by comparing ourselves to Europe. Toward her we have felt all the attraction and repulsions of Oedipus.”
—Daniel J. Boorstin (b. 1914)
“... feminism is a political term and it must be recognized as such: it is political in women’s terms. What are these terms? Essentially it means making connections: between personal power and economic power, between domestic oppression and labor exploitation, between plants and chemicals, feelings and theories; it means making connections between our inside worlds and the outside world.”
—Anica Vesel Mander, U.S. author and feminist, and Anne Kent Rush (b. 1945)