Radonifying function
In measure theory, a radonifying function (ultimately named after Johann Radon) between measurable spaces is one that takes a cylinder set measure (CSM) on the first space to a true measure on the second space. It acquired its name because the pushforward measure on the second space was historically thought of as a Radon measure.
Definition
Given two separable Banach spaces and , a CSM on and a continuous linear map , we say that is radonifying if the push forward CSM (see below) on "is" a measure, i.e. there is a measure on such that
for each , where is the usual push forward of the measure by the linear map .
Push forward of a CSM
Because the definition of a CSM on requires that the maps in be surjective, the definition of the push forward for a CSM requires careful attention. The CSM
is defined by
if the composition is surjective. If is not surjective, let be the image of , let be the inclusion map, and define
- ,
where (so ) is such that .
See also
- Abstract Wiener space – separable Banach space equipped with a Hilbert subspace such that the standard cylinder set measure on the Hilbert subspace induces a Gaussian measure on the whole Banach spacePages displaying wikidata descriptions as a fallback
- Classical Wiener space
- Sazonov's theorem
References
- v
- t
- e
- Absolute continuity of measures
- Lebesgue integration
- Lp spaces
- Measure
- Measure space
- Measurable space/function
- Atomic
- Baire
- Banach
- Besov
- Borel
- Brown
- Complex
- Complete
- Content
- (Logarithmically) Convex
- Decomposable
- Discrete
- Equivalent
- Finite
- Inner
- (Quasi-) Invariant
- Locally finite
- Maximising
- Metric outer
- Outer
- Perfect
- Pre-measure
- (Sub-) Probability
- Projection-valued
- Radon
- Random
- Regular
- Saturated
- Set function
- σ-finite
- s-finite
- Signed
- Singular
- Spectral
- Strictly positive
- Tight
- Vector
- Carathéodory's extension theorem
- Convergence theorems
- Decomposition theorems
- Egorov's
- Fatou's lemma
- Fubini's
- Hölder's inequality
- Minkowski inequality
- Radon–Nikodym
- Riesz–Markov–Kakutani representation theorem
For Lebesgue measure |
---|