Нерівність Коші — Буняковського

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Нерівність Коші—Буняковського (Коші-Шварца; англ. Cauchy–Schwarz inequality, англ. Cauchy–Schwarz–Bunyakovsky inequality) — нерівність, що зв'язує норму та скалярний добуток векторів векторного простору.

Еквівалентно нерівності трикутника для норми в просторі зі скалярним добутком.

Знаходить застосування в лінійній алгебрі для векторів, в математичному аналізі для нескінченних рядів та інтегрування добутків та в теорії ймовірностей при застосуванні до варіації та коваріації.

Нерівність для сум було опубліковано Оґюстеном Коші (1821) (тому цей випадок називають — Нерівність Коші), а відповідна нерівність для інтегралів була вперше сформульована Віктором Буняковським (1859) та вдруге відкрита Германом Шварцем (1888).

Формулювання[ред.ред. код]

Загальний випадок[ред.ред. код]

Для довільних векторів \ x, \ y із прегільбертового простору виконується наступна нерівність:

|\langle x,y\rangle|^2 \leq \langle x,x\rangle \cdot \langle y,y\rangle,

де  \langle \cdot, \cdot \rangle — операція скалярного добутку, а \ |\cdot|  — модуль числа.

Якщо означити норму, то нерівність можна записати як:

 |\langle x,y\rangle| \leq \|x\| \cdot \|y\|.

Причому рівність виконується лише у випадку коли вектори \ x , \ y лінійно залежні.

Часткові випадки[ред.ред. код]

Лінійний простір \R^n[ред.ред. код]

Скалярний добуток векторів \ x=(x_1,x_2,\ldots x_n) і \ y=(y_1,y_2,\ldots y_n) означимо за формулою

 \langle x,y \rangle=\sum\limits_{i=1}^{n} x_iy_i ,

тоді отримаємо, що для дійсних чисел \ x_1,x_2,\ldots x_n,y_1,y_2, \ldots y_n виконується нерівність

\left(\sum_{i=1}^n x_i y_i\right)^2\leq \left(\sum_{i=1}^n x_i^2\right) \left(\sum_{i=1}^n y_i^2\right).

у заданій формі нерівність Коші-Буняковського часто використовується на математичних олімпіадах.

Лінійний простір \ C[a;b][ред.ред. код]

\ C[a;b] — лінійний простір неперервних на відрізку \ C[a;b] функцій.

Скалярний добуток для функцій \ f(x), g(x)\in C[a;b] означимо через

 \langle f(x),g(x) \rangle=\int\limits_{a}^{b} f(x)g(x)\,dx , то виконуватиметься нерівність

\left|\int\limits_{a}^{b} f(x) g(x)\,dx\right|^2\leq\int\limits_{a}^{b} \left|f(x)\right|^2\,dx \cdot \int\limits_{a}^{b}\left|g(x)\right|^2\,dx.

Доведення[ред.ред. код]

Загальний випадок[ред.ред. код]

Для довільного \lambda\in\R. Розглянемо скалярний квадрат вектора \ x+\lambda y:

0 \le \langle x+\lambda y, x+\lambda y \rangle = \langle x, x \rangle + 2\lambda \langle x, y \rangle+\lambda^2 \langle y, y \rangle

Отримуємо квадратичну нерівність \lambda^2\|y\|^2+2\lambda\langle x,y \rangle + \|x\|^2\ge 0 для всіх \lambda \in \R. Це можливо, тоді і тільки тоді, коли її дискримінант  4\langle x,y \rangle^2 - 4\|x\|^2\|y\|^2 не більший від нуля.

Звідки отримуємо  \langle x,y \rangle\le\|x\| \cdot \|y\|.

Частковий випадок[ред.ред. код]

Лінійний простір \R^n[ред.ред. код]

В лінійному просторі \R^n з введеним скалярним добутком  \langle x,y \rangle=\sum\limits_{i=1}^{n} x_iy_i нерівність Коші-Буняковського можна довести і по іншому, зокрема так

 \sum\limits_{i=1}^n \sum\limits_{j=1}^n \left( x_i y_j - x_j y_i \right)^2 
= \sum_{i=1}^n x_i^2 \sum_{j=1}^n y_j^2 + \sum_{j=1}^n x_j^2 \sum_{i=1}^n y_i^2 
- 2 \sum_{i=1}^n x_i y_i \sum_{j=1}^n x_j y_j

або після зведення однакових доданків

 \frac{1}{2} \sum_{i=1}^n \sum_{j=1}^n \left( x_i y_j - x_j y_i \right)^2 
= \sum_{i=1}^n x_i^2 \sum_{i=1}^n y_i^2 - \left( \sum_{i=1}^n x_i y_i \right)^2 .

Оскільки ліва чатина останньої тотожності завжди є невід'ємною, бо є сумою квадратів, то права також приймає невід'ємні значення, звідки негайно слідує нерівність Коші-Буняковського в лінійному просторі \R^n

 \sum_{i=1}^n x_i^2 \sum_{i=1}^n y_i^2 - \left( \sum_{i=1}^n x_i y_i \right)^2 \geq 0.

Найвідоміші застосування нерівності Коші-Буняковського[ред.ред. код]

Нерівність трикутника[ред.ред. код]


\begin{align}
\|x + y\|^2 & = \langle x + y, x + y \rangle \\
& = \|x\|^2 + \langle x, y \rangle + \langle y, x \rangle + \|y\|^2 \\
& \le \|x\|^2 + 2|\langle x, y \rangle| + \|y\|^2 \\
& \le \|x\|^2 + 2\|x\|\|y\| + \|y\|^2 \\
& = \left(\|x\| + \|y\|\right)^2,
\end{align}

добувши корінь з обидвох частин, отримаємо нерівність трикутника.

Математичні олімпіади[ред.ред. код]

На математичних олімпіадах часто використовують наслідок з нерівності Коші-Буняковського для лінійного простору \R^n:

для додатніх дійсних \ a_1, a_2, \ldots a_n, b_1, b_2 \ldots b_n

 \dfrac{a_1^2}{b_1}+\dfrac{a_2^2}{b_2}+\ldots+\dfrac{a_n^2}{b_n} \ge\dfrac{(a_1+a_2+\ldots+a_n)^2}{b_1+b_2+\ldots+b_n}.

Нерівність негайно слідує з нерівності Коші-Буняковського, якщо покласти  x_i=\sqrt{\dfrac{a_i^2}{b_i}}, \quad y_i=\sqrt{b_i} .

Зокрема дану нерівність можна використати для доведення нерівності Несбіта:

з нерівностей Коші-Буняковського і трьох квадратів отримуємо:

 \dfrac{a^2}{a(b+c)}+\dfrac{b^2}{b(a+c)}+\dfrac{c^2}{c(a+b)}\ge\dfrac{(a+b+c)^2}{2(ab+bc+ac)}\ge\dfrac{3}{2},

з чого негайно слідує нерівність Несбіта.

Джерела[ред.ред. код]

  • Э. Беккенбах, Р. Беллман (1965). Неравенства. Москва: Мир. 
  • В. І. Андрійчук, Б. В. Забавський (2008). Лінійна алгебра. Львів: Видавничий центр ЛНУ імені Івана Франка. ISBN 978-966-613-623-0. 

Дивіться також[ред.ред. код]