Is Q a lattice?

  • Thread starter beeftrax
  • Start date
  • #1
9
0
I'm reading "A Course in Advanced Calculus" by Robert Borden, and one of the problems begins as follows:

"Prove that the field Q is a lattice, but not a (sigma)-lattice, under the usual order" (pg.25)

Q is of course the rational numbers.

However, Q doesn't seem to be a lattice, since the supremum of, say, [0,1] doesn't exist, since given any upper bound eg 1.1, a smaller upper bound eg 1.01 that is still in Q can be found.

So is Q not in fact a lattice, or am I missing something?

I apologize if this is in the wrong forum.
 

Answers and Replies

  • #2
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
1 is a least upper bound of [0, 1]
 
  • #3
9
0
It is, isn't it. I feel silly. At the risk of getting another simple answer to a stupid question, what about an interval between 0 and a positive irrational number, say sqrt(2). Does the supremum of such an interval lie within Q?
 
  • #4
9
0
On further thought, I'll answer my own question (or try to). The subset I described isn't finite, so it's lack of a supremum doesn't mean that Q isn't a lattice.
 
  • #5
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
Exactly right.
 

Related Threads on Is Q a lattice?

  • Last Post
Replies
4
Views
2K
Replies
2
Views
767
  • Last Post
Replies
6
Views
5K
  • Last Post
Replies
1
Views
1K
Replies
10
Views
2K
  • Last Post
Replies
0
Views
973
Replies
4
Views
1K
Replies
0
Views
2K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
0
Views
678
Top