MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 updated link

Let I be the unit interval with the Borel $\sigma$-algebra. There is no $\sigma$-algebra on the set of measurable functions from I to I such that the evaluation functional $e:I^I\times I\to I$ given by $e(f,x)=f(x)$ is measurable, as shown by Robert Aumann here, so even finding useful $\sigma$-algebras is a problem.

However, t is possible to talk about "almost all" functions in a function space even when it is not possible to have an appropriate measure. The trick is to find a characterization of a set having full (or zero) measure that can be applied to function spaces. There is a generalization of Lebesgue measure zero, independently found by various authors and knowyn as Haar measure zero or shyness that should be applicable to your problem. A nice survey of the theory and some of its extensions can be found here.

show/hide this revision's text 1

Let I be the unit interval with the Borel $\sigma$-algebra. There is no $\sigma$-algebra on the set of measurable functions from I to I such that the evaluation functional $e:I^I\times I\to I$ given by $e(f,x)=f(x)$ is measurable, as shown by Robert Aumann here, so even finding useful $\sigma$-algebras is a problem.

However, t is possible to talk about "almost all" functions in a function space even when it is not possible to have an appropriate measure. The trick is to find a characterization of a set having full (or zero) measure that can be applied to function spaces. There is a generalization of Lebesgue measure zero, independently found by various authors and knowyn as Haar measure zero or shyness that should be applicable to your problem. A nice survey of the theory and some of its extensions can be found here.