Let &#x03BC;<!-- μ --> , v n </msub> be measures on ( X , <mr

Hayley Sanders

Hayley Sanders

Answered question

2022-05-24

Let μ , v n be measures on ( X , B ) with μ being σ-finite and s u p { v n ( X ) } < . Note that v = n 1 2 n v n << μ if and only if v n << μ. Let the Lebesgue decomposition of v n with respect to μ be v n = v n , a + v n , s , where d v n , a d μ = f n .
Note that v is a finite (hence σ-finite) measure, so it has a Lebesgue decomposition. I want to find the Lebesgue decomposition of v with respect to μ and calculate d v a d μ . I believe the Lebesgue decomposition will just be v = v a + v s = n 1 2 n v n , a + n 1 2 n v n , s . Then my question is this:
Are Radon Nikodym derivatives countably additive? Can I say that d v a d μ = n 1 2 n f n ? Thanks.

Answer & Explanation

ol5ick189

ol5ick189

Beginner2022-05-25Added 7 answers

Suppose each v n has decomposition d v n = f n d μ + d λ n with λ n μ. You are interested in the decomposition for v = n = 1 v n . We have
v n ( S ) = n = 1 ( S f n d μ + λ n ( S ) ) = S n = 1 f n d μ + n = 1 λ n ( S ) .
It is easy to show that λ = n = 1 λ n μ. Thus
d v = n = 1 f n d μ + d λ
is the decomposition for v.
Cara Duke

Cara Duke

Beginner2022-05-26Added 2 answers

Whenever f n are measurable functions on a measure space ( X , F , μ ) with f n : X [ 0 , ], then X n = 1 f n d μ = n = 1 X f n d μ. This is a simple consequence of monotone convergence theorem and the additivity of the integral on nonnegative functions. I guess i'm right

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?