Can one call a linear order a lattice? If not

  • Thread starter nomadreid
  • Start date
  • #1
nomadreid
Gold Member
1,543
167
Can one call a linear order a lattice? If not....

I have problems putting together the three ideas
(1) the meets and joins of a lattice are unique, hence lattices must have discrete elements
(2) the truth values of a logic are arranged in a lattice
(3) there exist probability logics, whereby each truth value is a probability which can be any real number between 0 and 1, inclusive.
These three do not seem to fit together, so which one is wrong?
Thanks
 

Answers and Replies

  • #2
22,129
3,297
I have problems putting together the three ideas
(1) the meets and joins of a lattice are unique,

OK

hence lattices must have discrete elements

Why does that follow? And what do you mean with discrete elements?

And yes, any linear order is a lattice. So ##\mathbb{R}## is a lattice.
 
  • #3
nomadreid
Gold Member
1,543
167
micromass, thanks for the answer. I must have been brain dead in writing that question, as I was somehow thinking of the meet of a and b being less than rather than less than or equal to a and b.
By discrete elements I meant separate elements (Hausdorff); another symptom of brain death.
Thanks for reviving me. I promise to be a good zombie.
Actually, I was trying to work my way up to a slightly more involved question, that of whether any partial order on S can be extended to a lattice so that no new elements are added and the order stays the same. (The specific one I was thinking of was partially ordering complex numbers with modulus less than or equal to 1, whereby the partial order is defined by: a+bi < c+di iff a2+b2 < c2+d2 (essentially concentric circles). But I do not think it can be turned into a lattice.)
 
  • #4
22,129
3,297
You can always extend the partial order to a linear order. So yes, in particular you can extend your order to a lattice. This can be proven using Zorn's lemma.

In your specific case, all you need to do is define some ordering on the circles. This can be done in many ways (but none of them are very natural). Once you have done that, you will have a linear order on ##\mathbb{C}##.
 
  • #5
nomadreid
Gold Member
1,543
167
thanks again, micromass.
True, it would be easy enough to just say z1 < z2 iff
[either
||z1||< ||z2||
or
(||z1||= ||z2|| & angle 1-0-z1 < 1-0-z2)].
 

Related Threads on Can one call a linear order a lattice? If not

  • Last Post
Replies
6
Views
1K
  • Last Post
Replies
4
Views
4K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
7
Views
27K
Replies
2
Views
906
Replies
26
Views
2K
  • Last Post
Replies
3
Views
2K
Replies
10
Views
2K
Top