Metric outer measure

Metric outer measure

In mathematics, a metric outer measure is an outer measure μ defined on the subsets of a given metric space (Xd) such that

\mu (A \cup B) = \mu (A) + \mu (B)

for every pair of positively separated subsets A and B of X.

Construction of metric outer measures

Let τ : Σ → [0, +∞] be a pre-measure on X, i.e. a set function defined on a class Σ of subsets of X containing the empty set ∅, such that τ(∅) = 0. One can show that the set function μ defined by

\mu (E) = \lim_{\delta \to  0} \mu_{\delta} (E),

where

\mu_{\delta} (E) = \inf \left\{ \left. \sum_{i = 1}^{\infty} \tau (C_{i}) \right| C_{i} \in \Sigma, \mathrm{diam} (C_{i}) \leq \delta, \bigcup_{i = 1}^{\infty} C_{i} \supseteq E \right\},

is not only an outer measure, but in fact a metric outer measure as well. (Some authors prefer to take a supremum over δ > 0 rather than a limit as δ → 0; the two give the same result, since μδ(E) increases as δ decreases.)

For the function τ one can use

\tau(C) = \mathrm{diam} (C)^s,\,

where s is a positive constant; this τ is defined on the power set of all subsets of X; the associated measure μ is the s-dimensional Hausdorff measure. More generally, one could use any so-called dimension function.

This construction is very important in fractal geometry, since this is how the Hausdorff and packing measures are obtained.

Properties of metric outer measures

Let μ be a metric outer measure on a metric space (Xd).

  • For any sequence of subsets An, n ∈ N, of X with
A_{1} \subseteq A_{2} \subseteq \dots \subseteq A = \bigcup_{n = 1}^{\infty} A_{n},
and such that An and A \ An+1 are positively separated, it follows that
\mu (A) = \sup_{n \in \mathbb{N}} \mu (A_{n}).
  • All the d-closed subsets E of X are μ-measurable in the sense that they satisfy the following version of Carathéodory's criterion: for all sets A and B with A ⊆ E and B ⊆ X \ E,
\mu (A \cup B) = \mu (A) + \mu (B).
  • Consequently, all the Borel subsets of X — those obtainable as countable unions, intersections and set-theoretic differences of open/closed sets — are μ-measurable.

References

  • Rogers, C. A. (1998). Hausdorff measures. Cambridge Mathematical Library (Third ed.). Cambridge: Cambridge University Press. pp. xxx+195. ISBN 0-521-62491-6. 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Outer measure — In mathematics, in particular in measure theory, an outer measure or exterior measure is a function defined on all subsets of a given set with values in the extended real numbers satisfying some additional technical conditions. A general theory… …   Wikipedia

  • Hausdorff measure — In mathematics a Hausdorff measure is a type of outer measure, named for Felix Hausdorff, that assigns a number in [0,∞] to each set in R n or, more generally, in any metric space. The zero dimensional Hausdorff measure is the number of points in …   Wikipedia

  • measure — Synonyms and related words: A, Alexandrine, Spenserian stanza, Stabreim, a, accent, accent mark, accentuation, accommodate, accommodation, accomplished fact, accomplishment, accord, achievement, acreage, act, acta, action, ad hoc measure, adapt,… …   Moby Thesaurus

  • Lebesgue measure — In mathematics, the Lebesgue measure, named after Henri Lebesgue, is the standard way of assigning a length, area or volume to subsets of Euclidean space. It is used throughout real analysis, in particular to define Lebesgue integration. Sets… …   Wikipedia

  • Pre-measure — In mathematics, a pre measure is a function that is, in some sense, a precursor to a bona fide measure on a given space. Pre measures are particularly useful in fractal geometry and dimension theory, where they can be used to define measures such …   Wikipedia

  • Radon measure — In mathematics (specifically, measure theory), a Radon measure, named after Johann Radon, is a measure on the σ algebra of Borel sets of a Hausdorff topological space X that is locally finite and inner regular. Contents 1 Motivation 2 Definitions …   Wikipedia

  • List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia

  • Standard probability space — In probability theory, a standard probability space (called also Lebesgue Rokhlin probability space) is a probability space satisfying certain assumptions introduced by Vladimir Rokhlin in 1940 [1] . He showed that the unit interval endowed with… …   Wikipedia

  • Tire code — Automobile tires are described by an alphanumeric tire code (in American English) or tyre code (in British English, Australian English and others), which is generally molded into the sidewall of the tire. This code specifies the dimensions of the …   Wikipedia

  • List of real analysis topics — This is a list of articles that are considered real analysis topics. Contents 1 General topics 1.1 Limits 1.2 Sequences and Series 1.2.1 Summation Methods …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”