Cauchy–Schwarz tengsizligi

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 $𝐮$ va $𝐯$ vektorlar uchunAndoza:NumBlktengsizlikning o'rinli ekanligini ta'kidlaydi, bu yerda $⟨\cdot ,\cdot ⟩$ 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 $𝐮$ vektorning vektor normasi quyidagicha belgilanadi va aniqlanadi:$$\Vert 𝐮\Vert :=\sqrt{⟨𝐮,𝐮⟩}.$$Bu norma va ichki ko'paytma $\Vert 𝐮{\Vert }^2=⟨𝐮,𝐮⟩$ aniqlovchi shart bilan o'zaro bog'langan bo'lib, bu yerda $⟨𝐮,𝐮⟩$ 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:Andoza:NumBlkBundan tashqari, tengsizlikning ikkala tomoni faqat va faqat $𝐮$ va $𝐯$ lar bir-biriga chiziqli bog'liq bo'lsagina bir-biriga teng bo'ladi.

Dalillar

Ixtiyoriy vektor fazolar uchun

Isbot 1

Andoza:Collapse top Let $V=\Vert 𝐯{\Vert }^2$ and $c=⟨𝐮,𝐯⟩$ so that $\bar{c}c=|c{|}^2=|⟨𝐮,𝐯⟩{|}^2$ and $\bar{c}=\overline{⟨𝐮,𝐯⟩}=⟨𝐯,𝐮⟩.$ Then $$\begin{array}{cccc}{\Vert \Vert 𝐯{\Vert }^2𝐮-⟨𝐮,𝐯⟩𝐯\Vert }^2& =\Vert V𝐮-c𝐯{\Vert }^2=⟨V𝐮-c𝐯,V𝐮-c𝐯⟩& & \text{ By definition of the norm }\\ & =⟨V𝐮,V𝐮⟩-⟨V𝐮,c𝐯⟩-⟨c𝐯,V𝐮⟩+⟨c𝐯,c𝐯⟩& & \text{ Expand }\\ & =V^2⟨𝐮,𝐮⟩-V\bar{c}⟨𝐮,𝐯⟩-cV⟨𝐯,𝐮⟩+c\bar{c}⟨𝐯,𝐯⟩& & \text{ Pull out scalars (note that }V:=\Vert 𝐯{\Vert }^2\text{ is real) }\\ & =V^2\Vert 𝐮{\Vert }^2-V\bar{c}c-cV\bar{c}+c\bar{c}V& & \text{ Use definitions of }c:=⟨𝐮,𝐯⟩\text{ and }V\\ & =V^2\Vert 𝐮{\Vert }^2-V\bar{c}c=V[V\Vert 𝐮{\Vert }^2-\bar{c}c]& & \text{ Simplify }\\ & =\Vert 𝐯{\Vert }^2[\Vert 𝐮{\Vert }^2\Vert 𝐯{\Vert }^2-{|⟨𝐮,𝐯⟩|}^2]& & \text{ Rewrite in terms of }𝐮\text{ and }𝐯.◼\\ \end{array}$$

This expansion does not require $𝐯$ to be non-zero; however, $𝐯$ must be non-zero in order to divide both sides by $\Vert 𝐯{\Vert }^2$ and to deduce the Cauchy-Schwarz inequality from it. Swapping $𝐮$ and $𝐯$ gives rise to: $${\Vert \Vert 𝐮{\Vert }^2𝐯-\overline{⟨𝐮,𝐯⟩}𝐮\Vert }^2=\Vert 𝐮{\Vert }^2[\Vert 𝐮{\Vert }^2\Vert 𝐯{\Vert }^2-|⟨𝐮,𝐯⟩{|}^2]$$ and thus $$\begin{array}{cc}\Vert 𝐮{\Vert }^2\Vert 𝐯{\Vert }^2[\Vert 𝐮{\Vert }^2\Vert 𝐯{\Vert }^2-{|⟨𝐮,𝐯⟩|}^2]& =\Vert 𝐮{\Vert }^2{\Vert \Vert 𝐯{\Vert }^2𝐮-⟨𝐮,𝐯⟩𝐯\Vert }^2\\ & =\Vert 𝐯{\Vert }^2{\Vert \Vert 𝐮{\Vert }^2𝐯-\overline{⟨𝐮,𝐯⟩}𝐮\Vert }^2.\\ \end{array}$$ Andoza:Collapse bottom

Manbalar

• Andoza:Citation
• Andoza:Citation
• Andoza:Citation
• Andoza:Citation
• Andoza:Citation
• Andoza:Halmos A Hilbert Space Problem Book 1982
• Andoza:Citation.
• Andoza:Citation
• Andoza:Citation.
• Andoza:Citation
• Andoza:Springer
• Andoza:Citation