The Cauchy-Schwarz inequality , also known as the Schwarz inequality or Cauchy-Bunjakowski-Schwarz inequality , is an inequality that is used in many areas of mathematics , e.g. B. in linear algebra ( vectors ), in analysis ( infinite series ), in probability theory and in the integration of products. It also plays an important role in quantum mechanics , such as in the proof of Heisenberg's uncertainty principle .
The inequality is named after the mathematicians Augustin-Louis Cauchy , Hermann Amandus Schwarz and Wiktor Jakowlewitsch Bunjakowski .
The inequality says: If and are elements of a real or complex vector space with an inner product , then the relation
applies to the scalar product or inner product
Equality applies if and only if and are linearly dependent .
Equivalent formulations are obtained using the norm induced by the scalar product :
In the real case, you can do without the amount bars :
Applied to the space with the standard scalar product, we get:
In the case of quadratically integrable complex-valued functions one obtains:
For random variables that can be integrally square one obtains:
These three inequalities are generalized by the Hölder inequality .
On square matrices used are obtained for the track :
In , the statement of the Cauchy-Schwarz inequality can be specified in the form of an equation :
The summand is always non-negative. It is zero if and only if and are linearly dependent.
The inequality is named after Augustin Louis Cauchy , Wiktor Jakowlewitsch Bunjakowski and Hermann Amandus Schwarz . Cauchy found the sum form of the inequality in his analysis algébrique (1821). The integral form of the inequality was first published historically in 1859 by Bunjakowski in a work on inequalities between integrals; Schwarz published his work only in 1884 without reference to the work of Bunjakowski. Corresponding to this development, there is sometimes only the designation as Cauchy inequality for the discrete, finite case and as Bunjakowski inequality or Schwarz's inequality in the integral case.
In a vector space with an inner product, the triangle inequality for the induced norm
can be derived from the Cauchy-Schwarz inequality
and thus show that a norm so defined fulfills the norm axioms .
Another consequence of the Cauchy-Schwarz inequality is that the inner product is a continuous function .
The Cauchy-Schwarz inequality ensures that in the expression
the amount of the fraction is always less than or equal to one, so that it is well-defined and thus the angle can be generalized to any spaces with an inner product.
In physics , the Cauchy-Schwarz inequality is used to derive the Heisenberg uncertainty principle.
Proof of the inequality
If one of the vectors is the zero vector , then the Cauchy-Schwarz inequality is trivially fulfilled. The following evidence is therefore sometimes without notice and provided.
Special case of real standard scalar product
Proof from the inequality of the arithmetic and geometric mean
A proof of the Cauchy-Schwarz inequality can be done, for example, with the help of the inequality of the arithmetic and geometric mean :
Defined for the values
thus the relation results from the inequality of the arithmetic and geometric mean
The Cauchy-Schwarz inequality follows directly from this.
Proof from the rearrangement inequality
Another proof of the Cauchy-Schwarz inequality results from the rearrangement inequality . If you set
as well as
Because of the rearrangement inequality, now
In summary, you get
This results in the Cauchy-Schwarz inequality.
General scalar product
The proofs given above only prove the special case of the Cauchy-Schwarz inequality for the standard scalar product im . However, the proof for the general case of the scalar product in a vector space with inner product is simple.
Under the condition applies . Applies to everyone
If you now choose specifically this results
Taking the square root now gives exactly the Cauchy-Schwarz inequality
The proof in the complex case is similar, but it should be noted that the scalar product in this case is not a bilinear form , but a Hermitian form . The proof is given for the variant linear in the first and semilinear in the second argument; if the reverse variant is chosen, the complex conjugate is to be used at the appropriate points .
Is , the statement is clear. Be . Applies to everyone
Here are the special election results on
Here, semilinearity was assumed in the second argument and linearity in the first argument. In the other case one uses
Generalization for positive semidefinite, symmetric bilinear forms
The proof of the theorem can be reformulated in such a way that the positive definiteness of the scalar product is not used. The statement therefore also applies to every positive, semidefinite, symmetrical bilinear form (or Hermitian sesquilinear form ) .
Proof for the real case
One takes the same approach as in the proof using the scalar product, but here the choice is made
This means that you no longer have to demand that it is not 0. That makes
Similar to the proof above, one concludes
and the assertion is shown when converging to zero. For follows .
Conditions for equality
Here, too, the situation is conceivable that the inequality becomes an equality, for example if (as with the scalar product) are linearly dependent. However, cases are also conceivable where equality occurs without there being a linear dependency. Consider a degenerate bilinear form . Then there is a such that is for all of the vector space . Now let us be arbitrary from the vector space. You then get
also for the case that and are linearly independent.
↑ Cauchy, Augustin-Louis. Analysis algébrique, page 455f
↑ VI Bityutskov: Bunyakovskii inequality . In: Michiel Hazewinkel (Ed.): Encyclopaedia of Mathematics . Springer-Verlag , Berlin 2002, ISBN 978-1-55608-010-4 (English, online ).
↑ Eric W. Weisstein : Schwarz's Inequality . In: MathWorld (English).
- Peter Schreiber: The Cauchy-Bunyakovsky-Schwarz inequality , in: Ders .: Hermann Grassmann, work and effect. International conference on the occasion of the 150th anniversary of the first publication of the "linear expansion theory" , University of Greifswald, 1995, pp. 64–70