\( \Omega \; \)を\( \; \mathbb{R}^{n} \; \)の可測集合とし、\( \; \mu (\Omega) >0 \; \)であるとする。 また\( \; \Omega \; \)上の可測関数\( \; u \; \)で\[ \|u\|=\|u\|_{L^{p}}=\left ( \int_{\Omega} \; |u(x)|^{p}dx \right )^{1/p}<\infty \] を…