I'm wondering whether we can define a uniform distribution on the space of continuous functions over a compact set, e.g. $C([0, 1])$. If so, then how should I rigorously describe it? And how can I numerically `draw' a random function from this distribution? If not, then what additional assumption/constraints should I impose to have a well-defined uniform or any kind of distribution that I can easily draw samples from?
Asked
Active
Viewed 220 times
9
-
1Perhaps Gaussian measures (see this search also) are what you're looking for. – Dave L. Renfro Mar 12 '20 at 16:40
-
3The most natural sense of "uniform" would be "translation invariant", analogous to Lebesgue measure on $\mathbb{R}^n$. But no such distribution exists: there is no infinite-dimensional Lebesgue measure. – Nate Eldredge Mar 12 '20 at 18:30
-
@NateEldredge Thanks for the reference here! If we cannot define uniform distribution on $C([0, 1])$, then what is the most natural way to define a probability distribution on it? And more importantly, how can we numerically draw samples, i.e., randomly choose functions in $C([0, 1])$, from this distribution? – mw19930312 Mar 14 '20 at 15:52
-
@mw19930312: The most "natural" measure that people tend to consider is Wiener measure, the law of Brownian motion. This is a huge topic in probability theory. There are lots of ways to numerically approximate a Brownian motion, e.g. a random walk with small step size. Wiener measure is in particular a Gaussian measure, as Dave L. Renfro suggested. – Nate Eldredge Mar 14 '20 at 15:55