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

I have another question about proving "For every real number $x$, there's exactly one integer $n$ such that $n \leq x\lt n+1$".

Let $A=\left \{ n \in \mathbb{Z} \mid n \leq x \right \}$. Let $\hspace{2mm} B=\left \{ n \in \mathbb{Z} \mid x < n+1 \right \}$

Now, how do I know $A\cap B \neq \varnothing$ ?

Playing around with "$\mathbb{Z}$ is not bounded" only gave me that $A$ and $B$ exists, but I don't see how I can get $A\cap B \neq \varnothing$

Thanks in advance.

share|cite|improve this question
The answer to this really depends on what you take to be the foundational assumptions. Do you have in mind a certain axiomatization of the reals and integers? A certain construction of the reals such as Dedekind cuts? – Ben Crowell Mar 8 '12 at 4:27
I'm doing Apostol Calculus book right now...I haven't yet seen Dedekind, I think – user269334 Mar 8 '12 at 4:39
Related – 6005 Jul 17 at 16:56
up vote 2 down vote accepted

Note that $A$ is "downward closed" (if $n\in A$ and $m\leq n$, then $m\in A$) and that $B$ is "upward closed" (if $n\in B$ and $n\leq m$, then $m\in B$).

Note also that $A$ is nonempty, as is $B$, by the Archimedean property. Also, $A$ is bounded above (by $n+1$ for any $n\in B$), so it has a maximum; and $B$ is bounded below (by $(m-1$ for any $m\in A$), so $B$ has a minimum.

Let $a_0$ be the maximum of $A$. Then $a_0\leq x$; we cannot have $a_0+1\leq x$, so $x\lt a_0+1$. Therefore, $a_0\in B$. Thus, $a_0\in A\cap B$.

share|cite|improve this answer
thanks for all this rigorousness! :D – user269334 Mar 8 '12 at 4:29
There's stuff you don't need; we didn't really use the downward-closed or upward-closed property, but it should tell you that what you have is $A\cup B=\mathbb{Z}$; and by symmetry, you can consider the minimum of $B$ instead of the maximum of $A$. – Arturo Magidin Mar 8 '12 at 6:17
A quick question here: how do we know a_{0} \in A ? I mean, we can't assume supA \in A...or does the answer you gave me somewhat implies this? – user269334 Mar 8 '12 at 12:21
@user269334: $a_0$ is the maximum of $A$; maxima are always in the set. $A$ is a set of integers, not reals; if it has a supremum, then it has a maximum. – Arturo Magidin Mar 8 '12 at 15:58… is this the proof for "If A is a set of integers and A has a supA, then supA is inside A"? – user269334 Mar 8 '12 at 16:35

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.