Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

OK, here are two questions out of Nathanon's Additive Number Theory from the section on fractional parts ($\S$4.4).

I think I'm missing something. I don't understand what there is to prove? Let $x\in \mathbb{R}$ and let

$$||x||:= \min(|n-x|:n \in \mathbb{Z}) $$

So, its just the distance from $x$ to the nearest integer. Questions 1 and 2 of $\S4.4$ are to show:

$$||\alpha +\beta|| \le ||\alpha||+||\beta||$$ and this little thing: $$||x|| = ||-x|| = ||x+n||, \forall n \in \mathbb{Z}$$ I've seen similar questions before on a course in ele number theory, and didn't do so well on them. As stated above, I don't know what there is to prove, or how I would do it. Do I actually need to go back to the definition of $||x||$? Thanks for any help on this..

share|cite|improve this question
up vote 1 down vote accepted

Yes, as simple as it sounds: to show a theorem about $\Vert\cdot\Vert$, it is very useful to have a look at its definition. After all, the defining properties are a priori all you know about it.

Let $\alpha, \beta$ be real numbers. By definition of $\Vert\cdot\Vert$, there exists an integer $n\in \mathbb Z$ such that $\Vert\alpha\Vert = |n-\alpha|$. Similarly, there exists an integer $m\in\mathbb Z$ such that $\Vert\beta\Vert = |m-\beta|$. Since $n+m\in \mathbb Z$ and we take the minimum over all elements of $\mathbb Z$, surely $$\Vert\alpha+\beta\Vert\le|(\alpha+\beta)-(n+m)|\le |\alpha-n|+|\beta-m|=\Vert\alpha\Vert + \Vert\beta\Vert.$$

See if you can show the other thing yourself (hint: it suffices to show $\Vert -x\Vert\le \Vert x\Vert$ and $\Vert x\Vert\le \Vert x+n\Vert$ - why?).

share|cite|improve this answer
Thanks for the response Hagen. The problem is that I feel (especially for the second part) that they state such an obvious idea. I just want to say "well it's clearly true", and am having trouble formalizing it in a proof. Yours and littleO's responses are deffinietly helpful though - I'll certainly need to use the definition of this particular $|| \cdot||$ – Margret Button Nov 17 '12 at 21:45

Yes, you do need to go back to the definition of $\|x\|$. To prove that $\|\alpha+\beta\|\le\|\alpha\|+\|\beta\|$ for all $\alpha,\beta\in\Bbb R$, for instance, you have to show that the integer closest to $\alpha+\beta$ cannot be larger than the sum of the integers closest to $\alpha$ and to $\beta$. Here’s one way in which you might approach the task.

Let $m$ and $n$ be the integers closest to $\alpha$ and $\beta$, respectively. (If either $\alpha$ or $\beta$ is halfway between two consecutive integers, you can use either of those integers.) Then $m+n$ is at least a reasonable candidate for the integer nearest to $\alpha+\beta$, so let’s have a look at the distance from $\alpha+\beta$ to $m+n$:

$$\begin{align*} |\alpha+\beta-(m+n)|&=|(\alpha-m)+(\beta-n)|\\ &\le|\alpha-m|+|\beta-n|\\ &=\|\alpha\|+\|\beta\|\;. \end{align*}$$

We wanted to show that $\|\alpha+\beta\|\le\|\alpha|+\|\beta\|$, so if we can show that $$\|\alpha+\beta\|\le|\alpha+\beta-(m+n)|\;,$$ we’re done. But this is immediate from the definition of $\|\cdot\|$:

$$\begin{align*} \|\alpha+\beta\|&=\min\{|\alpha+\beta-k:k\in\Bbb Z\}\\ &\le|\alpha+\beta-(m+n)|\;, \end{align*}$$

since the minimum of a set is always less than or equal to each member of the set.

Showing that $\|x\|=\|x+n\|$ for each $n\in\Bbb Z$ is easier, because it’s easier to come by the right intuition. Let $m=\lfloor x\rfloor$, so that $m\le x<m+1$; then the integer nearest to $x$ is either $m$ or $m+1$, unless $x$ is halfway between them, in which case it doesn’t matter which we choose, the distance from $x$ is $\frac12$. But then clearly $m+n\le x+n<m+n+1$, and the distances from $x+n$ to $m+n$ and to $m+n+1$ are identical to the distances from $x$ to $m$ and to $m+1$: we’ve simply translated the picture $n$ units. Thus, either $x\le m+\frac12$, and $$\|x+n\|=(x+n)-(m+n)=x-m=\|x\|\;,$$ or $x>m+\frac12$, and


(There are more efficient ways to say this; I’m concentrating on how you might actually discover correct arguments.)

Finally, what about $\|-x\|=\|x\|$? Once again let $m=\lfloor x\rfloor$, so that $m\le x<m+1$. Observe that $-(m+1)<-x\le-m$, so $-m$ and $-(m+1)$ are the two integers nearest $-x$. Moreover, the distance from $-x$ to $-m$ is the same as the distance from $x$ to $m$, and the distance from $-x$ to $-(m+1)$ is the same as the distance from $x$ to $m+1$. (I’ll leave the algebraic verification of that to you.) Can you now finish the argument to show that $\|-x\|=\|x\|$?

share|cite|improve this answer

For the first part:

Suppose the nearest integer to $\alpha$ is $m$ and the nearest integer to $\beta$ is $n$. Then \begin{align*} \| \alpha + \beta \| & \leq | \alpha + \beta - (m + n) | \\ &= |\alpha - m + \beta - n| \\ &\leq |\alpha - m| + |\beta - n| \\ &\leq \| \alpha \| + \| \beta \|. \end{align*}

share|cite|improve this answer

Let $m$ be an integer then $$||x+m|| = \min(|n-x-m|:n \in \mathbb{Z}) = \min(|(n-m)-x|:n-m \in \mathbb{Z}) =||x||.$$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.