Intuition for the epsilon-delta definition of continuity

Question

This is my first question so I hope this sort of thing is okay to ask. I'm working my way through Rudin's Principles of Mathematical Analysis, and I'm up to chapter 4, which is on continuity in the context of functions between metric spaces. It introduces what I understand to be the standard epsilon-delta definition used in calculus, but I'm struggling to gain an intuitive understanding of what it means. I came up with what I think is an English version of the gist of it:

A function f is continuous at some point p in its domain iff sufficiently small deviations from p result in arbitrarily small variations in f(p).

Does this show the general idea of continuity? If not, how should it be changed to fix it? Thanks in advance for any answers :)

Answer 1

That is an almost correct intuitive formulation of what continuity is. Somehow you also need to get across that the actual size of the allowable deviations does not have anything to do with it. You could do that by saying "for any interpretation of the word 'small'", or something like that.

It does definitely show the general idea, though. Just for completeness, the general idea is formalised by the $\epsilon$-$\delta$ definition:

A function $f$ is continuous at a point $p$ in its domain if, for any $\epsilon > 0$, there is a $\delta > 0$ such that $$ |x-p| < \delta \implies |f(x) - f(p)| < \epsilon $$

The translation is that $\epsilon$ is the given bound on allowable variations in function value. $\delta$ is the bound you find on deviations from $p$ that keeps the function value within the given $\epsilon$-bound.

Answer 2

Rudin's a tough one. Check out this Khan Academy video on the topic of limits: https://www.youtube.com/watch?v=-ejyeII0i5c

The notion of a limit captures entirely the definition of continuity, which explains the equivalence of limits and continuity gotten later in the chapter (A function is continuous at $x$ if the limit can move in and out of the function for any sequence converging to $X$.).

Answer 3

That is a very good intuitive description of continuity of a function between metric spaces. There are many equivalent definitions of continuity of a function. It is often useful to use one rather than another :For example: For metric spaces $(X,d)$ and $(Y,e),$ a function $f:X\to Y$ is continuous

iff (1) Whenever $x\in X$ and $(x_n)_{n\in N}$ is a sequence of members of $X,$ then $\lim_{n\to \infty}d(x,x_n)=0\implies \lim_{n\to \infty}e(f(x),f(x_n))=0$

iff (2) $\{x\in X:f(x)\in U\}$ is an open subset of $X$ whenever $U$ is an open subset of $Y$

iff (3) $\{x\in X: f(x)\in V\}$ is a closed subset of $X$ whenever $V$ is a closed subset of $Y.$