logo

内積空間とコーシー・シュワルツの不等式 📂ヒルベルト空間

内積空間とコーシー・シュワルツの不等式

定理1

(H,,)(H, \langle \cdot ,\cdot \rangle)内積空間としよう。すると、以下の不等式が成り立ち、これをコーシー・シュワルツの不等式Cauchy-Schwarz inequalityという。

x,yx,x1/2y,y1/2,x,yH \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

説明

内積からノルムを定義できるので、次の式で表すこともできる。

x,yxy,x,yH \left| \left\langle x, y \right\rangle \right| \le \left\| x \right\| \left\| y \right\|,\quad \forall x,y\in H

証明

  • ケース 1. x=0x=0 あるいは y=0y=0

    一般性を失わずにx=0x=0としよう。すると、内積の定義により

    0,y=0x,y=0x,y=0 \left| \langle 0,y \rangle \right| = \left| \langle 0x,y \rangle \right| =0\left| \langle x,y\rangle \right|=0

    よって成立する。

  • ケース 2. x0x\ne0, y0y\ne0で、x,yR\langle x,y \rangle \in \mathbb{R}の場合

    内積の定義により

    0xx,yy,yy,xx,yy,yy= x,xx,yy,yx,yx,yy,yy,x+x,y2y,y2y,y \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*}

    この時、x,yR\langle x,y \rangle \in \mathbb{R}なので、x,y=y,x=y,x\langle x,y\rangle=\overline{\langle y,x \rangle}=\langle y,x \rangleである。したがって

    0x,x2x,yy,yx,y+x,y2y,y2y,y= x,x2x,y2y,y+x,y2y,y= x,xx,y2y,y \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*}

    この時、y,y>0\langle y,y \rangle >0なので、両辺にかければ

    0x,xy,yx,y2    x,y2x,xy,y    x,yx,x1/2y,y1/2 \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. x0x\ne0, y0y\ne 0で、x,yC\langle x,y\rangle \in \mathbb{C}の場合

    λ=1\left| \lambda \right| =1で、λx,y[0,)\lambda \langle x,y \rangle\in [0,\infty)を満たすλC\lambda \in \mathbb{C}を一つ選ぼう。すると

    x,y=λx,y=λx,y=λx,y=λx,y \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により

    x,y= λx,yλx,λx1/2y,y1/2= x,x1/2y,y1/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*}


  1. Ole Christensen, Functions, Spaces, and Expansions: Mathematical Tools in Physics and Engineering (2010), p62-23 ↩︎