• Aucun résultat trouvé

Integration and measure theory

N/A
N/A
Protected

Academic year: 2022

Partager "Integration and measure theory"

Copied!
3
0
0

Texte intégral

(1)

UPMC Basic functional analysis

Master 1, MM05E 2011-2012

Integration and measure theory.

Riesz Representation Theorem.LetΩbe an open subset ofRN, andCc(Ω)be the space of all continuous functions having compact support in Ω. Let L:Cc(Ω)→R be a positive linear functional, i.e.,

L(αf+βg) =αL(f) +βL(g) for allf, g∈ Cc(Ω) and allα, β∈R, L(f)≥0 for allf ∈ Cc(Ω) with f ≥0.

Then there exist aσ-algebraM(containing the Borel σ-algebraB(Ω)) and a unique measureµ onMsuch that

L(f) = Z

f dµ, (1)

for every f ∈ Cc(Ω). Moreover, for each compact set K⊂Ω,µ(K)<∞, and for everyE∈M,

µ(E) = inf{µ(V) :E⊂V, V open}, (2)

and every open setE, and every E∈Mwithµ(E)<∞,

µ(E) = sup{µ(K) :K⊂E, K compact}. (3)

1) Show the uniqueness : if µ1andµ2 are two measures satisfying the conclusion of the theorem, show thatµ12

(hint : use Urysohn’s theorem).

2) For every open setV ⊂Ω, we define

µ(V) := sup{L(f) :f ∈ Cc(Ω), kfk≤1, supp(f)⊂V}. (4) Show that ifV1⊂V2, thenµ(V1)≤µ(V2).

3) We extend µto any arbitraryE⊂Ωby setting

µ(E) := inf{µ(V) :E⊂V, V open}. (5)

Show that both definitions (4) and (5) are coincide on open sets, and that property (2) is satisfied.

4) Show thatµis an increasing set function : ifE1⊂E2, thenµ(E1)≤µ(E2).

5) LetMF be the family of all setsE⊂Ωsuch thatµ(E)<∞and

µ(E) = sup{µ(K) :K⊂E, Kcompact}.

Finally, let Mbe the class of allE⊂Ωsuch thatE∩K∈MF for any compactK. Show that ifK is compact, then K∈MF, and

µ(K) = inf{L(f) :f ∈ Cc(Ω; [0,1]), f = 1onK}.

6) Show that any open set V satisfies (3), and that ifµ(V)<∞, thenV ∈MF.

7) Show thatµis finitely subadditive on open sets : ifV1andV2 are open sets,µ(V1∪V2)≤µ(V1) +µ(V2).

1

(2)

8) Show thatµis countably subadditive : for every setsEn ⊂Ωforn∈N, then µ

[

n=1

En

!

X

n=1

µ(En).

9) Show thatµis finitely additive on compact sets : ifK1 andK2are disjoint compact sets, µ(K1∪K2) =µ(K1) + µ(K2).

10) Show that ifE=S

n=1En, whereEn are pairwise disjoint elements ofMF for alln∈N, then, µ(E) =

X

n=1

µ(En).

Prove that if µ(E)<∞, thenE∈MF.

11) Show that if E ∈ MF and ε > 0, there is a compact set K and an open set V such that K ⊂ E ⊂ V and µ(V \K)< ε.

12) Deduce that ifAandB∈MF, thenA\B,A∪B andA∩B ∈MF.

13) Show that M is a σ-algebra which contains all Borel sets and all sets E such that µ(E) = 0. Deduce that MF ={E ⊂M:µ(E)<∞}.

14) Show thatµis a measure onMsatisfying (2) and (3).

15) Prove that in order to show the representation property (1) it is enough to check the inequalityL(f)≤R

f dµ for any f ∈ Cc(Ω).

16) Letf ∈ Cc(Ω),K:= supp(f)and[a, b]be an interval which contains the image off. Forε >0, lety0, . . . , yn∈R be such that y0< a < y1< . . . < yn =b, andmax1≤i≤n(yi−yi−1)< ε. Define

Ei :={x∈Ω :yi−1< f(x)≤yi} ∩K.

Show thatEi are disjoint Borel sets whose union isK.

17) Show thatL(f)≤R

f dµfor anyf ∈ Cc(Ω).

Regularity of Radon measures

1) With the notations of the Riesz Representation Theorem, show that for every measurable set E ∈M and every ε >0, there exist a closed setC and an open setV such thatC⊂E⊂V andµ(V \C)< ε.

2) Letλbe a Radon measure in an open setΩ⊂RN. a) Show that

λ(E) = inf{λ(V) :E⊂V, V open} for every Borel setE⊂Ω, and

λ(E) = sup{λ(K) :K⊂E, K compact}for every Borel set E⊂Ωwithλ(E)<∞.

b) Show that for every Borel setE ⊂Ω and anyε >0, there exist a closed setC and an open setV such that C⊂E⊂V and

λ(V \C)< ε.

Hint : Consider the positive linear form L(ϕ) :=R

ϕ dλfor all ϕ∈ Cc(Ω).

Existence of the Lebesgue measure.There exists aσ-algebraL(RN)(containing the Borelσ-algebraB(RN)) and a unique measureLN on L(RN)such that

2

(3)

1. LN([0,1]N) = 1;

2. For anyx∈RN and anyE∈ L(RN),LN(x+E) =LN(E).

The measure LN is called the Lebesgue measure, andL(RN)is theσ-algebra of all Lebesgue measurable sets.

1) Show that there exist aσ-algebra L(RN)containingB(RN), and a measureLN onL(RN)satisfying (2), (3) and such that

Z

RN

f(x)dx= Z

RN

f dLN,

where the first integral is the Riemann integral off, and the second one is the Lebesgue integral off with respect to the measureLN.

2) Show thatE∈ L(RN)if and only if there exist anFσ setA (a countable union of closed sets) and aGδ setB (a countable intersection of open sets) such thatA⊂E⊂BandLN(B\A) = 0. Deduce thatL(RN) ={E∪Z, withE∈ B(RN)and LN(Z) = 0}.

3) Leta < b be real numbers. Construct a sequence of functionsϕn ∈ Cc(R)such that ϕn= 1in (a+ 1/n, b−1/n) and ϕn = 0inR\[a, b].

4) Show that ifai< bi for alli∈ {1, . . . , N}, then

LN

N

Y

i=1

(ai, bi)

!

=

N

Y

i=1

(bi−ai)≤ LN

N

Y

i=1

[ai, bi]

! .

5) Show that for anyi∈ {1, . . . , N} and anya∈R,LN({xi=a}) = 0. Deduce that

LN

N

Y

i=1

[ai, bi]\

N

Y

i=1

(ai, bi)

!

= 0

and that

LN

N

Y

i=1

(ai, bi)

!

=

N

Y

i=1

(bi−ai) =LN

N

Y

i=1

[ai, bi]

! .

6) Show that for anyx∈RN and any open setV ⊂RN,LN(x+V) =LN(V).

7) Show that the Borelσ-algebra B(RN)is stable by translation : ifE∈ B(RN)andx∈RN, then x+E∈ B(RN).

Deduce that LN(x+E) =LN(E)for anyE∈ B(RN).

8) Using question 3, deduce that for any x∈RN and any E∈ L(RN), thenLN(x+E) =LN(E).

9) Show that any open set can be covered by countably many closed cubes with pairwise disjoint interior.

10) Show that ifµis a Radon measure invariant by translation, then there exists a constantc >0such thatµ=cLN. Deduce that ifµ([0,1]N) = 1, thenµ=LN.

3

Références

Documents relatifs

ALMGREN Jr., Existence and regularity almost everywhere of solutions to elliptic variational problems among surfaces of varying topological type and singularity

D An introduction to the conjugate gradients numerical algorithm 187 D.1 Conjugate gradients for linear

We perform a KS DFT calculation on the He atom (with the two basis functions given previously) using the standard local-density approximation (LDA) for the

Montrer qu’un morphisme de revˆ etement est une application ouverte..

Kinetic formulation, fractional conservation law, nonlocal and nonlin- ear diffusion, pure jump L´ evy operator, nonlinearity of porous medium kind, dissipation measure,

UPMC Basic functional analysis. Master 1,

UPMC Basic functional analysis. Master 1,

Quand t0 varie, on peut assimiler ce segment à une échelle qui glisse le long de AO et qui est alors toujours tangente à l'astroïde.. a Le champ U est déni sur le domaine D, borné