I know
- if $\mu$ is complete and sequence of functions $f_k$ are measurable then from $f_k\rightarrow f$ a.e. we get that $f$ is measurable.
- if sequence of measurable functions $f_k$ convergence to $f$ a.e. then $f_k\rightarrow f$ in measure.
Questions:
A) what does mean $f_k\rightarrow f$ a.e. here? Does it mean pointwise convergence a.e.?
B) (in 2) we say "…if sequence of measurable functions $f_k$ converges to $f$ a.e….". But we don't know is $f$ measurable because we don't know is $\mu$ complete. So $f_k$ can converge in measure to $f$ regardless of whether $\mu$ is complete or not. Yes?
EDIT: C) in the definition of convergence in measure there are written that $f_k$ and $f$ are measurable. So I can conclude that in (2) there are hidden condition that $\mu$ is complete. (It looks like I don't understand something that important). Is it true?
EDIT: I know that Lebesgue measure is complete. But I don't know does we talk in (2) about Lebesgue measure or about measure in general.
Best Answer
Let $(X,\mathcal{N},\mu)$ denote the underlying measure space.
(a) It means that there is a set $C\subset X$ with $\mu(X\setminus C)=0$ s.t. $f_n(x)\to f(x)$ for each $x\in C$.
(b) The actual result is