Cauchy–Schwarz tengsizligi sahifasining manbasini koʻrish


'''Cauchy–Schwarz''' (o'qilishi: ''Koshi-Shvarz'') tengsizligi (ba'zida '''Cauchy–Bunyakovsky–Schwarz''' (o'qilishi: Koshi-Bunyakovskiy-Shvarz) tengsizligi) matematikadagi eng muhim va keng qo'llaniladigan tengsizliklardan biri sifatida qaraladi.

Yig'indilar uchun tengsizlik [[Augustin-Louis Cauchy]] tomonidan 1821-yilda nashr etilgan. Integrallar uchun mos keladigan tengsizlik Viktor Bunyakovsky tomonidan 1859-yilda va Hermann Schwarz tomonidan 1888-yilda nashr etilgan. Schwarz integral ko'rinishdagi tengsizlikning zamonaviy isbotini keltirgan.

== Tengsizlik bayoni ==
Cauchy-Schwarz tengsizligi barcha ichki ko'paytma aniqlangan fazodagi barcha <math>\mathbf{u}</math> va <math>\mathbf{v}</math> vektorlar uchun{{NumBlk|:|<math>\left|\langle \mathbf{u}, \mathbf{v} \rangle\right|^2 \leq \langle \mathbf{u}, \mathbf{u} \rangle \cdot \langle \mathbf{v}, \mathbf{v} \rangle,</math>|{{EquationRef|Cauchy-Schwarz inequality [written using only the inner product]}}}}tengsizlikning o'rinli ekanligini ta'kidlaydi, bu yerda <math>\langle \cdot, \cdot \rangle</math> ichki ko'paytma hisoblanadi. Ichki ko'paytmalarga misollar haqiqiy va kompleks nuqtali ko'paytmalarni o'z ichiga oladi. Ichki ko'paytma mavzusidagi misollarga qarang. Har bir ichki ko'paytma kanonik yoki keltirilgan norma deb ataladigan normani keltirib chiqaradi, bu yerda <math>\mathbf{u}</math> vektorning vektor normasi quyidagicha belgilanadi va aniqlanadi:<math display="block">
\|\mathbf{u}\| := \sqrt{\langle \mathbf{u}, \mathbf{u} \rangle}.</math>Bu norma va ichki ko'paytma <math>\|\mathbf{u}\|^2 = \langle \mathbf{u}, \mathbf{u} \rangle</math> aniqlovchi shart bilan o'zaro bog'langan bo'lib, bu yerda <math>\langle \mathbf{u}, \mathbf{u} \rangle</math> har doim nomanfiy haqiqiy son bo'ladi (hattoki ichki ko'paytma kompleks qiymatli bo'lsa ham). Yuqoridagi tengsizlikning har ikki tomonining kvadrat ildizini olib, Cauchy-Schwarz tengsizligini uning koʻproq tanish bo'lgan koʻrinishida yozish mumkin:{{NumBlk|:|<math>|\langle \mathbf{u}, \mathbf{v} \rangle| \leq \|\mathbf{u}\|  \|\mathbf{v}\|.</math>|{{EquationRef|Cauchy-Schwarz inequality [written using norm and inner product]}}}}Bundan tashqari, tengsizlikning ikkala tomoni faqat va faqat  <math>\mathbf{u}</math> va <math>\mathbf{v}</math> lar bir-biriga chiziqli bog'liq bo'lsagina bir-biriga teng bo'ladi.

== Maxsus holatlar ==

=== Sedrakyan lemmasi - musbat haqiqiy sonlar ===

=== R <sup>2</sup> - Tekislik ===

=== R <sup>''n''</sup> - ''n'' -o'lchovli Evklid fazosi ===

=== C <sup>''n''</sup> - ''n'' -o'lchovli Kompleks fazo ===

== Qo'llanilishi ==

=== Tahlil ===

=== Geometriya ===

=== Ehtimollar nazariyasi ===

== Dalillar ==

=== Haqiqiy ichki ko'paytmali fazolar uchun ===

==== Nuqtali ko'paytma uchun dalil ====

=== Ixtiyoriy vektor fazolar uchun ===

==== Isbot 1 ====
{{Collapse top|title=Proof of {{EquationRef|Eq. 1}}|left=true}}
Let <math>V = \|\mathbf{v}\|^2</math> and <math>c = \langle \mathbf{u}, \mathbf{v} \rangle</math> so that <math>\overline{c} c = |c|^2 = |\langle \mathbf{u}, \mathbf{v} \rangle|^2</math> and <math>\overline{c} = \overline{\langle \mathbf{u}, \mathbf{v} \rangle} = \langle \mathbf{v}, \mathbf{u} \rangle.</math> 
Then
<math display=block>\begin{alignat}{4}
\left\|\|\mathbf{v}\|^2 \mathbf{u} - \langle \mathbf{u}, \mathbf{v} \rangle \mathbf{v}\right\|^2 
&= \|V \mathbf{u} - c \mathbf{v}\|^2 
= \langle V \mathbf{u} - c \mathbf{v}, V \mathbf{u} - c \mathbf{v} \rangle && ~\text{ By definition of the norm } \\
&= \langle V \mathbf{u}, V \mathbf{u} \rangle
 - \langle V \mathbf{u}, c \mathbf{v} \rangle
 - \langle c \mathbf{v}, V \mathbf{u} \rangle
 + \langle c \mathbf{v}, c \mathbf{v} \rangle && ~\text{ Expand } \\
&= V^2 \langle \mathbf{u}, \mathbf{u} \rangle
 - V \overline{c} \langle \mathbf{u}, \mathbf{v} \rangle
 - c V \langle \mathbf{v}, \mathbf{u} \rangle
 + c \overline{c} \langle \mathbf{v}, \mathbf{v} \rangle && ~\text{ Pull out scalars (note that } V := \|\mathbf{v}\|^2 \text{ is real) } \\
&= V^2\|\mathbf{u}\|^2
 ~~- V \overline{c} c
 ~~~~~~~~~- c V \overline{c}
 ~~~~~~~~~+ c \overline{c} V && ~\text{ Use definitions of } c := \langle \mathbf{u}, \mathbf{v} \rangle \text{ and } V \\
&= V^2\|\mathbf{u}\|^2 ~~- V \overline{c} c 
~=~ V \left[V\|\mathbf{u}\|^2 - \overline{c} c\right] && ~\text{ Simplify } \\
&= \|\mathbf{v}\|^2 \left[\|\mathbf{u}\|^2\|\mathbf{v}\|^2 - \left|\langle \mathbf{u}, \mathbf{v} \rangle\right|^2\right] && ~\text{ Rewrite in terms of } \mathbf{u} \text{ and } \mathbf{v}. \blacksquare \\
\end{alignat}
</math>

This expansion does not require <math>\mathbf{v}</math> to be non-zero; however, <math>\mathbf{v}</math> must be non-zero in order to divide both sides by <math>\|\mathbf{v}\|^2</math> and to deduce the Cauchy-Schwarz inequality from it. 
Swapping <math>\mathbf{u}</math> and <math>\mathbf{v}</math> gives rise to:
<math display=block>\left\|\|\mathbf{u}\|^2 \mathbf{v} - \overline{\langle \mathbf{u}, \mathbf{v} \rangle} \mathbf{u}\right\|^2 = \|\mathbf{u}\|^2 \left[\|\mathbf{u}\|^2\|\mathbf{v}\|^2 - |\langle \mathbf{u}, \mathbf{v} \rangle|^2\right]</math>
and thus
<math display=block>\begin{alignat}{4}
\|\mathbf{u}\|^2\|\mathbf{v}\|^2 \left[\|\mathbf{u}\|^2 \|\mathbf{v}\|^2 - \left|\langle \mathbf{u}, \mathbf{v} \rangle\right|^2\right]
&= \|\mathbf{u}\|^2 \left\|\|\mathbf{v}\|^2 \mathbf{u} - \langle \mathbf{u}, \mathbf{v} \rangle \mathbf{v}\right\|^2 \\
&= \|\mathbf{v}\|^2 \left\|\|\mathbf{u}\|^2 \mathbf{v} - \overline{\langle \mathbf{u}, \mathbf{v} \rangle} \mathbf{u}\right\|^2. \\
\end{alignat}
</math>
{{Collapse bottom}}

==== Isbot 2 ====

== Umumlashtirishlar ==

== Yana qarang ==

== Manbalar ==

== Manbalar ==
{{refbegin}}
* {{citation|first1=J. M.|last1=Aldaz|first2=S.|last2=Barza|first3=M.|last3=Fujii|first4=M. S.|last4=Moslehian|title=Advances in Operator Cauchy—Schwarz inequalities and their reverses|journal=Annals of Functional Analysis|volume=6|year=2015|issue=3|pages=275–295|doi=10.15352/afa/06-3-20|url=http://projecteuclid.org/euclid.afa/1429286046}}
* {{citation|first=Viktor|last=Bunyakovsky|author-link=Viktor Yakovlevich Bunyakovsky|title=Sur quelques inegalités concernant les intégrales aux différences finies|journal=Mem. Acad. Sci. St. Petersbourg|volume=7|issue=1|year=1859|pages=6|url=http://www-stat.wharton.upenn.edu/~steele/Publications/Books/CSMC/bunyakovsky.pdf}}
* {{citation|first=A.-L.|last=Cauchy|title=Sur les formules qui résultent de l'emploie du signe et sur > ou <, et sur les moyennes entre plusieurs quantités|journal=Cours d'Analyse, 1er Partie: Analyse Algébrique 1821; OEuvres Ser.2 III 373-377|year=1821}}
* {{citation|first=S. S.|last=Dragomir|title=A survey on Cauchy–Bunyakovsky–Schwarz type discrete inequalities|journal=Journal of Inequalities in Pure and Applied Mathematics|volume=4|issue=3|year=2003|pages=142 pp|url=http://jipam.vu.edu.au/article.php?sid=301|url-status=dead|archive-url=https://web.archive.org/web/20080720034744/http://jipam.vu.edu.au/article.php?sid=301|archive-date=2008-07-20|access-date=2022-06-19|archivedate=2008-07-20|archiveurl=https://web.archive.org/web/20080720034744/http://jipam.vu.edu.au/article.php?sid=301}}
*{{Citation|last1=Grinshpan|first1=A. Z.|title=General inequalities, consequences, and applications|doi=10.1016/j.aam.2004.05.001|year=2005|journal=Advances in Applied Mathematics|volume=34|issue=1|pages=71–100|doi-access=free}}
* {{Halmos A Hilbert Space Problem Book 1982}} <!-- {{sfn|Halmos|1982|pp=}} -->
* {{citation|first=R. V.|last=Kadison|author-link=Richard V. Kadison|title=A generalized Schwarz inequality and algebraic invariants for operator algebras|journal=Annals of Mathematics|volume=56|year=1952|doi=10.2307/1969657|pages=494–503|jstor=1969657|issue=3}}.
* {{Citation|last=Lohwater|first=Arthur|title=Introduction to Inequalities|publisher=Online e-book in PDF format|url=http://www.mediafire.com/file/1mw1tkgozzu|year=1982}}
* {{citation|first=V.|last=Paulsen|title=Completely Bounded Maps and Operator Algebras|publisher=Cambridge University Press|year=2003}}.
* {{citation|first=H. A.|last=Schwarz|year=1888|pages=318|journal=Acta Societatis Scientiarum Fennicae|volume=XV|title=Über ein Flächen kleinsten Flächeninhalts betreffendes Problem der Variationsrechnung|url=http://www-stat.wharton.upenn.edu/~steele/Publications/Books/CSMC/Schwarz.pdf}}
* {{springer|title=Cauchy inequality|id=C/c020880|first=E. D.|last=Solomentsev}}
* {{citation|url=http://www-stat.wharton.upenn.edu/~steele/Publications/Books/CSMC/CSMC_index.html|first=J. M.|last=Steele|title=The Cauchy–Schwarz Master Class|publisher=Cambridge University Press|year=2004|isbn=0-521-54677-X}}
{{refend}}

== Havolalar ==

[[Turkum:Matematik tahlil]]
[[Turkum:Augustin-Louis Cauchy]]
[[Turkum:Tengsizliklar]]