Math Applets

Epsilon Delta Definition

Epsilon Delta Definition:

Let DRD \subseteq \mathbb{R}, f:DRf : D \to \mathbb{R}, and aDa \in D.

Then ε>0\forall \varepsilon > 0 , δ>0\exists \delta > 0 such that xD:xa<δ\forall x \in D: |x - a| < \delta \Rightarrow f(x)f(a)<ε|f(x) - f(a)| < \varepsilon


How to use the applet

  • Drag aa on the xx-axis to choose the point where we test continuity.
  • Drag the green point f(a)+εf(a)+\varepsilon to set ε\varepsilon (this creates the green horizontal band f(a)±εf(a)\pm\varepsilon).
  • Drag the orange point a+δa+\delta to set δ\delta (this creates the orange vertical band a±δa\pm\delta).
  • Drag xx (blue) inside the interval (aδ, a+δ)(a-\delta,\ a+\delta).
  • Use the buttons to switch the function (e.g. a discontinuous example vs. arctan(x)\arctan(x)).
  • Click “Find δ\delta to automatically choose a δ\delta that works for the current ε\varepsilon, if such a δ\delta exists.
  • The blue segment represents xa|x-a| (kept <δ<\delta by construction).
  • The vertical difference f(x)f(a)|f(x)-f(a)| is shown on the yy-axis and is colored:
    • green if f(x)f(a)<ε|f(x)-f(a)|<\varepsilon,
    • red if f(x)f(a)ε|f(x)-f(a)|\ge \varepsilon.
  • For a continuous function at aa, you can make ε\varepsilon small and still find some δ\delta so that the output stays inside the green band whenever xx stays inside the orange band.
  • For the discontinuous example (with aa at the jump), for sufficiently small ε\varepsilon there is no δ\delta that works: the “Find δ\delta” button will report that no δ\delta is found.

Loading graph…
  • Hold Shift + scroll to zoom
  • Hold Shift + drag to move
  • Points shaped like <> act as sliders

Description

Link to code.

Reference: Lecture Notes Calculus 1 ( May22,2022 ) Theorem4.11 page 64

This example is adapted from the JSXGraph documentation.

The function is defined with a discontinuity at the point where aa is placed:

const DISCONTINUITY = 1.25;

const f = (x: number) => {
    if (x < DISCONTINUITY) {
        return Math.pow(x, 3) * 0.3;
    } else {
        return Math.pow(x, 2);
    }
};
...
const pointA = board.create('glider', [DISCONTINUITY, 0 ...

This is to show how the definition works in particular when a function is discontinuous.

The value xx is constrained by xa<δ|x - a| < \delta.

In the code, δ\delta is represented as the horizontal distance between deltaPoint and the point aa:

const getDelta = () => Math.abs(deltaPoint.X() - pointA.X());
...
// ===== POINT X =====
// Line for x glider (constrained to delta neighborhood)
const xLine = board.create('line', [
    [() => pointA.X() - getDelta(), 0],
    [() => deltaPoint.X(), 0]
], ...);
// x glider
const xPoint = board.create('glider', [
    pointA.X() + getDelta() / 2,
    0,
    xLine
], ...);

The segment between (a,f(a))(a, f(a)) and (x,f(x))(x, f(x)) changes color depending on whether the continuity condition holds:

board.create('line', [pointYfpointA, point0fx], {
    ...
    strokeColor: () => {
        const epsilon = getEpsilon();
        const dist = Math.abs(point0fx.Y() - pointYfpointA.Y());
        return dist < epsilon ? '#ff00ff' : '#ff0e0eff';
    },
   ...
});

Here, dist corresponds to f(x)f(a)|f(x) - f(a)|, and the color changes depending on whether f(x)f(a)<ε|f(x) - f(a)| < \varepsilon.

The student should first choose a relatively large ε\varepsilon and a corresponding δ\delta, and then move xx within the interval xa<δ|x - a| < \delta to observe how f(x)f(a)|f(x) - f(a)| behaves.