Cauchy-Bunyakovsky-Schwarz Inequality

From ProofWiki
Jump to navigation Jump to search

Semi-Inner Product Spaces

Let $\mathbb K$ be a subfield of $\C$.

Let $V$ be a semi-inner product space over $\mathbb K$.

Let $x, y$ be vectors in $V$.


$\left\vert{\left \langle {x, y} \right \rangle}\right\vert^2 \le \left \langle {x, x} \right \rangle \left \langle {y, y} \right \rangle$

Lebesgue $2$-Space

Let $\left({X, \Sigma, \mu}\right)$ be a measure space.

Let $f, g: X \to \R$ be $\mu$-square integrable functions, i.e. $f, g \in \mathcal{L}^2 \left({\mu}\right)$, Lebesgue $2$-space.


$\displaystyle \int \left\vert{f g}\right\vert \, \mathrm d \mu \le \left\Vert{f}\right\Vert_2^2 \cdot \left\Vert{g}\right\Vert_2^2$

where $\left\Vert{\cdot}\right\Vert_2$ is the $2$-norm.

Cauchy's Inequality

The special case of the Cauchy-Bunyakovsky-Schwarz Inequality in a Euclidean space is called Cauchy's Inequality.

It was Cauchy who first published this result in $1821$.

It is usually stated as:

$\displaystyle \sum {r_i^2} \sum {s_i^2} \ge \left({\sum {r_i s_i}}\right)^2$

Complex Numbers

$\displaystyle \paren {\sum \cmod {w_i}^2} \paren {\sum \cmod {z_i}^2} \ge \cmod {\sum w_i z_i}^2$

where all of $w_i, z_i \in \C$.

Definite Integrals

Let $f$ and $g$ be real functions which are continuous on the closed interval $\closedint a b$.


$\displaystyle \paren {\int_a^b \map f t \, \map g t \rd t}^2 \le \int_a^b \paren {\map f t}^2 \rd t \int_a^b \paren {\map g t}^2 \rd t$

Also known as

This theorem is also known as the Cauchy-Schwarz inequality or just the Schwarz inequality.

Source of Name

This entry was named for Augustin Louis CauchyKarl Hermann Amandus Schwarz and Viktor Yakovlevich Bunyakovsky.