# Dedekind Cuts

1. Oct 29, 2009

### hitmeoff

1. The problem statement, all variables and given/known data
Show that if $$\alpha$$ and $$\beta$$ are Dedekind cuts then so is $$\alpha$$ + $$\beta$$={r1+r2: r1 $$\epsilon$$ $$\alpha$$ and r2$$\epsilon$$$$\beta$$

2. Relevant equations

3. The attempt at a solution
If a dedekind cut is a cut whereby the sets on the left side of the cut and the right side of the cut would contain all the rational numbers then the cut itself is an irrational number right? If you add to irrationals dont you get another irrational number, thereby having another cut where the LH U RH still contains all the rationals?

2. Oct 29, 2009

### VeeEight

Have you checked the three properties (non-empty, closed below, and has no greatest rational element)?

3. Oct 29, 2009

### HallsofIvy

How is addition of Dedekind cuts defined?

4. Oct 29, 2009

### hitmeoff

Not sure, the question was stated as I wrote it.

And this part: $$\alpha$$ + $$\beta$$={r1+r2: r1 $$\epsilon$$ $$\alpha$$ and r2$$\epsilon$$$$\beta$$

throws me off... is this to say that alpha is the left hand set and beta the right hand set (or vice-versa) else im not sure what they mean by r1 in Alpha and r2 in Beta. I thought the alpha and beta's were the actual cuts?

5. Oct 29, 2009

### Hurkyl

Staff Emeritus
What is the definition of a Dedekind cut?

6. Oct 29, 2009

### hitmeoff

Its a "cut" that separates all rationals into two sets and has the props:

1. The sets are non-empty
2. Every rational is in one set or the other
3. Every number in the Left set is less than every number in the Right set.

So is the question stating that Alpha is on set and beta is the other set? If so then I dont know what the mean by Alpha + Beta?

7. Oct 29, 2009

### Hurkyl

Staff Emeritus
If that is the definition of Dedekind cut your book uses, then something is very wrong in the statement of your homework problem. What exactly was asked?

8. Oct 29, 2009

### Hurkyl

Staff Emeritus
Oh, FYI, there is another commonly used definition of Dedekind cut. As compared to your definition, this other definition defines a Dedekind cut as being the left-hand set.

I.E. if (L,R) is a your-Dedekind cut, then L is an other-Dedekind cut. Conversely, if L is an other-Dedekind cut, then (L, Q-L) is a your-Dedekind cut.

Your originally stated problem makes sense with this definition.

9. Oct 29, 2009

### hitmeoff

ok, now the problem makes all kinds of sense.

So let $$\alpha$$ and $$\beta$$ be dedekind cuts.

WLG $$\alpha$$ $$\subseteq$$ $$\beta$$

$$\forall$$r1 $$\epsilon$$ $$\alpha$$ and r2 $$\epsilon$$ $$\beta$$ r1+r2$$\epsilon$$$$\beta$$ which, by definition has no largest rational?

Note: Damn it, this only works if we are talking about the righ-hand set. Then I don't get how r1 + r2 $$\epsilon$$ beta and be guaranteed not to have a largest rational since r1 and r2 could be rational elements and this set is bounded above

Last edited: Oct 29, 2009
10. Oct 30, 2009

### HallsofIvy

You don't need to get "r1 + r2 $$\epsilon$$ beta " and that is not necessarily true. All you need to do is show that $\{ r_1+ r_2| r_\in \alpha, r_2\in \beta\}$ is a cut.

You need to prove:
1) It is non-empty.
2) There is some rational number that is not in it.
3) If x is in the cut and y is not then x< y.
4) It contains no largest number.

The first three are pretty simple. To prove the fourth, by contradiction, suppose it were not true. That is, suppose there exist r which is the largest member of this set. Then there exist $r_1\in \alpha$ and $r_2\in \beta$ such that $r_1+ r_2= r$. Now use the fact that $\alpha$ and $\beta$ have no largest member.

(I apologize for my first response. I misread the question and didn't realize that you were defining "$\alpha+ \beta$".)