# Rudin Theorem 1.20 doubt

1. Sep 6, 2011

### Khichdi lover

There is this post on this theorem. But the issue I wanted to discuss isn't discussed there fully(so far as I could follow the thread). So I am creating this thread for that issue, so as to avoid necro-post in that thread.

My doubt is regarding m. Why do we have to find an m which lies between -m2 and m1.

Why can't we directly say that there exists an m1 which is greater than nx (by Archimedian property).
And then go on to say that there would be an m less than or equal to m1 which is such that nx lies between m-1 and m.Why do we have to show that -m2 is less than nx. Do we have to establish that nx lies in an interval which has both a lower and upper bound(-m2 and m1 respectively). Can't we simply establish that nx lies in an interval which has an upper bound ( i.e m1) and then go on to show existence of m ? Why do we need m2

*I am sorry if I am assuming anything which is not obvious and hence needed to be proven. I am new to analysis , hence I am not too sure of what is obvious and what is not. *

is the above , the correct reason ? Still I am having difficulty understanding the need for -m2.

2. Sep 6, 2011

### micromass

The thing is that we have to construct m such that

$$m-1\leq nx<m$$

For this, we choose

$$m=\min\{a\in \mathbb{N}~\vert~nx<a\}$$

But in order for that minimum to exist, we need the set $\{a\in \mathbb{N}~\vert~nx<a\}$ to have a lower bound. This is exactly what $-m_2$ provides...

3. Sep 6, 2011

### Khichdi lover

ok got it . Thanks.

But 1 doubt still remains though .
in this set you pointed out -

$$m=\min\{a\in \mathbb{N}~\vert~nx<a\}$$

shouldn't 'a' belong to the set of integers instead of the set of naturals.
As any set of naturals will have a minimum. But any set of integers may not have a minimum.

4. Sep 6, 2011

### micromass

Yes, of course. It needs to be the integers

5. Sep 6, 2011

### Khichdi lover

Thanks. Sorry didn't get the latex code correct.
DOUBT resolved!