What is it?
is continuous at if : small changes in the input produce small changes in the output. Continuous on an interval means you can draw the graph without lifting the pen.
Why does it exist?
Measurements are never exact. If a model is continuous, a slightly wrong input gives a slightly wrong output, and computing with approximations makes sense. Continuity is also the hypothesis that unlocks the existence theorems (Bolzano, Weierstrass) on which root-finding and optimization rely.
Intuition
Three things must hold at : is defined, the limit exists, and they agree. Each failure is a kind of discontinuity: a hole, a jump, or a wild oscillation. Geometrically, zooming in on a continuous graph never reveals a gap.
Formal definition
Sums, products, quotients (where the denominator is non-zero) and compositions of continuous functions are continuous; so are polynomials, , , , and on .
Formulas
- continuous everywhere, differentiable except at 0
Example
The step function for and otherwise is discontinuous at 0. The perceptron used it as its activation, and that is precisely why gradient methods could not train multilayer perceptrons until the step was replaced by the continuous (and differentiable) sigmoid.
Why does it matter?
Continuity is the minimal promise that a numerical method can work: rounding the input should not change the answer much. Where models are discontinuous (decision boundaries, collisions in a physics engine, edges in an image) software needs special handling.
Where it shows up in computing
Joining spline pieces with , or continuity decides how smooth the curve looks.
Simulation assumes motion is continuous between frames; collisions break that and are handled separately.
Where it shows up in AI
Activations must be continuous (and almost everywhere differentiable) for gradient training to work.
Where is it used?
Computing topics reachable from here, through the chain of ideas that leads to them:
λ Scientific computing and algorithms
- Definite integral→Monte Carlo methods★★★★★
- Definite integral→Numerical integration (quadrature)→Scientific computing★★★★★
- Definite integral→Fundamental theorem of calculus→Symbolic computation (CAS)★★★★★
- Definite integral→Improper integrals→Integral test→Algorithm analysis and complexity★★★★★
- Differentiability and one-sided derivatives→Rolle's theorem→Mean value theorem→Taylor's theorem and the remainder→Floating point (IEEE 754)★★★★★
ℒ AI and machine learning
- Uniform continuity→Lipschitz continuity→Gradient descent★★★★★
- Definite integral→Convolution→Convolutional networks (CNNs)★★★★★
- Uniform continuity→Lipschitz continuity→Gradient descent→Learning rate★★★★★
- Uniform continuity→Lipschitz continuity→Gradient descent→Backpropagation★★★★★
- Uniform continuity→Lipschitz continuity→Gradient descent→Stochastic gradient descent (SGD)★★★★★
- Uniform continuity→Lipschitz continuity→Gradient descent→Loss landscape★★★★★
- +10
3D Computer graphics
- Definite integral→The rendering equation★★★★★
- Bézier curves and splines★★★★★
- Interpolation→Lighting and shading★★★★★
- Interpolation→Lighting and shading→Ray tracing★★★★★
- Interpolation→Lighting and shading→Ray tracing→Signed distance fields and ray marching★★★★★
- Definite integral→Line integrals→Green's theorem→Mesh processing (discrete differential geometry)★★★★★
⚙ Robotics and control
- Definite integral→Improper integrals→Laplace transform→Control theory★★★★★
- Definite integral→Continuous random variables→Probability density function→Continuous distributions→Kalman filter★★★★★
- Definite integral→Improper integrals→Laplace transform→Control theory→Trajectory optimization and MPC★★★★★
- Definite integral→Improper integrals→Laplace transform→PID control★★★★★
- Bolzano's theorem→Intermediate value theorem→Inverse kinematics★★★★★
⚛ Physics and simulation
- Definite integral→Multiple integrals and change of variables→Surface integrals and flux→Divergence theorem (Gauss)→Electromagnetism (Maxwell's equations)★★★★★
- Definite integral→Multiple integrals and change of variables→Surface integrals and flux→Divergence theorem (Gauss)→Fluid dynamics and CFD★★★★★
- Definite integral→Physics engines★★★★★
- Definite integral→Line integrals→Classical mechanics★★★★★
- Definite integral→Physics engines→N-body gravitational simulation★★★★★
- Definite integral→Numerical integration (quadrature)→Finite element method★★★★★
∿ Signals, media and vision
- Interpolation→Image processing and computer vision★★★★★
- Definite integral→Convolution→Signal processing★★★★★
- Definite integral→Convolution→Digital filters★★★★★
- Interpolation→Image processing and computer vision→Media compression (JPEG, MP3, video)★★★★★
- Definite integral→Improper integrals→Fourier transform→Sampling theorem (Nyquist–Shannon)★★★★★
- Definite integral→Improper integrals→Fourier transform→Fast Fourier transform (FFT)★★★★★
- +1
What depends on it
Exercises
For which is for , for continuous?
Solution
Left limit , value . Continuity requires , so .
Why can't you train a network whose activation is the step function with gradient descent?
Solution
is constant except at 0, so its derivative is 0 almost everywhere (and undefined at 0). Every gradient flowing through it is zero: the weights never move.