What Makes the Epsilon-Delta Definition Special for Continuity?

  • Context: High School 
  • Thread starter Thread starter imram.math
  • Start date Start date
  • Tags Tags
    Definition
Click For Summary

Discussion Overview

The discussion revolves around the epsilon-delta definition of continuity in mathematics, particularly focusing on its implications and nuances. Participants explore the formal definition, its components, and the conditions under which it applies, while addressing misunderstandings and clarifying concepts related to continuity and limits.

Discussion Character

  • Technical explanation
  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • Some participants express confusion regarding the epsilon-delta definition of continuity and seek clarification on its meaning.
  • One participant provides the formal definition of continuity, stating that a function is continuous at a point if, for any epsilon greater than zero, there exists a delta such that certain conditions hold.
  • There is a correction regarding the condition that should be applied, with some participants arguing that the point x = x_0 should not be excluded from the delta condition.
  • Another participant argues that excluding x = x_0 could lead to conflating the concepts of continuity and limits, suggesting that the limit concept should not be confused with continuity.
  • Some participants discuss the relationship between the definition of continuity and the definition of limits, noting that both concepts are interrelated but distinct.
  • A participant references a discussion from Spivak's Calculus to illustrate the relationship between limits and continuity, emphasizing that the condition for continuity can be simplified when the limit equals the function value at that point.
  • There is a debate about whether the continuity criterion should differ from the general criterion for limits, with some participants questioning the necessity of a special case for continuity.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the exclusion of the point x = x_0 in the epsilon-delta definition, with multiple competing views presented regarding the implications of this exclusion and the relationship between continuity and limits.

Contextual Notes

Some participants express uncertainty about the definitions and their applications, indicating a need for further clarification on the nuances of continuity and limits. The discussion reflects varying interpretations of the epsilon-delta definition and its implications.

imram.math
Messages
1
Reaction score
0
please i am new to math. I don't know exact meanings of epsilon-delta definition. i don't comprehend it. Would Anybody help me. thanks in advance
 
Physics news on Phys.org
What particularly are you not understanding? Do you mean the [itex]\epsilon[/itex]-[itex]\delta[/itex] definition of continuity of a function at a point?

In this case it reads:

A function [itex]f:D \rightarrow \mathbb{R}[/itex] is continuous at [itex]x_0 \in D[/itex] iff for any [itex]\epsilon>0[/itex] there exists a [itex]\delta>0[/itex] such that for all [itex]x \in D[/itex] with [itex]|x-x_0|<\delta[/itex]
[tex]|f(x)-f(x_0)|<\epsilon.[/tex]
This just says in a formal way that the graph of the function doesn't jump at [itex](x_0,f(x_0))[/itex].
 
##0<|x-x_0|<\delta## actually.
 
pwsnafu said:
##0<|x-x_0|<\delta## actually.
There's no reason to exclude the point ##x = x_0##. We trivially have ##|f(x_0) - f(x_0)| < \epsilon## for any ##\epsilon##.
 
jbunniii said:
There's no reason to exclude the point ##x = x_0##. We trivially have ##|f(x_0) - f(x_0)| < \epsilon## for any ##\epsilon##.

It sure is a reason.
Otherwise, discontinuous functions would be deprived of limit values at the point of discontinuity. Thus, the limit concept would be conflated with the continuity concept.
Think about it!
:smile:
 
arildno said:
It sure is a reason.
Otherwise, discontinuous functions would be deprived of limit values at the point of discontinuity. Thus, the limit concept would be conflated with the continuity concept.
Think about it!
:smile:

But vanhees71 was giving the definition of continuity at ##x_0##, not the definition of the existence of a limit at ##x_0##. If the function is to be continuous at ##x_0##, then it must be defined at ##x_0## and have the correct value!
 
jbunniii said:
But vanhees71 was giving the definition of continuity at ##x_0##, not the definition of the existence of a limit at ##x_0##. If the function is to be continuous at ##x_0##, then it must be defined at ##x_0## and have the correct value!
Hmm..no read it again.
What he posted was the definition in terms of the LIMIT concept in which L=f(x_0).
In particular, he writes d>0
 
arildno said:
Hmm..no read it again.
What he posted was the definition in terms of the LIMIT concept in which L=f(x_0).
In particular, he writes d>0
One more remark and then I'll shut up. :-p Here's a discussion from Spivak's Calculus (chapter 6, before Theorem 2) which may clarify:

Spivak said:
If we translate the equation ##\lim_{x \rightarrow a} f(x) = f(a)## according to the definition of limits, we obtain:

For every ##\epsilon > 0## there is a ##\delta > 0## such that, for all ##x##, if ##0 < |x - a| < \delta##, then ##|f(x) - f(a)| < \epsilon##.

But in this case, where the limit is ##f(a)##, the phrase ##0 < |x-a| < \delta## may be changed to the simpler condition ##|x-a| < \delta##, since if ##x = a## it is certainly true that ##|f(x) - f(a)| < \epsilon##.
 
  • #10
And I do not see why we should make a special case for the continuity criterion relative to the general criterion for a limit?

Why change a perfectly good criterion for continuity?
 

Similar threads

  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 23 ·
Replies
23
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K