Lp空間

数学の分野における ** 空間**（エルピーくうかん、）とは、有限次元ベクトル空間に対する -ノルムの自然な一般化を用いることで定義される関数空間である。アンリ・ルベーグの名にちなんで**ルベーグ空間**としばしば呼ばれる が、 によると初めて導入されたのは  とされている。 空間は関数解析学におけるバナッハ空間や、線型位相空間の重要なクラスを形成する。物理学や統計学、金融、工学など様々な分野で応用されている。

## 有限次元における -ノルム

-次元実数ベクトル空間  内のベクトル  の長さは、通常、次のユークリッドノルム \|x\|_2 := \sqrt{x_1^2+x_2^2+\dotsb+x_n^2} で与えられる。

二つの点  と  との間のユークリッド距離は、それらの間に引かれる直線の長さ \|x - y\|_2 である。しかし多くの場合、ユークリッド距離は与えられた空間における実際の距離を認識する上で不十分である。例えば、マンハッタンのタクシー運転手は彼らの目的地までの直線の長さよりも、互いに垂直あるいは平行な道路について考慮したマンハッタン距離を測るべきであろう。-ノルムの類は、これらの例を一般化するものであり、数学や物理学、計算機科学などの多くの場面において応用されるものである。

### 定義
実数  に対して、 の **-ノルム**（-乗平均ノルム）あるいは **-ノルム**は次で定義される：
:\|x\|_p := \Bigl(|x_1|^p+|x_2|^p+\dotsb+|x_n|^p\Big)^{\!1/p}.

この語法のもとでは、上述のユークリッドノルムは -ノルム、マンハッタン距離は -ノルムと呼ぶことができる。

**-ノルム**、最大値ノルム（あるいは一様ノルム）は、p \to \infty に対する *L**p*-ノルムの極限として、\|x\|_\infty := \max\
によって与えられる完備距離位相を持つ（このことは Stefan Rolewicz の著書 *Metric Linear Spaces* で論じられている）。この意味での *l*0-ノルム空間は、関数解析学や確率論、調和解析などの分野で研究されている。

もう一つのほうはが *l*0-「ノルム」と呼んだもので、ベクトル *x* の非ゼロ成分の数を返すものである。0<sup>0</sup> = 0 と定義するならば、各元 *x* の *l*0「ノルム」の値は
: |x_1|^0 + |x_2|^0 + \dotsb + |x_n|^0
に等しく、即ち **R***n* において（0 &lt; *p* &lt; 1 なる）*p* ノルムの *p* ↓ 0 とした極限と見ることができるので、&mdash;これは斉次的でないから真のノルムではないけれども&mdash;用語の濫用により単に "0-ノルム" のように呼ぶ数学者も少なくない。これら性質の欠落によってノルムとはならないにも拘らず、この非ゼロ成分を数え上げる「ノルム」は計算科学や情報理論、統計学 - 特に信号処理における圧縮センシングや計算的調和解析において、用いられている。

## 可算無限次元における ''p''-ノルム
:

*p*-ノルムは、無限個の成分を含むベクトルに対して拡張することが出来、このことが空間 \ell^p を導く。この空間は特別な場合として、次を含む：
* \ell^1: 級数が絶対収束するような数列の空間；
* \ell^2: **二乗総和可能**な数列の空間で、ヒルベルト空間でもある；
* \ell^\infty: 有界数列の空間。

数列空間は、加法およびスカラー倍を座標ごとに適用することで、自然なベクトル空間を構成する。具体的に、x = (x_1, x_2, \dotsc, x_n, x_{n+1}, \dotsc)=(x_n) を実数あるいは複素数の無限数列としたとき、ベクトルの和は
:(x_n)+(y_n):=(x_n+y_n),\ \text{i.e., } (x_1, x_2, \dotsc, x_n, x_{n+1},\dotsc)+(y_1, y_2, \dotsc, y_n, y_{n+1},\dotsc):=(x_1+y_1, x_2+y_2, \dotsc, x_n+y_n, x_{n+1}+y_{n+1},\dotsc)
で定義され、スカラー倍は
:\lambda(x_n):=(\lambda x_n),\text{ i.e., } \lambda(x_1, x_2, \dotsc, x_n, x_{n+1},\dotsc) := (\lambda x_1, \lambda x_2, \dotsc, \lambda x_n, \lambda x_{n+1},\dotsc)
で定義される。

*p*-ノルムを
:\|x\|_p := \left(|x_1|^p + |x_2|^p + \dotsb+|x_n|^p + |x_{n+1}|^p + \dotsb\right)^{1/p}
で定義する。

ここで、右辺の級数は必ずしも収束するわけではないという問題が生じる。例えば、1 のみからなる列 (1,&nbsp;1,&nbsp;1,&nbsp;…) の *p*-ノルム（長さ）はすべての有限な *p*&nbsp;≥&nbsp;1 に対して無限大となる。このことを踏まえて、空間 ℓ*p* は *p*-ノルムが有限であるような、実数あるいは複素数の無限数列すべてからなる集合として定義される。

*p* が増加するにつれて、集合 ℓ*p* は大きくなることが確かめられる。例えば、数列

:\Big(1, \frac{1}{2}, \dotsc, \frac{1}{n}, \frac{1}{n+1},\dotsc\Big)

は ℓ1 には含まれないが、*p*&nbsp;> 1 であるような ℓ*p* には含まれる。なぜならば、級数 
:1^p + \frac{1}{2^p} + \dotsb + \frac{1}{n^p} + \frac{1}{(n+1)^p}+\dotsb
は *p*&nbsp;= 1 （調和級数）に対しては発散するが、*p*&nbsp;> 1 に対しては収束するからである。

∞-ノルムは上限を使うことで次のように定義できる：
:\ \|x\|_\infty:=\sup\{|x_1|, |x_2|, \dotsc, |x_n|,|x_{n+1}|, \dotsc\}.
そして対応する有界数列の空間 ℓ∞ も定義できる。によると、
:\ \|x\|_\infty = \lim_{p\to\infty}\|x\|_p
は、右辺が有限であるか左辺が無限である場合に成立することが分かる。以上より、1&nbsp;≤ *p*&nbsp;≤ ∞ に対して ℓ*p* 空間を考えることが出来る。

ℓ*p* について定義される *p*-ノルムは実際にノルムであり、このノルムの下で ℓ*p* はバナッハ空間となる。より完全に一般的な *L**p* 空間は、後述のように、ベクトルが有限あるいは可算個の成分を含む場合のみならず、「任意に多くの成分」として無限個の成分を含むような場合、すなわち函数である場合を考えることで得られる。そこでは *p*-ノルムを定義する上で、和の代わりに積分が用いられる。

## 空間
1&nbsp;≤ *p*&nbsp;\|f\|_p:=\Big(\int_S |f|^p\,d\mu\Big)^{1/p}
であるような可測函数の集合を考える。

そのような函数の集合は、以下の自然な作用によりベクトル空間を構成する：
:(f+g)(x) := f(x)+g(x) \text{ and } (\lambda f)(x) := \lambda f(x) 
ここで *λ* は任意のスカラーである。

二つの *p* 乗可積分函数の和が再び *p* 乗可積分となることは、不等式 |*f*&nbsp;+ *g*|*p*&nbsp;≤ 2*p-1* (|*f*|*p*&nbsp;+ |*g*|*p*) より従う。実際、ミンコフスキーの不等式より、 については三角不等式が成立することも従う。したがって *p* 乗可積分函数の集合は、函数  を備える半ノルムベクトル空間であり、\mathcal{L}^p(S,\mu) と表記される。

この空間は標準的な方法でノルムベクトル空間へと変えられる。すなわち、 の核についての商空間を考えればよい。任意の可測函数 *f* に対して  であるための必要分条件は殆ど至る所  であることなので、 の核は  に依存しない。すなわち、
:N \equiv \mathrm{ker}(\|\cdot\|_p) = \{f : f = 0 \ \mu\text{-almost everywhere} \}
である。

そのような商空間では、二つの函数 *f* と *g* に対してほとんど至る所で *f*&nbsp;= *g* が成り立つのであれば、それらは等しいものとされる。以上の定義より、得られるノルムベクトル空間は
:L^p(S, \mu) \equiv \mathcal{L}^p(S, \mu) / N
である。

*p*&nbsp;= ∞ の場合、空間 *L*∞(*S*, *μ*) は次の様に定義される。**本質的に有界**、すなわち測度ゼロの集合上を除いて有界であるような、*S* から **C**（または **R**）への可測函数の集合を考える。 その集合内の二つの函数は、上述と同様に、ほとんど至る所で等しいのであれば、等しいものとされる。その集合を *L*∞(*S*, *μ*) と表す。*L*∞(*S*, *μ*) に含まれる *f* に対して、その本質的上限が適切なノルムを与える：
:\|f\|_\infty \equiv \inf \{ C\ge 0 : |f(x)| \le C \mbox{ for almost every } x\}.

上述と同様に、ある *q*&nbsp;∞(*S*, *μ*) ∩ *L**q*(*S*, *μ*) であるなら
:\|f\|_\infty=\lim_{p\to\infty}\|f\|_p
が成立する。

1&nbsp;≤ *p*&nbsp;≤ ∞ の場合、*L**p*(*S*, *μ*) はバナッハ空間である。*L**p* が完備であることはしばしばリース＝フィッシャーの定理として述べられている。完備性はルベーグ積分に対する収束定理を用いることで確かめられる。

測度空間 *S* を特に注意する必要が無い場合、*L**p*(*S*, *μ*) は *L**p*(*μ*) や *L**p* と略記される。上述の定義はボホナー空間へと一般化される。

### 特別な場合
*p* = 2 の時、空間 ℓ2 のように、空間 *L*2 はそのクラスの内ただ一つのヒルベルト空間となる。複素数の場合 *L*2 上の内積は
: \langle f, g \rangle = \int_S f(x) \overline{g(x)} \, \mathrm{d}\mu(x)
と定義される。この付加的な内積構造はより豊富な理論を提供し、例えばフーリエ解析や量子力学への応用例も存在する。*L*2 に属する函数はしばしば**[[自乗可積分函数]]**、**二乗可積分函数**あるいは**二乗総和可能函数**などと呼ばれる。しかしこれらの語は、例えばリーマン積分の意味でのような、他の意味で自乗可積分であるような場合にも用いられる。

複素数値函数を扱う場合、空間 *L*∞ は点別の乗法と共役を備える可換なC*-環である。シグマ有限であるものも含む多くの測度空間に対して、その空間は実際に可換なフォン・ノイマン環である。*L*∞ の元は、乗法による任意の *L**p* 空間上の有界作用素である。

ℓ*p* 空間（1&nbsp;≤ *p*&nbsp;≤ ∞）は、*S* が正の整数の集合 **N** で測度 *μ* が **N** 上の数え上げ測度であるような、 空間の特別な場合である。より一般的に、数え上げ測度を備える任意の集合 *S* を考えるとき、 空間は ℓ*p*(*S*) と表記される。例えば、空間 ℓ*p*(**Z**) は整数により添え字付けられた数列の集合であるが、そのような空間上に *p*-ノルムを定義する場合、そのすべての整数（添字）に渡って和を取ることになる。*n* 個の元を含む集合を *n* としたとき、空間 ℓ*p*(*n*) は上述のように定義された *p*-ノルムを備える空間 **R***n* である。ヒルベルト空間がそうであるように、すべての *L*2 は適切な空間 ℓ2(*I*) と線型等長である。ここで集合 *I* の濃度は、この特定の *L*2 の任意のヒルベルト基底の濃度と等しい。

## 空間の性質
### 双対空間
1&nbsp;*p*(*μ*) の双対空間（すべての連続線型汎関数からなる空間）は、1/*p*&nbsp;+ 1/*q*&nbsp;=&nbsp;1 を満たすような *q* に対する *L**q*(*μ*) への自然な同型を持つ。それは *g*&nbsp;∈ *L**q*(*μ*) を
:\kappa_p(g) \colon f \in L^p(\mu) \mapsto \int f g \, d\mu
で定義される汎関数 *κ**p*(*g*)&nbsp;∈ *L**p*(*μ*)∗ へと関連付ける。

ヘルダーの不等式より、*κ**p*(*g*) は well-defined であることと連続であることが従う。写像 *κ**p* は *L**q*(*μ*) から *L**p*(*μ*)∗ への線型写像で、ヘルダーの不等式の例外的な場合により等長写像であることが分かる。また、任意の *G*&nbsp;∈ *L**p*(*μ*)∗ もこの方法で表現されること、すなわち *κ**p* は全射であることも、（例えばラドン＝ニコディムの定理を用いて）証明することが出来る。*κ**p* は全射かつ等長なので、バナッハ空間の同型写像である。この（等長）同型性を念頭に置くと、*L**q*&nbsp;「が」*L**p* の双対であると言うことは自然であろう。

1&nbsp;*p*(*μ*) は回帰的である。*κ**p* を上述のような写像とし、*κ**q* を対応する  から  の上への線型等長写像とする。 から  への写像
  
:j_p \colon L^p(\mu) \stackrel{\kappa_q} L^q(\mu)^* \;\xrightarrow{\;(\kappa_p^{-1})^*\;}\; L^p(\mu)^{**}

が、*κ**q* を *κ**p* の逆の転置（あるいは共役）と合成することにより得られるが、これは *L**p*(*μ*) の第二共役への標準埋め込み *J* と一致する。さらに、写像 *j**p* は二つの全射等長写像の合成として全射であり、このことによって回帰性は示される。

*S* 上の測度 *μ* が であるなら、*L*1(*μ*) の双対は *L*∞(*μ*) への等長同型（より正確には、*p*&nbsp;= 1 に対応する写像 *κ*1 が *L*∞(*μ*) から *L*1(*μ*)∗ の上への等長写像）である。

*L*∞ の双対についてはより微妙である。(*L*∞(*μ*))∗ の元は、*μ* について絶対連続であるような、*S* 上の有界な符号付き有限加法的測度と一致する。詳細についてはba空間を参照されたい。選択公理を仮定すれば、この空間はいくつかの自明な場合を除いて *L*1(*μ*) よりも大きい。しかし、*ℓ*∞ の双対は *ℓ*1 であるような、ツェルメロ＝フランケルの集合論の拡張も存在する。これはシェラハによる結果で、エリック・シュヒターの著書 *Handbook of Analysis and its Foundations* で論じられている。

### 埋め込み
口語的に言うと、1&nbsp;≤ *p*&nbsp;p*(*S*,&nbsp;*μ*) はより局所特異的な函数を含むものであるし、*Lq*(*S*,&nbsp;*μ*) の元はより拡大されたものである。半直線 (0, ∞) 上のルベーグ測度を考える。*L*<sup>1</sup> に属する連続関数は 0 の近くで爆発するかも知れないが、無限大に向かって十分早く減衰するものである必要がある。一方、*L*<sup>∞</sup> に属する連続函数は必ずしも減衰する必要はないが、爆発することは許されない。そのことを正確に述べたのが、次の技術的結果である：

# 0&nbsp;≤ *p*&nbsp;< *q*&nbsp;≤ ∞ とする。*Lq*(*S*,&nbsp;*μ*) が *Lp*(*S*,&nbsp;μ) に含まれるための必要十分条件は、*S* が任意に大きい測度の集合を含まないことである。
# 0&nbsp;≤ *p*&nbsp;< *q*&nbsp;≤ ∞ とする。*Lp*(*S*,&nbsp;*μ*) が *Lq*(*S*,&nbsp;*μ*) に含まれるための必要十分条件は、*S* が任意に小さい非ゼロ測度の集合を含まないことである。

特に、その領域 *S* が有限測度を持つなら、（[[イェンゼンの不等式]]による）評価式

:<math>\|f\|_p \le \mu(S)^{\frac{1}{p} - \frac{1}{q}} \|f\|_q </math>

は、空間 *L*<sup>*q*</sup> が *L*<sup>*p*</sup> への連続的埋め込みであることを意味する。すなわち、恒等作用素は *L*<sup>*q*</sup> から *L*<sup>*p*</sup> への有界線型写像である。上の評価式に現れる定数は、恒等作用素 *I*&nbsp;:&nbsp;*Lq*(*S*,&nbsp;*μ*)&nbsp;→&nbsp;*Lp*(*S*,&nbsp;*μ*) の[[作用素ノルム]]がちょうど
:<math>\|I\|_{q,p} = \mu(S)^{\frac{1}{p} - \frac{1}{q}}</math>
であるという意味で、最適なものである。上の評価式の等号は、*f*&nbsp;=&nbsp;1 がほとんど全ての [μ] で成り立つ時に成立する。

=== 稠密な部分空間 ===
この節では  を仮定する。

(*S*,&nbsp;*Σ*,&nbsp;*μ*) を測度空間とする。*S* 上の*'可積分単関数** ''f'' は
:<math>f = \sum_{j=1}^n a_j \mathbf{1}_{A_j}</math>
の形式で記述される。ここで、''j''&nbsp;= 1,&nbsp;…,&nbsp;''n'' に対し、''a<sub>j</sub>'' はスカラーであり ''A<sub>j</sub>''&nbsp;∈ ''Σ'' は有限測度を持つ。[[ルベーグ積分|積分]]の構成法により、可積分単関数のベクトル空間は ''L''<sup>''p''</sup>(''S'',&nbsp;''Σ'',&nbsp;''μ'') において稠密であることが分かる。

''S'' が[[距離化可能空間]]で ''Σ'' がその[[ボレル代数|ボレル ''σ''-代数]]、すなわち[[開集合]]を含む ''S'' の部分集合の最小の ''σ''-代数である場合には、さらに多くのことが分かる。

''V''&nbsp;⊂ ''S'' を ''μ''(''V'')&nbsp;< ∞ であるような開集合とする。''V'' に含まれるすべてのボレル集合 ''A''&nbsp;∈ ''Σ'' およびすべての ''ε''&nbsp;> 0 に対して、次を満たす閉集合 ''F'' と開集合 ''U'' が存在することが分かる：
:<math>F \subset A \subset U \subset V \text{ and } \mu(U) - \mu(F) = \mu(U \setminus F) < \varepsilon.</math>
''S'' 上で連続な ''φ'' で次を満たすようなものが存在することが分かる：
:<math>0 \le \varphi \le \mathbf{1}_V \text{ and } \int_S |\mathbf{1}_A - \varphi| \, d\mu < \varepsilon. </math>

''S'' が有限測度を持つ開集合の増加列 (''V<sub>n</sub>'') により覆われるなら、''p''-可積分な連続函数の空間は ''L''<sup>''p''</sup>(''S'',&nbsp;''Σ'',&nbsp;''μ'') において稠密である。より正確には、その開集合 ''V<sub>n</sub>'' のどれか一つの外側で消失する有界連続函数を利用することが出来る。

これは特に ''S''&nbsp;= **R**<sup>''d''</sup> かつ ''μ'' がルベーグ測度であるときに応用される。連続かつコンパクトな台を持つ函数の空間は ''L''<sup>''p''</sup>(**R**<sup>''d''</sup>) において稠密である。同様に、可積分**階段函数**の空間も ''L''<sup>''p''</sup>(**R**<sup>''d''</sup>) において稠密である。この空間は、''d''&nbsp;= 1 の時は有界区間の、''d''&nbsp;= 2 の時は有界長方形領域の、より一般的な場合には各有界区間の積の、指示関数により張られる線形部分空間である。''L''<sup>''p''</sup>(**R**<sup>''d''</sup>) 内の一般的な函数の性質は、はじめは連続かつコンパクトな台を持つ函数（しばしば階段函数）について証明され、そののちにすべての函数へと拡張された。例えば、平行移動（translation）が次の意味で ''L''<sup>''p''</sup>(**R**<sup>''d''</sup>) 上で連続であることが、この方法で示された：すべての ''f''&nbsp;∈  ''L''<sup>''p''</sup>(**R**<sup>''d''</sup>) に対し
:<math>\|\tau_t f - f \|_p \rightarrow 0</math>
が、''t''&nbsp;∈ **R**<sup>''d''</sup> が 0 へ向かう時に成立する。ここで <math display="inline">\tau_t f</math> は <math display="inline">(\tau_t f)(x) := f(x - t)</math> と定義される平行移動された函数である。

== 応用 ==
 空間は、数学およびその応用分野において幅広く用いられている。

=== ハウスドルフ＝ヤングの不等式 ===
実数直線（resp. 周期函数）に関する[[フーリエ変換]]（resp. [[フーリエ級数]]）は、 および  を満たす  に対して、''L<sup>p</sup>''(**R**) を ''L<sup>q</sup>''(**R**) に（resp. ''L<sup>p</sup>''(**T**) を　ℓ<sup>''q''</sup> に）写す。これは[[リース＝ソリンの定理]]の帰結で、[[ハウスドルフ＝ヤングの不等式]]により確かめられる。

対照的に、''p''&nbsp;> 2 の場合、そのようなフーリエ変換は ''L<sup>q</sup>'' への写像ではない。

=== ヒルベルト空間 ===
[[ヒルベルト空間]]は、[[量子力学]]からに至るまで、多くの応用の中核をなすものである。空間 ''L''<sup>2</sup> および ℓ<sup>2</sup> はいずれもヒルベルト空間である。実際、ヒルベルト基底を選ぶことにより、すべてのヒルベルト空間は ℓ<sup>2</sup>(''E'') と等長であることが分かる。但し ''E'' は適当な濃度の集合とする。

=== 統計学 ===
[[統計学]]において、[[平均値]]や[[中間値]]、[[標準偏差]]のようなや[[統計的ばらつき]]の尺度は、''L''<sup>''p''</sup> の距離に関して定義される。そして中心的傾向の尺度は、変分問題の解として特徴付けられる。

==  の場合の  空間 ==
 を測度空間とする。 のとき、上で既に述べた通り  を定義することができて、それは <math display="block">N_p(f) = \int_S |f|^p\, d\mu < \infty</math> を満たすような可測関数  全体の成すベクトル空間である。

上でやったのと同様に -ノルム  を導入しようとするのだけれども、いまの場合  は三角不等式を満たさず、したがって[[準ノルム]]を定めるにとどまる。''a''&nbsp;≥ 0 および ''b''&nbsp;≥ 0 に対して不等式 (''a''&nbsp;+ ''b'')<sup>''p''</sup>&nbsp;≤ ''a''<sup>''p''</sup>&nbsp;+ ''b''<sup>''p''</sup> が成り立つことから、
:<math>N_p(f+g)\le N_p(f) + N_p(g)</math>
が得られ、したがって函数
:<math>d_p(f,g) = N_p(f-g) = \|f - g\|_p^p</math>
は ''L''<sup>''p''</sup>(''μ'') 上の距離となる。この結果として得られる距離空間は[[完備距離空間|完備]]である。その証明は、有名な ''p''&nbsp;≥&nbsp;1 の場合に対するものと同様である。

この設定のもとで ''L''<sup>''p''</sup> は逆ミンコフスキー不等式
:<math>\bigl\|\,|u|+|v|\,\bigr\|_p\geq \|u\|_p+\|v\|_p</math>
を  内の ''u'' と ''v'' に対して満たす。この結果は、クラークソンの不等式の証明に用いることが出来る。すると、そのクラークソンの不等式を使って、1&nbsp;&lt; ''p''&nbsp;&lt; ∞ に対する空間 ''L''<sup>''p''</sup> の[[一様凸空間|一様凸性]]を証明することが出来る。

0&nbsp;< ''p''&nbsp;< 1 の場合、空間 ''L''<sup>''p''</sup> は[[F-空間]]である。すなわちその空間は、完全な平行移動不変な距離を許すもので、その距離に関してベクトル空間の作用は連続である。それはまた、''p''&nbsp;≥ 1 の場合のように、であり、[[F-空間]]の典型的な例となっている。合理的なほとんどの測度空間に対して、F-空間は[[局所凸位相ベクトル空間|局所凸]]ではない。ℓ<sup>''p''</sup> あるいは ''L''<sup>''p''</sup>([0,&nbsp;1]) において、0 函数を含むようなすべての開凸集合は ''p''-準ノルムについて非有界である。したがって、0 ベクトルは凸近傍の基本系を備えるものではない。特にこの事実は、測度空間 ''S'' が互いに素な有限の正測度の集合の無限の族を含む場合、真である。

''L''<sup>''p''</sup>([0,&nbsp;1]) に含まれる唯一つの空でない凸開集合は、全空間である。したがって特に、''L''<sup>''p''</sup>([0,&nbsp;1]) 上のゼロでない線型汎函数は存在しないことになる。すなわち、その双対空間はゼロ空間である。自然数に関する[[数え上げ測度]]の場合、数列空間 ''L''<sup>''p''</sup>(''μ'')&nbsp;= ℓ<sup>''p''</sup> を考えることとなり、ℓ<sup>''p''</sup> 上の有界線型汎函数はまさしく ℓ<sup>1</sup> 上で有界であるようなもので、したがってそれらは ℓ<sup>∞</sup> 内の列で与えられる。確かに ℓ<sup>''p''</sup> は非自明な凸開集合を含むものであるが、それらは位相の基底を与えるために十分なほどではない。

解析を行うことを目的とする上で、線型汎函数が存在しないという状況は全く望まれないものである。**R**<sup>''n''</sup> 上のルベーグ測度の場合、0&nbsp;< ''p''&nbsp;< 1 に対する ''L''<sup>''p''</sup> よりも、可能であれば[[ハーディ空間]] ''H''<sup>''p''</sup> について考える方が一般的である。なぜならばそのハーディ空間には、線型汎函数が多く存在するからである。それらは、各点を区別する上で十分なほどである。しかし、''p''&nbsp;<&nbsp;1 の場合、''H''<sup>''p''</sup> に対しても[[ハーン-バナッハの定理]]は成立しない。

=== 可測関数の空間 ''L''<sup>0</sup> ===
(''S'', ''Σ'', ''μ'') 上の可測関数の（同値類の）ベクトル空間は、''L''<sup>0</sup>(''S'', ''Σ'', ''μ'') と表記される。定義より、それは全ての ''L''<sup>''p''</sup> を含み、[[測度収束]]の位相を備える。''μ'' が確率測度であるとき（すなわち、''μ''(''S'')&nbsp;= 1 であるとき）、この種の収束は[[確率変数の収束|確率収束]]と呼ばれる。''μ'' が有限であるとき、その表現はより簡単になる。

''μ'' が (''S'',&nbsp;''Σ'') 上の有限測度であるなら、0 函数は測度収束に対して次の基本近傍系を許す：
:<math>V_\varepsilon = \Bigl\{ f : \mu \bigl(\{x :  |f(x)| > \varepsilon \} \bigr) < \varepsilon \Bigr\}, \ \ \varepsilon > 0.</math>

その位相は
:<math>d(f, g) = \int_S \varphi \bigl( |f(x) - g(x)| \bigr) \, \mathrm{d}\mu(x)</math>
の形状を取る任意の距離 ''d'' によって定義することが出来る。ただし ''φ'' は [0, ∞) 上で有界、連続、凹かつ非減少で、''φ''(0)&nbsp;= 0 および ''φ''(''t'')&nbsp;> 0を ''t''&nbsp;> 0 に対して満たす函数である（例として、''φ''(''t'')&nbsp;= min(''t'', 1) が挙げられる）。そのような距離は、''L''<sup>0</sup> に対する[[レヴィ計量|レヴィ距離]]と呼ばれる。この距離の下で、空間 ''L''<sup>0</sup> は完備である（そしてそれは再び、F-空間である）。一般的には ''L''<sup>0</sup> は局所有界ではなく、局所凸でもない。

**R**<sup>''n''</sup> 上の無限ルベーグ測度 ''λ'' に対して、基本近傍系の定義は次のように修正することも出来る。
:<math>W_\varepsilon = \left\{ f : \lambda \left(\left\{ x : |f(x)| > \varepsilon \ \text{and} \  |x| < \frac{1}{\varepsilon}\right\} \right) < \varepsilon \right\}</math>

結果として得られる空間 ''L''<sup>0</sup>(**R**<sup>''n''</sup>, ''λ'') は、任意の正の ''λ''-可積分密度 ''g'' に対して、位相ベクトル空間として ''L''<sup>0</sup>(**R**<sup>''n''</sup>, ''g''(''x'')&thinsp;d''λ''(x)) と一致する。

== 弱  空間 ==
(''S'', ''Σ'', ''μ'') を測度空間とし、''f'' を ''S'' 上の実あるいは複素数値[[可測函数]]とする。任意の ''t''&nbsp;> 0 に対する ''f'' の[[累積分布関数|分布函数]]は、
:<math>\lambda_f(t) = \mu\left\{x\in S\mid |f(x)| > t\right\}</math>
と定義される。

1&nbsp;≤ ''p''&nbsp;< ∞ であるようなある ''p'' に対して、''f'' が ''L''<sup>''p''</sup>(''S'', ''μ'') に含まれるなら、[[マルコフの不等式]]より
:<math>\lambda_f(t)\le \frac{\|f\|_p^p}{t^p}</math>
が得られる。

函数 ''f'' は、全ての ''t''&nbsp;> 0 に対して
:<math>\lambda_f(t) \le \frac{C^p}{t^p}</math>
であるような正定数 ''C''&nbsp;> 0 が存在するとき、**弱 *L<sup>p</sup>*(*S*, *μ*) 空間**に属する、あるいは ''L<sup>p,w</sup>''(''S'', ''μ'') に属すると言われる。

この不等式に対する最良の定数によって、''f'' の ''L<sup>p,w</sup>''-ノルムが与えられる。すなわち、
:<math>\|f\|_{p,w} = \sup_{t > 0} ~ t \lambda_f^{\frac{1}{p}}(t)</math>
が与えられる。

弱 ''L''<sup>''p''</sup> 空間は[[ローレンツ空間]] ''L''<sup>''p'',∞</sup> と一致するため、それらを表すためにこの ''L''<sup>''p'',∞</sup> の記号が用いられることもある。

''L<sup>p,w</sup>''-ノルムは、[[三角不等式]]を満たさないので、真のノルムではない。しかし、''L''<sup>p</sup>(''S'', ''μ'') に属する ''f'' に対して
:<math>\|f\|_{p,w}\le \|f\|_p</math>
が成立し、特に ''L<sup>p</sup>''(''S'', ''μ'')&nbsp;⊂ ''L<sup>p,w</sup>''(''S'', ''μ'') が成立する。二つの関数が一致するとは ''μ'' に関してほとんど至る所でそれらが一致することであるという慣例の下で、空間 ''L''<sup>p,w</sup> は完備である。

任意の 0&nbsp;&lt; ''r''&nbsp;&lt; ''p'' に対して、式
:<math>||| f |||_{L^{p,\infty}}=\sup_{0<\mu(E)<\infty} \mu(E)^{-\frac{1}{r}+\frac{1}{p}}\left(\int_E |f|^r\,d\mu\right)^{\frac{1}{r}}</math>
は ''L<sup>p,w</sup>''-ノルムと比較可能である。さらに、''p''&nbsp;> 1 の場合、''r''&nbsp;= 1 であるならこの式はノルムを定める。したがって ''p''&nbsp;&gt; 1 に対して、弱 ''L''<sup>''p''</sup> 空間は[[バナッハ空間]]である。

''L<sup>p,w</sup>''-空間を利用した主要な結果の一つに、
がある。それは、[[調和解析]]やの研究に幅広く応用されている。

== 重み付き  空間 ==
再び、[[測度空間]] (''S'', ''Σ'', ''μ'') を考える。<math display="inline">w\colon S \to [0, +\infty)</math> をある可測函数とする。** で重み付けられた  空間**は、''L<sup>p</sup>''(''S'', ''w''&thinsp;d''μ'') と定義される。ここで、''w''&thinsp;d''μ'' は
:<math>\nu (A) \equiv \int_{A} w(x) \, d\mu (x), \quad (A \in \Sigma)</math>
あるいは、[[ラドン＝ニコディムの定理|ラドン＝ニコディム微分]]
:<math>\ w = \frac{d\nu}{d\mu}</math>
について定義される測度 ''ν'' を意味する。

''L<sup>p</sup>''(''S'', ''w''&thinsp;''dμ'') の[[ノルム]]は、陽的には

:<math>\| u \|_{L^{p} (S, w \, d\mu)} \equiv \left( \int_{S} w(x) | u(x) |^{p} \, d\mu (x) \right)^{\frac{1}{p}}</math>

と与えられる。''L<sup>p</sup>''(''S'', ''w''&thinsp;''dμ'') と ''L''<sup>''p''</sup>(''S'', ''dν'') は等しいため、-空間としての重み付けられた空間には特に変わった点は無い。しかし、それらは調和解析におけるいくつかの結果に対する基本的な構成要素である。それらは例えばに現れる：1&nbsp;< ''p''&nbsp;< ∞ に対して、古典的な[[ヒルベルト変換]]は ''L''<sup>''p''</sup>(**T**,&nbsp;''λ'') 上で定義される。ただし **T** は単位円板を表し ''λ'' はルベーグ測度を表す。（非線型）は ''L''<sup>''p''</sup>(**R**<sup>''n''</sup>,&nbsp;''λ'') 上で有界である。ミュッケンハウプトの定理は、ヒルベルト変換が ''L<sup>p</sup>''(**T**, ''w''&thinsp;d''λ'') 上で有界であり、また極大作用素が ''L<sup>p</sup>''(**R**<sup>''n''</sup>, ''w''&thinsp;''dλ'') 上で有界であるような重み ''w'' について述べている。

== 多様体上の  空間 ==
多様体上にも空間 <math display="inline">L^p(M)</math> を定義することが出来、それはその多様体の**内的  空間'''と呼ばれる。定義の際には、を用いる。

## 関連項目
* バーンバウム＝オーリッツ空間
* ハーディ空間
* ヘルダー平均
* ヘルダー空間
* 二乗平均平方根
* 局所可積分関数 (L^1_{\text{loc}})
* 局所コンパクト群  に関する <math display="inline"> L^p(G)</math> 空間

## 注
### 注釈

### 出典

## 参考文献
* .
* .
* .
* .
*
* .
* .
* 
* 
* 
* 
* 

## 外部リンク
*