Can someone please help me to prove what is the sum of two rational numbers (is rational obviously but why) with dedekind cuts, what is the sum of rational and an irrational and the sum of two irrational numbers also with the definition of dedekinds cuts?
I give the definition of cut dedekind
(a) Cut $A\neq \emptyset$ and $A\neq\Bbb Q$.
(b) If $x\in A$ and $y \in\Bbb Q$ and $y<x$, then $y\in A$.
(c) $A$ contains no largest number, that is if $x \in A$ then there is $y\in A$ so that $x<y$
Best Answer
I’ll show that the sum of two rational cuts is rational. Suppose that $A$ and $B$ are rational cuts; then there are $a,b\in\Bbb Q$ such that $A=\{q\in\Bbb Q:q<a\}$ and $B=\{q\in\Bbb Q:q<b\}$. By definition $$A+B=\{p+q:p\in A\text{ and }q\in B\}\;;$$ I’ll prove that $A+B=\{q\in\Bbb Q:q<a+b\}$, the Dedekind cut corresponding to the rational number $a+b$.
Here I didn’t have to prove directly that $A+B$ was a Dedekind cut, because I could show that it was equal to something known to be a Dedekind cut. You should try to prove that for all Dedekind cuts $A$ and $B$, $A+B=\{p+q:p\in A\text{ and }q\in B\}$ is a Dedekind cut.
Once you’ve done that, you can show that if $A$ is a rational cut and $B$ is an irrational cut, then $A+B$ is irrational. You already know that $A+B$ is a Dedekind cut, so you just have to show that it’s not a rational Dedekind cut: for each $r\in\Bbb Q$, $A+B\ne\{q\in\Bbb Q:q<r\}$. This can be done by contradiction: show that if $A+B=\{q\in\Bbb Q:q<r\}$ for some $r\in\Bbb Q$, then the cut $B$ is rational.
When both $A$ and $B$ are irrational cuts, $A+B$ can be either rational or irrational, depending on exactly which cuts $A$ and $B$ are; you can’t prove any general conclusion here.