The mean value for infinite volume measures, infinite products, and heuristic infinite dimensional Lebesgue measures (Q2421761)

Summary: One of the goals of this article is to describe a setting adapted to the description of means (normalized integrals or invariant means) on an infinite product of measure spaces with infinite measure and of the concentration property on metric measure spaces, inspired from classical examples of means. In some cases, we get a linear extension of the limit at infinity. Then, the mean value on an infinite product is defined, first for cylindrical functions and secondly taking the uniform limit. Finally, the mean value for the heuristic Lebesgue measure on a separable infinite dimensional topological vector space (e.g. on a Hilbert space) is defined. This last object, which is not the classical infinite dimensional Lebesgue measure but its ``normalized'' version, is shown to be invariant under translation, scaling, and restriction.