From Discrete Records to Continuous Paths

Photograph a motion, and however many frames you take, some times remain unrecorded. An experimenter can shorten the interval between exposures. Mathematics can push the question further: if the joint distribution at every finite collection of times is known, has the whole motion already been determined?

A single frame records a position; several frames record dependence, independence and the effects of elapsed time. In Chapter 4, scaled random walks led these readings toward a Gaussian structure. Chapter 8 then showed that consistent finite experiments can inhabit a common probability space. Yet having a coordinate at every time is different from having coordinates that form a continuous curve. An isolated spike at a random time can escape every finite collection of observations chosen in advance.

The difficulty is not one missing photograph. Even a record of all rational times does not automatically constrain the values at irrational times by continuity. We need a mathematical relation that controls increasingly fine time grids together, preventing uncontrolled local oscillations from accumulating in infinitely many gaps. Continuity must follow from probability estimates, rather than from lines drawn between imagined observations.

Volume III taught us to construct time records from local rules and to respect the limits of those rules. The path itself now becomes a random object for which we must choose a space, specify measurable sets and compare distances. Having crossed a height at some time, staying close to another curve throughout an interval, and moving continuously but very roughly are not simply alternative names for a few coordinates. The choice of path space determines which questions can be expressed precisely.

This also changes what we demand of a limit. Increasingly fine random walks may give the right approximation at every fixed time while still oscillating violently inside brief intervals. Convergence of finite observations does not record those oscillations. To pass whole paths to a limit, we must also control what happens in the gaps between observations.

Continuous motion thus connects two distinct mathematical tasks: first making a legitimate random path exist, then deciding when a sequence of paths approaches it. Separating them will tell us exactly what Gaussian snapshots guarantee and where the continuity of Brownian motion comes from. We return to the particle moving under the microscope, but this time its position at a single instant is no longer all that must be established.