|
|
|
|
locally finite poset
|
(Definition)
|
|
|
A poset $P$ is locally finite if every interval $[x,y]$ in $P$ is finite. For example, $\mathbb{Z}$ with the usual order is locally finite but not finite, while $\mathbb{Q}$ is neither.
Every locally finite poset is also chain finite, but the converse does not hold. To see this, define a partial order on $\mathbb{N}$ by the rule that $k \le \ell$ if and only if $k=0$ or $\ell=1$ Thus $0$ is the minimum element, $1$ is the maximum element, and the remaining elements form an infinite antichain. Every bounded chain in this poset is finite but the entire poset is an infinite interval, so the poset is chain finite but not locally finite.
|
"locally finite poset" is owned by mps.
|
|
(view preamble | get metadata)
| Also defines: |
locally finite |
This object's parent.
|
|
Cross-references: chain, bounded, antichain, infinite, converse, chain finite, order, finite, poset
There are 4 references to this entry.
This is version 2 of locally finite poset, born on 2004-02-12, modified 2007-04-12.
Object id is 5572, canonical name is LocallyFinitePoset.
Accessed 3231 times total.
Classification:
| AMS MSC: | 06A99 (Order, lattices, ordered algebraic structures :: Ordered sets :: Miscellaneous) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|