Неравенства в математике¶

Неравенство — это математическое утверждение, устанавливающее соотношение порядка между двумя выражениями, соединёнными знаками «больше», «меньше», «больше или равно» или «меньше или равно». В отличие от уравнений, где требуется найти значения переменных, обращающих равенство в тождество, неравенства описывают области значений и широко применяются в анализе, геометрии, теории вероятностей и прикладных дисциплинах. Ниже рассматриваются классические неравенства, названные в честь математиков, — Йенсена, Коши — Буняковского, о средних, треугольника и Чебышёва, а также связанное с ними неравенство Клаузиуса.

¶Неравенство Йенсена

Неравенство Йенсена связывает значение выпуклой функции от среднего аргументов со средним значением функции. Для выпуклой функции \(f\) и чисел \(x_1, \dots, x_n\) с весами \(\lambda_i \ge 0\), \(\sum \lambda_i = 1\), выполняется:

\[ f\left(\sum_{i=1}^{n} \lambda_i x_i\right) \le \sum_{i=1}^{n} \lambda_i f(x_i). \]

Для вогнутой функции знак меняется на противоположный. Неравенство названо в честь датского математика Йохана Йенсена, сформулировавшего его в начале XX века. Оно является одним из базовых инструментов выпуклого анализа и лежит в основе многих других оценок, включая неравенство о средних.

¶Неравенство Коши — Буняковского

Неравенство Коши — Буняковского утверждает, что для любых векторов \(a\) и \(b\) евклидова пространства модуль скалярного произведения не превосходит произведения их длин:

\[ |\langle a, b \rangle| \le \|a\| \cdot \|b\|. \]

В координатной форме для чисел \(a_i, b_i\):

\[ \left(\sum a_i b_i\right)^2 \le \left(\sum a_i^2\right)\left(\sum b_i^2\right). \]

Равенство достигается тогда и только тогда, когда векторы линейно зависимы. Неравенство впервые появилось в работах Огюстена Луи Коши, а позднее было обобщено Виктором Буняковским и Германом Шварцем. Оно применяется в линейной алгебре, функциональном анализе, теории вероятностей (как неравенство для ковариации) и в геометрии.

¶Неравенство о средних

Неравенство о средних устанавливает порядок между средним гармоническим, геометрическим, арифметическим и квадратичным для положительных чисел \(x_1, \dots, x_n\):

\[ \frac{n}{\sum \frac{1}{x_i}} \le \sqrt[n]{x_1 \cdots x_n} \le \frac{x_1 + \cdots + x_n}{n} \le \sqrt{\frac{x_1^2 + \cdots + x_n^2}{n}}. \]

Равенство во всех переходах достигается только при \(x_1 = x_2 = \dots = x_n\). Это неравенство — частный случай более общих результатов о степенных средних и часто выводится из неравенства Йенсена. Оно широко используется в задачах оптимизации и при доказательстве других оценок.

¶Неравенство треугольника

Неравенство треугольника — фундаментальное свойство метрики: для любых точек \(A\), \(B\), \(C\) расстояние удовлетворяет условию

\[ d(A, C) \le d(A, B) + d(B, C). \]

В геометрии это означает, что длина любой стороны треугольника не превышает суммы длин двух других сторон. В векторной форме для нормы: \(\|x + y\| \le \|x\| + \|y\|\). Неравенство треугольника — одна из аксиом метрического и нормированного пространства, без него невозможно корректное определение расстояния. Обратное неравенство \(|\,d(A,B) - d(B,C)\,| \le d(A,C)\) также часто используется.

¶Неравенство Чебышёва

Существуют две классические формы, связанные с именем Пафнутия Чебышёва.

Вероятностное неравенство Чебышёва. Для случайной величины \(X\) с математическим ожиданием \(\mu\) и дисперсией \(\sigma^2\) при любом \(k > 0\):

\[ P(|X - \mu| \ge k) \le \frac{\sigma^2}{k^2}. \]

Оно даёт оценку вероятности отклонения от среднего и лежит в основе закона больших чисел.

Неравенство Чебышёва о суммах. Если последовательности \(a_1 \le \dots \le a_n\) и \(b_1 \le \dots \le b_n\) одинаково упорядочены, то

\[ \frac{1}{n}\sum a_i b_i \ge \left(\frac{1}{n}\sum a_i\right)\left(\frac{1}{n}\sum b_i\right). \]

При противоположном порядке знак меняется. Это неравенство применяется в теории вероятностей и статистике для оценки ковариации монотонных величин.

¶Неравенство Клаузиуса

Неравенство Клаузиуса относится к термодинамике и формулируется для приведённой теплоты в циклическом процессе:

\[ \oint \frac{\delta Q}{T} \le 0, \]

где \(\delta Q\) — элементарное количество теплоты, полученное системой, а \(T\) — абсолютная температура. Для обратимых процессов имеет место равенство, для необратимых — строгое неравенство. Это выражение является математической формулировкой второго начала термодинамики и непосредственно приводит к понятию энтропии, введённому Рудольфом Клаузиусом в 1865 году.

¶Значение и взаимосвязи

Перечисленные неравенства образуют взаимосвязанную систему инструментов. Неравенство Йенсена выводит неравенство о средних; неравенство Коши — Буняковского используется при доказательстве неравенства треугольника в гильбертовых пространствах; неравенство Чебышёва опирается на свойства дисперсии и марковские оценки. В термодинамике неравенство Клаузиуса играет роль, аналогичную неравенствам анализа: оно ограничивает возможные состояния системы и задаёт направление необратимых процессов.

Все эти результаты находят применение в самых разных областях — от чистой математики и физики до экономики, машинного обучения и теории информации. Их объединяет общая идея: установление границ, за которые исследуемая величина выйти не может.

Источники: учебники по математическому анализу и линейной алгебре, курсы теории вероятностей, классические работы Йенсена, Коши, Буняковского, Чебышёва и Клаузиуса, справочная математическая литература.