Search results
Results from the WOW.Com Content Network
As another example, consider the positive integers, ordered by divisibility: 1 is a least element, as it divides all other elements; on the other hand this poset does not have a greatest element. This partially ordered set does not even have any maximal elements, since any g divides for instance 2 g , which is distinct from it, so g is not maximal.
The poset of positive integers has deviation 0: every descending chain is finite, so the defining condition for deviation is vacuously true. However, its opposite poset has deviation 1. Let k be an algebraically closed field and consider the poset of ideals of the polynomial ring k[x] in one variable. Since the deviation of this poset is the ...
In mathematics, an incidence poset or incidence order is a type of partially ordered set that represents the incidence relation between vertices and edges of an undirected graph. The incidence poset of a graph G has an element for each vertex or edge in G ; in this poset, there is an order relation x ≤ y if and only if either x = y or x is a ...
In mathematics, a differential poset is a partially ordered set (or poset for short) satisfying certain local properties. (The formal definition is given below.) This family of posets was introduced by Stanley (1988) as a generalization of Young's lattice (the poset of integer partitions ordered by inclusion), many of whose combinatorial properties are shared by all differential posets.
For example, the ideal completion of a given partial order P is the set of all ideals of P ordered by subset inclusion. This construction yields the free dcpo generated by P . An ideal is principal if and only if it is compact in the ideal completion, so the original poset can be recovered as the sub-poset consisting of compact elements.
A power set, partially ordered by inclusion, with rank defined as number of elements, forms a graded poset. In mathematics, in the branch of combinatorics, a graded poset is a partially-ordered set (poset) P equipped with a rank function ρ from P to the set N of all natural numbers. ρ must satisfy the following two properties:
For any poset, the set of all non-empty filters, ordered by subset inclusion, is a dcpo. Together with the empty filter it is also pointed. Together with the empty filter it is also pointed. If the order has binary meets , then this construction (including the empty filter) actually yields a complete lattice .
In mathematics, the poset topology associated to a poset (S, ≤) is the Alexandrov topology (open sets are upper sets) on the poset of finite chains of (S, ≤), ordered by inclusion. Let V be a set of vertices. An abstract simplicial complex Δ is a set of finite sets of vertices, known as faces , such that