Probability measure on smooth functions

Tac-Tics
Messages
816
Reaction score
7
Is there a "standard" probability measure one would use for the set of smooth real-valued functions on [a, b]?

My intuition is picturing a setup where you cut out shapes in the x-y plane, and then the set of functions whose graphs are contained in that shape have a measure proportional to the Euclidean area of the shape. But I can't quite make that intuition exact.
 
Physics news on Phys.org
Do you have the Borel measure ( under the sup metric ) in mind?
 
I suppose, you have to consider functions uniformely bounded by some constant M (or even vith uniformely bounded variation?), otherwise the whole set gets infinite measure, not 1, the way you described the measure.
 
Hello! There is a simple line in the textbook. If ##S## is a manifold, an injectively immersed submanifold ##M## of ##S## is embedded if and only if ##M## is locally closed in ##S##. Recall the definition. M is locally closed if for each point ##x\in M## there open ##U\subset S## such that ##M\cap U## is closed in ##U##. Embedding to injective immesion is simple. The opposite direction is hard. Suppose I have ##N## as source manifold and ##f:N\rightarrow S## is the injective...
Back
Top