Math 2.0

Order, lattices, ordered algebraic structures Definition

Height of a poset

Builds on Partial orderChain

Definition

Let (P,≤)(P, \le) be a partially ordered set. The height of PP is the supremum of the cardinalities ∣C∣\abs{C} of the chains C⊆PC \subseteq P.

Remarks

Example: the subsets of {1,2,3}\set{1, 2, 3} ordered by inclusion have height 44, as shown by the chain ∅⊂{1}⊂{1,2}⊂{1,2,3}\varnothing \subset \set{1} \subset \set{1, 2} \subset \set{1, 2, 3}. A chain of subsets has at most one subset of each size, so no chain is longer. Non-example: the set {∅,{1},{2},{1,2}}\set{\varnothing, \set{1}, \set{2}, \set{1, 2}} has 44 elements but is not a chain, since {1}\set{1} and {2}\set{2} are incomparable. Conventions differ: some authors call the height the largest length of a chain x0<x1<⋯<xnx_0 < x_1 < \cdots < x_n, which is nn, one less than the number of elements. In that second convention the height is the Krull dimension of the poset. The height of an element xx is often defined as the height of the down-set {y∈P:y≤x}\set{y \in P : y \le x}, with the same choice of convention.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Chain concept
  2. Partial order concept
  3. Height of a poset definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Graded_poset
About this page
TagZYS4TTQG2T
URIm2://ZYS4TTQG2T
Kinddefinition
WritingW0 stub
MSC06A07
DefinesHeight of a poset
UsesPartial order, Chain

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.