Assume the Limit Exists: Proving an Impossibility

  • Context: MHB 
  • Thread starter Thread starter Amad27
  • Start date Start date
  • Tags Tags
    Limit
Click For Summary

Discussion Overview

The discussion centers around proving that the limit $$\lim_{{x}\to{0}} \frac{1}{x}$$ does not exist, with a focus on using contradiction. Participants explore various approaches to demonstrate this impossibility, considering both two-sided limits and one-sided limits, while emphasizing the need for clarity in definitions and conditions.

Discussion Character

  • Exploratory
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant suggests assuming $$\lim_{{x}\to{0}} \frac{1}{x} = M$$ and seeks ideas for reaching a contradiction.
  • Another participant notes that if the limit exists, the behavior approaching zero from the positive and negative sides should be consistent.
  • Some participants propose using sided limits to demonstrate a contradiction, but express difficulty in reaching a definitive conclusion.
  • There is a discussion about the interpretation of proving the limit does not exist, with emphasis on whether to show that both one-sided limits approach infinity or to prove the two-sided limit does not exist.
  • One participant outlines a method to show that for any real number M, the limit as x approaches zero from the positive side does not equal M, suggesting that $$\forall M \in \mathbb{R}: \exists \varepsilon>0, \forall \delta>0, \exists x: 0
  • Another participant raises a question about proving the limit does not exist for all delta, seeking clarification on whether a specific delta or all deltas must be considered in limit proofs.

Areas of Agreement / Disagreement

Participants express differing views on how to approach the proof, with no consensus on a single method or interpretation of the limit's non-existence. The discussion remains unresolved regarding the most effective strategy to demonstrate the limit does not exist.

Contextual Notes

Participants highlight the importance of defining the type of limit being discussed (two-sided vs. one-sided) and the implications of infinity in the context of limits. There is also mention of the need to find suitable x values for arbitrary deltas, indicating a complexity in the proof process.

Amad27
Messages
409
Reaction score
1
Hello,

Prove that

$$\lim_{{x}\to{0}} \frac{1}{x}$$

Does not exist by contradiction. So the obvious step:Assume:$$\lim_{{x}\to{0}} \frac{1}{x} = M$$

$| 1/x - M| < \epsilon$ for $|x| <\delta_1$

Any ideas? PLEASE DO NOT SOLVE.
 
Physics news on Phys.org
If this limit exists, then it wouldn't matter if you go to zero from positive or from negative numbers.
 
Fallen Angel said:
If this limit exists, then it wouldn't matter if you go to zero from positive or from negative numbers.

So I suppose what you are suggesting is that we reach a contradiction using sided limits? So we get:

$$x< \delta \implies \left| 1/x - L \right| < \epsilon$$

$$-x < \delta_2 \implies \left| 1/x - L \right| < \epsilon$$

Let $\delta' = \min(\delta_1, \delta_2)$

Let $\epsilon = 1$

$$x< \delta \implies \left| 1/x - L \right| < 1$$

$$-x < \delta_2 \implies \left| 1/x - L \right| < 1$$

------------------------------------------------------------------

$$0 < \delta_1 + \delta_2 \implies 2|1/x - L| < 2$$

This is hard, since I cannot reach a contradiction.
 
EDIT:
In which sense do you want to prove the limit does not exist? Do you want to prove the two-sides limit does not exist? Or do you want to prove that $\lim_{x \to 0^{+}} \frac{1}{x} = +\infty$ and $\lim_{x \to 0^{-}} \frac{1}{x} = - \infty$ which also means that both limits do not exist as they're not finite.

If it's the first case then post #2 gives the answer. If not, you could prove it this way. Suppose you want to prove $\lim_{x \to 0^{+}} \frac{1}{x}$ does not exists (in the sense that it's value is not finite) then it's equivalent with proving $\forall M \in \mathbb{R}: \lim_{x \to 0^{+}} \frac{1}{x} \neq M$. This last statement is equivalent with
$$\forall M \in \mathbb{R}: \exists \varepsilon>0, \forall \delta>0, \exists x: 0<x<\delta \ \mbox{and} \left |\frac{1}{x}-M \right| \geq \varepsilon$$

To prove the above statement. Let $\epsilon = 1$ for example and try to find an $x$ such that the above statement holds.
 
Last edited:
Siron said:
EDIT:
In which sense do you want to prove the limit does not exist? Do you want to prove the two-sides limit does not exist? Or do you want to prove that $\lim_{x \to 0^{+}} \frac{1}{x} = +\infty$ and $\lim_{x \to 0^{-}} \frac{1}{x} = - \infty$ which also means that both limits do not exist as they're not finite.

If it's the first case then post #2 gives the answer. If not, you could prove it this way. Suppose you want to prove $\lim_{x \to 0^{+}} \frac{1}{x}$ does not exists (in the sense that it's value is not finite) then it's equivalent with proving $\forall M \in \mathbb{R}: \lim_{x \to 0^{+}} \frac{1}{x} \neq M$. This last statement is equivalent with
$$\forall M \in \mathbb{R}: \exists \varepsilon>0, \forall \delta>0, \exists x: 0<x-a<\delta \ \mbox{and} \left |\frac{1}{x}-M \right| \geq \varepsilon$$

To prove the above statement. Let $\epsilon = 1$ for example and try to find an $x$ such that the above statement holds.
Thanks Siron.

Let $\epsilon = 1$ so then we get:

$|\frac{1}{x} - M| > 1$

$|\frac{1}{x}| > 1 + |M| $ [by the triangle inequality]

$ x < \frac{1}{1 + |M|}$

So if $ x < \frac{1}{1 + |M|}$ then $|\frac{1}{x} - M| > 1$

So for $\delta = \frac{1}{1 + |M|}$ the limit as $x \to 0^{+}$ does not exist.

But this is only one $\delta$

How do you prove for all $\delta$?

In limit proofs, generally, how do you prove $|f(x) - L| > \epsilon$?

Do you have to prove for a SPECIFIC $\delta$ or ALL $\delta$?

Thanks!
 
Olok said:
Thanks Siron.

Let $\epsilon = 1$ so then we get:

$|\frac{1}{x} - M| > 1$

$|\frac{1}{x}| > 1 + |M| $ [by the triangle inequality]

$ x < \frac{1}{1 + |M|}$

So if $ x < \frac{1}{1 + |M|}$ then $|\frac{1}{x} - M| > 1$

So for $\delta = \frac{1}{1 + |M|}$ the limit as $x \to 0^{+}$ does not exist.

But this is only one $\delta$

How do you prove for all $\delta$?

In limit proofs, generally, how do you prove $|f(x) - L| > \epsilon$?

Do you have to prove for a SPECIFIC $\delta$ or ALL $\delta$?

Thanks!

Remark: note that I wrote $0<x-a<\delta$ in my previous post but this has to be $0<x<\delta$ of course.

It's true that we want to prove it $\forall \delta>0$. More precisely, we want to find $\forall \delta>0$ a suitable $x$ such that the statement holds.

Let $M \in \mathbb{R}$. Choose $\epsilon = 1$ and let $\delta>0$ be arbitrary. We'll translate the statement '$\forall \delta>0, \exists x$' as follows:

Let $N>0$ a real number such that $\delta > \frac{1}{N}$ (it's always possible to find such $\delta$) and suppose $x \in \left ]0,\frac{1}{N} \right[$. Clearly, $0<x<\frac{1}{N}$ by construction.

Knowing the above we get the following
$$\left|\frac{1}{x}-M \right | \geq \frac{1}{|x|}-|M| \geq N - |M|$$

Note that $N - |M|$ can be made greater than or equal to $1$. To see this, since $N>0$ we can set $N \geq |M|+\epsilon = |M|+1$ at the start of the proof.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 23 ·
Replies
23
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K