Let(X,Θ,µ)be a measure space,f be a nonnegative measurable function onX,and ν(E)= Efdµ.Show that ν is a measure.

1 answer

To show that ν is a measure, we need to verify the following properties:

1. Non-negativity: For any measurable set E, ν(E) = Efdµ ≥ 0.

2. Zero measure of the empty set: ν(∅) = ∅fdµ = 0.

3. Countable additivity: For any countable collection E₁, E₂, ... of pairwise disjoint measurable sets, ν(⋃ᵢ₌₁^∞ Eᵢ) = (⋃ᵢ₌₁^∞ Eᵢ)fdµ = ∑ᵢ₌₁^∞ Eᵢfdµ = ∑ᵢ₌₁^∞ ν(Eᵢ).

We can easily verify these properties as follows:

1. Non-negativity: For any measurable set E, since f is non-negative, we have 0 ≤ f(x) for all x ∈ X. Therefore, for any measurable set E, ν(E) = Efdµ = ∫ₑ fdµ ≥ 0.

2. Zero measure of the empty set: By definition, ν(∅) = ∅fdµ = ∫_∅ fdµ = 0.

3. Countable additivity: Let E₁, E₂, ... be a collection of pairwise disjoint measurable sets. Then,

ν(⋃ᵢ₌₁^∞ Eᵢ) = (⋃ᵢ₌₁^∞ Eᵢ)fdµ = ∫⋃ᵢ₌₁^∞ Eᵢ fdµ
= ∫(∑ᵢ₌₁^∞ Eᵢ) fdµ (by countable additivity of the integral)
= ∑ᵢ₌₁^∞ ∫Eᵢ fdµ (by linearity of the integral)
= ∑ᵢ₌₁^∞ ν(Eᵢ).

Therefore, ν is a measure.
Similar Questions
    1. answers icon 1 answer
  1. Question:Let (X,@) be a measurable space. Prove that if for each a in R, {x in X | f(x) <= a } is measurable, then f is
    1. answers icon 1 answer
    1. answers icon 1 answer
  2. Question:For a subset E of R and a number a ∈ R, let a+E = {a+e | e ∈ E}. Show that E is measurable if and only if a+E is
    1. answers icon 1 answer
more similar questions