Let $(X,\mathfrak{M})$ be a measurable space and $E$ be a Banach space and $f:(X,\mathfrak{M})\rightarrow E$ be a function.



> 
> ***Question***
> 
> 
> Are Borel-measurable condition on $f$ and Bochner-measurable condition on $f$ compatible?
> 
> 
> If these are not compatible, then is it true that if $f$ is Bochner integrable then $f$ is Borel measurable?
> 
> 
> 


It is written in wikipedia that Bochner-integral is an extension of Lebesgue integral, but I am curious in what sense it is an extension.


If this is true, is there any textbook treating these contents? There is nothing on these in standard textbooks..(such as that by Joseph)



Are Bochner measurablity and Borel measurability compatible?
The standard reference is probably still the book [Vector Measures](http://bookstore.ams.org/surv-15/) by Diestel and Uhl.


If $f$ is the pointwise limit of Borel measurable functions, then $f$ is Borel measurable. To see this, note that it suffices to show that the preimage of an open set is measurable and if $\langle f\_n\rangle$ is a sequence of Borel measurable functions converging pointwise to $f$ and $O$ is open, then
$$f^{-1}(O)=\{\omega:f(\omega)\in O\}=\{\omega:\lim\_n{ f\_n(\omega)\in O}\}$$
$$=\{\omega:f\_n(\omega)\in O\text{ for }n\text{ large enough}\}=\bigcup\_{n=1}^\infty\bigcap\_{m=n}^\infty f\_m^{-1}(O).$$
In particular, Bochner measurable functions are measurable. In a separable Banach space, every Borel measurable function will be the pointwise limit of simple functions. Just pick a countable dense set $D=\{d\_1,d\_2,\ldots\}$ and for $f$ Borel measurable let $f\_n$ have value $d\_m$ on $f^{-1}(B\_{1/n}(d\_m))$ for $m\leq n$ and value $0$ everywhere else. Then $\langle f\_n\rangle$ converges pointwise to $f$. If one is willing to allow for simple functions with countably many values, as is sometimes done, one can make the convergence uniform.


If $f$ is the pointwise limit of simple functions, then the range of $f$ is in the closure of the set of values of the simple functions, so a Bochner measurable function must have values in a separable subspace. If $X$ is a nonseparable Banach space then the identity from $X$ endowed with the Borel $\sigma$-algebra to $X$ is Borel measurable, but not Bochner measurable.


Many of these concepts also come with almost-everywhere provisos instead of the pointwise version, but the difference is inessential if one works with complete measure spaces.


