1

One sentence summary: I think what I am asking about is "how" this exact, particular (and not some other) definition got formulated, came to be what it is, the concepts, background, context that were there in the history of math before it that led to it. Maybe this article answers this question to some extent.


I am having a problem in understanding the $\epsilon$ - $\delta$ definition of limit of a function. Actually, I understand what the definition says perfectly, that, no matter how close we get to $L$ if we can find an interval around $c$ $(x\rightarrow c)$ for which every $f(x)$ is in that interval around $L$, then $L$ is called the limit as $x$ $\rightarrow$ $c$.

The problem is, I'd say, I don't have any solid feel or comprehensive understanding for what the definition is really trying to say. I avoided saying "intuitive understanding" because then people comment like "Everyone's intuition is different", "Forget intuition, just consider the definition", etc. I'm just not having the total clarity that one has after studying any mathematical concept.

I haven't studied anything about sequences or the limit of a sequence concept, which appears before the limit of a function definition in many famous real analysis textbooks. I wonder if this is the reason behind the fuzziness.

So, it would help if you clarify. If you've two cents to directly attack the question of better understanding the $\epsilon$ - $\delta$ definition, please go ahead.

Elaboration after editing: This definition seems to be describing a particular behavior that a function (or the $y$-coordinate) may or may not exhibit around a point $L$ (the limit) when $x$-coordinate comes closer to a point $c$. This behavior is the definition: no matter how close we get to $L$, we can find an interval around $c$ $(x\rightarrow c)$ for which every $f(x)$ is in that interval around $L$. My questions are:

  1. What are other possible behaviors?
  2. Are these other possible behaviors described anywhere in Math? If they are, then it provides a broader picture to think about, in which our definition of limit fits in as one of the behaviors that a function can exhibit and one that we are especially interested in for all the applications it has.

So I want to understand the context, background, the bigger picture that this fits into. I want a better way to make sense of it.

Again, I don't know if not having learned the concept of the limit of a sequence has caused this problem.

Some more elaboration: Suppose Cauchy comes in front of me and suddenly out of nowhere gives his definition. I would ask, "Why? Why not define this concept some other way?" For example, while thinking, I constructed the following definition very carefully:

  1. $\exists f(x) \in \mathbb{R}, \forall\epsilon>0 $ around $L$
  2. We consider two cases, in some interval $\delta >0$ around $c$, from left and from right-- As $x \rightarrow c$ from left: $\forall x_2>x_1$, $|f(x_2)-L|<|f(x_1)-L|$; As $x \rightarrow c$ from right: $\forall x_2<x_1$, $|f(x_2)-L|<|f(x_1)-L|$

I say, if the above two conditions are satisfied for a number $L$, then we call it the limit as $x \rightarrow c$.

Now, if your work out, you'll find that my definition works for many many functions. But, for a function like $x sin(1/x)$, it says no limit as $x \rightarrow 0$ because condition (2) isn't satisfied, when in fact there's a limit (by Cauchy's definition), equal to zero.

This is a fundamentally different question. Answers to linked questions describe a "game approach" to understand the definition, and I totally get it, but that's not what I am asking about. I understand the definition in and out, and I have made what I am asking about completely clear in my edits.

  • 2
    I'd say informally that in order to get $f(x)$ arbitrarily close to $L$, it suffices to take $x$ sufficiently close to $c$. Also perhaps read the discussion in the wikipedia page https://en.wikipedia.org/wiki/Limit_of_a_function – Gribouillis Sep 30 '24 at 08:26
  • When you write "for which every f(x) is in that interval around L", can you be more specific about which interval exactly you are referring to? – Mikhail Katz Oct 01 '24 at 09:46
  • Examples of other behaviors: https://www.wolframalpha.com/input?i=plot+1%2Fx (infinite limits), https://www.wolframalpha.com/input?i=plot+x+mod+1 (distinct left and right limits), https://www.wolframalpha.com/input?i=plot+sin%281%2Fx%29 (no limit at all) – Anne Bauval Oct 11 '24 at 12:12
  • @MikhailKatz I mean $(L-\epsilon, L+\epsilon)$. – R. N. T. Oct 11 '24 at 13:16
  • @AnneBauval Ah, no, I know these cases that you've described. I just wrote one of the behaviors that can be defined in "Some more elaboration" section above. It's different from the one described by the limit definition but gives the right answer (that a limit does not exists) for the cases you described. But fails for $xsin(1/x)$. And my question essentially is, why should we accept the current definition and not some other? Maybe. – R. N. T. Oct 11 '24 at 13:23
  • My comment was answering the first of your two questions ("What are other possible behaviors?"), since you hadn't told us you "know these cases". The section "Some more elaboration" you wrote one hour later is unclear (especially point 1.). Maybe (or maybe not) what you are trying to define as, say, $\lim_{x\to c^-}f(x)=L$ is: the usual epsilon-delta definition plus the additional constraint: on some left neighborhood of $c$, the function $x\mapsto|f(x)-L|$ is decreasing. Adding such a constraint seems pointless, and not generalizable to e.g. metric spaces. – Anne Bauval Oct 11 '24 at 17:28
  • @R.N.T., if so, when does the $\delta$ appear? – Mikhail Katz Oct 13 '24 at 09:37
  • @MikhailKatz "No matter how close we get to $L$ if we can find an interval around $c$ $(x\rightarrow c)$ for which every $f(x)$ is in that interval around $L$, then $L$ is called the limit as $x$ $\rightarrow$ $c$." Here, "if we can find an interval around $c$" refers to the interval $(c-\delta,c+\delta)$. By "for which" I mean, for every $x$ in that interval. – R. N. T. Oct 13 '24 at 13:08
  • 2
    To everyone, I think what I am asking about is "how" this exact definition got formulated, came to be what it is, the concepts, background, context that were there in the history of math before it that led to it. This article seems to be providing help in that direction. – R. N. T. Oct 13 '24 at 13:27
  • 1
    Note that Cauchy never gave an epsilon-delta definition of continuity. For a short discussion see Katz, M. "A two-track tour of Cauchy's Cours." Mathematics Today 57 (2021), no. 4, 154-158. https://arxiv.org/abs/2107.00207 – Mikhail Katz Oct 14 '24 at 14:16
  • @MikhailKatz Okay, thanks a lot. – R. N. T. Oct 18 '24 at 06:31

0 Answers0