Prove that the limit of 1/x as x goes to 0 doesn't exist.

[KiwiKid]

Homework Statement

Prove that \lim_{x\rightarrow 0} \frac{1}{x} does not exist using the precise definitions of a limit.

Homework Equations

Precise laws for infinite limits:
\lim_{x\rightarrow a} f(x) = \infty means that for every positive number M there is a positive number \delta such that if 0 < |x-a| < \delta then f(x)>M
and
\lim_{x\rightarrow a} f(x) = - \infty means that for every negative number N there is a positive number \delta such that if 0 < |x-a| < \delta then f(x) < N

There's also the precise laws for LHS- and RHS-limits:
\lim_{x\rightarrow a^-} f(x) = L if for every number \epsilon > 0 there is a number \delta > 0 such that if a - \delta < x < a then |f(x) - L| < \epsilon
and
\lim_{x\rightarrow a^+} f(x) = L if for every number \epsilon > 0 there is a number \delta > 0 such that if a < x < a + \delta then |f(x) - L| < \epsilon

And, of course:
If \lim_{x\rightarrow a^-} f(x) = L and \lim_{x\rightarrow a^+} f(x) = L, then \lim_{x\rightarrow a} f(x) = L. Otherwise, it is undefined.

The Attempt at a Solution

Well, I think I've successfully proved it, but I'm not completely sure. My idea was to use the RHS- and LHS-limits to show that they differed, which would then show that the original limit does not exist. Here's my proof:

Proof of \lim_{x\rightarrow 0^+} \frac{1}{x} = \infty:
We have to define delta such that if 0 < x < \delta, then \frac{1}{x} > M
\frac{1}{x} > M \rightarrow x < \frac{1}{M}
Choose \delta = \frac{1}{M} \rightarrow 0 < x < \delta \rightarrow \frac{1}{x} > M
This shows that \lim_{x \rightarrow 0^+} \frac{1}{x} = \infty per the precise definition of a limit.

Proof of \lim_{x\rightarrow 0^-} \frac{1}{x} = - \infty:
We have to define delta such that if - \delta < x < 0, then \frac{1}{x} < N
\frac{1}{x} < N \rightarrow x > \frac{1}{N}
Choose \delta = \frac{-1}{N} \rightarrow - \delta < x < 0 \rightarrow \frac{-1}{N} < N
This shows that \lim_{x \rightarrow 0^-} \frac{1}{x} = - \infty per the precise definition of a limit.

Conclusion:
\lim_{x \rightarrow 0^+} \frac{1}{x} \neq \lim_{x \rightarrow 0^-} \frac{1}{x}
Therefore, the original limit does not exist.

...At least, that's the idea. I'm very unfamiliar with proofs, so did I do anything wrong? Would this be considered adequate proof?

EDIT: I just read that what my book calls the 'precise definition of a limit' is more officially known as the epsilon-delta limit definition.

 

[STEMucator]

Ill give this a go I suppose. First off ill be using this definition since f(x) is tending to infinity, while x is within a reasonable bound coming from the right side.
\forallM>0, \existsδ>0 | a < x < a+δ \Rightarrow f(x)>M

Now let's sub what we know into it :
\forallM>0, \existsδ>0 | 0 < x < δ \Rightarrow f(x)>M

Now we work with our f(x)>M portion of the definition, so we have :
f(x) > M
1/x > M
x < 1/M

So now we sub back into our definition what we now know :
\forallM>0, \existsδ=1/M > 0 | 0 < x < 1/M \Rightarrow f(x)>M

Now here we see the problem! Observe that we have a problem with the left side of the inequality :

0 < x < 1/M
1/0 > 1/x > M
1/0 > f(x) > M

This is self explanatory ^^^. Clearly f(x) is INCREASING without bound, but we have managed to keep it defined. This shows f(x) -> ∞ as x -> 0 from the right.

You can finish this off by doing the other side using this definition below.
\forallM>0, \existsδ>0 | a-δ < x < a \Rightarrow f(x)<M

I'm pretty sure this is how you would do it. Hope this helps!

 

[Stephen Tashi]

Homework Statement

Prove that \lim_{x\rightarrow 0} \frac{1}{x} does not exist using the precise definitions of a limit.

Proof of \lim_{x\rightarrow 0^+} \frac{1}{x} = \infty:
We have to define delta such that if 0 &lt; x &lt; \delta, then \frac{1}{x} &gt; M
\frac{1}{x} &gt; M \rightarrow x &lt; \frac{1}{M}
Choose \delta = \frac{1}{M} \rightarrow 0 &lt; x &lt; \delta \rightarrow \frac{1}{x} &gt; M
This shows that \lim_{x \rightarrow 0^+} \frac{1}{x} = \infty per the precise definition of a limit.

You could make the above argument clearer by stating the quantifiers ('for each", "there exists" ) that apply to your variables. Instead of saying

We have to define delta such that if 0 &lt; x &lt; \delta, then \frac{1}{x} &gt; M

Say

For each M > 0, we have to show there exists a delta such that if 0 &lt; x &lt; \delta, then \frac{1}{x} &gt; M

Then say something like "Let M > 0 be given" and proceed to write the rest as if M were a specific number.

Conclusion:
\lim_{x \rightarrow 0^+} \frac{1}{x} \neq \lim_{x \rightarrow 0^-} \frac{1}{x}
Therefore, the original limit does not exist.

...At least, that's the idea. I'm very unfamiliar with proofs, so did I do anything wrong? Would this be considered adequate proof?

EDIT: I just read that what my book calls the 'precise definition of a limit' is more officially known as the epsilon-delta limit definition.

Yes. As your EDIT suggests, I don't think the problem wants the approach you used. You're the victim of an inconsistency in how we use ordinary English to speak about limits.

We say "The limit of 1/x as x approaches 0 from the right is infinity", but we also say "The limit of 1/x as x approaches 0 from the right does not exist "!. The limits involving infinity are considered as special ways in which a (genuine) limit fails to exist.


Zondrina hasn't written a proof, but Zondrina's post does show how one "works backward" to get the proof. The first problem you have is interpreting in terms of epsilon-delta what it means for a limit not to equal L, where L is a number (and not an infinity).

When you have a definition like "To say S is true means: for each ...there exists", then one can apply the methods of logic to say how to fill-out the definition of "To say S is false means: ...". Some teachers expect students to do this by "common sense" and others may provide instruction.

This problem involves giving a definition for the statement:
It is false that lim_{x \rightarrow a^+} 1/x = L
which amounts to stating the definition of
lim_{x \rightarrow a^+} 1/x \neq L.
Perhaps your text explains how this would be written out in terms of epsilons and deltas. Can you do it?

 

[STEMucator]

Zondrina hasn't written a proof, but Zondrina's post does show how one "works backward" to get the proof. The first problem you have is interpreting in terms of epsilon-delta what it means for a limit not to equal L, where L is a number (and not an infinity).

When you have a definition like "To say S is true means: for each ...there exists", then one can apply the methods of logic to say how to fill-out the definition of "To say S is false means: ...". Some teachers expect students to do this by "common sense" and others may provide instruction.

I don't quite understand how I'm working backwards? Perhaps you could elaborate a bit more?

Usually you manipulate the definition you need according to your values of 'a' and 'L'. Then you massage the expression to find your appropriate value and then prove that the value indeed works?

 

[SammyS]

I don't quite understand how I'm working backwards? Perhaps you could elaborate a bit more?

Usually you manipulate the definition you need according to your values of 'a' and 'L'. Then you massage the expression to find your appropriate value and then prove that the value indeed works?

"Usually you manipulate the definition you need according to your values of 'a' and 'L'. Then you massage the expression to find your appropriate value ..."

This is likely what Stephen Tashi means by working backwards​

In the formal proof, you take that value and show that it works.