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:
“The return of the asymmetrical Saturday was one of those small events that were interior, local, almost civic and which, in tranquil lives and closed societies, create a sort of national bond and become the favorite theme of conversation, of jokes and of stories exaggerated with pleasure: it would have been a ready- made seed for a legendary cycle, had any of us leanings toward the epic.”
—Marcel Proust (1871–1922)
“We love the indomitable bellicose patriotism that sets you apart; we love the national pride that guides your muscularly courageous race; we love the potent individualism that doesn’t prevent you from opening your arms to individualists of every land, whether libertarians or anarchists.”
—Tommaso Marinetti (1876–1944)