Pugh's exercise on Dedekind cuts addition

592 Views Asked by At

I am trying to solve the following exercise:

Let $x=A|B$ and $x'=A'|B'$ be cuts in $\mathbb{Q}$. Show that although $B+B'$ is disjoint from $A+A'$, it may happen in degenerate cases that $\mathbb{Q}$ is not the union of $A+A'$ and $B+B'$.

The first assertion is straightforward, but I have not been able to handle the second one. It does not work for rational cuts or $\sqrt{2}+\sqrt{2}$.

1

There are 1 best solutions below

2
On BEST ANSWER

HINT: Try $\sqrt2$ and $-\sqrt2$. More generally, try any two irrationals whose sum is rational.