Transverse measure
In mathematics, a measure on a real vector space is said to be transverse to a given set if it assigns measure zero to every translate of that set, while assigning finite and positive (i.e. non-zero) measure to some compact set.
Definition
Let V be a real vector space together with a metric space structure with respect to which it is complete. A Borel measure μ is said to be transverse to a Borel-measurable subset S of V if
- there exists a compact subset K of V with 0 < μ(K) < +∞; and
- μ(v + S) = 0 for all v ∈ V, where
- is the translate of S by v.
The first requirement ensures that, for example, the trivial measure is not considered to be a transverse measure.
Example
As an example, take V to be the Euclidean plane R2 with its usual Euclidean norm/metric structure. Define a measure μ on R2 by setting μ(E) to be the one-dimensional Lebesgue measure of the intersection of E with the first coordinate axis:
An example of a compact set K with positive and finite μ-measure is K = B1(0), the closed unit ball about the origin, which has μ(K) = 2. Now take the set S to be the second coordinate axis. Any translate (v1, v2) + S of S will meet the first coordinate axis in precisely one point, (v1, 0). Since a single point has Lebesgue measure zero, μ((v1, v2) + S) = 0, and so μ is transverse to S.
See also
References
- Hunt, Brian R. and Sauer, Tim and Yorke, James A. (1992). "Prevalence: a translation-invariant "almost every" on infinite-dimensional spaces". Bull. Amer. Math. Soc. (N.S.). 27 (2): 217–238. arXiv:math/9210220. doi:10.1090/S0273-0979-1992-00328-2. S2CID 17534021.
{{cite journal}}
: CS1 maint: multiple names: authors list (link)
- v
- t
- e
- Absolute continuity of measures
- Lebesgue integration
- Lp spaces
- Measure
- Measure space
- Probability space
- Measurable space/function
- Almost everywhere
- Atom
- Baire set
- Borel set
- Borel space
- Carathéodory's criterion
- Cylindrical σ-algebra
- 𝜆-system
- Essential range
- Locally measurable
- π-system
- σ-algebra
- Non-measurable set
- Null set
- Support
- Transverse measure
- Universally measurable
- 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 |
---|