RE: RE: Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness
You are viewing a single comment's thread from:

RE: Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness

Words
72
Reading
1 min
Listen
Play
4y

B:={ r ∊ Q : r2 < 2 } only takes elements from Q. Indeed r2 = 1.5 or r2=15/10 are not contained in it. We are viewing B as subset of Q. And looking for a least upper bound in Q (it is the same what we did for the R story but now R is replaced by Q). For B we cannot apply axiom of completeness and (you can prove that) B has no least upper bound in Q

@mathowl: B:={ r ∊ Q : | Ecency