- Неравенство Коши
-
Неравенство Коши́ — Буняко́вского связывает норму и скалярное произведение векторов в евклидовом пространстве. Это неравенство эквивалентно неравенству треугольника для нормы.
Неравенство Коши — Буняковского иногда, особенно в иностранной литературе, называют неравенством Шварца и неравенством Коши — Буняковского — Шварца («неравенство КБШ»), хотя работы Шварца на эту тему появились только спустя 25 лет после работ Буняковского[1]. Конечномерный случай этого неравенства называется неравенством Коши и был доказан Коши в 1821 году.
Содержание
Формулировка
Пусть дано линейное пространство
со скалярным произведением
. Пусть
— норма, порождённая скалярным произведением, то есть
. Тогда для любых
имеем:причём равенство достигается тогда и только тогда, когда векторы
и
пропорциональны (коллинеарны).Комментарии
В конечномерном случае можно заметить, что
, где
— площадь параллелограмма, натянутого на векторы
и
.В общем случае:
Примеры
- В пространстве комплекснозначных квадратично суммируемых последовательностей
неравенство Коши — Буняковского имеет вид:
где
обозначает комплексное сопряжение
.- В пространстве комплексных квадратично интегрируемых функций
неравенство Коши — Буняковского имеет вид:
- В пространстве случайных величин с конечным вторым моментом
неравенство Коши — Буняковского имеет вид:
- где
обозначает ковариацию, а
— дисперсию.
Доказательство
- Если
то
верно следующее
Значит дискриминант многочлена
неположительный, то естьСледовательно,
- Если
то представим скалярное произведение в тригонометрическом виде 
Определим вектор
Тогда
и
К скалярному произведению
применим результат первого пункта доказательства.Литература
Примечания
- ↑ Bounjakowsky W. «Mémoires de l’Académie des sciences de St-Pétersbourg. 7 série», 1859, t. 1, № 9.
Категории:- Функциональный анализ
- Линейная алгебра
- Неравенства
- Теория вероятностей
- Теория операторов
Wikimedia Foundation. 2010.




![\mathrm{cov}^2(X,\;Y)\leqslant\mathrm{D}[X]\cdot\mathrm{D}[Y],](0a06c49446bc8db5a91206520d1b05c7.png)



