Skip to main content
1 of 2
Taro Tokyo
  • 406
  • 2
  • 11

Is there a version of Fisher-Riesz theorem for Banach space?

$( \Omega,F, P )$: a measurable space equiped with a finite measure

$(B , \Vert \cdot \Vert) $ : a Banach space with $\mathcal{B}$ as its borelian $\sigma$-algebra

$p$ : a constant bigger than $1$

Define $L^p(\Omega, B )$ the vector space that contain all $( F, \mathcal{B})$-measurable function $f$ such that :

$ \vert \Vert f \Vert \vert = \sqrt[p]{ \int_{\Omega} \Vert f \Vert ^p \cdot dP } < \infty$

I'm looking for a version of Riesz-Fischer theorem which affirms that:

Proposition: $\left( L^p(\Omega, B ) , \vert \Vert \cdot \Vert \vert \right)$ is a Banach space

With some quick calculations, I have the feeling that this proposition is quite easy to be proved. But as we all know, it's always better to have a reliable reference.

So my question is: " Is the above proposition true? And does anyone have references to this matter?"

Taro Tokyo
  • 406
  • 2
  • 11