9

I know that every complete lattice is bounded. Is there a simple example for a bounded lattice that is not complete?

Thank you

user116732
  • 131

3 Answers3

7

I guess the simplest example is $$\{\frac1n:n\in\mathbb N\}\cup\{-\frac1n:n\in\mathbb N\}$$ with the usual ordering of real numbers. Perhaps the most natural example is $$\{X\subseteq\mathbb N:X\text{ is finite or }\mathbb N\setminus X\text{ is finite }\}$$ ordered by set inclusion. In the first example the set of all negative numbers, in the second example the set of all finite sets of even numbers has no least upper bound.

bof
  • 78,265
  • Your first example is not bounded, so it is not what OP wanted. In your second example, $\mathbb N$ is the least upper bound of the set of all finite sets. One has to take (for example) $$A={Y\subseteq{\mathbb N}:Y\text{ is finite and contains only even numbers}}.$$ The set A has no least upper bound. – Gejza Jenča May 19 '14 at 11:31
  • Heh, forget about what I said about the first example. My apologies. – Gejza Jenča May 19 '14 at 11:42
  • @GejzaJenča Thanks for your correction to my second example. – bof May 19 '14 at 11:43
6

Clearly, $\mathbb{Q}\cap[0,1]$ is a bounded lattice. Pick an irational number $x\in[0,1]$ and observe that $\mathbb{Q}\cap [0,x)$ has no join.

Gejza Jenča
  • 1,563
2

Update: My answer below is wrong! (Thanks to bof for pointing that out.) I will leave the answer here because I think my mistake and bof's comment could maybe be instructive.

Let $\mathbb{N}$ be the set of natural numbers. Let $\mathcal{P}_{fin}(\mathbb{N})$ denote the collection of finite subsets of $\mathbb{N}$. Then $L=\mathcal{P}_{fin}(\mathbb{N})\cup\{\mathbb{N}\}$ is a bounded lattice under inclusion. However, it is not complete since $\{0\}\cup\{2\}\cup\{4\}\cup\{6\}\cup\ldots$ is not in $L$.

Eran
  • 2,641
  • 2
    Actually, your example $L$ is a complete lattice: every subset of $L$ has a greatest lower bound, namely, its set-theoretic intersection; therefore, every subset of $L$ has a least upper bound as well. If a set $X\subseteq L$ has no finite upper bound, then its least (and only) upper bound is $\mathbb N$; in particular,$$\sup{{0},{2},{4},\dots}=\mathbb N.$$ – bof May 18 '14 at 21:04