Maßraum/Unterraum/Lebesgueräume/Aufgabe

Es sei ${}X$ ein ${}\sigma$-endlicher Maßraum und ${}Z\subseteq X$ eine messbare Teilmenge. Zeige, dass es (zu ${}p\geq 1$) eine natürliche Untervektorraumbeziehung

${}L^{p}(Z)\subseteq L^{p}(X)\,$

gibt, die die ${}p$-Norm erhält.

Eine Lösung erstellen