Skip to main content

Chapter 15
Limits and Continuity Boundary Convergence Flow

Calculus and Continuous Change
Author: Mark Anthony Higgins
© Mark Anthony Higgins 11 October 2025
Revised Date: 15 June 2026
Ai Search
Audio Overview
Previous Chapter 14
Next Chapter 16
Flow Algebra 
flow "Limits and Continuity — Boundary Convergence Flow"

# ---------- CONCEPT ----------
# A limit describes how a flow approaches a boundary.
# Continuity states that the value at the boundary matches the approach from within the domain.
# Convergence is coherence in the small: structure that holds as distance → 0.

# ---------- STATES ----------
state ConvergenceSystem(F):
  Function:
    description: "Mapping f: X → Y over a metric/topological space."
  LimitPoint:
    description: "Boundary a where inputs approach; may or may not be in domain."
  LimitValue:
    description: "Value L that f(x) coherently approaches as x → a."
  ContinuityPoint:
    description: "Point a where limit exists and equals f(a)."
  Discontinuity:
    description: "Failure modes: removable, jump, infinite/essential."

# ---------- PARAMETERS ----------
params:
  domain: "X ⊆ ℝ (or metric space)"
  codomain: "Y ⊆ ℝ (or metric space)"
  epsilon: "ε > 0 — tolerance in output space"
  delta: "δ > 0 — proximity in input space"
  approach: "two-sided or one-sided (a⁻, a⁺)"
  uniformity: "pointwise or uniform"
  closure: true

# ---------- INVARIANTS ----------
invariants:
  - "Limit coherence (ε–δ): ∀ ε>0, ∃ δ>0 s.t. 0<|x−a|<δ ⇒ |f(x)−L|<ε."
  - "Sequential coherence: ∀ (x_n→a, x_n≠a): f(x_n)→L."
  - "Continuity at a: lim_{x→a} f(x) = f(a)."
  - "Composition: if g continuous at a and f continuous at g(a), then f∘g continuous at a."
  - "Uniform continuity: ∀ ε>0, ∃ δ>0 (independent of a) s.t. |x−y|<δ ⇒ |f(x)−f(y)|<ε."

# ---------- TRANSFORMS ----------
transforms:
  EvaluateLimit(f,a):
    rule: "Establish L via algebraic simplification, squeeze, or sequential argument."
  OneSided(f,a,side):
    rule: "Compute lim_{x→a^±} f(x) to resolve asymmetric approach."
  RemoveHole(f,a):
    condition: "lim exists but f(a) undefined or ≠ limit."
    rule: "Redefine f(a):=L to restore continuity (removable discontinuity)."
  PiecewiseGlue(f):
    rule: "Match boundary values/limits of pieces to ensure global continuity."
  Uniformise(f,domain):
    rule: "Strengthen pointwise continuity to uniform via compactness/Lipschitz bounds."

# ---------- MONITORS ----------
monitors:
  EpsilonDeltaCheck:
    input: [ε]
    output: "Find δ(ε) achieving |f(x)−L|<ε for 0<|x−a|<δ."
  LeftRightAgreement:
    measure: "Δ := |L⁺−L⁻|"
    meaning: "Δ=0 ⇒ two-sided limit exists."
  ContinuityFlag:
    condition: "|f(a)−L|=0"
    output: "True ⇔ continuous at a."
  ModulusOfContinuity:
    track: "ω_f(δ) = sup_{|x−y|≤δ} |f(x)−f(y)|"
    meaning: "ω_f(δ)→0 ⇒ uniform continuity."
  DiscontinuityClassifier:
    result: "[removable | jump | infinite | oscillatory]"

# ---------- EQUATIONS ----------
equations:
  - "ε\text{–}δ\ \text{limit:}\quad \forall ε>0\, \exists δ>0:\ 0<|x-a|<δ \Rightarrow |f(x)-L|<ε"
  - " \text{Sequential:}\ x_n\to a,\ x_n\neq a \Rightarrow f(x_n)\to L"
  - " \text{Continuity:}\ \lim_{x\to a} f(x)=f(a)"
  - " \text{One-sided:}\ \lim_{x\to a^-} f(x)=L^-,\ \lim_{x\to a^+} f(x)=L^+"
  - " \text{Uniform continuity:}\ \forall ε>0\, \exists δ>0:\ |x-y|<δ \Rightarrow |f(x)-f(y)|<ε"
  - " \text{Intermediate Value (IVT): continuous } f\text{ on }[a,b] \Rightarrow f([a,b])\text{ is an interval}"

# ---------- NOTES ----------
notes:
  - "A limit is boundary behaviour; continuity is boundary agreement."
  - "Sequential and ε–δ definitions are equivalent in metric spaces — two views of the same coherence."
  - "Removable discontinuity: fixable by redefining the boundary value; jump: left/right limits differ; infinite/oscillatory: no finite L."
  - "On compact domains, continuity ⇒ uniform continuity — global δ(ε) exists."
  - "In Flow Algebra terms, convergence is local coherence tightening; continuity is the closure of that coherence at the boundary."
Explanatory Notes

A limit describes how a function behaves as its inputs approach a boundary.
It is not about the value at that point, but about the tendency — the way a flow converges toward a state of coherence.
When the function’s behaviour becomes stable as it nears that point, we say the limit exists.
Continuity then extends this idea: the boundary and the approach align — no rupture, no jump, no loss of form.

Formally, the limit

\[ \lim_{x \to a} f(x) = L \]

means that for every tolerance ε>0\varepsilon > 0, there exists a corresponding range δ>0\delta > 0 such that whenever xx lies within δ\delta of aa, f(x)f(x) lies within ε\varepsilon of LL.
This relationship — the ε–δ condition — defines coherence in the small: as the domain tightens, the output follows smoothly, maintaining structure through reduction.

When that same LL equals the actual function value f(a)f(a),

\[ \lim_{x \to a} f(x) = f(a) \]

the function is continuous at a.
The flow neither breaks nor redefines itself at the boundary — it passes through seamlessly, preserving identity across approach and contact.

Limits may also fail.
A removable discontinuity occurs when the boundary value can be adjusted to restore coherence — a small patch in the continuity fabric.

A jump discontinuity reflects a sudden shift between two neighbouring states, breaking left–right symmetry.

An infinite or essential discontinuity signals collapse — the system’s output escapes finite bounds or oscillates indefinitely, coherence lost at the edge.

From another viewpoint, sequences reveal the same pattern: if xn→ax_n \to a implies f(xn)→Lf(x_n) \to L, the limit exists.
Thus, convergence and continuity are two perspectives on the same principle — that structure sustains itself as scale compresses.

When continuity holds everywhere on a compact domain, the result strengthens to uniform continuity: a single δ suffices for all boundaries.
This expresses global coherence — local smoothness extended across the entire field.

In Flow Algebra, a limit is a local convergence flow — the narrowing of variation into stability.
Continuity is the closure of that flow: the moment when approach and presence become indistinguishable.
Each continuous function is a coherent bridge between boundaries; each discontinuity marks a fault line where coherence fragments.

At its core, continuity is not about perfection but agreement — the graceful meeting of approach and arrival,
where motion resolves into stillness and structure remains whole.

Previous Chapter 14
Next Chapter 16
Related Chapters
Privacy Policy
Site Map
Kireth Research
38 Thorndale Croft, Wetwang, Driffield
East Riding of Yorkshire YO25 9XZ
Telephone:
01377 236594
Designed By
Kireth Web Design
Audio Explainer RSS Feed