|
|
| Line 1: |
Line 1: |
| {{redirect|Set algebra|the basic properties and laws of sets|Algebra of sets}}
| | Nice to satisfy you, I am Marvella Shryock. To do aerobics is a thing that I'm totally addicted to. Since she was 18 she's been operating as a receptionist but her marketing never comes. Minnesota has always been his house but his wife desires them to transfer.<br><br>My web blog ... healthy food delivery ([http://p2p.gs/diettogoreviews74620 click through the next website page]) |
| In [[mathematics]] a '''field of sets''' is a pair <math>\langle X, \mathcal{F} \rangle</math> where <math>X </math> is a [[Set (mathematics)|set]] and <math>\mathcal{F}</math> is an '''algebra over <math>X</math>''' i.e., a non-empty subset of the [[power set]] of <math>X </math> closed under the [[intersection (set theory)|intersection]] and [[union (set theory)|union]] of pairs of sets and under [[complement (set theory)|complements]] of individual sets. In other words <math>\mathcal{F}</math> forms a [[subalgebra]] of the [[power set]] [[Boolean algebra (structure)|Boolean algebra]] of <math>X </math>. (Many authors refer to <math>\mathcal{F}</math> itself as a field of sets. The word "field" in "field of sets" is not used with the meaning of [[field (mathematics)|field from field theory]].) Elements of <math>X</math> are called '''points''' and those of <math>\mathcal{F}</math> are called '''complexes''' and are said to be the '''admissible sets''' of <math>X </math>.
| |
| | |
| Fields of sets play an essential role in the [[representation theory]] of Boolean algebras. Every Boolean algebra can be represented as a field of sets.
| |
| | |
| == Fields of sets in the representation theory of Boolean algebras ==
| |
| === Stone representation ===
| |
| Every finite Boolean algebra can be represented as a whole power set - the power set of its set of [[atomic (order theory)|atoms]]; each element of the Boolean algebra corresponds to the set of atoms below it (the join of which is the element). This '''power set representation''' can be constructed more generally for any [[Complete Boolean algebra|complete]] [[atomic (order theory)|atomic]] Boolean algebra.
| |
| | |
| In the case of Boolean algebras which are not complete and atomic we can still generalize the power set representation by considering fields of sets instead of whole power sets. To do this we first observe that the atoms of a finite Boolean algebra correspond to its [[ultrafilter]]s and that an atom is below an element of a finite Boolean algebra if and only if that element is contained in the ultrafilter corresponding to the atom. This leads us to construct a representation of a Boolean algebra by taking its set of ultrafilters and forming complexes by associating with each element of the Boolean algebra the set of ultrafilters containing that element. This construction does indeed produce a representation of the Boolean algebra as a field of sets and is known as the '''Stone representation'''. It is the basis of [[Stone's representation theorem for Boolean algebras]] and an example of a completion procedure in [[order theory]] based on [[Ideal (order theory)#Applications|ideal]]s or [[Filter (mathematics)|filter]]s, similar to [[Dedekind cut]]s.
| |
| | |
| Alternatively one can consider the set of [[homomorphism]]s onto the two element Boolean algebra and form complexes by associating each element of the Boolean algebra with the set of such homomorphisms that map it to the top element. (The approach is equivalent as the ultrafilters of a Boolean algebra are precisely the pre-images of the top elements under these homomorphisms.) With this approach one sees that Stone representation can also be regarded as a generalization of the representation of finite Boolean algebras by [[truth table]]s.
| |
| | |
| === Separative and compact fields of sets: towards Stone duality ===
| |
| | |
| * A field of sets is called '''separative''' (or '''differentiated''') if and only if for every pair of distinct points there is a complex containing one and not the other.
| |
| | |
| * A field of sets is called '''compact''' if and only if for every proper [[filter (mathematics)|filter]] over <math>X\ </math> the intersection of all the complexes contained in the filter is non-empty.
| |
| | |
| These definitions arise from considering the [[topological space|topology]] generated by the complexes of a field of sets. Given a field of sets <math>\mathbf{X}= \langle X, \mathcal{F} \rangle</math> the complexes form a [[base (topology)|base]] for a topology, we denote the corresponding topological space by <math>T(\mathbf{X})</math>. Then
| |
| | |
| * <math>T(\mathbf{X})</math> is always a [[topological dimension|zero-dimensional]] space.
| |
| * <math>T(\mathbf{X})</math> is a [[Hausdorff space]] if and only if <math>\mathbf{X}</math> is separative.
| |
| * <math>T(\mathbf{X})</math> is a [[compact space]] with compact open sets <math>\mathcal{F}</math> if and only if <math>\mathbf{X}</math> is compact.
| |
| * <math>T(\mathbf{X})</math> is a [[Boolean space]] with clopen sets <math>\mathcal{F}</math> if and only if <math>\mathbf{X}</math> is both separative and compact (in which case it is described as being '''descriptive''')
| |
| | |
| The Stone representation of a Boolean algebra is always separative and compact; the corresponding Boolean space is known as the [[Stone space]] of the Boolean algebra. The clopen sets of the Stone space are then precisely the complexes of the Stone representation. The area of mathematics known as [[Stone duality]] is founded on the fact that the Stone representation of a Boolean algebra can be recovered purely from the corresponding Stone space whence a [[Duality (mathematics)|duality]] exists between Boolean algebras and Boolean spaces.
| |
| | |
| == Fields of sets with additional structure ==
| |
| === Sigma algebras and measure spaces ===
| |
| | |
| If an algebra over a set is closed under [[countable]] [[intersection (set theory)|intersections]] and countable [[union (set theory)|unions]], it is called a [[sigma algebra]] and the corresponding field of sets is called a '''measurable space'''. The complexes of a measurable space are called '''measurable sets'''.
| |
| | |
| A '''measure space''' is a triple <math>\langle X, \mathcal{F}, \mu \rangle</math> where <math>\langle X, \mathcal{F} \rangle</math> is a measurable space and <math>\mu</math> is a [[measure theory|measure]] defined on it. If <math>\mu</math> is in fact a [[probability theory|probability measure]] we speak of a '''probability space''' and call its underlying measurable space a '''sample space'''. The points of a sample space are called '''samples''' and represent potential outcomes while the measurable sets (complexes) are called '''events''' and represent properties of outcomes for which we wish to assign probabilities. (Many use the term '''sample space''' simply for the underlying set of a probability space, particularly in the case where every subset is an event.) Measure spaces and probability spaces play a foundational role in [[measure theory]] and [[probability theory]] respectively.
| |
| | |
| The Loomis-Sikorski theorem provides a Stone-type duality between abstract sigma algebras and measurable spaces.
| |
| | |
| === Topological fields of sets ===
| |
| | |
| A '''topological field of sets''' is a triple <math>\langle X, \mathcal{T}, \mathcal{F} \rangle</math> where <math>\langle X, \mathcal{T} \rangle</math> is a [[topological space]] and <math>\langle X, \mathcal{F} \rangle</math> is a field of sets which is closed under the [[closure operator]] of <math>\mathcal{T}</math> or equivalently under the [[interior operator]] i.e. the closure and interior of every complex is also a complex. In other words <math>\mathcal{F}</math> forms a subalgebra of the power set [[interior algebra]] on <math>\langle X, \mathcal{T} \rangle</math>.
| |
| | |
| Every interior algebra can be represented as a topological field of sets with its interior and closure operators corresponding to those of the topological space.
| |
| | |
| Given a topological space the [[topology glossary|clopen]] sets trivially form a topological field of sets as each clopen set is its own interior and closure. The Stone representation of a Boolean algebra can be regarded as such a topological field of sets.
| |
| | |
| ==== Algebraic fields of sets and Stone fields ====
| |
| | |
| A topological field of sets is called '''algebraic''' if and only if there is a base for its topology consisting of complexes.
| |
| | |
| If a topological field of sets is both compact and algebraic then its topology is compact and its compact open sets are precisely the open complexes. Moreover the open complexes form a base for the topology.
| |
| | |
| Topological fields of sets that are separative, compact and algebraic are called '''Stone fields''' and provide a generalization of the Stone representation of Boolean algebras. Given an interior algebra we can form the Stone representation of its underlying Boolean algebra and then extend this to a topological field of sets by taking the topology generated by the complexes corresponding to the [[Interior algebra#Open and closed elements|open elements]] of the interior algebra (which form a base for a topology). These complexes are then precisely the open complexes and the construction produces a Stone field representing the interior algebra - the '''Stone representation'''.
| |
| | |
| === Preorder fields ===
| |
| | |
| A '''preorder field''' is a triple <math>\langle X, \leq , \mathcal{F} \rangle</math> where <math>\langle X, \leq \rangle</math> is a [[preorder|preordered set]] and <math>\langle X, \mathcal{F}\rangle </math> is a field of sets.
| |
| | |
| Like the topological fields of sets, preorder fields play an important role in the representation theory of interior algebras. Every interior algebra can be represented as a preorder field with its interior and closure operators corresponding to those of the [[Alexandrov topology]] induced by the preorder. In other words
| |
| | |
| :<math>\mbox{Int}(S) = \{x \in X :</math> there exists a <math>y \in S </math> with <math>y \leq x \}</math> and
| |
| :<math>\mbox{Cl}(S) = \{ x \in X :</math> there exists a <math>y \in S </math> with <math>x \leq y \}</math> for all <math>S \in \mathcal{F}</math>
| |
| | |
| Preorder fields arise naturally in [[modal logic]] where the points represent the ''possible worlds'' in the [[Kripke semantics]] of a theory in the modal logic ''S4'' (a formal mathematical abstraction of [[epistemic|epistemic logic]]), the preorder represents the accessibility relation on these possible worlds in this semantics, and the complexes represent sets of possible worlds in which individual sentences in the theory hold, providing a representation of the [[Lindenbaum-Tarski algebra]] of the theory.
| |
| | |
| ==== Algebraic and canonical preorder fields ====
| |
| | |
| A preorder field is called '''algebraic''' if and only if it has a set of complexes <math>\mathcal{A}</math> which determines the preorder in the following manner: <math>x \leq y</math> if and only if for every complex <math>S \in \mathcal{A}</math>, <math>x \in S</math> implies <math>y \in S</math>. The preorder fields obtained from ''S4'' theories are always algebraic, the complexes determining the preorder being the sets of possible worlds in which the sentences of the theory closed under necessity hold.
| |
| | |
| A separative compact algebraic preorder field is said to be '''canonical'''. Given an interior algebra, by replacing the topology of its Stone representation with the corresponding [[specialization (pre)order|canonical preorder]] (specialization preorder) we obtain a representation of the interior algebra as a canonical preorder field. By replacing the preorder by its corresponding [[Alexandrov topology#Duality with preordered sets|Alexandrov topology]] we obtain an alternative representation of the interior algebra as a topological field of sets. (The topology of this "'''Alexandrov representation'''" is just the [[Alexandrov topology#Categorical description of the duality|Alexandrov bi-coreflection]] of the topology of the Stone representation.)
| |
| | |
| === Complex algebras and fields of sets on relational structures===
| |
| | |
| The representation of interior algebras by preorder fields can be generalized to a representation theorem for arbitrary (normal) [[Boolean algebras with operators]]. For this we consider structures <math>\langle X, ( R_i )_I, \mathcal{F} \rangle </math> where <math>\langle X, ( R_i )_I \rangle </math> is a [[relational structure]] i.e. a set with an indexed family of [[relation (mathematics)|relation]]s defined on it, and <math>\langle X, \mathcal{F} \rangle </math> is a field of sets. The '''complex algebra''' (or '''algebra of complexes''') determined by a field of sets <math>\mathbf{X} = \langle X, ( R_i )_I, \mathcal{F} \rangle </math> on a relational structure, is the Boolean algebra with operators
| |
| | |
| :<math>\mathcal{C}(\mathbf{X}) = \langle \mathcal{F}, \cap, \cup, \prime, \empty, X, ( f_i )_I \rangle</math>
| |
| | |
| where for all <math>i \in I</math>, if <math>R_i\ </math> is a relation of arity <math>n+1</math>, then <math>f_i\ </math> is an operator of arity <math>n</math> and for all <math>S_1,...,S_n \in \mathcal{F}</math>
| |
| | |
| :<math>f_i(S_1,...,S_n) = \{ x \in X :</math> there exist <math>x_1 \in S_1 ,...,x_n \in S_n</math> such that <math>R_i(x_1,...,x_n,x) \}\ </math> | |
| | |
| This construction can be generalized to fields of sets on arbitrary [[algebraic structure]]s having both [[Operation (mathematics)|operators]] and relations as operators can be viewed as a special case of relations. If <math>\mathcal{F}</math> is the whole power set of <math>X\ </math> then <math>\mathcal{C}(\mathbf{X})</math> is called a '''full complex algebra''' or '''power algebra'''.
| |
| | |
| Every (normal) Boolean algebra with operators can be represented as a field of sets on a relational structure in the sense that it is [[isomorphism|isomorphic]] to the complex algebra corresponding to the field.
| |
| | |
| (Historically the term '''complex''' was first used in the case where the algebraic structure was a [[group (mathematics)|group]] and has its origins in 19th century [[group theory]] where a subset of a group was called a '''complex'''.)
| |
| | |
| == See also==
| |
| | |
| * [[List of Boolean algebra topics]]
| |
| * [[Algebra of sets]]
| |
| * [[Sigma algebra]]
| |
| * [[Measure theory]]
| |
| * [[Probability theory]]
| |
| * [[Interior algebra]]
| |
| * [[Alexandrov topology]]
| |
| * [[Stone's representation theorem for Boolean algebras]]
| |
| * [[Stone duality]]
| |
| * [[Boolean ring]]
| |
| * [[Preordered field]]
| |
| | |
| ==References==
| |
| | |
| * [[Robert Goldblatt|Goldblatt, R.]], ''Algebraic Polymodal Logic: A Survey'', Logic Journal of the IGPL, Volume 8, Issue 4, p. 393-450, July 2000
| |
| * Goldblatt, R., ''Varieties of complex algebras'', Annals of Pure and Applied Logic, 44, p. 173-242, 1989
| |
| * {{cite book
| |
| | last = Johnstone
| |
| | first = Peter T.
| |
| | authorlink = Peter T. Johnstone
| |
| | year = 1982
| |
| | title = Stone spaces
| |
| | edition = 3rd edition
| |
| | publisher = Cambridge University Press
| |
| | location = Cambridge
| |
| | isbn = 0-521-33779-8
| |
| }}
| |
| * Naturman, C.A., ''Interior Algebras and Topology'', Ph.D. thesis, University of Cape Town Department of Mathematics, 1991
| |
| * Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter ed., ''Handbook of Modal Logic, Volume 3 of Studies in Logic and Practical Reasoning'', Elsevier, 2006
| |
| | |
| ==External links==
| |
| *{{springer|title=Algebra of sets|id=p/a011400}}
| |
| | |
| [[Category:Boolean algebra]]
| |
| [[Category:Set families]]
| |