L^p 空間と関数解析への導入：ヘルダーの不等式から完備性・ヒルベルト空間まで

0. この記事の要点

関数の集まりを一つの「空間」とみなし、二つの関数がどれくらい近いかを測れるようにする話です。たとえば二つの波形がどれくらい似ているかを、一点ごとの差ではなく、全体としての平均的なずれで測りたい、という素朴な疑問から出発します。読み終えると、そのような測り方がきちんと距離として働くことと、この空間では「だんだん近づいていく列には必ず行き先がある」ことが分かります。

• 測度空間 $(X,\mathcal{M},\mu)$ の上で $\int_X |f|^p\,d\mu < \infty$ を満たす可測関数を集め、ほとんど至るところ一致する関数どうしを同一視すると、線形空間 $L^p(\mu)$ が得られます。この同一視をしないと $\|f\|_p = 0 \Rightarrow f = 0$ が成り立たず、ノルムになりません。
• $\|\cdot\|_p$ が三角不等式を満たすこと（ミンコフスキーの不等式）は $p = 1$ 以外では自明ではありません。ヤングの不等式 → ヘルダーの不等式 → ミンコフスキーの不等式という順に積み上げて証明します。
• $1 \le p \le \infty$ のとき $L^p(\mu)$ は完備（コーシー列がかならず収束する）、すなわちバナッハ空間です（リース–フィッシャーの定理）。完備性はルベーグ積分の収束定理から出るもので、リーマン積分の枠内では得られません。ここが微分積分学と実解析の分かれ目です。
• $p = 2$ のときに限り、ノルム $\|\cdot\|_2$ は内積 $\langle f,g\rangle = \int_X f\bar{g}\,d\mu$ から誘導されます。$L^2(\mu)$ はヒルベルト空間であり、フーリエ級数論・直交射影・量子力学の状態空間はすべてここに乗ります。
• $L^p$ 空間は「関数を空間の点とみなす」最初の本格的な例です。稠密性（簡単な関数で好きなだけ近似できること）・双対性・弱収束（各 $g$ との積分で測った収束）といった関数解析の基本語彙が、この空間の上で具体的な計算として現れます。

この記事で使う事前知識

• 可測関数: 積分を考えられる程度に行儀のよい関数のこと。→ 可測関数
• ほとんど至るところ: 例外が測度ゼロの集合に収まる、という意味で「ほぼすべての点で」成り立つこと。→ ほとんど至るところ
• 同値類・商集合: 同値関係で同じとみなす元をひとまとめにしたものを同値類、その全体を商集合という。→ 同値類・商集合
• コーシー列: 項どうしの距離が、先へ行くほどいくらでも小さくなる列。→ コーシー列
• 完備性: コーシー列がかならずその空間の中の点に収束するという性質。→ 完備性
• 内積空間: 長さと角度（直交）を測れるベクトル空間。→ 内積空間

1. 動機 — 関数を「点」とみなすということ

19 世紀の解析学は、関数を「変数 $x$ に値を対応させる規則」として扱ってきました。しかしフーリエ級数の研究が進むにつれて、別の見方が必要になります。三角級数 $\sum_{n} c_n e^{inx}$ が「どういう意味で」もとの関数に収束するのかを論じるには、関数の集まりの上に距離を入れて、収束を論じる舞台を作らなければなりません。つまり、関数 1 個を空間の 1 点とみなすという発想の転換です。

このとき距離をどう入れるかが問題になります。素朴には、各点での値の差の上限 $\sup_x |f(x)-g(x)|$ を距離にすればよさそうです。これは一様収束の距離（一様ノルム（定義 2.1）［関数列と一様収束］）であり、扱いやすい性質をたくさん持っています（関数列と一様収束 を参照してください）。しかしフーリエ級数は一般には一様収束しません。連続関数のフーリエ級数がある点で発散しうることさえ知られています。一様収束の距離は、フーリエ解析にとっては細かすぎるのです。

そこで「平均としてどれだけ違うか」を測る距離、たとえば $\int_0^1 |f-g|\,dx$ や $\bigl(\int_0^1 |f-g|^2\,dx\bigr)^{1/2}$ を考えます。ところが、これらの距離を連続関数やリーマン可積分関数の全体に入れると、完備でないという致命的な欠陥が現れます。

例 1.1（連続関数の空間は平均距離で完備でない）

$C([0,1])$ を $[0,1]$ 上の実数値連続関数全体とし、距離を $d(f,g) = \int_0^1 |f(x)-g(x)|\,dx$ で定めます。$n \ge 3$ に対して

$$f_n(x) = \begin{cases} 0, & 0 \le x \le \tfrac12, \\[2pt] n\bigl(x - \tfrac12\bigr), & \tfrac12 < x < \tfrac12 + \tfrac1n, \\[2pt] 1, & \tfrac12 + \tfrac1n \le x \le 1 \end{cases}$$

と置くと、各 $f_n$ は連続です。$m > n$ のとき $f_m - f_n$ は $[\tfrac12, \tfrac12 + \tfrac1n]$ の外で $0$ であり、その上で $|f_m - f_n| \le 1$ ですから

$$d(f_n, f_m) \le \int_{1/2}^{1/2+1/n} 1 \, dx = \frac{1}{n} \xrightarrow[n\to\infty]{} 0$$

となり、$(f_n)$ はコーシー列です。ところが、この列が $C([0,1])$ の元 $g$ に収束したとしましょう。$[0,\tfrac12]$ 上では $f_n \equiv 0$ なので $\int_0^{1/2}|g| \,dx = \lim_n \int_0^{1/2} |g - f_n|\,dx \le \lim_n d(f_n,g) = 0$、したがって $|g| = 0$ が $[0,\tfrac12]$ 上ほとんど至るところ成り立ちます。$g$ は連続なので、$[0,\tfrac12]$ 全体で $g \equiv 0$ です（連続関数がある区間上でほとんど至るところ $0$ なら、$g(x_0)\ne0$ となる点があれば連続性より $x_0$ の近傍全体で $|g| > |g(x_0)|/2$ となり、正の測度の集合で $g \ne 0$ となって矛盾します）。同様に、任意の $\varepsilon > 0$ に対して $[\tfrac12+\varepsilon, 1]$ 上では十分大きい $n$ で $f_n \equiv 1$ なので $g \equiv 1$ が従い、連続性から $[\tfrac12, 1]$ 上で $g \equiv 1$ です。すると $g(\tfrac12) = 0$ かつ $g(\tfrac12) = 1$ となって矛盾します。

つまり $(C([0,1]), d)$ は完備ではありません。

この状況は、有理数体 $\mathbb{Q}$ が完備でないのとまったく同じ構図です。$\mathbb{Q}$ の穴を埋めて $\mathbb{R}$ を作ったように、関数空間の穴も埋めなければなりません（実数の完備性とコーシー列、とくに 定理 7.3［実数の完備性とコーシー列］ を参照してください）。そして決定的な事実として、ルベーグ積分を使って空間を作り直すと、穴はちょうど埋まります。例 1.1 の $(f_n)$ の「行き先」は不連続関数 $\chi_{(1/2,1]}$ であり、リーマン積分でも扱えますが、一般のコーシー列の極限はリーマン可積分とは限りません。ルベーグ可測関数まで広げて初めて閉じるのです。

この事実を 1907 年にほぼ同時に発見したのが F. リースと E. フィッシャーで、以後この定理はリース–フィッシャーの定理と呼ばれています。本章の目標は、この定理を含む $L^p$ 空間の基本性質を、定義から順に証明することです。

2. 準備 — 記号と前提

以下、$(X,\mathcal{M},\mu)$ を測度空間とします。すなわち $X$ は集合、$\mathcal{M}$ は $X$ の部分集合からなる $\sigma$-加法族、$\mu \colon \mathcal{M} \to [0,\infty]$ は可算加法的な測度です（可測集合とルベーグ測度、とくに 定義 4.6［可測集合とルベーグ測度］ を参照してください）。関数の値域は実数体 $\mathbb{R}$ または複素数体 $\mathbb{C}$ とし、スカラー体を $\mathbb{K}$ と書きます。以下の議論は $\mathbb{K}$ がどちらでも同じように通ります。

ルベーグ積分の定義と収束定理 で確立した次の道具を、断りなく使います。

• 単調収束定理（定理 5.2［ルベーグ積分の定義と収束定理］）：可測関数の列 $0 \le g_1 \le g_2 \le \cdots$ が各点で $g$ に収束するなら $\int_X g_n \, d\mu \to \int_X g\, d\mu$。
• 優収束定理（定理 7.3［ルベーグ積分の定義と収束定理］）：可測関数列 $(h_n)$ がほとんど至るところ $h$ に収束し、ある $G \in L^1(\mu)$ が存在して各 $n$ について $|h_n| \le G$ がほとんど至るところ成り立つなら、$\int_X |h_n - h|\,d\mu \to 0$。
• 零集合に鈍感であること（命題 6.4［ルベーグ積分の定義と収束定理］）：$f = g$ が $\mu$-ほとんど至るところ成り立てば $\int_X f\,d\mu = \int_X g\,d\mu$。特に $f \ge 0$ 可測で $\int_X f\,d\mu = 0$ なら $f = 0$ ほとんど至るところ。

「ほとんど至るところ」（almost everywhere、以下 a.e.）とは、その性質が成り立たない点の集合が $\mu$-零集合に含まれる、という意味です。本章では、この概念が単なる技術的な但し書きではなく、空間そのものの定義に組み込まれることを見ます。

ノート

$\mathbb{N} = \{1,2,\ldots\}$ とし、共役指数の議論では $1/\infty = 0$ という約束を使います。可測集合 $A$ の指示関数を $\chi_A$ と書きます。積分の変数を省略して $\int_X f$ と書くこともあります。

3. $L^p$ 空間の定義

3.1. $p$ 乗可積分関数と $p$ ノルム

定義 3.1（$L^p$ 空間）↗

$1 \le p < \infty$ とする。可測関数 $f \colon X \to \mathbb{K}$ に対して

$$\|f\|_p := \left( \int_X |f|^p \, d\mu \right)^{1/p} \in [0,\infty]$$

と定め、$\|f\|_p < \infty$ となる $f$ を $p$ 乗可積分という。$p$ 乗可積分な可測関数の全体を $\mathcal{L}^p(\mu)$ と書き、$f = g$ a.e. という同値関係による商集合を

$$L^p(\mu) := \mathcal{L}^p(\mu) / \{\,f = g \ \text{a.e.}\,\}$$

と書く。$L^p(\mu)$ の元 $[f]$ に対して $\|[f]\|_p := \|f\|_p$ と定める。

商をとる操作を明示したのは、これが本質的だからです。$f = g$ a.e. ならば $|f|^p = |g|^p$ a.e. なので $\int_X |f|^p = \int_X |g|^p$ となり、$\|\cdot\|_p$ の値は同値類の代表元の取り方によりません。つまり $\|[f]\|_p$ は矛盾なく定まります。逆に商をとらないと何が困るかは 注意 3.4 で述べます。以後は煩雑さを避けて $[f]$ を単に $f$ と書き、「$L^p$ の関数」という言い方をしますが、頭の中では常に同値類を考えてください。

$p = \infty$ の場合は、上限を「零集合を無視した上限」に取り替えて定義します。

定義 3.2（本質的上限と $L^∞$ 空間）↗

可測関数 $f\colon X \to \mathbb{K}$ に対して

$$\|f\|_\infty := \inf \bigl\{ M \in [0,\infty] \;:\; |f(x)| \le M \ \text{が a.e. } x \text{ で成り立つ} \bigr\}$$

と定め、本質的上限（essential supremum）という。$\|f\|_\infty < \infty$ となる可測関数を本質的有界といい、その全体を a.e. 同値で割った空間を $L^\infty(\mu)$ と書く。

定義に現れた下限は実際に最小値です。この点は後で繰り返し使うので、証明しておきます。$M := \|f\|_\infty < \infty$ とすると、下限の定義から各 $n \in \mathbb{N}$ に対して $M_n < M + 1/n$ かつ $|f| \le M_n$ a.e. となる $M_n$ が取れます。$N_n := \{x : |f(x)| > M_n\}$ は零集合であり、可算個の零集合の合併 $N := \bigcup_{n} N_n$ もまた零集合です（測度の可算劣加法性）。$x \notin N$ ならすべての $n$ で $|f(x)| \le M_n < M + 1/n$ なので、$n \to \infty$ として $|f(x)| \le M$ を得ます。したがって

$$|f(x)| \le \|f\|_\infty \quad \text{a.e. } x$$

が成り立ちます。「ほとんど至るところ」を無限個の条件に対して同時に扱うときに、可算個であれば零集合の合併は零集合という事実が効いている点に注意してください。これは本章を通じて何度も使う型です。

3.2. なぜ商空間にするのか

補題 3.3（チェビシェフの不等式と正定値性）✓

$1 \le p < \infty$、$f$ を可測関数とする。

(1) 任意の $\varepsilon > 0$ に対し $\mu(\{x : |f(x)| > \varepsilon\}) \le \varepsilon^{-p} \int_X |f|^p\,d\mu$。

(2) $\|f\|_p = 0$ ならば $f = 0$ a.e. である。逆に $f = 0$ a.e. ならば $\|f\|_p = 0$ である。$p = \infty$ でも $\|f\|_\infty = 0 \iff f = 0$ a.e. が成り立つ。

証明（補題 3.3）

(1) $A_\varepsilon = \{x : |f(x)| > \varepsilon\}$ 上で $|f|^p > \varepsilon^p$ なので $\int_X |f|^p\,d\mu \ge \int_{A_\varepsilon} |f|^p\,d\mu \ge \varepsilon^p \mu(A_\varepsilon)$ です。

(2) $\|f\|_p = 0$ とすると (1) より各 $n$ で $\mu(A_{1/n}) = 0$ で、$\{x : f(x) \ne 0\} = \bigcup_{n\in\mathbb{N}} A_{1/n}$ は零集合の可算合併なので零集合です。逆に $f = 0$ a.e. なら $|f|^p = 0$ a.e. で $\int_X |f|^p\,d\mu = 0$ です。$p = \infty$ のときは、定義 3.2 の下限の定義より、$\|f\|_\infty = 0$ なら各 $n$ に対し $M_n < 1/n$ で $|f| \le M_n$ a.e. となるものがあり、その例外集合（零集合）を $n$ について合併しても零集合で、その外ではすべての $n$ で $|f| < 1/n$、すなわち $f = 0$ です。逆に $f = 0$ a.e. なら $M = 0$ が定義の集合に入るので $\|f\|_\infty = 0$ です。

∎

注意 3.4（商をとらないとノルムにならない）

$\|\cdot\|_p$ が $\mathcal{L}^p(\mu)$ の上でノルムの公理を満たすかどうかを見てみます。斉次性 $\|cf\|_p = |c|\,\|f\|_p$ は $\int |cf|^p = |c|^p \int |f|^p$ から直ちに従い、三角不等式は後の 定理 4.5 で示されます。問題は正定値性 $\|f\|_p = 0 \Rightarrow f = 0$ です。

$\mu$ をルベーグ測度、$X = [0,1]$、$f = \chi_{\{1/2\}}$（1 点だけで $1$、他は $0$）とすると $\int_0^1 |f|^p \, d\mu = 0$ なので $\|f\|_p = 0$ ですが、関数としては $f \ne 0$ です。つまり $\|\cdot\|_p$ は $\mathcal{L}^p(\mu)$ の上では半ノルムにしかなりません。

しかし逆向きの主張は成り立ちます。$1 \le p < \infty$ で $\|f\|_p = 0$ とすると、$\varepsilon > 0$ に対して集合 $A_\varepsilon := \{x : |f(x)| > \varepsilon\}$ 上で $|f|^p > \varepsilon^p$ なので

$$0 = \int_X |f|^p \, d\mu \ \ge \ \int_{A_\varepsilon} |f|^p \, d\mu \ \ge \ \varepsilon^p \mu(A_\varepsilon)$$

となり $\mu(A_\varepsilon) = 0$ を得ます（これはチェビシェフの不等式と呼ばれる評価です）。$\{x : f(x) \ne 0\} = \bigcup_{n\in\mathbb{N}} A_{1/n}$ は零集合の可算合併なので零集合であり、$f = 0$ a.e. が従います。$p=\infty$ でも $\|f\|_\infty = 0$ なら定義から直ちに $f = 0$ a.e. です。

すなわち、$\|f\|_p = 0$ と $f = 0$ a.e. は同値です。だからこそ a.e. 同値で商をとれば、ちょうど正定値性が回復します。$L^p$ の定義に「ほとんど至るところ」が組み込まれているのは、ノルム空間にするための必然なのです。

注意 3.5（$L^p$ の元に点ごとの値はない）

$L^p(\mu)$ の元は関数ではなく関数の同値類です。したがって、$\mu(\{x_0\}) = 0$ であるような点 $x_0$ について「$f(x_0)$ の値」は $L^p$ の元の情報として意味を持ちません。代表元を取り替えれば好きな値にできるからです。

一方、$\int_A f \, d\mu$（$A$ は可測集合）や $\|f\|_p$ は同値類の情報だけで決まります。$L^p$ の議論で扱ってよいのは、このような「積分を通した量」だけです。逆に、$L^p$ の元に対して点ごとの値を意味づけたい場面（たとえば偏微分方程式の境界値）では、連続な代表元を選ぶなどの追加の議論が必要になります。

3.3. どの関数がどの $L^p$ に属するか

例 3.6（べき関数の可積分性）

$\alpha > 0$ とし、$\mathbb{R}$ 上のルベーグ測度を考えます。

(1) $f(x) = x^{-\alpha}$ を区間 $(0,1)$ で考える場合。 $1 \le p < \infty$ に対して $\int_0^1 x^{-\alpha p}\,dx$ を計算します。$\alpha p \ne 1$ のとき、$0 < \epsilon < 1$ に対して

$$\int_\epsilon^1 x^{-\alpha p}\,dx = \left[ \frac{x^{1-\alpha p}}{1-\alpha p} \right]_\epsilon^1 = \frac{1 - \epsilon^{\,1-\alpha p}}{1-\alpha p}$$

です。単調収束定理より $\epsilon \downarrow 0$ の極限が $\int_0^1 x^{-\alpha p}dx$ を与えます。$\alpha p < 1$ なら $1 - \alpha p > 0$ で $\epsilon^{1-\alpha p} \to 0$ となり、極限は $\frac{1}{1-\alpha p} < \infty$。$\alpha p > 1$ なら $1 - \alpha p < 0$ で $\epsilon^{1-\alpha p} \to \infty$ となり、極限は $+\infty$。$\alpha p = 1$ のときは $\int_\epsilon^1 x^{-1}dx = -\log\epsilon \to +\infty$。まとめると

$$f \in L^p((0,1)) \iff \alpha p < 1 \iff p < \frac{1}{\alpha}.$$

(2) 同じ $f(x) = x^{-\alpha}$ を区間 $(1,\infty)$ で考える場合。 $R > 1$ に対して $\int_1^R x^{-\alpha p}dx = \frac{R^{1-\alpha p}-1}{1-\alpha p}$（$\alpha p \ne 1$）ですから、$R \to \infty$ で有限に留まるのは $1 - \alpha p < 0$ のとき、すなわち

$$f \in L^p((1,\infty)) \iff \alpha p > 1 \iff p > \frac{1}{\alpha}.$$

(3) 結論。 条件 (1) と (2) は両立しないので、$x^{-\alpha}$ は $(0,\infty)$ 全体ではどの $L^p$ にも属しません。たとえば $\alpha = 1/2$ とすると、$x^{-1/2}\chi_{(0,1)} \in L^1$ ですが $L^2$ には属さず（$p=2$ は $p < 2$ を満たさない）、$x^{-1/2}\chi_{(1,\infty)} \in L^3$ ですが $L^2$ には属しません。原点付近の特異性は $p$ が小さいほど許され、無限遠での減衰の遅さは $p$ が大きいほど許される、というのが $L^p$ の指数 $p$ の意味です。

L^p 空間の構成の流れ

4. ヘルダーの不等式とミンコフスキーの不等式

$\mathcal{L}^p(\mu)$ が線形空間であること、すなわち $f, g \in \mathcal{L}^p$ なら $f+g \in \mathcal{L}^p$ であることさえ、$p > 1$ では自明ではありません。$|f+g|^p \le (|f|+|g|)^p$ は正しいものの、右辺を $|f|^p + |g|^p$ で押さえることはできないからです。この節では、必要な不等式を根本から積み上げます。

4.1. 共役指数とヤングの不等式

まず記号を 1 つ用意します。$1 \le p \le \infty$ に対して

$$\frac{1}{p} + \frac{1}{q} = 1$$

を満たす $q \in [1,\infty]$ を $p$ の共役指数と呼びます（$1/\infty = 0$ の約束によります）。具体的には $1 < p < \infty$ なら $q = \dfrac{p}{p-1}$、$p=1$ なら $q=\infty$、$p=\infty$ なら $q=1$ です。$p=2$ の共役指数は $2$ 自身であり、この自己共役性が後で $L^2$ を特別な空間にします。

補題 4.1（ヤングの不等式）✓

$1 < p < \infty$、$q$ をその共役指数とする。任意の $a, b \ge 0$ に対して

$$ab \le \frac{a^p}{p} + \frac{b^q}{q}$$

が成り立つ。等号が成立するのは $a^p = b^q$ のとき、かつそのときに限る。

証明（補題 4.1）

$a = 0$ または $b = 0$ のときは左辺が $0$、右辺が $\ge 0$ なので不等式は成立し、等号は $a^p = b^q$（すなわち両方 $0$）のときだけです。以下 $a, b > 0$ とします。

対数関数 $\log$ は $(0,\infty)$ 上で $(\log t)'' = -1/t^2 < 0$ を満たすので狭義凹です。狭義凹関数に対するイェンセンの不等式（2 点版）とは、$\lambda \in (0,1)$、$u \ne v$ のとき

$$\log\bigl(\lambda u + (1-\lambda) v\bigr) > \lambda \log u + (1-\lambda)\log v$$

が成り立ち、$u = v$ のときは等号になる、という主張です。ここで $\lambda = 1/p$、$1-\lambda = 1/q$（共役指数の定義より $1/p + 1/q = 1$ なので、この 2 つは和が $1$ の正の重みです）、$u = a^p$、$v = b^q$ と取ると

$$\log\left( \frac{a^p}{p} + \frac{b^q}{q} \right) \ \ge \ \frac{1}{p}\log a^p + \frac{1}{q}\log b^q = \log a + \log b = \log(ab)$$

を得ます。$\log$ は狭義単調増加なので、両辺の指数をとって $\dfrac{a^p}{p} + \dfrac{b^q}{q} \ge ab$ が従います。さらに狭義凹性から、等号が成り立つのは $u = v$ すなわち $a^p = b^q$ のとき、かつそのときに限ります。

∎

この不等式には面積による解釈があり、そちらの方が「なぜ $1/p$ と $1/q$ が現れるのか」が見えやすいと思います。

ヤングの不等式の面積による解釈

曲線 $y = x^{p-1}$ は、$q = p/(p-1)$ を使うと $x = y^{q-1}$ とも書けます（$y = x^{p-1}$ の両辺を $1/(p-1)$ 乗すると $x = y^{1/(p-1)} = y^{q-1}$ です。実際 $q - 1 = \frac{p}{p-1} - 1 = \frac{1}{p-1}$）。したがって曲線より下で $0 \le x \le a$ の部分の面積は $\int_0^a x^{p-1}dx = a^p/p$、曲線より左で $0 \le y \le b$ の部分の面積は $\int_0^b y^{q-1}dy = b^q/q$ です。この 2 つの領域は曲線を境に重なりを持たず、合わせて長方形 $[0,a]\times[0,b]$ を覆います。面積を比較すれば $ab \le a^p/p + b^q/q$ が読み取れます。等号は 2 領域の和がちょうど長方形になるとき、すなわち点 $(a,b)$ が曲線上にあるとき、つまり $b = a^{p-1}$ すなわち $b^q = a^{(p-1)q} = a^p$ のときです。補題 4.1 の等号条件と一致しています。

4.2. ヘルダーの不等式

定理 4.2（ヘルダーの不等式）✓

$(X,\mathcal{M},\mu)$ を測度空間、$1 \le p \le \infty$、$q$ を $p$ の共役指数とする。可測関数 $f, g \colon X \to \mathbb{K}$ が $f \in \mathcal{L}^p(\mu)$、$g \in \mathcal{L}^q(\mu)$ を満たすならば、積 $fg$ は可積分であり

$$\int_X |fg| \, d\mu \ \le \ \|f\|_p \, \|g\|_q$$

が成り立つ。すなわち $\|fg\|_1 \le \|f\|_p\|g\|_q$ である。

証明（定理 4.2）

$f, g$ が可測なら $|fg|$ も可測なので、積分 $\int_X |fg|\,d\mu \in [0,\infty]$ は定義されています。以下、これが右辺以下であることを示します。

(i) $p = 1$、$q = \infty$ の場合。 定義 3.2 の直後に示したとおり $|g| \le \|g\|_\infty$ a.e. です。よって $|fg| \le \|g\|_\infty |f|$ が a.e. で成り立ち、積分の単調性（a.e. の不等式でも成立します）から

$$\int_X |fg|\,d\mu \le \|g\|_\infty \int_X |f| \, d\mu = \|f\|_1 \|g\|_\infty .$$

$p=\infty$、$q=1$ の場合も $f$ と $g$ の役割を入れ替えれば同じです。

(ii) $1 < p < \infty$ で $\|f\|_p = 0$ または $\|g\|_q = 0$ の場合。 たとえば $\|f\|_p = 0$ とすると 補題 3.3 (2) より $f = 0$ a.e.、したがって $fg = 0$ a.e. となり $\int_X |fg|\,d\mu = 0 = \|f\|_p\|g\|_q$ で、等号として成立します。

(iii) $1 < p < \infty$ で $\|f\|_p > 0$ かつ $\|g\|_q > 0$ の場合。 $A := \|f\|_p$、$B := \|g\|_q$ と置き、正規化された関数

$$F := \frac{|f|}{A}, \qquad G := \frac{|g|}{B}$$

を考えます。このとき $\int_X F^p \, d\mu = \dfrac{1}{A^p}\int_X |f|^p d\mu = 1$、同様に $\int_X G^q\,d\mu = 1$ です。各点 $x$ で 補題 4.1 を $a = F(x)$、$b = G(x)$ に適用すると

$$F(x) G(x) \ \le \ \frac{F(x)^p}{p} + \frac{G(x)^q}{q}$$

が成り立ちます。右辺は可積分（$F^p, G^q$ がともに可積分）なので、両辺を $X$ 上で積分して

$$\int_X FG \, d\mu \ \le \ \frac{1}{p}\int_X F^p d\mu + \frac{1}{q}\int_X G^q d\mu = \frac{1}{p} + \frac{1}{q} = 1$$

を得ます（最後の等号は共役指数の定義 $1/p+1/q=1$ によります）。左辺は $\dfrac{1}{AB}\int_X |fg|\,d\mu$ ですから、両辺に $AB > 0$ を掛けて

$$\int_X |fg|\,d\mu \ \le \ AB = \|f\|_p\|g\|_q$$

となります。特に右辺は有限なので $fg \in \mathcal{L}^1(\mu)$ です。

∎

$p = q = 2$ の場合がコーシー–シュワルツの不等式 $\int_X |fg| \, d\mu \le \|f\|_2\|g\|_2$ です。定理 4.2 はその一般化であり、「$p$ で測った大きさ」と「$q$ で測った大きさ」を掛けると積分を支配する、という形で $L^p$ と $L^q$ を対にします。この対応が後の双対性（注意 7.4）の原型になります。

系 4.3（有限測度空間における包含関係）✓

$\mu(X) < \infty$ とし、$1 \le p < q \le \infty$ とする。このとき $L^q(\mu) \subseteq L^p(\mu)$ であり、任意の $f \in L^q(\mu)$ に対して

$$\|f\|_p \ \le \ \mu(X)^{\frac1p - \frac1q} \, \|f\|_q$$

が成り立つ。

証明（系 4.3）

$\mu(X) = 0$ ならすべての可測関数が $0$ a.e. で両辺とも $0$ なので、以下 $\mu(X) > 0$ とします。

$q = \infty$ の場合。 $|f| \le \|f\|_\infty$ a.e. なので $\int_X |f|^p d\mu \le \|f\|_\infty^p \mu(X)$、$p$ 乗根をとって $\|f\|_p \le \mu(X)^{1/p}\|f\|_\infty$ であり、$1/q = 0$ より主張の形と一致します。

$q < \infty$ の場合。 $r := q/p > 1$ と置き、その共役指数を $r' = \dfrac{r}{r-1} = \dfrac{q}{q-p}$ とします。関数 $|f|^p$ と定数関数 $1$ に 定理 4.2 を指数 $(r, r')$ で適用すると

$$\int_X |f|^p \cdot 1 \, d\mu \ \le \ \left( \int_X |f|^{pr}\,d\mu \right)^{1/r} \left( \int_X 1^{r'} d\mu \right)^{1/r'} = \left( \int_X |f|^{q} d\mu \right)^{p/q} \mu(X)^{\frac{q-p}{q}}$$

となります（$pr = q$、$1/r = p/q$、$1/r' = (q-p)/q$ を使いました）。右辺は仮定より有限なので $f \in L^p(\mu)$ です。両辺を $1/p$ 乗すると

$$\|f\|_p \ \le \ \|f\|_q \cdot \mu(X)^{\frac{q-p}{pq}} = \mu(X)^{\frac1p-\frac1q}\|f\|_q$$

を得ます。

∎

注意 4.4（有限測度という仮定は落とせない）

系 4.3 の仮定 $\mu(X) < \infty$ は本質的です。例 3.6 の (2) で見たように、$g(x) = x^{-1}\chi_{(1,\infty)}(x)$ は $\mathbb{R}$ 上で $\alpha=1$ の場合であり、$p > 1$ のとき $L^p$ に属し $p = 1$ では属しません。つまり $L^2(\mathbb{R}) \not\subseteq L^1(\mathbb{R})$ です。逆向きは (1) から作れます（演習 8.1）。一般の測度空間では $L^p$ たちの間に包含関係はありません。

4.3. ミンコフスキーの不等式

定理 4.5（ミンコフスキーの不等式）✓

$(X,\mathcal{M},\mu)$ を測度空間、$1 \le p \le \infty$ とする。$f, g \in \mathcal{L}^p(\mu)$ ならば $f + g \in \mathcal{L}^p(\mu)$ であり

$$\|f+g\|_p \ \le \ \|f\|_p + \|g\|_p$$

が成り立つ。

証明の方針です。$p>1$ では $|f+g|^p$ を $|f+g|\cdot|f+g|^{p-1}$ と分け、$|f+g|\le|f|+|g|$ を一方の因子に使います。すると $|f|\cdot|f+g|^{p-1}$ のような「二つの関数の積」の積分が現れ、これはヘルダーの不等式でちょうど評価できる形です。証明中の $h:=|f+g|^{p-1}$ は、このヘルダーの不等式を使うために $|f+g|^{p-1}$ の部分を一つの関数として名前を付けたものです。

証明（定理 4.5）

(i) $p = 1$ の場合。 各点で $|f+g| \le |f| + |g|$ なので、積分の単調性と線形性から $\int|f+g| \le \int|f| + \int|g|$、すなわち主張が従います。

(ii) $p = \infty$ の場合。 $|f| \le \|f\|_\infty$ が零集合 $N_1$ の外で、$|g| \le \|g\|_\infty$ が零集合 $N_2$ の外で成り立ちます。$N_1 \cup N_2$ も零集合であり、その外では $|f+g| \le |f|+|g| \le \|f\|_\infty + \|g\|_\infty$ です。本質的上限は「a.e. で上から押さえる定数」の下限（定義 3.2）でしたから、$\|f+g\|_\infty \le \|f\|_\infty + \|g\|_\infty$ を得ます。

(iii) $1 < p < \infty$ の場合。 まず $f+g \in \mathcal{L}^p$ を示します。各点で $|f+g| \le |f|+|g| \le 2\max(|f|,|g|)$ なので

$$|f+g|^p \le 2^p \max(|f|,|g|)^p \le 2^p\bigl(|f|^p + |g|^p\bigr)$$

であり、右辺は可積分です。よって $\|f+g\|_p < \infty$ です。

$\|f+g\|_p = 0$ なら主張は自明（左辺 $0$、右辺 $\ge 0$）なので、$\|f+g\|_p > 0$ とします。$q = p/(p-1)$ を共役指数とし、$h := |f+g|^{p-1}$ と置きます。このとき

$$\int_X h^q \, d\mu = \int_X |f+g|^{(p-1)q}\,d\mu = \int_X |f+g|^{p}\,d\mu < \infty$$

です（$(p-1)q = (p-1)\cdot\frac{p}{p-1} = p$ を使いました）。すなわち $h \in \mathcal{L}^q(\mu)$ で、$\|h\|_q = \bigl(\int|f+g|^p\bigr)^{1/q} = \|f+g\|_p^{\,p/q} = \|f+g\|_p^{\,p-1}$ です。

さて $|f+g|^p = |f+g|\cdot|f+g|^{p-1} \le |f|h + |g|h$ を積分し、右辺の各項に 定理 4.2 を指数 $(p,q)$ で適用します。

$$\begin{aligned} \int_X |f+g|^p\,d\mu &\le \int_X |f|\,h\,d\mu + \int_X |g|\,h\,d\mu \\ &\le \|f\|_p\|h\|_q + \|g\|_p\|h\|_q \\ &= \bigl( \|f\|_p + \|g\|_p \bigr)\,\|f+g\|_p^{\,p-1}. \end{aligned}$$

左辺は $\|f+g\|_p^{\,p}$ です。$0 < \|f+g\|_p^{\,p-1} < \infty$ なのでこれで両辺を割ることができ、

$$\|f+g\|_p = \frac{\|f+g\|_p^{\,p}}{\|f+g\|_p^{\,p-1}} \le \|f\|_p + \|g\|_p$$

を得ます。

∎

系 4.6（$L^p$ はノルム空間）✓

$1 \le p \le \infty$ とする。$L^p(\mu)$ は $\mathbb{K}$ 上の線形空間であり、$\|\cdot\|_p$ はその上のノルムである。すなわち任意の $f, g \in L^p(\mu)$、$c \in \mathbb{K}$ に対して

$$\|f\|_p \ge 0, \qquad \|f\|_p = 0 \iff f = 0, \qquad \|cf\|_p = |c|\,\|f\|_p, \qquad \|f+g\|_p \le \|f\|_p + \|g\|_p$$

が成り立つ。

証明（系 4.6）

線形空間であること：$f, g \in \mathcal{L}^p$、$c \in \mathbb{K}$ とすると 定理 4.5 より $f+g \in \mathcal{L}^p$、また $\int |cf|^p = |c|^p\int|f|^p < \infty$ より $cf \in \mathcal{L}^p$ です。よって $\mathcal{L}^p(\mu)$ は可測関数全体の線形部分空間です。さらに「a.e. で $0$ に等しい関数の全体」はその線形部分空間なので、商空間 $L^p(\mu)$ にも線形空間の構造が誘導されます。演算が代表元の取り方によらないことは、$f_1 = f_2$ a.e. かつ $g_1 = g_2$ a.e. なら $f_1+g_1 = f_2+g_2$ a.e.（例外集合は 2 つの零集合の合併）から従います。

ノルムの公理：非負性は定義から明らか（$p$ 乗根の主値をとっているため）。$\|f\|_p = 0 \iff f = 0$ a.e. は 補題 3.3 (2) です。$L^p$ では $f = 0$ a.e. がゼロ元そのものなので、これは正定値性です。斉次性は $1\le p < \infty$ のときは上の計算の $p$ 乗根、$p=\infty$ のときは $|cf| \le M$ a.e. と $|f| \le M/|c|$ a.e.（$c \ne 0$）が同値であることから従います。三角不等式が 定理 4.5 です。

∎

5. 完備性 — リース–フィッシャーの定理

5.1. バナッハ空間と絶対収束判定法

定義 5.1（バナッハ空間）↗

ノルム空間 $(V, \|\cdot\|)$ において、点列 $(x_n)$ がコーシー列であるとは、任意の $\varepsilon>0$ に対してある $N \in \mathbb{N}$ が存在して $m,n \ge N$ ならば $\|x_n - x_m\| < \varepsilon$ となることをいう。すべてのコーシー列が $V$ の元に収束するとき、$V$ は完備であるといい、完備なノルム空間をバナッハ空間という。

完備性の検証は、任意のコーシー列を相手にすると扱いにくいものです。次の判定法は、コーシー列の代わりに「絶対収束級数」だけを見ればよいことを教えてくれます。$L^p$ の完備性の証明はこの形が最も見通しよく進みます。

補題 5.2（絶対収束による完備性の判定）✓

ノルム空間 $(V,\|\cdot\|)$ について、次の 2 条件は同値である。

1. $V$ は完備である。
2. $V$ の元の列 $(x_k)$ が $\sum_{k=1}^\infty \|x_k\| < \infty$ を満たすならば、部分和の列 $S_n = \sum_{k=1}^n x_k$ はある $x \in V$ に収束する。

ねらいです。コーシー列を直接扱う代わりに、「ノルムの和が有限な級数」だけを調べれば完備性が分かる、というのがこの補題です。(2) から (1) の向きでは、コーシー列から項の間隔が $2^{-k}$ 以下になるような部分列を選んで級数に書き直し、最後に部分列の収束から元の列全体の収束を引き出します。

証明（補題 5.2）

(1) $\Rightarrow$ (2)。 $\sum_k \|x_k\| < \infty$ とします。$m < n$ に対して三角不等式から

$$\|S_n - S_m\| = \Bigl\| \sum_{k=m+1}^{n} x_k \Bigr\| \le \sum_{k=m+1}^{n}\|x_k\| \le \sum_{k=m+1}^{\infty}\|x_k\|$$

です。右辺は収束級数の剰余なので $m \to \infty$ で $0$ に収束します。よって任意の $\varepsilon > 0$ に対し、$\sum_{k > N}\|x_k\| < \varepsilon$ となる $N$ を取れば $m,n \ge N$ で $\|S_n - S_m\| < \varepsilon$ となり、$(S_n)$ はコーシー列です。$V$ が完備なので収束します。

(2) $\Rightarrow$ (1)。 $(y_n)$ を $V$ のコーシー列とします。コーシー性より、各 $k \in \mathbb{N}$ に対して「$m,n \ge N_k$ ならば $\|y_n - y_m\| < 2^{-k}$」となる $N_k$ が取れます。$n_1 < n_2 < \cdots$ を $n_k \ge N_k$ かつ狭義単調増加になるように選べば（たとえば $n_k := \max(N_1,\ldots,N_k) + k$ とすればよい）、

$$\|y_{n_{k+1}} - y_{n_k}\| < 2^{-k} \qquad (k \in \mathbb{N})$$

が成り立ちます。ここで $x_1 := y_{n_1}$、$x_{k+1} := y_{n_{k+1}} - y_{n_k}$ と置くと $\sum_{k}\|x_k\| \le \|y_{n_1}\| + \sum_{k\ge1}2^{-k} = \|y_{n_1}\| + 1 < \infty$ であり、部分和は $\sum_{j\le k} x_j = y_{n_k}$ です。仮定 (2) より $y_{n_k} \to y$ となる $y \in V$ が存在します。

最後に、元の列全体が $y$ に収束することを示します。$\varepsilon > 0$ を任意にとります。コーシー性から $m, n \ge N$ で $\|y_n - y_m\| < \varepsilon/2$ となる $N$ を取り、さらに $n_k \ge N$ かつ $\|y_{n_k} - y\| < \varepsilon/2$ となる $k$ を取ります（$n_k \to \infty$ かつ $y_{n_k}\to y$ なので可能です）。すると $n \ge N$ に対して

$$\|y_n - y\| \le \|y_n - y_{n_k}\| + \|y_{n_k} - y\| < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon$$

となり、$y_n \to y$ が示されました。

∎

5.2. リース–フィッシャーの定理

定理 5.3（リース–フィッシャーの定理）✓

$(X,\mathcal{M},\mu)$ を任意の測度空間、$1 \le p \le \infty$ とする。このとき $L^p(\mu)$ はノルム $\|\cdot\|_p$ に関して完備である。すなわち $L^p(\mu)$ はバナッハ空間である。

証明の見取り図です。$1\le p<\infty$ の場合は、(1) 絶対値の和 $G$ を作って単調収束定理で有限だと確かめる、(2) $G$ が有限な点では級数が収束するので、その和を $F$ とする、(3) 部分和 $S_n$ と $F$ の差を優収束定理で $0$ に追い込む、の三段で進みます。文字は多いですが、$G$ が「上から押さえる関数」、$F$ が「行き先」、$S_n$ が「途中経過」と覚えると追いやすくなります。$p=\infty$ の場合は、例外の集合を可算個まとめて、残りの点で一様に収束させます。

証明（定理 5.3）

(A) $1 \le p < \infty$ の場合。 補題 5.2 により、$\sum_{k=1}^\infty \|f_k\|_p =: M < \infty$ を満たす $f_k \in L^p(\mu)$ に対して $\sum_k f_k$ が $L^p$ で収束することを示せば十分です。

各 $k$ について代表元を 1 つ固定し、

$$G_n(x) := \sum_{k=1}^n |f_k(x)|, \qquad G(x) := \sum_{k=1}^\infty |f_k(x)| \in [0,\infty]$$

と置きます。$G_n$ は可測、$0 \le G_1 \le G_2 \le \cdots$ で各点 $G_n \uparrow G$ なので $G$ も可測です。定理 4.5 を繰り返し使うと $\|G_n\|_p \le \sum_{k=1}^n \|f_k\|_p \le M$ です。$G_n^p \uparrow G^p$ に単調収束定理を適用して

$$\int_X G^p \, d\mu = \lim_{n\to\infty}\int_X G_n^p\,d\mu \le M^p < \infty$$

を得ます。したがって $G \in \mathcal{L}^p(\mu)$ であり、特に $G < \infty$ が a.e. で成り立ちます（もし $E := \{G = \infty\}$ が $\mu(E) > 0$ なら $\int G^p \ge \int_E G^p = \infty$ となって矛盾します）。

そこで零集合 $N := \{x : G(x) = \infty\}$ の外では級数 $\sum_k f_k(x)$ が絶対収束するので、スカラー体の完備性によりその和が存在します。

$$F(x) := \begin{cases} \sum_{k=1}^\infty f_k(x), & x \notin N,\\ 0, & x \in N \end{cases}$$

と定めると、$F$ は可測関数（各点収束する可測関数列の極限）であり、$|F| \le G$ が a.e. で成り立つので $F \in \mathcal{L}^p(\mu)$ です。

最後に $\|F - S_n\|_p \to 0$（$S_n := \sum_{k\le n} f_k$）を示します。$x \notin N$ では定義から $S_n(x) \to F(x)$ なので $|F - S_n|^p \to 0$ が a.e. で成り立ちます。また

$$|F - S_n| \le |F| + \sum_{k=1}^n |f_k| \le G + G = 2G \quad \text{a.e.}$$

より $|F-S_n|^p \le 2^p G^p$ であり、右辺は $n$ によらない可積分関数です。よって優収束定理が使えて

$$\|F - S_n\|_p^p = \int_X |F-S_n|^p \, d\mu \longrightarrow 0$$

となります。補題 5.2 の条件 (2) が確かめられたので、$L^p(\mu)$ は完備です。

(B) $p = \infty$ の場合。 $(f_n)$ を $L^\infty(\mu)$ のコーシー列とし、代表元を固定します。各 $n$ に対して $A_n := \{x : |f_n(x)| > \|f_n\|_\infty\}$、各 $m,n$ に対して $B_{m,n} := \{x : |f_n(x)-f_m(x)| > \|f_n-f_m\|_\infty\}$ と置くと、定義 3.2 の直後に示したことからこれらはすべて零集合です。これらは可算個なので

$$N := \Bigl(\bigcup_n A_n\Bigr) \cup \Bigl(\bigcup_{m,n} B_{m,n}\Bigr)$$

も零集合です。$x \notin N$ ならばすべての $m,n$ で $|f_n(x) - f_m(x)| \le \|f_n - f_m\|_\infty$ が成り立ちます。右辺は $m,n\to\infty$ で $0$ に収束するので、$(f_n)$ は $X \setminus N$ 上で一様コーシー列です。スカラー体の完備性から各点で極限が存在し、収束は一様です。$f(x) := \lim_n f_n(x)$（$x \notin N$）、$f(x) := 0$（$x \in N$）と定めると $f$ は可測です。

$\varepsilon>0$ に対し $m,n\ge N_\varepsilon$ で $\|f_n-f_m\|_\infty \le \varepsilon$ となる $N_\varepsilon$ を取ると、$x \notin N$ かつ $n \ge N_\varepsilon$ で $m \to \infty$ の極限をとって $|f_n(x)-f(x)| \le \varepsilon$ を得ます。よって $\|f_n - f\|_\infty \le \varepsilon$（$n \ge N_\varepsilon$）であり、また $\|f\|_\infty \le \|f_{N_\varepsilon}\|_\infty + \varepsilon < \infty$ なので $f \in L^\infty(\mu)$ です。したがって $f_n \to f$ が $L^\infty$ で成り立ち、完備性が示されました。

∎

注意 5.4（$L^p$ 収束から取り出せる部分列）

証明 (A) は、単に完備性を示す以上のものを与えています。$f_n \to f$ が $L^p$（$1\le p < \infty$）で成り立つとき、補題 5.2 の (2) $\Rightarrow$ (1) の議論で作った部分列 $(f_{n_k})$ に対しては、$\sum_k \| f_{n_{k+1}} - f_{n_k}\|_p < \infty$ となり、証明 (A) の $G$ が a.e. 有限であることから

$$f_{n_k}(x) \longrightarrow f(x) \qquad \text{a.e. } x$$

が従います。つまり、$L^p$ 収束する列からは、ほとんど至るところ収束する部分列が取り出せます。この事実は実解析で日常的に使われます。ただし列全体が a.e. 収束するとは限りません（例 5.5）。

例 5.5（$L^p$ 収束するがどの点でも収束しない列）

$X = [0,1]$、$\mu$ をルベーグ測度とします。各 $n \in \mathbb{N}$ を一意に $n = 2^k + j$（$k \ge 0$、$0 \le j < 2^k$）と表し、

$$I_n := \left[ \frac{j}{2^k},\ \frac{j+1}{2^k} \right], \qquad f_n := \chi_{I_n}$$

と定めます。$n=1$ なら $I_1 = [0,1]$、$n=2,3$ なら $[0,\tfrac12], [\tfrac12,1]$、$n=4,\ldots,7$ なら長さ $\tfrac14$ の 4 区間、というように、幅 $2^{-k}$ の区間が左から右へ「タイプライターのように」走査されます。

$1 \le p < \infty$ に対して

$$\|f_n\|_p^p = \int_0^1 \chi_{I_n}\,d\mu = \frac{1}{2^k}$$

であり、$n \to \infty$ のとき $k \to \infty$ なので $\|f_n\|_p = 2^{-k/p} \to 0$、すなわち $f_n \to 0$ が $L^p$ で成り立ちます。

一方、点ごとの挙動を見ます。$x \in [0,1]$ を固定すると、各 $k$ に対して $x \in I_n$ となる $n = 2^k+j$ が少なくとも 1 つ存在します（幅 $2^{-k}$ の区間が $[0,1]$ を覆うため）。よって $f_n(x)=1$ となる $n$ が無限に多くあります。また $k \ge 2$ ならば、幅 $2^{-k}$ の区間は $4$ 個以上あり $x$ はそのうち高々 $2$ 個にしか属さないので、$x \notin I_{n'}$ となる $n' = 2^k + j'$ も存在します。よって $f_{n'}(x)=0$ となる $n'$ も無限に多くあります。したがって

$$\limsup_{n\to\infty} f_n(x) = 1, \qquad \liminf_{n\to\infty} f_n(x) = 0$$

となり、$(f_n(x))$ はどの点 $x$ でも収束しません。$L^p$ 収束と各点収束はまったく別物であることがわかります。

なお 注意 5.4 の通り、部分列 $f_{2^k}$（$k\to\infty$）を取れば $x > 0$ で $f_{2^k}(x) = 0$ となり、a.e. で $0$ に収束します。

注意 5.6（なぜリーマン積分では駄目なのか）

定理 5.3 の証明で本質的に効いたのは、単調収束定理と優収束定理という極限と積分の交換定理です。リーマン積分でこれらに対応する定理は「一様収束すれば交換できる」という弱いものしかありません（定理 5.2［関数列と一様収束］、関数列と一様収束 を参照）。例 5.5 のように $L^p$ 収束する列は一様収束からほど遠いので、リーマン積分の枠内では極限関数を作ることすらできません。

例 1.1 で見た「穴」が、測度論的な積分に切り替えるとちょうど埋まる——これが実解析を微分積分学から分ける最大の成果の 1 つです。

6. $p=2$ の特別扱い — ヒルベルト空間

6.1. 内積が入るのは $p=2$ のときだけ

定義 6.1（内積空間とヒルベルト空間）↗

$\mathbb{K}$ 上の線形空間 $H$ 上の写像 $\langle\cdot,\cdot\rangle \colon H\times H \to \mathbb{K}$ が次を満たすとき内積という。

1. 第 1 変数について線形：$\langle \alpha u + \beta v, w\rangle = \alpha\langle u,w\rangle + \beta\langle v,w\rangle$。
2. 共役対称：$\langle v,u \rangle = \overline{\langle u,v\rangle}$（$\mathbb{K}=\mathbb{R}$ なら対称）。
3. 正定値：$\langle u,u\rangle \ge 0$ であり、$\langle u,u\rangle = 0 \iff u = 0$。

このとき $\|u\| := \sqrt{\langle u,u\rangle}$ はノルムになる。このノルムに関して完備な内積空間をヒルベルト空間という。

定理 6.2（$L^2$ はヒルベルト空間）✓

$(X,\mathcal{M},\mu)$ を測度空間とする。$f,g \in L^2(\mu)$ に対して

$$\langle f, g\rangle := \int_X f \, \bar{g} \, d\mu$$

と定めると、この積分は絶対収束して有限の値をとり、$\langle\cdot,\cdot\rangle$ は $L^2(\mu)$ 上の内積である。さらに $\sqrt{\langle f,f\rangle} = \|f\|_2$ であり、$L^2(\mu)$ はこの内積に関するヒルベルト空間である。

証明（定理 6.2）

定義可能性。 $p=q=2$ は互いに共役指数なので、定理 4.2 より

$$\int_X |f\bar g| \, d\mu = \int_X |f||g|\,d\mu \le \|f\|_2\|g\|_2 < \infty$$

です。よって $f\bar g \in \mathcal{L}^1(\mu)$ で、$\int_X f\bar g\,d\mu$ は有限確定です。代表元を取り替えても $f\bar g$ は a.e. で変わらないので、値は同値類のみで定まります。

内積の公理。 第 1 変数の線形性は積分の線形性そのものです。共役対称性は $\overline{\int_X f\bar g\,d\mu} = \int_X \bar f g\,d\mu = \langle g,f\rangle$ から従います（複素共役は積分と交換します）。正定値性については $\langle f,f\rangle = \int_X |f|^2 d\mu = \|f\|_2^2 \ge 0$ であり、これが $0$ になるのは 補題 3.3 (2) より $f = 0$ a.e.、すなわち $L^2(\mu)$ のゼロ元のとき、かつそのときに限ります。同時に $\sqrt{\langle f,f\rangle} = \|f\|_2$ も示されました。

完備性。 定理 5.3 の $p=2$ の場合です。以上より $L^2(\mu)$ はヒルベルト空間です。

∎

内積から誘導されたノルムは、必ず中線定理（平行四辺形の法則）

$$\|f+g\|^2 + \|f-g\|^2 = 2\|f\|^2 + 2\|g\|^2$$

を満たします。実際、$\|f\pm g\|^2 = \langle f\pm g, f\pm g\rangle = \|f\|^2 \pm 2\operatorname{Re}\langle f,g\rangle + \|g\|^2$ を足せば交差項が消えて右辺になります。逆に、この等式を満たすノルムは必ずある内積から来る、というのがヨルダン–フォン・ノイマンの定理です（内積を $\langle f,g\rangle = \frac14(\|f+g\|^2 - \|f-g\|^2)$ などで復元します）。したがって、中線定理が破れることを 1 つの例で示せば、その空間がヒルベルト空間でないことが言えます。$p \ne 2$ の $L^p$ がまさにそうです（演習 8.4）。

6.2. 正規直交系とフーリエ級数

定義 6.3（正規直交系と完全性）↗

ヒルベルト空間 $H$ の元の族 $(e_n)_{n\in I}$（$I$ は可算集合）が

$$\langle e_n, e_m \rangle = \begin{cases} 1, & n = m \\ 0, & n \ne m \end{cases}$$

を満たすとき正規直交系という。さらに、$(e_n)$ の有限線形結合の全体が $H$ で稠密であるとき、完全正規直交系（正規直交基底）という。

例 6.4（三角関数系とバーゼル問題）

$X = [-\pi,\pi]$、$\mu$ をルベーグ測度、$\mathbb{K}=\mathbb{C}$ とし、$H = L^2([-\pi,\pi])$ を考えます。$n \in \mathbb{Z}$ に対して

$$e_n(x) := \frac{1}{\sqrt{2\pi}} e^{inx}$$

と置きます。$|e_n| = 1/\sqrt{2\pi}$ は有界なので $e_n \in L^2$ です。直交性を確かめます。$n \ne m$ のとき

$$\langle e_n, e_m\rangle = \frac{1}{2\pi}\int_{-\pi}^{\pi} e^{i(n-m)x}\,dx = \frac{1}{2\pi}\left[ \frac{e^{i(n-m)x}}{i(n-m)} \right]_{-\pi}^{\pi} = \frac{e^{i(n-m)\pi} - e^{-i(n-m)\pi}}{2\pi i (n-m)} = 0$$

です（$k := n-m$ は $0$ でない整数なので $e^{ik\pi} = e^{-ik\pi} = (-1)^k$ となり分子が消えます）。$n = m$ のときは $\langle e_n,e_n\rangle = \frac{1}{2\pi}\int_{-\pi}^\pi 1\,dx = 1$。よって $(e_n)_{n\in\mathbb{Z}}$ は正規直交系です。

ベッセルの不等式。 $f \in H$ に対して $c_n := \langle f, e_n\rangle$ と置き、$N \in \mathbb{N}$ を固定して $S_N := \sum_{|n|\le N} c_n e_n$ とします。正規直交性から

$$\begin{aligned} 0 \le \|f - S_N\|_2^2 &= \|f\|_2^2 - \langle f, S_N\rangle - \langle S_N, f\rangle + \|S_N\|_2^2 \\ &= \|f\|_2^2 - \sum_{|n|\le N}\overline{c_n}\langle f,e_n\rangle - \sum_{|n|\le N} c_n \langle e_n, f\rangle + \sum_{|n|\le N}|c_n|^2 \\ &= \|f\|_2^2 - \sum_{|n|\le N}|c_n|^2 \end{aligned}$$

（$\langle f, S_N\rangle = \sum \overline{c_n}\langle f, e_n\rangle = \sum |c_n|^2$、$\langle S_N,f\rangle = \overline{\langle f,S_N\rangle} = \sum|c_n|^2$、$\|S_N\|_2^2 = \sum |c_n|^2$）。したがって $\sum_{|n|\le N}|c_n|^2 \le \|f\|_2^2$ が任意の $N$ で成り立ち、$N\to\infty$ として

$$\sum_{n\in\mathbb{Z}} |c_n|^2 \ \le \ \|f\|_2^2$$

を得ます。これがベッセルの不等式です。$(e_n)$ が完全であれば等号になり、パーセバルの等式と呼ばれます。三角関数系が $L^2([-\pi,\pi])$ の完全正規直交系であることはよく知られた事実です（注意 7.1 の稠密性に、三角多項式による一様近似（ワイエルシュトラスの三角多項式近似定理、あるいはフェイエールの定理）を組み合わせて示されます）。

具体計算。 $f(x) = x$ とすると $f \in L^2$ で $\|f\|_2^2 = \int_{-\pi}^{\pi}x^2dx = \frac{2\pi^3}{3}$ です。$c_0 = \frac{1}{\sqrt{2\pi}}\int_{-\pi}^\pi x\,dx = 0$（奇関数）。$n \ne 0$ では部分積分により

$$\int_{-\pi}^{\pi} x e^{-inx}\,dx = \left[ \frac{x e^{-inx}}{-in} \right]_{-\pi}^{\pi} + \frac{1}{in}\int_{-\pi}^{\pi} e^{-inx}dx = \frac{\pi(-1)^n + \pi(-1)^n}{-in} + 0 = \frac{2\pi(-1)^n i}{n}$$

（$e^{\mp in\pi} = (-1)^n$ と $\frac{1}{-in} = \frac{i}{n}$ を使い、第 2 の積分は $n\ne0$ より $0$）。よって

$$c_n = \frac{1}{\sqrt{2\pi}}\cdot\frac{2\pi(-1)^n i}{n}, \qquad |c_n|^2 = \frac{1}{2\pi}\cdot\frac{4\pi^2}{n^2} = \frac{2\pi}{n^2}.$$

パーセバルの等式に代入すると

$$\frac{2\pi^3}{3} = \sum_{n \ne 0}\frac{2\pi}{n^2} = 4\pi \sum_{n=1}^{\infty}\frac{1}{n^2}$$

となり、両辺を $4\pi$ で割って

$$\sum_{n=1}^{\infty}\frac{1}{n^2} = \frac{\pi^2}{6}$$

を得ます。オイラーが解いたバーゼル問題の答えが、$L^2$ の幾何学から出てきました（級数の収束そのものについては 級数と収束判定 を参照してください）。

ヒント

ベッセルの不等式の計算は、要するに「$f$ から有限次元部分空間への直交射影を引いた残りの長さは非負」という三平方の定理です。ヒルベルト空間では、閉部分空間への直交射影が常に存在します（射影定理）。$L^2$ の議論が幾何学的な直観で進められるのは、内積があるおかげです。$p \ne 2$ の $L^p$ にはこの直観が使えません。

7. 関数解析への入り口

7.1. 稠密な部分空間と可分性

注意 7.1（単関数と連続関数による近似）

$1 \le p < \infty$ とします。$f \in L^p(\mu)$ に対し、単関数近似定理（定理 3.7）［ルベーグ積分の定義と収束定理］ により、単関数（有限個の値しかとらない可測関数）の列 $(s_n)$ で $|s_n| \le |f|$ かつ各点 $s_n \to f$ となるものが取れます。このとき $|f - s_n|^p \le (|f|+|s_n|)^p \le 2^p|f|^p \in \mathcal{L}^1$ が優関数になるので、優収束定理から $\|f - s_n\|_p \to 0$ です。さらに $s_n \in L^p$ かつ単関数なので、$s_n$ に現れる集合 $A$ は $\mu(A) < \infty$ を満たします。つまり測度有限な集合の指示関数の有限線形結合の全体は $L^p(\mu)$ で稠密です。

$X = \mathbb{R}^d$ でルベーグ測度の場合には、さらに進んでコンパクト台を持つ連続関数の全体 $C_c(\mathbb{R}^d)$ が $L^p(\mathbb{R}^d)$ で稠密（$1\le p < \infty$）であることが 命題 7.2 で示せます。ここから $L^p(\mathbb{R}^d)$ が可分（可算稠密部分集合を持つ）であることが従います：有理数係数・有理端点の階段関数の全体が可算稠密集合になるからです。

$p=\infty$ ではこれらはすべて成り立ちません。$C_c(\mathbb{R})$ の $L^\infty$ における閉包は「無限遠で $0$ に収束する連続関数」の全体であり、$\chi_{[0,1]}$ はそこに入りません。また $t \in [0,1]$ に対する $\chi_{[0,t]}$ たちは $s \ne t$ のとき $\|\chi_{[0,s]}-\chi_{[0,t]}\|_\infty = 1$ を満たすので、非可算個の元が互いに距離 $1$ 離れており、$L^\infty([0,1])$ は可分ではありません。

命題 7.2（$C_c$ は $L^p$ で稠密）✓

$1 \le p < \infty$、$m_d$ を $\mathbb{R}^d$ のボレル集合族上のルベーグ測度とする。$\mathbb{K}$ 値のコンパクト台連続関数の全体 $C_c(\mathbb{R}^d)$ は $L^p(\mathbb{R}^d, m_d)$ で稠密である。すなわち、$f \in L^p$ と $\varepsilon > 0$ に対し、$g \in C_c(\mathbb{R}^d)$ で $\|f - g\|_p < \varepsilon$ となるものが存在する。

証明（命題 7.2）

連続関数はボレル可測で、台がコンパクトなら有界かつ有界集合の外で $0$ なので $C_c \subset L^p$ です。

第 1 段：測度有限な集合の指示関数の有限線形結合は稠密。 $f$ が実数値なら 定理 3.7［ルベーグ積分の定義と収束定理］ で $|s_n| \le |f|$、$s_n \to f$ の単関数列を取ります。複素数値なら実部・虚部のそれぞれに適用して和を取れば、同じく $|s_n| \le 2|f|$ と $s_n \to f$ が得られます。いずれにせよ $|f - s_n|^p \le (3|f|)^p \in \mathcal{L}^1$ なので、優収束定理から $\|f - s_n\|_p \to 0$ です。$s_n \in L^p$ より、$s_n$ の各値 $c \ne 0$ に対する集合 $\{s_n = c\}$ は測度有限です（$|c|^p\, m_d(\{s_n = c\}) \le \|s_n\|_p^p < \infty$）。

第 2 段：測度有限なボレル集合の指示関数は $C_c$ で近似できる。 $E$ をボレル集合で $m_d(E) < \infty$ とし、$\delta > 0$ に対し $\varepsilon = \delta^p$ と置きます。ルベーグ測度 $m_d$ は $\mathbb{R}^d$ 上の Radon 測度です（命題 5.4［Radon 測度と Riesz–Markov–角谷の表現定理］）。外正則性（定義 3.1［Radon 測度と Riesz–Markov–角谷の表現定理］）から開集合 $U \supset E$ で $m_d(U) < m_d(E) + \varepsilon/2$ となるものが取れます。また $E$ は測度有限なので、命題 5.1［Radon 測度と Riesz–Markov–角谷の表現定理］ によりコンパクト集合 $K \subset E$ で $m_d(K) > m_d(E) - \varepsilon/2$ となるものが取れます。$K \subset U$ なので、Urysohn の補題（定理 4.1［局所コンパクト空間］）で $0 \le \varphi \le 1$、$K$ 上で $\varphi = 1$、台がコンパクトで $U$ に含まれる連続関数 $\varphi \in C_c(\mathbb{R}^d)$ が取れます。$\chi_E$ と $\varphi$ は $K$ 上で一致して（ともに $1$）、$U$ の外では一致して（ともに $0$）、その間では $|\chi_E - \varphi| \le 1$ です。したがって $|\chi_E - \varphi| \le \chi_{U \setminus K}$ であり、

$$\|\chi_E - \varphi\|_p^p \le m_d(U \setminus K) = m_d(U) - m_d(K) < \varepsilon = \delta^p$$

（$K \subset U$ で $m_d(U) < \infty$ だから引き算ができます）。よって $\|\chi_E - \varphi\|_p < \delta$ です。

第 3 段：結合。 第 1 段の $s = \sum_{i=1}^{N} c_i \chi_{E_i}$（$m_d(E_i) < \infty$、$c_i \ne 0$）で $\|f - s\|_p < \varepsilon/2$ となるものを取ります。第 2 段を各 $E_i$ に $\delta_i = \varepsilon/(2N|c_i|)$ で適用して $\varphi_i \in C_c$ を取り、$g = \sum_i c_i \varphi_i \in C_c$ とします。ミンコフスキーの不等式（定理 4.5）から

$$\|f - g\|_p \le \|f - s\|_p + \sum_{i=1}^{N} |c_i|\,\|\chi_{E_i} - \varphi_i\|_p < \frac{\varepsilon}{2} + N \cdot \frac{\varepsilon}{2N} = \varepsilon .$$∎

注意 7.3（完備化したルベーグ測度のとき）

ルベーグ可測集合まで含めた完備化の上で $L^p$ を考えても、可測関数はボレル可測関数と a.e. で等しく（$\mathbb{R}$ の場合は 補題 6.7［可測集合とルベーグ測度］、$\mathbb{R}^d$ でも同じ証明が通ります）、$L^p$ の元としては同じものなので、結論は変わりません。

7.2. 双対空間と弱収束

注意 7.4（ヘルダーの不等式が語る双対性）

$1\le p\le\infty$、$q$ をその共役指数とします。$g \in L^q(\mu)$ を固定すると、写像

$$\Lambda_g \colon L^p(\mu) \to \mathbb{K}, \qquad \Lambda_g(f) := \int_X fg \, d\mu$$

は線形であり、定理 4.2 より $|\Lambda_g(f)| \le \|g\|_q\|f\|_p$ なので有界線形汎関数、すなわち連続な線形写像です。しかも作用素ノルムは $\|\Lambda_g\| \le \|g\|_q$ を満たします。実は（$\mu$ が $\sigma$-有限で $1\le q\le\infty$ のとき）等号 $\|\Lambda_g\| = \|g\|_q$ が成り立ち、$g \mapsto \Lambda_g$ は等長線形写像になります。

さらに強く、$1 \le p < \infty$ で $\mu$ が $\sigma$-有限ならば、$L^p(\mu)$ の連続双対空間 $(L^p)^*$ の任意の元がある $g \in L^q(\mu)$ によって $\Lambda_g$ の形に表されます（$L^p$ の双対性定理、$p=2$ の場合はリースの表現定理）。証明にはラドン–ニコディムの定理が必要なので本章では扱いません。本章末の参考文献に挙げた Rudin と Folland を参照してください。

$p = \infty$ では対応が崩れます。$(L^\infty)^*$ は $L^1$ より真に大きく、有限加法的測度によって記述されます。この非対称性が、$L^1$ と $L^\infty$ が扱いにくい理由の 1 つです。

双対性があると、ノルム収束より弱い収束の概念が使えます。$f_n \to f$ が弱収束するとは、すべての $g \in L^q$ について $\int f_n g \to \int fg$ となることです。たとえば $L^2([-\pi,\pi])$ で $u_n(x) := \sin(nx)$ を考えると、$\|u_n\|_2 = \sqrt{\pi}$ は $0$ に収束しませんが、リーマン–ルベーグの補題により任意の $g \in L^2$ に対して $\int_{-\pi}^{\pi} u_n g \, dx \to 0$ となり、$u_n \to 0$ が弱収束します。ノルムが落ちないのに「弱く消える」この現象は、振動が細かくなって平均が打ち消し合うことを表しています。

7.3. 完備性がもたらすもの

$L^p$ がバナッハ空間であるという事実は、単に極限が取れるという以上の意味を持ちます。完備距離空間ではベールのカテゴリー定理が使え、そこから関数解析の三大定理——一様有界性原理、開写像定理、閉グラフ定理——が導かれます。これらはいずれも「完備性がなければ偽」の定理です。また、バナッハの不動点定理を $L^p$ 上の写像に適用することで、微分方程式や積分方程式の解の存在と一意性が得られます。

$p$ ごとの性質を整理すると次のようになります（可分性は $\mathbb{R}^d$ 上のルベーグ測度の場合）。

$p$	双対空間	回帰的	可分	ヒルベルト空間
$p=1$	$L^\infty$	いいえ	はい	いいえ
$1 < p < \infty$, $p \ne 2$	$L^q$	はい	はい	いいえ
$p = 2$	$L^2$	はい	はい	はい
$p=\infty$	$L^1$ より真に大きい	いいえ	いいえ	いいえ

表の「回帰的」とは、双対空間の双対空間がもとの空間とちょうど同じものとみなせる、という性質のことです。この表の「$p=2$ の行だけ全部そろっている」という事実が、$L^2$ が解析学のあらゆる場所に現れる理由です。フーリエ変換が $L^2(\mathbb{R}^d)$ 上のユニタリ作用素になること（プランシュレルの定理）、偏微分方程式の弱解がソボレフ空間（$L^2$ 系の空間）で構成されること、量子力学の状態が $L^2$ の単位ベクトルであること、確率論の条件付き期待値が $L^2$ の直交射影であること——どれも 定理 6.2 の帰結です。

一方で $p \ne 2$ の $L^p$ も不可欠です。特異積分作用素の有界性、ソボレフの埋め込み定理、調和解析の補間定理などは、$p$ を動かして初めて意味を持ちます。$L^p$ の族は、解析学における「解像度のつまみ」なのです。

8. 演習

演習 8.1易

$\mathbb{R}$ 上のルベーグ測度を考える。

1. $L^1(\mathbb{R}) \not\subseteq L^2(\mathbb{R})$ かつ $L^2(\mathbb{R})\not\subseteq L^1(\mathbb{R})$ を、具体的な関数を挙げて示せ。
2. $1 \le p \le \infty$ に対して $L^1(\mathbb{R}) \cap L^\infty(\mathbb{R}) \subseteq L^p(\mathbb{R})$ を示せ。

解答

1. $f(x) := x^{-1/2}\chi_{(0,1)}(x)$ と置きます。例 3.6 の (1) で $\alpha=1/2$ とすると、$f \in L^p((0,1))$ となるのは $p < 1/\alpha = 2$ のときです。よって $f \in L^1$ かつ $f \notin L^2$。念のため直接計算すると $\int_0^1 x^{-1/2}dx = [2x^{1/2}]_0^1 = 2 < \infty$、$\int_0^1 x^{-1}dx = +\infty$ です。

$g(x) := x^{-1}\chi_{(1,\infty)}(x)$ と置きます。例 3.6 の (2) で $\alpha=1$ とすると $g \in L^p((1,\infty))$ となるのは $p > 1$ のときです。よって $g \in L^2$ かつ $g \notin L^1$。直接には $\int_1^\infty x^{-2}dx = 1 < \infty$、$\int_1^\infty x^{-1}dx = +\infty$ です。

2. $f \in L^1 \cap L^\infty$ とします。$p = 1, \infty$ のときは仮定そのものです。$1 < p < \infty$ のとき、$|f| \le \|f\|_\infty$ が a.e. で成り立つので $|f|^{p-1} \le \|f\|_\infty^{p-1}$ が a.e. で成り立ち、

$$\int_{\mathbb{R}} |f|^p \, d\mu = \int_{\mathbb{R}} |f|^{p-1}|f| \, d\mu \le \|f\|_\infty^{p-1}\int_{\mathbb{R}}|f|\,d\mu = \|f\|_\infty^{p-1}\|f\|_1 < \infty$$

となります。よって $f \in L^p$ であり、さらに $\|f\|_p \le \|f\|_\infty^{1-1/p}\|f\|_1^{1/p}$ という定量的評価も得られます。

演習 8.2標準

$(X,\mathcal{M},\mu)$ を測度空間、$1 \le p < \infty$ とする。

1. $f_n \to f$ が $L^p(\mu)$ で成り立つならば、任意の $\varepsilon>0$ に対して $\mu(\{x : |f_n(x)-f(x)| > \varepsilon\}) \to 0$（測度収束）となることを示せ。
2. 逆は成り立たないことを、$X=(0,1)$ 上の具体例で示せ。

解答

1. $E_n^\varepsilon := \{x : |f_n(x)-f(x)|>\varepsilon\}$ と置きます。この集合の上では $|f_n-f|^p > \varepsilon^p$ なので、積分の単調性から

$$\|f_n - f\|_p^p = \int_X |f_n-f|^p\,d\mu \ \ge \ \int_{E_n^\varepsilon} |f_n-f|^p \, d\mu \ \ge \ \varepsilon^p \mu(E_n^\varepsilon)$$

すなわち $\mu(E_n^\varepsilon) \le \varepsilon^{-p}\|f_n-f\|_p^p$ です（チェビシェフの不等式。補題 3.3 (1) と同じ評価です）。仮定より右辺は $n\to\infty$ で $0$ に収束するので、$\mu(E_n^\varepsilon)\to0$ が従います。

2. $X=(0,1)$、$\mu$ をルベーグ測度、$f_n := n\,\chi_{(0,1/n)}$、$f := 0$ とします。$\varepsilon > 0$ に対し $n > \varepsilon$ ならば $\{|f_n| > \varepsilon\} = (0,1/n)$ なので $\mu(\{|f_n|>\varepsilon\}) = 1/n \to 0$ となり、$f_n$ は $0$ に測度収束します。しかし

$$\|f_n - 0\|_p^p = \int_0^{1/n} n^p \, dx = n^p \cdot \frac1n = n^{p-1}$$

であり、$p = 1$ なら $\|f_n\|_1 = 1 \not\to 0$、$p>1$ なら $\|f_n\|_p = n^{(p-1)/p} \to \infty$ です。いずれにせよ $L^p$ 収束しません。質量が「細く高く」逃げる典型例で、優収束定理の優関数の仮定が外せないことも同時に示しています。

演習 8.3標準

$(X,\mathcal{M},\mu)$ を測度空間、$1 \le p < r < q \le \infty$ とし、$\theta \in (0,1)$ を

$$\frac{1}{r} = \frac{\theta}{p} + \frac{1-\theta}{q}$$

で定める。$f \in L^p(\mu)\cap L^q(\mu)$ ならば $f \in L^r(\mu)$ であり

$$\|f\|_r \ \le \ \|f\|_p^{\,\theta}\,\|f\|_q^{\,1-\theta}$$

が成り立つことを示せ（補間不等式）。

解答

$q < \infty$ の場合。 $|f|^r = |f|^{\theta r}\cdot |f|^{(1-\theta)r}$ と分解し、指数

$$s := \frac{p}{\theta r}, \qquad s' := \frac{q}{(1-\theta)r}$$

を考えます。これらが共役であることを確認します：

$$\frac{1}{s} + \frac{1}{s'} = \frac{\theta r}{p} + \frac{(1-\theta)r}{q} = r\left( \frac{\theta}{p} + \frac{1-\theta}{q} \right) = r \cdot \frac1r = 1 .$$

また $s > 1$ です（$1/s = \theta r/p < 1$ は $\theta/p < 1/r$ から従い、これは $\theta/p = 1/r - (1-\theta)/q < 1/r$ による）。よって 定理 4.2 が指数 $(s,s')$ で使えて

$$\int_X |f|^r d\mu = \int_X |f|^{\theta r}\,|f|^{(1-\theta)r}\,d\mu \le \left( \int_X |f|^{\theta r s} d\mu\right)^{1/s}\left( \int_X |f|^{(1-\theta)rs'}d\mu \right)^{1/s'} .$$

ここで $\theta r s = p$、$(1-\theta)rs' = q$、$1/s = \theta r/p$、$1/s' = (1-\theta)r/q$ ですから右辺は

$$\left( \int_X |f|^p \right)^{\theta r/p}\left( \int_X |f|^q \right)^{(1-\theta)r/q} = \|f\|_p^{\,\theta r}\,\|f\|_q^{\,(1-\theta)r}$$

となります。両辺は有限なので $f\in L^r$ であり、$1/r$ 乗して $\|f\|_r \le \|f\|_p^\theta\|f\|_q^{1-\theta}$ を得ます。

$q=\infty$ の場合。 条件は $1/r = \theta/p$、すなわち $\theta = p/r$、$1-\theta = (r-p)/r$ です。$|f| \le \|f\|_\infty$ a.e. より

$$\int_X |f|^r d\mu = \int_X |f|^{r-p}|f|^p \, d\mu \le \|f\|_\infty^{\,r-p}\int_X |f|^p d\mu = \|f\|_\infty^{\,r-p}\|f\|_p^{\,p}$$

であり、$1/r$ 乗すると $\|f\|_r \le \|f\|_\infty^{(r-p)/r}\|f\|_p^{p/r} = \|f\|_p^\theta \|f\|_\infty^{1-\theta}$ を得ます。

演習 8.4難

$X=[0,1]$、$\mu$ をルベーグ測度とする。$1 \le p \le \infty$、$p \ne 2$ のとき、ノルム $\|\cdot\|_p$ は中線定理

$$\|f+g\|_p^2 + \|f-g\|_p^2 = 2\|f\|_p^2 + 2\|g\|_p^2$$

を満たさないことを示し、$L^p([0,1])$ が（$p\ne2$ のとき）どんな内積からも誘導されないノルム空間であること、すなわちヒルベルト空間でないことを結論せよ。

解答

$f := \chi_{[0,1/2]}$、$g := \chi_{(1/2,1]}$ と置きます。この 2 つは台が交わりません。

$1 \le p < \infty$ のとき。 $\|f\|_p^p = \int_0^{1/2}1\,dx = \tfrac12$ なので $\|f\|_p = 2^{-1/p}$、同様に $\|g\|_p = 2^{-1/p}$ です。また $f+g = \chi_{[0,1]}$、$f - g = \chi_{[0,1/2]} - \chi_{(1/2,1]}$ で $|f-g| = \chi_{[0,1]}$ なので

$$\|f+g\|_p = \|f-g\|_p = \left(\int_0^1 1\,dx\right)^{1/p} = 1 .$$

中線定理の左辺は $1 + 1 = 2$、右辺は $2\cdot 2^{-2/p} + 2\cdot 2^{-2/p} = 4\cdot 2^{-2/p} = 2^{2 - 2/p}$ です。等号 $2 = 2^{2-2/p}$ は指数を比べて $1 = 2 - 2/p$、すなわち $p = 2$ と同値です。よって $p \ne 2$ のときは中線定理が破れます。

$p=\infty$ のとき。 $\|f\|_\infty = \|g\|_\infty = \|f+g\|_\infty = \|f-g\|_\infty = 1$ なので、左辺は $2$、右辺は $4$ で一致しません。

結論。 定義 6.1 の直後で述べたとおり、内積 $\langle\cdot,\cdot\rangle$ から $\|u\| = \sqrt{\langle u,u\rangle}$ として誘導されるノルムは必ず中線定理を満たします。$L^p([0,1])$（$p\ne2$）のノルムはそれを満たさないので、$\|\cdot\|_p$ を誘導する内積は存在しません。定理 5.3 よりこの空間はバナッハ空間ですが、ヒルベルト空間ではありません。

なお、この議論は「台が交わらない 2 つの関数」を使っただけなので、$[0,1]$ を測度が正の 2 つの互いに素な可測集合に分けられる任意の測度空間で通用します。

参考文献

本章で証明を省略した事項の所在。 $L^p$ の双対性定理（$1\le p < \infty$ で $(L^p)^* \cong L^q$）、三角関数系の完全性、ヨルダン–フォン・ノイマンの定理は、下記の文献で扱われています。特に Rudin と Folland は $L^p$ 空間を独立の章として扱っており、本章の続きを読むのに適しています。

• 伊藤清三『ルベーグ積分入門』裳華房、1963 — $L^p$ 空間とヒルベルト空間を扱う章。
• 猪狩惺『実解析入門』岩波書店、1996 — $L^p$ 空間、双対性、フーリエ解析への応用。
• W. Rudin, Real and Complex Analysis, 3rd ed., McGraw–Hill, 1987 — Chapter 3 “$L^p$-Spaces”, Chapter 4 “Elementary Hilbert Space Theory”.
• G. B. Folland, Real Analysis: Modern Techniques and Their Applications, 2nd ed., Wiley, 1999 — Chapter 6 ”$L^p$ Spaces”.
• E. M. Stein and R. Shakarchi, Real Analysis: Measure Theory, Integration, and Hilbert Spaces, Princeton University Press, 2005 — Chapter 4 (Hilbert Spaces).
• H. Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equations, Springer, 2011 — Chapter 4 (”$L^p$ Spaces”) 以降。

Appendix: $0 < p < 1$ では何が壊れるか

三角不等式が逆向きになります。 $0 < p < 1$ に対しても $\|f\|_p := (\int_X|f|^p d\mu)^{1/p}$ という量は定義できますが、これはノルムではありません。$X=[0,1]$、$f = \chi_{[0,1/2]}$、$g = \chi_{(1/2,1]}$ とすると 演習 8.4 と同じ計算で $\|f\|_p = \|g\|_p = 2^{-1/p}$、$\|f+g\|_p = 1$ です。$0 < p < 1$ より $1/p > 1$ なので

$$\|f\|_p + \|g\|_p = 2\cdot 2^{-1/p} = 2^{\,1-1/p} < 2^0 = 1 = \|f+g\|_p$$

となり、三角不等式が破れます。実は $f, g \ge 0$ のときには常に $\|f+g\|_p \ge \|f\|_p + \|g\|_p$（逆ミンコフスキー不等式）が成り立ちます。

距離は入りますが、ノルムは入りません。 $0 < p < 1$ のとき、実数 $a,b\ge0$ に対して $(a+b)^p \le a^p + b^p$ が成り立ちます（$t \mapsto (1+t)^p - 1 - t^p$ が $t=0$ で $0$、$t>0$ で微分 $p((1+t)^{p-1}-t^{p-1}) \le 0$ となるため）。これを使うと

$$d(f,g) := \int_X |f-g|^p \, d\mu$$

が三角不等式を満たす距離になり、$L^p(\mu)$（$0 < p < 1$）はこの距離に関して完備な距離線形空間になります。定理 5.3 の証明 (A) と同じ道具立てで示せます。

しかし双対空間が消えます。 $0 < p < 1$ のとき $L^p([0,1])$ の開凸集合は空集合と全体しかなく（局所凸でない）、その結果、連続線形汎関数はゼロ写像しかありません。$(L^p)^* = \{0\}$ です。注意 7.4 のような双対性の議論がまったく使えないため、$0 < p < 1$ の $L^p$ は関数解析の主流からは外れた対象になっています。$p \ge 1$ という仮定が、単に不等式の都合ではなく理論全体の成立条件であることがわかります。