Continuity at a point

The epsilon-delta condition that a function preserves closeness near a given point.
Continuity at a point

Let f:(X,dX)(Y,dY)f:(X,d_X)\to(Y,d_Y) and let aXa\in X.
We say ff is continuous at aa if for every ε>0\varepsilon>0 there exists δ>0\delta>0 such that for all xXx\in X,

dX(x,a)<δdY ⁣(f(x),f(a))<ε. d_X(x,a)<\delta \quad\Rightarrow\quad d_Y\!\bigl(f(x),f(a)\bigr)<\varepsilon.

In words: points xx sufficiently close to aa must have images f(x)f(x) close to f(a)f(a).

Sequential characterization (metric spaces): ff is continuous at aa iff whenever xnax_n\to a, we have f(xn)f(a)f(x_n)\to f(a).
This reframes continuity using .

Examples:

  • f(x)=x2f(x)=x^2 is continuous at every aRa\in\mathbb{R}.
  • The step function f(x)=1(0,)(x)f(x)=\mathbf{1}_{(0,\infty)}(x) is not continuous at 00.

If ff is continuous at every point of a set AA, then ff is .