Machine-translated by Google. Questions are authored in English.
Top

Discussion

Let \(f : [0, 1] \to \mathbb{R}\) be a function. Which one of the following is a sufficient condition for \(f\) to be Lebesgue measurable?

  • A.\(|f|\) is a Lebesgue measurable function
  • B.There exist continuous functions \(g, h : [0, 1] \to \mathbb{R}\) such that \(g \le f \le h\) on [0, 1]
  • C.\(f\) is continuous almost everywhere on [0, 1]
  • D.For each \(c \in \mathbb{R}\), the set \(\{x \in [0, 1] : f(x) = c\}\) is Lebesgue measurable

Answer: C

A sufficient condition is \(f\) is continuous almost everywhere on [0, 1].

If \(f\) is continuous outside a null set \(N\), then \(f\) restricted to \([0, 1] \setminus N\) is continuous, hence Borel measurable there. Every subset of \(N\) is Lebesgue measurable because Lebesgue measure is complete, so \(\{f \gt c\}\) is measurable for every \(c\).

The others fail. Take a non-measurable set \(V\) and \(f = 1\) on \(V\), \(-1\) off it: then \(|f| = 1\) is measurable and \(-1 \le f \le 1\) is squeezed between continuous functions, but \(f\) is not measurable. And \(f(x) = x\) on \(V\), \(-x\) off it, takes each value at most twice, so every level set is finite and measurable, yet \(f\) is not measurable.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.