JOVANA
Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

From One Number Line to Spaces of Functions

The grand arc of analysis in one guide. Once “distance” and “limit” are precise, you can take the same machinery and run it on objects far stranger than numbers — points in space, sequences, even whole functions treated as single points. We trace the climb from the real line to a [[metric-space|metric space]] to a [[banach-space|space of functions]].

Distance is the only thing limits needed

Look back at the epsilon–N definition. The only feature of the real numbers it actually used was |a_n − L| — the *distance* between two points. It never cared that the points were numbers. So abstract the one thing that mattered: a metric is a function d(x, y) that measures distance and obeys three honest rules — it is zero exactly when the points coincide, it is symmetric, and it satisfies the triangle inequality d(x, z) ≤ d(x, y) + d(y, z). A set with such a distance is a metric space.

The epsilon-N definition, with |.| replaced by a general distance d:

  x_n -> x  in a metric space  means:
     for every eps > 0  there is  N  such that
     n > N   ==>   d(x_n, x) < eps.

Word-for-word the same game as 1/n -> 0. Only |a_n - L| became d(x_n, x).

Three spaces, three distances, ONE definition of convergence:

  the real line R:    d(x, y) = |x - y|
  the plane R^2:      d((a,b),(c,d)) = sqrt((a-c)^2 + (b-d)^2)
  functions on [0,1]: d(f, g) = max over x of |f(x) - g(x)|     <- sup metric

In the THIRD line a single "point" of the space is an ENTIRE function,
and two functions are "close" when their graphs stay within eps
everywhere at once. Convergence there IS uniform convergence.
The same limit definition, now reading d(x_n, x) instead of |a_n − L|. The third distance turns whole functions into points of a space.

When functions become points

That third distance is the leap. The space of continuous functions on [0, 1], with the *sup distance* d(f, g) = max |f(x) − g(x)|, is a metric space whose individual points are functions. Convergence in this space means exactly uniform convergence — the whole graph of f_n is squeezed into an ε-band around f, all at once. Suddenly a sequence *of functions* is just a sequence of points, and every instinct you trained on 1/n applies unchanged.

If the space also has addition and scaling that play well with the distance, it is a normed vector space; if it is in addition complete — no Cauchy sequence of functions points at a hole — it is a Banach space. The completeness story from the previous guide repeats one level up: just as the reals fill the gaps in the rationals, completeness *of a function space* guarantees that a sequence of functions which bunches together actually converges to a function in the space.

The same idea, all the way up

  1. The real line. One axis, distance |x − y|. Limits, continuity, derivatives, integrals — the whole of first-course real analysis lives here.
  2. Euclidean space R^n. Several axes at once; distance by Pythagoras. Now you have many variables, gradients and the multivariable calculus — but limits read the same.
  3. A general [[metric-space|metric space]]. Throw away coordinates; keep only a distance d obeying the triangle inequality. Open sets, completeness, compactness, and fixed-point theorems all live at this level of pure structure.
  4. A space of functions. Each point is now a whole function; the Banach space of continuous functions with the sup distance is the gateway to functional analysis, Fourier series, and the modern theory of differential equations.