Lagmental Vicfred

Order Ideals Form a Distributive Lattice by Vicfred

Last updated: Sun 02 April 2023

tags: mathematics, posets, Mobius functions, extremal set theory

Unions and intersections of downward-closed sets make the order ideals of a poset into a distributive lattice. I will separate the object being defined from the consequence being claimed.

Statement

A finite poset \((P,\le)\) has intervals \([x,y]\) and an incidence algebra. Chains, antichains, and order ideals reveal different slices of its comparability structure.

$$ J(P)=\{I\subseteq P:x\in I,\ y\le x\Longrightarrow y\in I\} $$

The first display fixes the mathematical data. I label it \(\mathsf{data}\) mentally, while the next is the \(\mathsf{claim}\); the bridge between them is the displayed \(\Longrightarrow\), not an automatic implication.

$$ I\vee J=I\cup J,\qquad I\wedge J=I\cap J $$

Worked algebra

A worked instance is useful here because it exposes every index that the compressed statement hides.

$$ a\wedge(b\vee c)=(a\wedge b)\vee(a\wedge c),\qquad a\vee(b\wedge c)=(a\vee b)\wedge(a\vee c) $$

Conceptual compression

The abstraction earns its keep by explaining why the same computation reappears. The notation compresses repeated reasoning without erasing the hypothesis that licenses it.

$$ \begin{aligned} \mathsf{D}\;&:\quad J(P)=\{I\subseteq P:x\in I,\ y\le x\Longrightarrow y\in I\},\\[5pt] \mathsf{C}\;&:\quad I\vee J=I\cup J,\qquad I\wedge J=I\cap J. \end{aligned} $$

Caveat

Width and height refer to antichains and chains in the poset, not to geometric dimensions of a drawing.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] I\vee J=I\cup J,\qquad I\wedge J=I\cap J \end{gathered}} $$

The notation is dense, but it is doing honest work: every delimiter records scope and every index records dependence. Removing one should require a mathematical reason.

This article was posted on Sun 19 September 2021. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.