3
$\begingroup$

Hello everyone,

It's well known that every collection of subsets of a set X which is closed both under intersection and reunion is also a distributive lattice (the order relation being sets inclusion of course). However, if I suppose the collection to be intersection closed only, the result is no longer true; but the collection is still a lattice. Does anybody know when such a lattice is distributive ?

Thank you,

$\endgroup$
4
  • 7
    $\begingroup$ I don't think there is a satisfactory answer. If $L$ is a lattice and $x\in L$, let $V_x = \lbrace y\in L : y\leq x\rbrace$. Then $L$ is isomorphic to the set of $V_x$'s ordered by inclusion, and meet in $L$ corresponds to intersection of the $V_x$'s. Thus the question is equivalent to: given a lattice $L$, when is it distributive? $\endgroup$ Feb 23, 2011 at 19:08
  • 1
    $\begingroup$ Also, the collection closed under intersection is a semilattice. (It can be made into a lattice by adjoining at most one element, but sometimes at least one element is needed.) Gerhard "Ask Me About System Design" Paseman, 2011.02.23 $\endgroup$ Feb 23, 2011 at 23:58
  • $\begingroup$ Oh, ok, sure thank you. Do you know how I may accept your answers ? I'am searching for the "check mark" but I don't find it ... $\endgroup$
    – Louis
    Mar 2, 2011 at 20:52
  • $\begingroup$ I'll post an answer for you to accept. Gerhard "Ask Me About System Design" Paseman, 2011.03.02 $\endgroup$ Mar 2, 2011 at 21:01

1 Answer 1

2
$\begingroup$

From Richard Stanley:

I don't think there is a satisfactory answer. If $L$ is a lattice and $x\in L$, let $V_x = \lbrace y\in L : y\leq x\rbrace$. Then $L$ is isomorphic to the set of $V_x$'s ordered by inclusion, and meet in $L$ corresponds to intersection of the $V_x$'s. Thus the question is equivalent to: given a lattice $L$, when is it distributive?

From Gerhard Paseman:

Also, the collection closed under intersection is a semilattice. (It can be made into a lattice by adjoining at most one element, but sometimes at least one element is needed.)

Gerhard "Ask Me About System Design" Paseman, 2011.03.02

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.