Lp空間
任意の測度空間$ (X,\mathcal F,\mu)と$ \ComplexのBorel集合族$ \mathcal Bによる可測空間$ (\Complex,\mathcal B)にて、 $ L^p(X,\mathrm d\mu):=\left\{f:X\to\Complex\middle|f\text{は可測写像}\land\int_X|f(x)|^p\mathrm d\mu\text{が可積分}\right\}
とする
このとき(若干トリックが必要だが)$ \mathrm L^p(X,\mathrm d\mu):=((L^p(X,\mathrm d\mu),+),\mathbf C,\cdot)が複素線型空間をなす $ \mathbf C：$ \Complexの係数体
Hilbert空間ではL2空間$ \mathbf L^2(X,\mathrm d\mu)をよく使う