0
$\begingroup$

Let $(X, \mathcal{S},\mu)$ be a measure space, and let $f: X \to \mathbb{C}$ be a function. Then $f$ is integrable if Re$f$ and Im$f$ are integrable and $\int f := \int$Re$f+i\int$Im$f$.

It is easy to show that:

Re$f$ and Im$f$ are measurable and $|f|$ is integrable $\Rightarrow$ $f$ is integrable.

But why can't we omit the measurability of Re$f$ and Im$f$?

1 Answers 1

1

$|f|$ being integrable (or measurable) alone cannot give information about whether $Re f$ or $Im f$ being measurable. For example, take $A$ to be your favorable nonmeasurable set, $Re f$ to be the characteristic function of $A$, and $Im f$ to be the characteristic function of the complement of $A$. Then $|f|$ is really the constant function 1, which is integrable if the total space has finite measure.