内積空間とコーシー・シュワルツの不等式
定理1
$(H, \langle \cdot ,\cdot \rangle)$を内積空間としよう。すると、以下の不等式が成り立ち、これをコーシー・シュワルツの不等式Cauchy-Schwarz inequalityという。
$$ \left| \langle x,y \rangle \right| \le \langle x,x \rangle^{1/2} \langle y,y \rangle ^{1/2},\quad \forall x,y \in H $$
説明
内積からノルムを定義できるので、次の式で表すこともできる。
$$ \left| \left\langle x, y \right\rangle \right| \le \left\| x \right\| \left\| y \right\|,\quad \forall x,y\in H $$
証明
ケース 1. $x=0$ あるいは $y=0$
一般性を失わずに$x=0$としよう。すると、内積の定義により
$$ \left| \langle 0,y \rangle \right| = \left| \langle 0x,y \rangle \right| =0\left| \langle x,y\rangle \right|=0 $$
よって成立する。
ケース 2. $x\ne0$, $y\ne0$で、$\langle x,y \rangle \in \mathbb{R}$の場合
内積の定義により
$$ \begin{align*} 0 \le& \left\langle x-\frac{\langle x,y \rangle}{\langle y,y \rangle} y, x-\frac{\langle x,y \rangle}{\langle y,y \rangle} y \right\rangle \\ =&\ \langle x,x \rangle - \frac{\langle x,y \rangle}{\langle y,y \rangle} \langle x,y \rangle -\frac{\langle x,y \rangle}{\langle y,y \rangle} \langle y,x \rangle +\frac{\langle x,y \rangle^{2}}{\langle y,y \rangle^{2}}\langle y,y \rangle \end{align*} $$
この時、$\langle x,y \rangle \in \mathbb{R}$なので、$\langle x,y\rangle=\overline{\langle y,x \rangle}=\langle y,x \rangle$である。したがって
$$ \begin{align*} 0 \le& \langle x,x \rangle - 2\frac{\langle x,y \rangle}{\langle y,y \rangle} \langle x,y \rangle +\frac{\langle x,y \rangle^{2}}{\langle y,y \rangle^{2}}\langle y,y \rangle \\ =&\ \langle x,x \rangle - 2\frac{\langle x,y \rangle^{2}}{\langle y,y \rangle} +\frac{\langle x,y \rangle^{2}}{\langle y,y \rangle} \\ =&\ \langle x,x \rangle - \frac{\langle x,y \rangle^{2}}{\langle y,y \rangle} \end{align*} $$
この時、$\langle y,y \rangle >0$なので、両辺にかければ
$$ \begin{align*} && 0 \le& \langle x,x \rangle \langle y,y \rangle - \langle x,y \rangle ^{2} \\ \implies && \langle x,y \rangle ^{2} \le& \langle x,x \rangle \langle y,y \rangle \\ \implies && \left| \langle x,y \rangle \right| \le& \langle x,x \rangle ^{1/2} \langle y,y \rangle ^{1/2} \end{align*} $$
ケース 3. $x\ne0$, $y\ne 0$で、$\langle x,y\rangle \in \mathbb{C}$の場合
$\left| \lambda \right| =1$で、$\lambda \langle x,y \rangle\in [0,\infty)$を満たす$\lambda \in \mathbb{C}$を一つ選ぼう。すると
$$ \left| \langle x,y \rangle \right| =\left| \lambda \right| \left| \langle x,y \rangle \right|=\left| \lambda \langle x,y \rangle \right|= \lambda\langle x,y \rangle =\langle \lambda x,y \rangle $$
よって、ケース 2により
$$ \begin{align*} \left| \langle x,y \rangle \right| =&\ \langle \lambda x,y \rangle \\ \le& \langle \lambda x, \lambda x \rangle ^{1/2} \langle y,y \rangle ^{1/2} \\ =&\ \langle x,x\rangle^{1/2}\langle y,y\rangle ^{1/2} \end{align*} $$
■
Ole Christensen, Functions, Spaces, and Expansions: Mathematical Tools in Physics and Engineering (2010), p62-23 ↩︎