distributive inequalities


Let L be a latticeMathworldPlanetmath. Then for a,b,cL, we have the following inequalitiesMathworldPlanetmath:

  1. 1.

    a(bc)(ab)(ac),

  2. 2.

    (ab)(ac)a(bc).

Proof.

Since aab and aac, a(ab)(ac). Similarly, bcbab and bccac imply bc(ab)(ac). Together, we have a(bc)(ab)(ac).

The second inequality is the dual of the first one. ∎

The two inequalities above are called the distributive inequalities.

PropositionPlanetmathPlanetmath A lattice L is a distributive latticeMathworldPlanetmath if one of the following inequalities holds:

  1. 1.

    (ab)(ac)a(bc),

  2. 2.

    a(bc)(ab)(ac).

Proof.

By the distributive inequalities, all we need to show is that 1. implies 2. (that 2. implies 1. is just the dual statement). So suppose 1. holds. Then

(ab)(ac) ((ab)a)((ab)c)   by assumption
=a((ab)c)   by absorption
a((ca)(cb))   by assumption
=(a(ca))(cb)   meet associativity
=a(cb).   by absorption

Title distributive inequalities
Canonical name DistributiveInequalities
Date of creation 2013-03-22 16:37:48
Last modified on 2013-03-22 16:37:48
Owner CWoo (3771)
Last modified by CWoo (3771)
Numerical id 5
Author CWoo (3771)
Entry type Derivation
Classification msc 06D99
Related topic ModularInequality