- Source: Outer measure
In the mathematical field of 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. The theory of outer measures was first introduced by Constantin Carathéodory to provide an abstract basis for the theory of measurable sets and countably additive measures. Carathéodory's work on outer measures found many applications in measure-theoretic set theory (outer measures are for example used in the proof of the fundamental Carathéodory's extension theorem), and was used in an essential way by Hausdorff to define a dimension-like metric invariant now called Hausdorff dimension. Outer measures are commonly used in the field of geometric measure theory.
Measures are generalizations of length, area and volume, but are useful for much more abstract and irregular sets than intervals in
R
{\displaystyle \mathbb {R} }
or balls in
R
3
{\displaystyle \mathbb {R} ^{3}}
. One might expect to define a generalized measuring function
φ
{\displaystyle \varphi }
on
R
{\displaystyle \mathbb {R} }
that fulfills the following requirements:
Any interval of reals
[
a
,
b
]
{\displaystyle [a,b]}
has measure
b
−
a
{\displaystyle b-a}
The measuring function
φ
{\displaystyle \varphi }
is a non-negative extended real-valued function defined for all subsets of
R
{\displaystyle \mathbb {R} }
.
Translation invariance: For any set
A
{\displaystyle A}
and any real
x
{\displaystyle x}
, the sets
A
{\displaystyle A}
and
A
+
x
=
{
a
+
x
:
a
∈
A
}
{\displaystyle A+x=\{a+x:a\in A\}}
have the same measure
Countable additivity: for any sequence
(
A
j
)
{\displaystyle (A_{j})}
of pairwise disjoint subsets of
R
{\displaystyle \mathbb {R} }
φ
(
⋃
i
=
1
∞
A
i
)
=
∑
i
=
1
∞
φ
(
A
i
)
.
{\displaystyle \varphi \left(\bigcup _{i=1}^{\infty }A_{i}\right)=\sum _{i=1}^{\infty }\varphi (A_{i}).}
It turns out that these requirements are incompatible conditions; see non-measurable set. The purpose of constructing an outer measure on all subsets of
X
{\displaystyle X}
is to pick out a class of subsets (to be called measurable) in such a way as to satisfy the countable additivity property.
Outer measures
Given a set
X
,
{\displaystyle X,}
let
2
X
{\displaystyle 2^{X}}
denote the collection of all subsets of
X
,
{\displaystyle X,}
including the empty set
∅
.
{\displaystyle \varnothing .}
An outer measure on
X
{\displaystyle X}
is a set function
μ
:
2
X
→
[
0
,
∞
]
{\displaystyle \mu :2^{X}\to [0,\infty ]}
such that
null empty set:
μ
(
∅
)
=
0
{\displaystyle \mu (\varnothing )=0}
countably subadditive: for arbitrary subsets
A
,
B
1
,
B
2
,
…
{\displaystyle A,B_{1},B_{2},\ldots }
of
X
,
{\displaystyle X,}
if
A
⊆
⋃
j
=
1
∞
B
j
then
μ
(
A
)
≤
∑
j
=
1
∞
μ
(
B
j
)
.
{\displaystyle {\text{if }}A\subseteq \bigcup _{j=1}^{\infty }B_{j}{\text{ then }}\mu (A)\leq \sum _{j=1}^{\infty }\mu (B_{j}).}
Note that there is no subtlety about infinite summation in this definition. Since the summands are all assumed to be nonnegative, the sequence of partial sums could only diverge by increasing without bound. So the infinite sum appearing in the definition will always be a well-defined element of
[
0
,
∞
]
.
{\displaystyle [0,\infty ].}
If, instead, an outer measure were allowed to take negative values, its definition would have to be modified to take into account the possibility of non-convergent infinite sums.
An alternative and equivalent definition. Some textbooks, such as Halmos (1950) and Folland (1999), instead define an outer measure on
X
{\displaystyle X}
to be a function
μ
:
2
X
→
[
0
,
∞
]
{\displaystyle \mu :2^{X}\to [0,\infty ]}
such that
null empty set:
μ
(
∅
)
=
0
{\displaystyle \mu (\varnothing )=0}
monotone: if
A
{\displaystyle A}
and
B
{\displaystyle B}
are subsets of
X
{\displaystyle X}
with
A
⊆
B
,
{\displaystyle A\subseteq B,}
then
μ
(
A
)
≤
μ
(
B
)
{\displaystyle \mu (A)\leq \mu (B)}
for arbitrary subsets
B
1
,
B
2
,
…
{\displaystyle B_{1},B_{2},\ldots }
of
X
,
{\displaystyle X,}
μ
(
⋃
j
=
1
∞
B
j
)
≤
∑
j
=
1
∞
μ
(
B
j
)
.
{\displaystyle \mu \left(\bigcup _{j=1}^{\infty }B_{j}\right)\leq \sum _{j=1}^{\infty }\mu (B_{j}).}
Measurability of sets relative to an outer measure
Let
X
{\displaystyle X}
be a set with an outer measure
μ
.
{\displaystyle \mu .}
One says that a subset
E
{\displaystyle E}
of
X
{\displaystyle X}
is
μ
{\displaystyle \mu }
-measurable (sometimes called Carathéodory-measurable relative to
μ
{\displaystyle \mu }
, after the mathematician Carathéodory) if and only if
μ
(
A
)
=
μ
(
A
∩
E
)
+
μ
(
A
∖
E
)
{\displaystyle \mu (A)=\mu (A\cap E)+\mu (A\setminus E)}
for every subset
A
{\displaystyle A}
of
X
.
{\displaystyle X.}
Informally, this says that a
μ
{\displaystyle \mu }
-measurable subset is one which may be used as a building block, breaking any other subset apart into pieces (namely, the piece which is inside of the measurable set together with the piece which is outside of the measurable set). In terms of the motivation for measure theory, one would expect that area, for example, should be an outer measure on the plane. One might then expect that every subset of the plane would be deemed "measurable," following the expected principle that
area
(
A
∪
B
)
=
area
(
A
)
+
area
(
B
)
{\displaystyle \operatorname {area} (A\cup B)=\operatorname {area} (A)+\operatorname {area} (B)}
whenever
A
{\displaystyle A}
and
B
{\displaystyle B}
are disjoint subsets of the plane. However, the formal logical development of the theory shows that the situation is more complicated. A formal implication of the axiom of choice is that for any definition of area as an outer measure which includes as a special case the standard formula for the area of a rectangle, there must be subsets of the plane which fail to be measurable. In particular, the above "expected principle" is false, provided that one accepts the axiom of choice.
= The measure space associated to an outer measure
=It is straightforward to use the above definition of
μ
{\displaystyle \mu }
-measurability to see that
if
A
⊆
X
{\displaystyle A\subseteq X}
is
μ
{\displaystyle \mu }
-measurable then its complement
X
∖
A
⊆
X
{\displaystyle X\setminus A\subseteq X}
is also
μ
{\displaystyle \mu }
-measurable.
The following condition is known as the "countable additivity of
μ
{\displaystyle \mu }
on measurable subsets."
if
A
1
,
A
2
,
…
{\displaystyle A_{1},A_{2},\ldots }
are
μ
{\displaystyle \mu }
-measurable pairwise-disjoint (
A
i
∩
A
j
=
∅
{\displaystyle A_{i}\cap A_{j}=\emptyset }
for
i
≠
j
{\displaystyle i\neq j}
) subsets of
X
{\displaystyle X}
, then one has
μ
(
⋃
j
=
1
∞
A
j
)
=
∑
j
=
1
∞
μ
(
A
j
)
.
{\displaystyle \mu {\Big (}\bigcup _{j=1}^{\infty }A_{j}{\Big )}=\sum _{j=1}^{\infty }\mu (A_{j}).}
A similar proof shows that:
if
A
1
,
A
2
,
…
{\displaystyle A_{1},A_{2},\ldots }
are
μ
{\displaystyle \mu }
-measurable subsets of
X
,
{\displaystyle X,}
then the union
⋃
i
=
1
∞
A
i
{\displaystyle \bigcup _{i=1}^{\infty }A_{i}}
and intersection
⋂
i
=
1
∞
A
i
{\displaystyle \bigcap _{i=1}^{\infty }A_{i}}
are also
μ
{\displaystyle \mu }
-measurable.
The properties given here can be summarized by the following terminology:
Given any outer measure
μ
{\displaystyle \mu }
on a set
X
,
{\displaystyle X,}
the collection of all
μ
{\displaystyle \mu }
-measurable subsets of
X
{\displaystyle X}
is a σ-algebra. The restriction of
μ
{\displaystyle \mu }
to this
σ
{\displaystyle \sigma }
-algebra is a measure.
One thus has a measure space structure on
X
,
{\displaystyle X,}
arising naturally from the specification of an outer measure on
X
.
{\displaystyle X.}
This measure space has the additional property of completeness, which is contained in the following statement:
Every subset
A
⊆
X
{\displaystyle A\subseteq X}
such that
μ
(
A
)
=
0
{\displaystyle \mu (A)=0}
is
μ
{\displaystyle \mu }
-measurable.
This is easy to prove by using the second property in the "alternative definition" of outer measure.
Restriction and pushforward of an outer measure
Let
μ
{\displaystyle \mu }
be an outer measure on the set
X
{\displaystyle X}
.
= Pushforward
=Given another set
Y
{\displaystyle Y}
and a map
f
:
X
→
Y
{\displaystyle f:X\to Y}
define
f
♯
μ
:
2
Y
→
[
0
,
∞
]
{\displaystyle f_{\sharp }\mu :2^{Y}\to [0,\infty ]}
by
(
f
♯
μ
)
(
A
)
=
μ
(
f
−
1
(
A
)
)
.
{\displaystyle {\big (}f_{\sharp }\mu {\big )}(A)=\mu {\big (}f^{-1}(A){\big )}.}
One can verify directly from the definitions that
f
♯
μ
{\displaystyle f_{\sharp }\mu }
is an outer measure on
Y
{\displaystyle Y}
.
= Restriction
=Let B be a subset of X. Define μB : 2X→[0,∞] by
μ
B
(
A
)
=
μ
(
A
∩
B
)
.
{\displaystyle \mu _{B}(A)=\mu (A\cap B).}
One can check directly from the definitions that μB is another outer measure on X.
= Measurability of sets relative to a pushforward or restriction
=If a subset A of X is μ-measurable, then it is also μB-measurable for any subset B of X.
Given a map f : X→Y and a subset A of Y, if f −1(A) is μ-measurable then A is f# μ-measurable. More generally, f −1(A) is μ-measurable if and only if A is f# (μB)-measurable for every subset B of X.
Regular outer measures
= Definition of a regular outer measure
=Given a set X, an outer measure μ on X is said to be regular if any subset
A
⊆
X
{\displaystyle A\subseteq X}
can be approximated 'from the outside' by μ-measurable sets. Formally, this is requiring either of the following equivalent conditions:
μ
(
A
)
=
inf
{
μ
(
B
)
∣
A
⊆
B
,
B
is μ-measurable
}
{\displaystyle \mu (A)=\inf\{\mu (B)\mid A\subseteq B,B{\text{ is μ-measurable}}\}}
There exists a μ-measurable subset B of X which contains A and such that
μ
(
B
)
=
μ
(
A
)
{\displaystyle \mu (B)=\mu (A)}
.
It is automatic that the second condition implies the first; the first implies the second by taking the countable intersection of
B
i
{\displaystyle B_{i}}
with
μ
(
B
i
)
→
μ
(
A
)
{\displaystyle \mu (B_{i})\to \mu (A)}
= The regular outer measure associated to an outer measure
=Given an outer measure μ on a set X, define ν : 2X→[0,∞] by
ν
(
A
)
=
inf
{
μ
(
B
)
:
μ
-measurable subsets
B
⊂
X
with
B
⊃
A
}
.
{\displaystyle \nu (A)=\inf {\Big \{}\mu (B):\mu {\text{-measurable subsets }}B\subset X{\text{ with }}B\supset A{\Big \}}.}
Then ν is a regular outer measure on X which assigns the same measure as μ to all μ-measurable subsets of X. Every μ-measurable subset is also ν-measurable, and every ν-measurable subset of finite ν-measure is also μ-measurable.
So the measure space associated to ν may have a larger σ-algebra than the measure space associated to μ. The restrictions of ν and μ to the smaller σ-algebra are identical. The elements of the larger σ-algebra which are not contained in the smaller σ-algebra have infinite ν-measure and finite μ-measure.
From this perspective, ν may be regarded as an extension of μ.
Outer measure and topology
Suppose (X, d) is a metric space and φ an outer measure on X. If φ has the property that
φ
(
E
∪
F
)
=
φ
(
E
)
+
φ
(
F
)
{\displaystyle \varphi (E\cup F)=\varphi (E)+\varphi (F)}
whenever
d
(
E
,
F
)
=
inf
{
d
(
x
,
y
)
:
x
∈
E
,
y
∈
F
}
>
0
,
{\displaystyle d(E,F)=\inf\{d(x,y):x\in E,y\in F\}>0,}
then φ is called a metric outer measure.
Theorem. If φ is a metric outer measure on X, then every Borel subset of X is φ-measurable. (The Borel sets of X are the elements of the smallest σ-algebra generated by the open sets.)
Construction of outer measures
There are several procedures for constructing outer measures on a set. The classic Munroe reference below describes two particularly useful ones which are referred to as Method I and Method II.
= Method I
=Let X be a set, C a family of subsets of X which contains the empty set and p a non-negative extended real valued function on C which vanishes on the empty set.
Theorem. Suppose the family C and the function p are as above and define
φ
(
E
)
=
inf
{
∑
i
=
0
∞
p
(
A
i
)
|
E
⊆
⋃
i
=
0
∞
A
i
,
∀
i
∈
N
,
A
i
∈
C
}
.
{\displaystyle \varphi (E)=\inf {\biggl \{}\sum _{i=0}^{\infty }p(A_{i})\,{\bigg |}\,E\subseteq \bigcup _{i=0}^{\infty }A_{i},\forall i\in \mathbb {N} ,A_{i}\in C{\biggr \}}.}
That is, the infimum extends over all sequences {Ai} of elements of C which cover E, with the convention that the infimum is infinite if no such sequence exists. Then φ is an outer measure on X.
= Method II
=The second technique is more suitable for constructing outer measures on metric spaces, since it yields metric outer measures. Suppose (X, d) is a metric space. As above C is a family of subsets of X which contains the empty set and p a non-negative extended real valued function on C which vanishes on the empty set. For each δ > 0, let
C
δ
=
{
A
∈
C
:
diam
(
A
)
≤
δ
}
{\displaystyle C_{\delta }=\{A\in C:\operatorname {diam} (A)\leq \delta \}}
and
φ
δ
(
E
)
=
inf
{
∑
i
=
0
∞
p
(
A
i
)
|
E
⊆
⋃
i
=
0
∞
A
i
,
∀
i
∈
N
,
A
i
∈
C
δ
}
.
{\displaystyle \varphi _{\delta }(E)=\inf {\biggl \{}\sum _{i=0}^{\infty }p(A_{i})\,{\bigg |}\,E\subseteq \bigcup _{i=0}^{\infty }A_{i},\forall i\in \mathbb {N} ,A_{i}\in C_{\delta }{\biggr \}}.}
Obviously, φδ ≥ φδ' when δ ≤ δ' since the infimum is taken over a smaller class as δ decreases. Thus
lim
δ
→
0
φ
δ
(
E
)
=
φ
0
(
E
)
∈
[
0
,
∞
]
{\displaystyle \lim _{\delta \rightarrow 0}\varphi _{\delta }(E)=\varphi _{0}(E)\in [0,\infty ]}
exists (possibly infinite).
Theorem. φ0 is a metric outer measure on X.
This is the construction used in the definition of Hausdorff measures for a metric space.
See also
Inner measure
Notes
References
Folland, Gerald B.. (1999). Real Analysis: Modern Techniques and Their Applications (2nd ed.). John Wiley & Sons. ISBN 0-471-31716-0.
Aliprantis, C.D.; Border, K.C. (2006). Infinite Dimensional Analysis (3rd ed.). Berlin, Heidelberg, New York: Springer Verlag. ISBN 3-540-29586-0.
Carathéodory, C. (1968) [1918]. Vorlesungen über reelle Funktionen (in German) (3rd ed.). Chelsea Publishing. ISBN 978-0828400381.
Evans, Lawrence C.; Gariepy, Ronald F. (2015). Measure theory and fine properties of functions. Revised edition. Textbooks in Mathematics. CRC Press, Boca Raton, FL. pp. xiv+299. ISBN 978-1-4822-4238-6.
Federer, H. (1996) [1969]. Geometric Measure Theory. Classics in Mathematics (1st ed reprint ed.). Berlin, Heidelberg, New York: Springer Verlag. ISBN 978-3540606567.
Halmos, P. (1978) [1950]. Measure theory. Graduate Texts in Mathematics (2nd ed.). Berlin, Heidelberg, New York: Springer Verlag. ISBN 978-0387900889.
Munroe, M. E. (1953). Introduction to Measure and Integration (1st ed.). Addison Wesley. ISBN 978-1124042978.
Kolmogorov, A. N.; Fomin, S. V. (1970). Introductory Real Analysis. Richard A. Silverman transl. New York: Dover Publications. ISBN 0-486-61226-0.
External links
Outer measure at Encyclopedia of Mathematics
Caratheodory measure at Encyclopedia of Mathematics
Kata Kunci Pencarian:
- Neptunus
- Pluto
- The Dispossessed
- San Francisco
- Psilosibin
- Ikan zebra
- Daftar film bertema lesbian, gay, biseksual dan transgender
- Danai Gurira
- Daftar julukan kota di Amerika Serikat
- Massachusetts Bay Transportation Authority
- Outer measure
- Lebesgue measure
- Metric outer measure
- Borel regular measure
- Radon measure
- Hausdorff measure
- Length
- Lebesgue–Stieltjes integration
- Measure (mathematics)
- Regular measure
