# Real Analysis limit proof problem.

1. Oct 1, 2012

### gottfried

1. The problem statement, all variables and given/known data
Define the function f:ℝ→ℝ by f(x)=0 if x is irrational and f(p/q)=1/q if p,q are integers and q>0 and the fraction is in reduced form.

Prove f is continuous at every irrational point.

2. Relevant equations

3. The attempt at a solution
We must show that lim x->a f(x)=f(a)=0 if a is irrational.
This is clearly true for all the irrationals near a so we need to show that

lim (p/q)->a f(x)=0
From the limit definiton
$\forall$(|p|.$\epsilon$-a)>0 $\exists$ $\delta$=(|p|.$\epsilon$ - a) > 0 such that |p/q - a|<$\delta$

|p/q|<$\delta$ + a

|q| > $\frac{|p|}{\delta + a}$

$\frac{1}{|q|}$ < $\frac{\delta + a}{|p|}$
since $\delta$ = (|p|.$\epsilon$ -a)

we simplify to

|$\frac{1}{q}$|< $\epsilon$

Is that a sufficient proof

2. Oct 2, 2012

### voko

I do not follow your proof. I do not even understand what (|p|.ϵ-a) is.

Anyway, since you have separated irrationals and rationals, then you have to prove that any sequence of rational numbers converging to an irrational has the denominator going to infinity. It looks like you are trying to prove just that, but I do not see any notion of sequences involved.

3. Oct 2, 2012

### HallsofIvy

What you need is that for any interval [a, b], for a given q there exist only a finite number of p such that p/q is in that interval. Therefore, as you get closer and closer to any given point, the denominator must go to infinity.

4. Oct 3, 2012

### gottfried

I'm trying to use the limit definition that
lim x->a f(x)=L
if $\forall$ $\epsilon$'>0 $\exists$ $\delta$ > 0 such that |x-a|<$\delta$ implies |f(x)-L|<$\epsilon$'.

In my proof I'm trying to show that
lim (p/q)->a f(x)=0
$\forall$ $\epsilon$>0 $\exists$ $\delta$ > 0 such that |$\frac{p}{q}$-a|<$\delta$ implies |$\frac{1}{q}$-0|<$\epsilon$.

and to show this I've tried to use (|p|.ϵ-a) instead of $\epsilon$' so that my inequality

$\frac{1}{|q|}$<$\frac{\delta + a}{|p|}$ simplifies into the desired result which is

|$\frac{1}{q}$|< $\epsilon$

5. Oct 3, 2012

### voko

That means p is both part of the ϵ specification, which is supposed to be arbitrary, and part of the value constrained by δ. That does not seem correct in any way.