Минимум в математике и лингвистике¶

Минимум — наименьшее значение, которое принимает функция, величина или показатель в заданной области определения. Понятие минимума широко используется в математическом анализе, теории оптимизации, статистике и лингвистике, где обозначает предельно малую допустимую или наблюдаемую степень проявления признака.

¶Минимум в математике

¶Определение и виды

В математическом анализе различают локальный и глобальный минимум функции. Локальный минимум — значение функции в точке, которое не превосходит её значений в некоторой достаточно малой окрестности этой точки. Глобальный (абсолютный) минимум — наименьшее значение функции на всей области определения.

Формально точка \(x_0\) является точкой локального минимума функции \(f(x)\), если существует окрестность \(U(x_0)\), такая что для всех \(x \in U(x_0)\) выполняется неравенство \(f(x) \geq f(x_0)\). Если неравенство выполняется для всех \(x\) из области определения, точка называется точкой глобального минимума.

¶Необходимое и достаточное условия

Для дифференцируемой функции необходимое условие экстремума (теорема Ферма): если \(x_0\) — точка локального минимума, то производная \(f'(x_0) = 0\) либо не существует. Достаточное условие: если \(f'(x_0) = 0\) и \(f''(x_0) > 0\), то \(x_0\) — точка локального минимума. Для функций нескольких переменных аналогичные условия формулируются через частные производные и матрицу Гессе: положительная определённость матрицы вторых производных указывает на точку минимума.

¶Минимум последовательности и множества

Для конечного множества чисел минимум — наименьший элемент, который всегда существует. Для бесконечных множеств минимум может не достигаться; в таких случаях говорят о точной нижней грани (инфимуме). Например, множество \(\{1/n : n \in \mathbb{N}\}\) имеет инфимум 0, но не имеет минимума, поскольку 0 не принадлежит множеству.

¶Задачи на минимум

¶Оптимизация

Поиск минимума функций составляет основу математического программирования. Задачи линейного программирования решаются симплекс-методом, нелинейные задачи — градиентными методами (метод наискорейшего спуска, метод Ньютона). В прикладных областях минимизируют издержки, время, расход ресурсов при заданных ограничениях.

¶Вариационное исчисление

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

¶Принцип минимума

В физике действуют вариационные принципы: принцип наименьшего действия (Мопертюи, Эйлер, Гамильтон) утверждает, что реальная траектория механической системы доставляет минимум (или стационарное значение) интегралу действия. В экономике принцип минимума издержек лежит в основе теории фирмы.

¶Минимум в статистике

В статистике минимум выборки — наименьшее из наблюдаемых значений. Порядковые статистики, включая минимум, используются для построения доверительных интервалов и проверки гипотез. Распределение минимума независимых случайных величин связано с функцией распределения: если \(X_1, \dots, X_n\) независимы с функциями распределения \(F_i(x)\), то функция распределения минимума \(F_{\min}(x) = 1 - \prod_{i=1}^n (1 - F_i(x))\).

В теории экстремальных значений (теория выбросов) изучаются распределения минимумов и максимумов больших выборок. Асимптотическое поведение минимума описывается обобщённым распределением экстремальных значений (тип Вейбулла для минимумов).

¶Минимум в лингвистике

¶Минимальная пара

В фонологии минимальная пара — два слова, различающиеся ровно одним звуком (фонемой) и имеющие разное значение: «дом» — «том», «кот» — «кит». Наличие минимальных пар служит критерием выделения фонем в языке.

¶Минимальная единица

В лингвистике выделяют минимальные единицы разных уровней: фонема (минимальная звуковая единица), морфема (минимальная значимая единица), слово. Понятие минимальной единицы лежит в основе уровневой модели языка.

¶Минимизация в языкознании

Принцип языковой экономии (Андре Мартине) описывает стремление языковых систем к минимуму усилий говорящего при сохранении коммуникативной достаточности. Минимизация проявляется в редукции безударных гласных, стяжении сочетаний, опущении избыточных элементов.

¶Минимум в информатике

В теории алгоритмов и структур данных поиск минимума — базовая операция. В несортированном массиве минимум находится за линейное время \(O(n)\) однократным проходом. В структурах данных с поддержкой минимума (куча, дерево отрезков) операция извлечения минимума выполняется за \(O(\log n)\).

В задачах машинного обучения минимизация функции потерь — основная процедура обучения. Градиентный спуск и его модификации (Adam, RMSProp) используются для нахождения минимума эмпирического риска.

¶Интересные факты

• Теорема Вейерштрасса утверждает: непрерывная функция на отрезке достигает своего минимума и максимума.
• В русском языке слово «минимум» заимствовано из латинского minimum — «наименьшее», форма среднего рода от minimus «наименьший».
• Метод наименьших квадратов, разработанный Лежандром и Гауссом в начале XIX века, минимизирует сумму квадратов отклонений — один из первых алгоритмов оптимизации.
• В теории игр принцип минимакса (минимизация максимального проигрыша) применяется для выбора оптимальной стратегии в антагонистических играх.

¶Источники

• Фихтенгольц Г. М. «Курс дифференциального и интегрального исчисления», т. 1.
• Зорич В. А. «Математический анализ», ч. 1–2.
• Колмогоров А. Н., Фомин С. В. «Элементы теории функций и функционального анализа».
• Мартине А. «Основы общей лингвистики».
• Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К. «Алгоритмы: построение и анализ».