# Cauchy-Schwarz inequality

Let $V$ be a vector space^{} where an inner product^{} $\u27e8,\u27e9$ has been defined.
Such spaces can be given also a norm by defining

$$\parallel x\parallel =\sqrt{\u27e8x,x\u27e9}.$$ |

Then in such a space the Cauchy-Schwarz inequality holds:

$$|\u27e8v,w\u27e9|\le \parallel v\parallel \parallel w\parallel $$ |

for any $v,w\in V$. That is, the modulus (since it might as well be a complex number^{}) of the inner product for two given vectors is less or equal than the product of their norms. Equality happens if and only if the two vectors are linearly dependent.

A very special case is when $V={\mathbb{R}}^{n}$ and the inner product is the dot product^{} defined as $\u27e8v,w\u27e9={v}^{t}w$ and usually denoted as $v\cdot w$ and the resulting norm is the Euclidean norm^{}.

If $\mathbf{x}=({x}_{1},{x}_{2},\mathrm{\dots},{x}_{n})$ and $\mathbf{y}=({y}_{1},{y}_{2},\mathrm{\dots},{y}_{n})$ the Cauchy-Schwarz inequality becomes

$$|\mathbf{x}\cdot \mathbf{y}|=|{x}_{1}{y}_{1}+{x}_{2}{y}_{2}+\mathrm{\cdots}+{x}_{n}{y}_{n}|\le \sqrt{{x}_{1}^{2}+{x}_{2}^{2}+\mathrm{\cdots}+{x}_{n}^{2}}\sqrt{{y}_{1}^{2}+{y}_{2}^{2}+\mathrm{\cdots}+{y}_{n}^{2}}=\parallel \mathbf{x}\parallel \parallel \mathbf{y}\parallel ,$$ |

which implies

$${({x}_{1}{y}_{1}+{x}_{2}{y}_{2}+\mathrm{\cdots}+{x}_{n}{y}_{n})}^{2}\le \left({x}_{1}^{2}+{x}_{2}^{2}+\mathrm{\cdots}+{x}_{n}^{2}\right)\left({y}_{1}^{2}+{y}_{2}^{2}+\mathrm{\cdots}+{y}_{n}^{2}\right)$$ |

Notice that in this case inequality^{} holds even if the modulus on the middle term (which is a real number) is not used.

Cauchy-Schwarz inequality is also a special case of Hölder inequality. The inequality arises in lot of fields, so it is known under several other names as Bunyakovsky inequality or Kantorovich inequality. Another form that arises often is Cauchy-Schwartz inequality but this is a misspelling since the inequality is named after http://www-groups.dcs.st-and.ac.uk/ history/Mathematicians/Schwarz.htmlHermann Amandus Schwarz (1843–1921).

This inequality is similar to the triangle inequality^{}, talking about products instead of sums:

$\parallel \mathbf{x}+\mathbf{y}\parallel \le \parallel \mathbf{x}\parallel +\parallel \mathbf{y}\parallel $ | $\mathrm{\hspace{1em}\hspace{1em}}\text{triangle inequality}$ | ||

$|\mathbf{x}\cdot \mathbf{y}|\le \parallel \mathbf{x}\parallel \cdot \parallel \mathbf{y}\parallel $ | $\mathrm{\hspace{1em}\hspace{1em}}\text{CS inequality}$ |

Title | Cauchy-Schwarz inequality |

Canonical name | CauchySchwarzInequality |

Date of creation | 2013-03-22 12:14:46 |

Last modified on | 2013-03-22 12:14:46 |

Owner | drini (3) |

Last modified by | drini (3) |

Numerical id | 20 |

Author | drini (3) |

Entry type | Theorem |

Classification | msc 15A63 |

Synonym | Kantorovich inequality |

Synonym | Bunyakovsky inequality |

Synonym | Schwarz inequality |

Synonym | Cauchy inequality |

Synonym | CBS inequality |

Related topic | InnerProduct |

Related topic | InnerProductSpace |

Related topic | DotProduct |

Related topic | NormedVectorSpace |

Related topic | VectorNorm |

Related topic | CauchySchwartzInequality |

Related topic | HolderInequality |

Related topic | CauchySchwarzInequality |

Related topic | VectorPnorm |

Defines | Cauchy-Schwartz inequality |