Formal Definition
In a partially ordered set (P,≤) an element c is called compact (or finite) if it satisfies one of the following equivalent conditions:
- For every directed subset D of P, if D has a supremum sup D and c ≤ sup D then c ≤ d for some element d of D.
- For every ideal I of P, if I has a supremum sup I and c ≤ sup I then c is an element of I.
If the poset P additionally is a join-semilattice (i.e., if it has binary suprema) then these conditions are equivalent to the following statement:
- For every nonempty subset S of P, if S has a supremum sup S and c ≤ sup S, then c ≤ sup T for some finite subset T of S.
In particular, if c = sup S, then c is the supremum of a finite subset of S.
These equivalences are easily verified from the definitions of the concepts involved. For the case of a join-semilattice note that any set can be turned into a directed set with the same supremum by closing under finite (non-empty) suprema.
When considering directed complete partial orders or complete lattices the additional requirements that the specified suprema exist can of course be dropped. Note also that a join-semilattice which is directed complete is almost a complete lattice (possibly lacking a least element) -- see completeness (order theory) for details.
If it exists, the least element of a poset is always compact. It may be that this is the only compact element, as the example of the real unit interval shows.
Read more about this topic: Compact Element
Famous quotes containing the words formal and/or definition:
“That anger can be expressed through words and non-destructive activities; that promises are intended to be kept; that cleanliness and good eating habits are aspects of self-esteem; that compassion is an attribute to be prized—all these lessons are ones children can learn far more readily through the living example of their parents than they ever can through formal instruction.”
—Fred Rogers (20th century)
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)