-1
$\begingroup$

This question seems like an easy measure theory problem but I don't know how to proceed.

Suppose $f$ is defined a.e., and suppose $g$ and $h$ are defined on all $\mathbb R^n$, and $g=f$ a.e. and $h=f$ a.e. Then prove that:

$g$ is measurable $\iff$ $h$ is measurable.

I think this is true if and only if notation is trivial but how to prove?

  • 6
    Is this homework? Or rather: are your 5 questions (so far) all parts of a homework?2012-05-06

1 Answers 1

3

This problem is an exercise in unraveling the definitions of "almost everywhere" and "measurable." Let's start by listing what information the problem gives.

  1. $f = g$ almost everywhere means that the set $A := \{x : g(x)\neq f(x)\}$ has measure $0$.
  2. $f = h$ almost everywhere means that the set $B := \{x : h(x)\neq f(x)\}$ has measure $0$.

The problem then asks about the relationship between $g$ and $h$, so it is natural to consider the set $C := \{x : g(x)\neq h(x)\}$. Step 1 should be to answer the following questions: How does $C$ relate to $A$ and $B$? What is the measure of $C$?

Now suppose that $g$ is measurable. This means $g^{-1}(I)$ is measurable for every (possible infinite) interval $I$. You next want to answer the question: How does the set $h^{-1}(I)$ relate to $g^{-1}(I)$ and $C$? You want to conclude that $h^{-1}(I)$ is measurable as well.

Hope that helps some.