Trying to understand epsilon-delta defn of limit

[nietzsche]

I made this question up myself, so I'm not even entirely sure if it makes sense, but I'm pretty sure that it does.

Homework Statement

Consider the function
$$\begin{equation*}<br /> f(x) = \left\{<br /> \begin{array}{cc}<br /> 1 & : x = \dfrac{1}{n}, n \in \mathbb{N}\\<br /> 0 & : x \not = \dfrac{1}{n}, n \in \mathbb{N}<br /> \end{array}<br /> \end{equation*}$$

Prove that
$$\begin{equation*}<br /> \lim_{x \to \frac{1}{n}} f(x) = 0<br /> \end{equation*}$$

Homework Equations

The Attempt at a Solution

I'm really new to all this epsilon delta stuff, so I'm not sure how I would get started on a question like this.

Given $$\epsilon>0$$ we want to show that there exists $$\delta > 0$$ such that

$$0<|x-\dfrac{1}{n}|<\delta\\<br /> \implies |f(x)-0| < \epsilon$$

Like I said, I made this question up myself so I could try to understand this. I don't know how to get started though. Any hints?

 

[╔(σ_σ)╝]

As x-->(1/n), f(x) = 0, which means your inequality holds for any epsilon. And regardless of if the value of delta(even 0) the limit exist.

When we talk about limits we are talking about the neighborhood around your point. Your function is zero everywhere except for a bunch of rational numbers between 0 and 1.

I don't like the question because I believe it accomplishes the exact opposite of what you want.

Try using a simpler example then work your way up.

The attached pdf below might be useful to you.

 

[nietzsche]

well, it is a weird example, but i'd still like to understand it. i have a good intuition for how it works when it comes to continuous functions like polynomials... it's the weird examples that I'm trying to wrap my head around.

i just want to figure out what a rigorous proof of this would look like.

 

[aPhilosopher]

If you wanted to write a formal proof, you could note that $$\frac{1}{n - 1} > \frac{1}{n} > \frac{1}{n + 1}$$. This gives you explicit bounds on where delta can be for a given n.

 

[Hurkyl]

More detail is needed. I assume:
. f is supposed to be a function of a real-number variable
. n denotes a positive integer
. You want to prove this for all n
. the limit is to be taken as x varies over real numbers near 1/n

In that case, the limit is, in fact, 0, just as you speculate.


Why is it zero? The thing to "understand" is that your function f is zero everywhere near 1/n -- and you presumably understood that, which is why you made the question up!


So, to make a rigorous proof, the thing you need to do is to translate your understanding into things you can work with mathematically. The key is to explain what you mean by "f is zero everywhere near 1/n", which leads into aPhilosopher's comment.


Incidentally, if a is any real number other than zero, then

$$\lim_{x \rightarrow a} f(x) = 0$$​

Can you tell what happens in the case that a=0?



Incidentally, if your understanding of the problem is different than what I suggested above, then say so -- and we can try to turn that into a proof.

 

[nietzsche]

hmm...thanks for your replies everyone.

i guess i need to be more clear with my function, but yes, that's what i had in mind.

this is what i think so far:

note that for all x not equal to 1/n in

1/(n+1) < x < 1/(n-1)

that f(x) = 0.

The distance between 1/n and 1/(n+1) is

1 / (n)(n+1)

and the distance between 1/n and 1/(n-1) is

1/ (n)(n-1)

Suppose we take delta to be the minimum of these two distances, so that delta is equal to 1 / (n)(n+1). this implies that for x such that 0 < x < delta, |f(x) - 0| = 0 < epsilon for all positive epsilon.

(sorry i got lazy with the tex. but i think I'm onto something here.)

 

[nietzsche]

How would I prove that the limit as x -> 0 does not exist?

I can see that no matter how small we choose delta, f(x) will still either be 1 or 0, so it can't possibly have a limit. But I'm not sure how that would look in a formal proof either.

 

[Hurkyl]

Knowing how to negate a sentence is a useful skill.

The negation of

For every e>0 there exists a d>0 such that for every x 0<|x|<d implies |f(x)-L| < e​

is

Not for every e>0 there exists a d>0 such that for every x 0<|x|<d implies |f(x)-L| < e​

which simplifies to

There exists an e>0 such that not there exists a d>0 such that for every x 0<|x|<d implies |f(x)-L| < e​

There exists an e>0 such that for every d>0, not for every x 0<|x|<d implies |f(x)-L| < e​

There exists an e>0 such that for every d>0, there exists an x such that not (0<|x|<d implies |f(x)-L| < e)​

There exists an e>0 such that for every d>0, there exists an x such that 0<|x|<d and not |f(x)-L| < e​

There exists an e>0 such that for every d>0, there exists an x such that 0<|x|<d and |f(x)-L| >= e​

(This is somewhat clearer if you write it out with logical symbols rather than in English)

For every L, there exists an e>0 such that for every d>0, there exists an x such that 0<|x|<d and |f(x)-L| >= e​

I suggest splitting it into two cases: L=0, and L is not zero.


Incidentally, there is a generalization of a limit: the notion of a "limit point". It turns out as x->0, f(x) has two limit points: 0 and 1. (And because there is more than 1 limit point, the limit does not exist)

You want to use your observation -- that near 0, f(x) attains both 0 and 1 as values.

 

[nietzsche]

Thanks for everyone's help.