Related Research Articles
In mathematics, a distributive lattice is a lattice in which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set union and intersection. Indeed, these lattices of sets describe the scenery completely: every distributive lattice is—up to isomorphism—given as such a lattice of sets.
In mathematics, the Boolean prime ideal theorem states that ideals in a Boolean algebra can be extended to prime ideals. A variation of this statement for filters on sets is known as the ultrafilter lemma. Other theorems are obtained by considering different mathematical structures with appropriate notions of ideals, for example, rings and prime ideals, or distributive lattices and maximal ideals. This article focuses on prime ideal theorems from order theory.
In mathematics, there is an ample supply of categorical dualities between certain categories of topological spaces and categories of partially ordered sets. Today, these dualities are usually collected under the label Stone duality, since they form a natural generalization of Stone's representation theorem for Boolean algebras. These concepts are named in honor of Marshall Stone. Stone-type dualities also provide the foundation for pointless topology and are exploited in theoretical computer science for the study of formal semantics.
In mathematical order theory, an ideal is a special subset of a partially ordered set (poset). Although this term historically was derived from the notion of a ring ideal of abstract algebra, it has subsequently been generalized to a different notion. Ideals are of great importance for many constructions in order and lattice theory.
In mathematics, a spectral space is a topological space that is homeomorphic to the spectrum of a commutative ring. It is sometimes also called a coherent space because of the connection to coherent topos.
Hans Freudenthal was a Jewish-German-born Dutch mathematician. He made substantial contributions to algebraic topology and also took an interest in literature, philosophy, history and mathematics education.
Richard Melvin Schoen is an American mathematician known for his work in differential geometry and geometric analysis. He is best known for the resolution of the Yamabe problem in 1984.
Kiiti Morita was a Japanese mathematician working in algebra and topology.
In mathematics, specifically order theory, the Dedekind–MacNeille completion of a partially ordered set is the smallest complete lattice that contains it. It is named after Holbrook Mann MacNeille whose 1937 paper first defined and constructed it, and after Richard Dedekind because its construction generalizes the Dedekind cuts used by Dedekind to construct the real numbers from the rational numbers. It is also called the completion by cuts or normal completion.
In mathematics, Birkhoff's representation theorem for distributive lattices states that the elements of any finite distributive lattice can be represented as finite sets, in such a way that the lattice operations correspond to unions and intersections of sets. The theorem can be interpreted as providing a one-to-one correspondence between distributive lattices and partial orders, between quasi-ordinal knowledge spaces and preorders, or between finite topological spaces and preorders. It is named after Garrett Birkhoff, who published a proof of it in 1937.
In mathematics, a fence, also called a zigzag poset, is a partially ordered set (poset) in which the order relations form a path with alternating orientations:
In universal algebra and lattice theory, a tolerance relation on an algebraic structure is a reflexive symmetric relation that is compatible with all operations of the structure. Thus a tolerance is like a congruence, except that the assumption of transitivity is dropped. On a set, an algebraic structure with empty family of operations, tolerance relations are simply reflexive symmetric relations. A set that possesses a tolerance relation can be described as a tolerance space. Tolerance relations provide a convenient general tool for studying indiscernibility/indistinguishability phenomena. The importance of those for mathematics had been first recognized by Poincaré.
In mathematics, a Priestley space is an ordered topological space with special properties. Priestley spaces are named after Hilary Priestley who introduced and investigated them. Priestley spaces play a fundamental role in the study of distributive lattices. In particular, there is a duality between the category of Priestley spaces and the category of bounded distributive lattices.
In mathematics, duality theory for distributive lattices provides three different representations of bounded distributive lattices via Priestley spaces, spectral spaces, and pairwise Stone spaces. This duality, which is originally also due to Marshall H. Stone, generalizes the well-known Stone duality between Stone spaces and Boolean algebras.
In mathematics, an Ockham algebra is a bounded distributive lattice with a dual endomorphism, that is, an operation ~ satisfying ~(x ∧ y) = ~x ∨ ~y, ~(x ∨ y) = ~x ∧ ~y, ~0 = 1, ~1 = 0. They were introduced by Berman (1977), and were named after William of Ockham by Urquhart (1979). Ockham algebras form a variety.
In mathematics, in the area of order theory, an upwards centered setS is a subset of a partially ordered set, P, such that any finite subset of S has an upper bound in P. Similarly, any finite subset of a downwards centered set has a lower bound. An upwards centered set can also be called a consistent set. Any directed set is necessarily centered, and any centered set is a linked set.
Wilson Alexander Sutherland was a British mathematician at the University of Oxford.
In mathematics, the order polytope of a finite partially ordered set is a convex polytope defined from the set. The points of the order polytope are the monotonic functions from the given set to the unit interval, its vertices correspond to the upper sets of the partial order, and its dimension is the number of elements in the partial order. The order polytope is a distributive polytope, meaning that coordinatewise minima and maxima of pairs of its points remain within the polytope.
Introduction to Lattices and Order is a mathematical textbook on order theory by Brian A. Davey and Hilary Priestley. It was published by the Cambridge University Press in their Cambridge Mathematical Textbooks series in 1990, with a second edition in 2002. The second edition is significantly different in its topics and organization, and was revised to incorporate recent developments in the area, especially in its applications to computer science. The Basic Library List Committee of the Mathematical Association of America has suggested its inclusion in undergraduate mathematics libraries.
In order theory, a continuous poset is a partially ordered set in which every element is the directed supremum of elements approximating it.
References
- 1 2 Hilary Priestley at the Mathematics Genealogy Project.
- ↑ Gardam, Tim (11 July 2006). "Titles of Distinction awarded to eight Fellows" . Retrieved 11 June 2014.
- ↑ Stralka, Albert (December 1980). "A partially ordered space which is not a priestley space". Semigroup Forum . Springer. 20 (1): 293–297. doi:10.1007/BF02572690. S2CID 123310469.
- ↑ Cignoli, R.; Lafalce, S.; Petrovich, A. (September 1991). "Remarks on Priestley duality for distributive lattices". Order . Springer. 8 (3): 299–315. doi:10.1007/BF00383451. S2CID 122146613.
- ↑ Reviews of Introduction to Lattices and Order: T. S. Blyth, MR 1058437, MR 1902334; Jonathan Cohen, ACM SIGACT News, doi : 10.1145/1233481.1233488; Amy Davidow, Amer. Math. Monthly, JSTOR 2323967; Josef Niederle, Zbl 0701.06001; Václav Slavík, Zbl 1002.06001
