4
$\begingroup$

I'm trying to do a series of exercises from Spivak's Calculus, in chapter 8, Least Upper Bounds.

I'm trying to tackle these two exercises, $5.$ and $^*.6$

From $5.$ I have proven the first claim

$(a)$ Let $x-y>1$. Prove there is an integer $k$ such that $x.

P Let $\ell$ be the greatest integer such that $\ell \leq x$. Then

$y-x >1$

$y-\ell >1$

$y>1+\ell $

Thus the integer $\ell +1$ is between $y$ and $x \text{ }\blacktriangle$.

$(b)$ Let $x. Show there is a rational $r$ such that $x.

P If $x then there is $\epsilon>0$ such that $x+\epsilon=y$. Thus $\epsilon=y-x$. But from T3, we have that there is an $n$ such that $1/n < \epsilon$, thus

$\frac{1}{n} < y-x$

$1

and from the last theorem we have that there is a integer $k$ such that

$nx

$x< \frac{k}{n}

$(c)$ Let $r be rational numbers. Prove there is an irrational number between $r$ and $s$. Hint: it is known there is an irrational number between $0$ and $1$.

Ok, this is a proof based on your answers.

P Since $\sqrt 3 $ is irrational and $\sqrt{3}<3$, then $\ell = \sqrt{3}/3<1$ and thus it is in $[0,1]$.

Now, $r. Then

$0<\ell < 1$

$0<\ell(s-r) < s-r$

$r

And since $\ell$ is irrational $r+\ell(s-r)$ is irrational. $\blacktriangle $

$(d)$ Show that if $x then there is an irrational number between $x$ and $y$: There is no need to work here, this is consequence of $(b)$ and $(c)$

This one was quite straightforward, but thanks anyways.

P

$x

$(b)\Rightarrow x

Then by $(c)$, there is an irrational $\ell$ such that

$ x

This will let me conclude

  • $\mathbb Q$ is dense on any $[a,b]\subset \Bbb R$

  • $\mathbb I$ is dense on any $[a,b] \subset \Bbb R $

and will let me move on into $^*6.$ which is

$(a)$ Show that $f$ is continuous and $f(x)=0$ for all $x$ in a dense set $A$, then $f$ is $f(x)=0$ for all $x$.

$(b)$ Show that $f$ and $g$ are continuous and $f(x)=g(x)$ for all $x$ in a dense set $A$, then $f(x)=g(x)$ for all $x$.

$(c)$ If we suppose $f(x)\geq g(x)$ for all $x$ in $A$, then $f(x)\geq g(x)$ for all $x$. ¿Can $\geq$ be substituted with $>$ everywhere?

I'm not asking for solutions for this last problems (which will be asked separately), but for $(c)$ and $(d)$ in $5.$


The chapter has several important proofs, which might or might not be relevant here, but I think it is important you know what tools we have at hand:

THEOREM 7-1 If $f$ is continuous on $[a,b]$ and $f(a)<0, then there is $x \in [a,b]:f(x)=0$

THEOREM 1 If $f$ is continuous in $a$, then there exists a $\delta>0$ such that $f$ is bounded above in $(a-\delta,a+\delta)$.

THEOREM 7-2 If $f$ is continuous on $[a,b]$ then $f$ is bounded on $[a,b]$.

THEOREM 7-3 If $f$ is continuous on $[a,b]$ then there is an $y$ in $[a,b]$ such that $f(y)\geq f(x)$ for all $x$ in $[a,b]$.

THEOREM 2 $\Bbb N$ is not bounded above.

THEOREM 3 If $\epsilon >0$, there is an $n \in \Bbb N$ such that $1/n < \epsilon$.

  • 0
    @PeterTamaro$f$f: You mi$g$ht want to move that to the to$p$ and put the background later $f$or $p$eople who want to read it.2012-05-24

4 Answers 4

1

Your idea on contracting or dilating the interval seems slightly confusing to me. For example, I don't understand what you mean by "if $x\ell > y$, then $x\ell \in [x,y]$". This does not make sense to me because the interval

$[x,y] \stackrel{\text{def}}{\equiv} \{z \in \Bbb{R} : x \leq z \leq y \}.$

What I would do is to use Keivan's hint. If you want to produce explicitly such an irrational number between 0 and 1 you can look at $\sqrt{2}/2$. Now why is it that given rationals $a$ and $b$ we have the inequality

$a < a + (b-a)\frac{\sqrt{2}}{2}

with $a + (b-a)\frac{\sqrt{2}}{2}$ irrational? In general if you are given real numbers $x$ and $y$ you can invoke the existence of rationals $a,b$ such that

$x < a < b < y$

and then apply the earlier inequality to complete the problem.

  • 0
    Will do then, Ben. I guess I get the idea of it after [this question](http://math.stackexchange.com/questions/147186/prove-that-if-a-in-0-1-then-lim-limits-x-to-a-fx-0), but I'd love to see a formal proof!2012-05-28
2

FURTHER HINT: The hint only allows you to assume the existence of one irrational number in $(0,1)$; you may not assume anything about where in the interval it lies. In addition to expanding or contracting the unit interval, you’ll want to translate it left or right by some rational amount.

  • 0
    I see. Oh, and [this](http://math.stackexchange.com/questions/149457/how-to-show-f-g-are-equal-up-to-nth-order-at-a) question deserves an answer from a professor which might give a more interesting and comprehensive account on Taylor's theory. Good night!2012-05-25
1

For a proof of part c: Let $a\in [0,1]$ be irrational. Let $b=r+a(s-r)$. First, $b\in(r,s)$, since $b=(1-a)r+as$ (a convex linear combination of two numbers). Second, $b$ is irrational since it is multiplied by a rational number and added to a rational number.

1

For part $(d)$:

$x, then by part $(b)$ there is a rational number $r$ such that $x, and using it one more time for $r,y$, there is a rational number $s$ such that $r. Altogether it says if $x then there are rational numbers $r,s$ such that $x

Now use part $(c)$ to conclude there's an irrational number between $r,s$ and hence between $x,y$.