Closed Sets
The closed sets with respect to a closure operator on S form a subset C of the power set P(S). Any intersection of sets in C is again in C. In other words, C is a complete meet-subsemilattice of P(S). Conversely, if C ⊆ P(S) is closed under arbitrary intersections, then the function that associates to every subset X of S the smallest set Y ∈ C such that X ⊆ Y is a closure operator.
A closure operator on a set is topological if and only if the set of closed sets is closed under finite unions, i.e., C is a meet-complete sublattice of P(S). Even for non-topological closure operators, C can be seen as having the structure of a lattice. (The join of two sets X,Y ⊆ P(S) being cl(X Y).) But then C is not a sublattice of the lattice P(S).
Given a finitary closure operator on a set, the closures of finite sets are exactly the compact elements of the set C of closed sets. It follows that C is an algebraic poset. Since C is also a lattice, it is often referred to as an algebraic lattice in this context. Conversely, if C is an algebraic poset, then the closure operator is finitary.
Read more about this topic: Closure Operator
Famous quotes containing the words closed and/or sets:
“Since time immemorial, one the dry earth, scraped to the bone, of this immeasurable country, a few men travelled ceaselessly, they owned nothing, but they served no one, free and wretched lords in a strange kingdom. Janine did not know why this idea filled her with a sadness so soft and so vast that she closed her eyes. She only knew that this kingdom, which had always been promised to her would never be her, never again, except at this moment.”
—Albert Camus 1013–1960, French-Algerian novelist, dramatist, philosopher. Janine in Algeria, in The Fall, p. 27, Gallimard (9157)
“In the beautiful, man sets himself up as the standard of perfection; in select cases he worships himself in it.... Man believes that the world itself is filled with beauty—he forgets that it is he who has created it. He alone has bestowed beauty upon the world—alas! only a very human, an all too human, beauty.”
—Friedrich Nietzsche (1844–1900)