Uncertainty
How do we measure continuous quantities?
First, set up some sort of "triangulation" of the space in which the continuous quantity can take values. For example, a ruler is a "triangulated" line. Typically some sort of quantitative system is chosen to keep track of the cells; e.g. for a ruler we count how many ticks there are.
A measurement of a continuous quantity is simply an identification of which one of those intervals the continuous quantity lies inside. It's a declaration "this quantity lives inside this interval."
How do we apply functions to continuous quantities?
Let's suppose that we are measuring lengths with a meter stick, which goes down to the nearest 2 millimeters. That is, the ticks on the stick appear at 0mm, 2mm, 4mm, 6mm, etc.
Suppose that we measure a certain length, then, by some process, we double the length. That is, we apply the "continuum" function .
That is what does to length itself, but what does do to measurements of length?
Let denote a length lying somewhere in the range millimeters (a minimal interval on the meter stick). Then lies somewhere in the range , which is the union of two minimal intervals of the meter stick. So maybe we should say that induces a multi-valued function?
Hmm, but what would be the induced function of ? It would send the interval to the interval , which is not necessarily a union of two minimal intervals.
I think it would be best to treat the induced function in a probabilistic manner: If the length is equally likely to be anywhere in the range , then
- it has a 1/2 chance of being in , and a 1/2 chance of being in .
- has,
- if is even, a 2/3 chance of being in , and a 1/3 chance of being in .
- if is odd, a 2/3 chance of being in , and a 1/3 chance of being in .
The general principle is that you have some sort of probability measure on the triangulation, and then you push it forward to another one.
The "problem" with this is that the true probability distributions are "continuum," as the following example demonstrates.
Let the grid on one axis consist of intervals , let the grid on the other axis consist of intervals where , and let the continuum function . Then sends the interval to the interval