Rademacher's Theorem on Configuration Spaces and Applications
✍ Scribed by Michael Röckner; Alexander Schied
- Publisher
- Elsevier Science
- Year
- 1999
- Tongue
- English
- Weight
- 281 KB
- Volume
- 169
- Category
- Article
- ISSN
- 0022-1236
No coin nor oath required. For personal study only.
✦ Synopsis
We consider an L 2 -Wasserstein type distance \ on the configuration space 1 X over a Riemannian manifold X, and we prove that -Lipschitz functions are contained in a Dirichlet space associated with a measure on 1 X satisfying certain natural assumptions. These assumptions are in particular fulfilled by the classical Poisson measures and by a large class of tempered grandcanonical Gibbs measures with respect to a superstable lower regular pair potential. As an application we prove a criterion in terms of \ for a set to be exceptional. This result immediately implies, for instance, a quasi-sure version of the spatial ergodic theorem. We also show that \ is optimal in the sense that it is the intrinsic metric of our Dirichlet form.
📜 SIMILAR VOLUMES
## Abstract Let __X__ be a real Banach space, __ω__ : [0, +∞) → ℝ be an increasing continuous function such that __ω__(0) = 0 and __ω__(__t__ + __s__) ≤ __ω__(__t__) + __ω__(__s__) for all __t__, __s__ ∈ [0, +∞). According to the infinite dimensional analog of the Osgood theorem if ∫^1^~0~ (__ω__(_
## Abstract Recently, importance of the Besov space has been acknowledged by analysts studing such subsets with lower dimension than the whole space as fractals in the Euclidean space. On the other hand, by taking an extension __K__ of local field __K__′, __K__′ is contained in __K__ as a subset wi
We present here a combinatorial approach to special divisors and secant divisors on curves over finite fields based on their relations with error-correcting codes. Applying to linear systems on curves over finite fields numerous coding theory bounds one gets a lot of bounds on their dimensions. This
## Abstract Let __E__ be a Banach space and Φ : __E__ → ℝ a 𝒞^1^‐functional. Let 𝒫 be a family of semi‐norms on __E__ which separates points and generates a (possibly non‐metrizable) topology 𝒯~𝒫~ on __E__ weaker than the norm topology. This is a special case of a gage space, that is, a topological