How do I show that A={r in Q: r^3<2} is a Dedekind cut.(adsbygoogle = window.adsbygoogle || []).push({});

Here is the definition I am working with.

A subset A of Q is a Dedekind cut if and only if A satisfies the

following 3 properties:

(i) A is a proper nonempty subset of Q.

(ii) If r is in A, s in Q, and s<r, then s is in A.

(iii) A contains no greatest rational.

I showed that A satisfies (i) and (ii). I noticed that 5/4 is in A

and I tried to find a rational greater than 5/4 whose cube is less

than 2. I looked at the sequence (5n+1)/4n, and I found that n=26

works. That is, (4/5)<(131/104) and (131/104)^3 < 2.

So I think that if a/b is any rational with b>0 and (a/b)^3 < 2, then

there should be some positive integer n such that [(an+1)/bn]^3 < 2. But I don't know

how to show that this n exists.

I tried contradiction:

Let a/b be in A with b>0 , and assume that [(an+1)/bn]^3 >= 2 for all

positive n. Then (a/b)^3 < 2 <= [(an+1)/bn]^3 for all positive n. I

think this may imply that 2^(1/3) is rational, which I know is not true.

Am I on the right track?

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Dedekind cut

Loading...

Similar Threads - Dedekind | Date |
---|---|

Question about the sum of Dedekind cuts | May 18, 2012 |

Addition/Multiplication for Dedekind cuts? | Jul 12, 2011 |

Dedekind cut problem in rudin; Problem 20, Chapter 1, Rudin | Jun 4, 2011 |

Cauchy real and dedekind real are equivalent or isomorphic | May 17, 2010 |

Things to mention while giving a talk about dedekind cuts | Feb 2, 2009 |

**Physics Forums - The Fusion of Science and Community**