# Outer measure

Measures are generalizations of length, area and volume, but are useful for much more abstract and irregular sets than intervals in {style d'affichage mathbb {R} } or balls in {style d'affichage mathbb {R} ^{3}} . One might expect to define a generalized measuring function {style d'affichage varphi } sur {style d'affichage mathbb {R} } that fulfills the following requirements: Any interval of reals [un, b] has measure b − a The measuring function {style d'affichage varphi } is a non-negative extended real-valued function defined for all subsets of {style d'affichage mathbb {R} } . Translation invariance: For any set A and any real x, the sets A and A+x have the same measure (où {displaystyle A+x={a+x:ain A}} ) Countable additivity: pour toute séquence (Aj) of pairwise disjoint subsets of {style d'affichage mathbb {R} } {style d'affichage varphi gauche(grande tasse _{je=1}^{infime }UN_{je}droit)=somme _{je=1}^{infime }varphi (UN_{je}).} 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 is to pick out a class of subsets (to be called measurable) in such a way as to satisfy the countable additivity property.

Contenu 1 Outer measures 2 Measurability of sets relative to an outer measure 2.1 The measure space associated to an outer measure 3 Restriction and pushforward of an outer measure 3.1 Pushforward 3.2 Restriction 3.3 Measurability of sets relative to a pushforward or restriction 4 Regular outer measures 4.1 Definition of a regular outer measure 4.2 The regular outer measure associated to an outer measure 5 Outer measure and topology 6 Construction of outer measures 6.1 Method I 6.2 Method II 7 Voir également 8 Remarques 9 Références 10 External links Outer measures Given a set {style d'affichage X,} laisser {style d'affichage 2 ^{X}} denote the collection of all subsets of {style d'affichage X,} including the empty set {displaystyle varnothing .} An outer measure on {style d'affichage X} is a set function {style d'affichage lui :2^{X}à [0,infime ]} such that null empty set: {style d'affichage lui (varnothing )=0} countably subadditive: for arbitrary subsets {style d'affichage A,B_{1},B_{2},ldots } de {style d'affichage X,} {style d'affichage {texte{si }}Asubseteq bigcup _{j=1}^{infime }B_{j}{texte{ alors }}dans (UN)leq somme _{j=1}^{infime }dans (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 {style d'affichage [0,infime ].} Si, 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.[3] Some textbooks, such as Halmos (1950), instead define an outer measure on {style d'affichage X} to be a function {style d'affichage lui :2^{X}à [0,infime ]} such that null empty set: {style d'affichage lui (varnothing )=0} monotone: si {style d'affichage A} et {style d'affichage B} are subsets of {style d'affichage X} avec {displaystyle Asubseteq B,} alors {style d'affichage lui (UN)leq mu (B)} for arbitrary subsets {style d'affichage B_{1},B_{2},ldots } de {style d'affichage X,} {displaystyle mu left(grande tasse _{j=1}^{infime }B_{j}droit)leq somme _{j=1}^{infime }dans (B_{j}).} show Proof of equivalence. Measurability of sets relative to an outer measure Let {style d'affichage X} be a set with an outer measure {style d'affichage lui .} One says that a subset {style d'affichage E} de {style d'affichage X} est {style d'affichage lui } -measurable (sometimes called Carathéodory-measurable relative to {style d'affichage lui ,} after the mathematician Carathéodory) si et seulement si {style d'affichage lui (UN)=dans (Acap E)+dans (Asetminus E)} for every subset {style d'affichage A} de {style d'affichage X.} Informellement, this says that a {style d'affichage lui } -measurable subset is one which may be used as a building block, breaking any other subset apart into pieces (à savoir, 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, par exemple, 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 {nom de l'opérateur de style d'affichage {area} (Acup B)=nomopérateur {area} (UN)+nom de l'opérateur {area} (B)} chaque fois que {style d'affichage A} et {style d'affichage B} are disjoint subsets of the plane. Cependant, 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. En particulier, the above "expected principle" c'est faux, 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 {style d'affichage lui } -measurability to see that if {displaystyle Asubseteq X} est {style d'affichage lui } -measurable then its complement {displaystyle Xsetminus Asubseteq X} is also {style d'affichage lui } -measurable.

The following condition is known as the "countable additivity of {style d'affichage lui } on measurable subsets."

si {style d'affichage A_{1},UN_{2},ldots } sommes {style d'affichage lui } -measurable subsets of {style d'affichage X} et {style d'affichage A_{je}cap A_{j}} is empty whenever {displaystyle ineq j,} then one has {style d'affichage lui {Gros (}grande tasse _{j=1}^{infime }UN_{j}{Gros )}=somme _{j=1}^{infime }dans (UN_{j}).} show Proof of countable additivity.

A similar proof shows that: si {style d'affichage A_{1},UN_{2},ldots } sommes {style d'affichage lui } -measurable subsets of {style d'affichage X,} then the union {style d'affichage A_{1}cup A_{2}cup cdots } and intersection {style d'affichage A_{1}cap A_{2}cap cdots } are also {style d'affichage lui } -measurable.

The properties given here can be summarized by the following terminology: Given any outer measure {style d'affichage lui } sur un ensemble {style d'affichage X,} the collection of all {style d'affichage lui } -measurable subsets of {style d'affichage X} is a σ-algebra. The restriction of {style d'affichage lui } to this {style d'affichage sigma } -algebra is a measure.

One thus has a measure space structure on {style d'affichage X,} arising naturally from the specification of an outer measure on {style d'affichage X.} This measure space has the additional property of completeness, which is contained in the following statement: Every subset {displaystyle Asubseteq X} tel que {style d'affichage lui (UN)=0} est {style d'affichage lui } -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 μ be an outer measure on the set X.

Pushforward Given another set Y and a map f : X→Y, define f# μ : 2Y→[0,∞] par {style d'affichage {gros (}F_{sharp }dans {gros )}(UN)=dans {gros (}f ^{-1}(UN){gros )}.} One can verify directly from the definitions that f# μ is an outer measure on Y.

Restriction Let B be a subset of X. Define μB : 2X→[0,∞] par {style d'affichage lui _{B}(UN)=dans (Souvent 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(UN) is μ-measurable then A is f# μ-measurable. Plus généralement, f −1(UN) 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 can be approximated 'from the outside' by μ-measurable sets. Officiellement, this is requiring either of the following equivalent conditions: for any subset A of X and any positive number ε, there exists a μ-measurable subset B of X which contains A and with μ(B) < μ(A) + ε. for any subset A of X, there exists a μ-measurable subset B of X which contains A and such that μ(B) = μ(A). It is automatic that the second condition implies the first; the first implies the second by considering the intersection of a minimizing sequence of subsets. The regular outer measure associated to an outer measure Given an outer measure μ on a set X, define ν : 2X→[0,∞] by {displaystyle nu (A)=inf {Big {}mu (B):mu {text{-measurable subsets }}Bsubset X{text{ with }}Bsupset 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 {displaystyle varphi (Ecup F)=varphi (E)+varphi (F)} whenever {displaystyle d(E,F)=inf{d(x,y):xin E,yin F}>0,} then φ is called a metric outer measure.

Théorème. 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 See also: Valuation (measure theory) 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.

Théorème. Suppose the family C and the function p are as above and define {style d'affichage varphi (E)=inf {biggl {}somme _{je=0}^{infime }p(UN_{je}),{bigg |},Esubseteq bigcup _{je=0}^{infime }UN_{je},forall iin mathbb {N} ,UN_{je}en do{biggr }}.} C'est-à-dire, 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. Supposer (X, ré) 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, laisser {displaystyle C_{delta }={Ain C:nom de l'opérateur {diam} (UN)leq delta }} et {style d'affichage varphi _{delta }(E)=inf {biggl {}somme _{je=0}^{infime }p(UN_{je}),{bigg |},Esubseteq bigcup _{je=0}^{infime }UN_{je},forall iin mathbb {N} ,UN_{je}in C_{delta }{biggr }}.} Obviously, φδ ≥ φδ' when δ ≤ δ' since the infimum is taken over a smaller class as δ decreases. Ainsi {style d'affichage lim _{delta rightarrow 0}varphi _{delta }(E)=varphi _{0}(E)dans [0,infime ]} existe (possibly infinite).

Théorème. φ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 ^ Carathéodory 1968 ^ Aliprantis & Border 2006, pp. S379 ^ The original definition given above follows the widely cited texts of Federer and of Evans and Gariepy. Note that both of these books use non-standard terminology in defining a "measure" to be what is here called an "outer measure." References Aliprantis, C.D.; Border, K.C. (2006). Infinite Dimensional Analysis (3e éd.). Berlin, Heidelberg, New York: Maison d'édition Springer. ISBN 3-540-29586-0. Carathéodory, C. (1968) [1918]. Vorlesungen über reelle Funktionen (en allemand) (3e éd.). Chelsea Publishing. ISBN 978-0828400381. Evans, Lawrence C.; Gariepy, Ronald F.. (2015). Measure theory and fine properties of functions. Revised edition. Textbooks in Mathematics. Presse du CRC, Boca Ratón, Floride. pp. xiv+299. ISBN 978-1-4822-4238-6. Federer, H. (1996) [1969]. Geometric Measure Theory. Classiques en mathématiques (1st ed reprint ed.). Berlin, Heidelberg, New York: Maison d'édition Springer. ISBN 978-3540606567. Halmos, P. (1978) [1950]. Measure theory. Textes d'études supérieures en mathématiques (2sd éd.). Berlin, Heidelberg, New York: Maison d'édition Springer. ISBN 978-0387900889. Munroe, M. E. (1953). Introduction to Measure and Integration (1st ed.). Addison Wesley. ISBN 978-1124042978. Kolmogorov, UN. N; Fomine, S. V. (1970). Introductory Real Analysis. Richard A.. Silverman transl. New York: Publications de Douvres. ISBN 0-486-61226-0. External links Outer measure at Encyclopedia of Mathematics Caratheodory measure at Encyclopedia of Mathematics show vte Measure theory Categories: Measures (measure theory)

Si vous voulez connaître d'autres articles similaires à Outer measure vous pouvez visiter la catégorie Measures (measure theory).

Monter

Nous utilisons nos propres cookies et ceux de tiers pour améliorer l'expérience utilisateur Plus d'informations