My question refers to functions with values in Banach spaces and under what conditions the limit of a sequence of measurable functions is also measurable.
But first, let me recall some well-known results from real analysis. Let $(X,\mathcal{F})$ be a measurable space, $\bar{\mathbb{R}}$ the extended real line, and $\mathcal{B}(\bar{\mathbb{R}})$ the standard Borel $\sigma$-algebra generated by the open sets of $\bar{\mathbb{R}}$.
(1) If a sequence of measurable functions $f_n:(X,\mathcal{F})\rightarrow(\bar{\mathbb{R}},\mathcal{B}(\bar{\mathbb{R}}))$ converges to a function $f$ pointwise in $X$, then $f$ is also measurable w.r.t. $\mathcal{F}$ and $\mathcal{B}(\bar{\mathbb{R}})$. (See, e.g., Rudin, Real and Complex Analysis, Theorem 1.14.)
(2) This can be generalized to the case of a complete measure space $(X,\mathcal{F},\mu)$ and convergence of $f_n$ to $f$ pointwise-$\mu$-a.e. in $X$. (This is stated without proof in Hunter and Nachtergaele, Applied Analysis, Theorem 12.24. Can anyone point to a proof of this, or is it trivial?)
Dudley (Real Analysis and Probability, Theorem 4.2.2) generalizes part (1) above to functions with values in metric spaces. Therefore (1) also holds for functions with values in a Banach space $(Y,\Vert\cdot\Vert)$, with corresponding Borel $\sigma$-algebra $\mathcal{B}(Y)$. My question is: can part (2) be also generalized? In other words, does the following result hold:
Let $(X,\mathcal{F},\mu)$ be a complete measure space and $(Y,\Vert\cdot\Vert)$ be a Banach space. Let $f_n:(X,\mathcal{F})\rightarrow(Y,\mathcal{B}(Y))$ be a sequence of measurable functions that converges to a function $f$ pointwise-$\mu$-a.e. in $X$ (i.e., $\Vert f_n(x) - f(x)\Vert \rightarrow 0$ as $n\rightarrow\infty$, for $x$ $\mu$-a.e. in $X$), then $f$ is also measurable w.r.t. $\mathcal{F}$ and $\mathcal{B}(Y)$.
Note, I use "measurable" in the standard sense: if $U\in\mathcal{B}(Y)$ then $f^{-1}(U)\in\mathcal{F}$.
It seems to me that the result should hold but I haven't been able to find a proof in the standard references. Is it trivial? Also, why should the measure space $(X,\mathcal{F},\mu)$ be complete? What fails if it is not complete. Finally, if the result holds, does this mean that standard measurability is equivalent to so-called strong or Bochner measurability? (Maybe this last question should be the topic of another post.)
Thanks in advance!