о-малое¶

О-малое — это математическое обозначение, используемое в теории пределов и асимптотическом анализе для описания поведения функций, стремящихся к нулю быстрее, чем некоторая заданная функция. Оно является одним из символов Ландау (наряду с «О-большим») и применяется для сравнения скорости убывания или роста функций в окрестности некоторой точки (обычно в нуле или на бесконечности). В формальной записи \( f(x) = o(g(x)) \) при \( x \to a \) означает, что предел отношения \( f(x) / g(x) \) равен нулю, то есть \( f(x) \) пренебрежимо мала по сравнению с \( g(x) \) вблизи точки \( a \).

¶История возникновения

Символы «О-большое» и «о-малое» были введены немецким математиком Паулем Бахманом в 1894 году в его книге «Analytische Zahlentheorie» («Аналитическая теория чисел»). Бахман использовал обозначение \( O \) для описания порядка роста функций, но его нотация была нестрогой и не получила широкого распространения. В 1909 году другой немецкий математик, Эдмунд Ландау, существенно уточнил и популяризировал эти символы, введя строгие определения и активно применяя их в своих работах по теории чисел. В частности, Ландау ввёл различие между «О-большим» (для оценки сверху с точностью до константы) и «о-малым» (для указания на пренебрежимо малую величину). С тех пор эти обозначения стали стандартными в математическом анализе, теории чисел, асимптотическом анализе и информатике.

¶Формальное определение

Пусть \( a \) — предельная точка области определения функций \( f \) и \( g \) (чаще всего \( a = 0 \) или \( a = \infty \)). Запись \( f(x) = o(g(x)) \) при \( x \to a \) означает, что для любого положительного числа \( \varepsilon \) существует такая окрестность точки \( a \), что для всех \( x \) из этой окрестности (кроме, возможно, самой точки \( a \)) выполняется неравенство \( |f(x)| \leq \varepsilon |g(x)| \). Эквивалентное определение через предел:

\[ \lim_{x \to a} \frac{f(x)}{g(x)} = 0. \]

Если предел не существует, но условие с \( \varepsilon \) выполняется, то \( f(x) = o(g(x)) \) всё равно считается верным. Часто это определение записывают в виде: \( f(x) \) есть «о-малое» от \( g(x) \), если \( f(x) \) стремится к нулю быстрее, чем \( g(x) \).

¶Частные случаи

• \( f(x) = o(1) \) при \( x \to a \) означает, что \( f(x) \to 0 \) при \( x \to a \).
• \( f(x) = o(x^n) \) при \( x \to 0 \) означает, что \( f(x) \) убывает быстрее, чем \( x^n \), то есть \( \lim_{x \to 0} f(x) / x^n = 0 \).

¶Свойства и правила обращения

Символ «о-малое» обладает рядом свойств, которые делают его удобным для асимптотических вычислений. Основные из них:

• Сумма и разность: если \( f_1 = o(g) \) и \( f_2 = o(g) \), то \( f_1 \pm f_2 = o(g) \).
• Умножение на константу: если \( f = o(g) \), то для любой константы \( c \neq 0 \) \( c f = o(g) \).
• Умножение на функцию: если \( f = o(g) \) и \( h \) — ограниченная функция, то \( h f = o(g) \). В частности, \( f \cdot g = o(g^2) \).
• Композиция: если \( f = o(g) \) и \( g = o(h) \), то \( f = o(h) \) (транзитивность).
• Связь с «О-большим»: \( f = o(g) \) влечёт \( f = O(g) \), но обратное неверно. Например, \( x^2 = o(x) \) при \( x \to 0 \), но \( x = O(x) \) и \( x \neq o(x) \).
• Пренебрежение младшими членами: в асимптотических разложениях члены вида \( o(x^n) \) можно отбрасывать при вычислении предела, если они не влияют на главный член.

¶Применение в математическом анализе

¶Асимптотические разложения

О-малое широко используется для записи асимптотических разложений функций. Например, разложение синуса в ряд Тейлора в окрестности нуля:

\[ \sin x = x - \frac{x^3}{6} + \frac{x^5}{120} + o(x^5) \quad \text{при } x \to 0. \]

Это означает, что остаток после члена пятого порядка стремится к нулю быстрее, чем \( x^5 \). Аналогично для экспоненты:

\[ e^x = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + o(x^3) \quad \text{при } x \to 0. \]

¶Вычисление пределов

Символ «о-малое» позволяет упрощать вычисление пределов, заменяя сложные функции их асимптотическими эквивалентами. Например, при \( x \to 0 \):

\[ \lim_{x \to 0} \frac{\sin x - x}{x^3} = \lim_{x \to 0} \frac{-\frac{x^3}{6} + o(x^3)}{x^3} = -\frac{1}{6}. \]

¶Дифференциальное и интегральное исчисление

В дифференциальном исчислении «о-малое» используется для определения дифференциала: функция \( f \) дифференцируема в точке \( a \), если существует такое число \( A \), что

\[ f(a + h) - f(a) = A h + o(h) \quad \text{при } h \to 0. \]

Здесь \( o(h) \) — остаток, стремящийся к нулю быстрее, чем \( h \). В интегральном исчислении «о-малое» применяется при оценке остаточных членов в квадратурных формулах и при асимптотическом анализе интегралов.

¶Применение в теории чисел

В теории чисел символ «о-малое» используется для описания асимптотического поведения арифметических функций. Например, знаменитая теорема о распределении простых чисел утверждает, что

\[ \pi(x) = \frac{x}{\ln x} + o\left(\frac{x}{\ln x}\right) \quad \text{при } x \to \infty, \]

где \( \pi(x) \) — количество простых чисел, не превосходящих \( x \). Это означает, что разность между \( \pi(x) \) и \( x / \ln x \) пренебрежимо мала по сравнению с \( x / \ln x \). Другие примеры: функция Мёбиуса \( \mu(n) \) в среднем равна \( o(1) \), а сумма делителей \( \sigma(n) \) в среднем равна \( O(n \log n) \), но не \( o(n \log n) \).

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

В анализе алгоритмов «о-малое» используется реже, чем «О-большое», но оно встречается при точном описании асимптотики. Например, если алгоритм имеет сложность \( T(n) = n^2 + o(n^2) \), это означает, что главный член — \( n^2 \), а остальные члены растут медленнее. Однако на практике чаще применяют «О-большое» для верхних границ и «Θ» (тета) для точных оценок. «О-малое» может использоваться для указания на то, что некоторая функция стремится к нулю быстрее другой, например, при анализе вероятностных алгоритмов: \( \mathbb{P}(\text{ошибка}) = o(1) \) означает, что вероятность ошибки стремится к нулю.

¶Отличие от «О-большого»

Основное различие между «О-большим» и «о-малым» заключается в строгости оценки:

• \( f(x) = O(g(x)) \) означает, что существует константа \( C > 0 \) и окрестность точки \( a \), такие что \( |f(x)| \leq C |g(x)| \) для всех \( x \) из этой окрестности. То есть \( f \) растёт не быстрее, чем \( g \) с точностью до константы.
• \( f(x) = o(g(x)) \) означает, что для любого \( \varepsilon > 0 \) существует окрестность, где \( |f(x)| \leq \varepsilon |g(x)| \). То есть \( f \) растёт существенно медленнее, чем \( g \) — предел их отношения равен нулю.

Таким образом, «о-малое» — это более сильное условие: если \( f = o(g) \), то \( f = O(g) \), но не наоборот. Например, \( x^2 = o(x) \) при \( x \to 0 \), но \( x = O(x) \) и \( x \neq o(x) \). В асимптотических разложениях «О-большое» часто используется для оценки остатка, а «о-малое» — для указания на его пренебрежимость.

¶Критика и ограничения

Несмотря на широкое применение, символ «о-малое» имеет некоторые недостатки. Во-первых, запись \( f(x) = o(g(x)) \) является злоупотреблением обозначениями: на самом деле \( o(g(x)) \) — это не функция, а класс функций, стремящихся к нулю быстрее \( g \). Поэтому равенство здесь несимметрично: из \( f = o(g) \) и \( h = o(g) \) не следует \( f = h \). Во-вторых, при неаккуратном использовании можно получить неверные результаты, например, при сложении нескольких «о-малых» от разных функций. Для избежания ошибок рекомендуется строго следовать правилам асимптотических вычислений и помнить, что «о-малое» — это сокращённая запись для предела.

¶Примеры

1. При \( x \to 0 \): \( x^3 = o(x^2) \), так как \( x^3 / x^2 = x \to 0 \).
2. При \( x \to \infty \): \( \ln x = o(x) \), так как \( \ln x / x \to 0 \).
3. При \( x \to 0 \): \( \sin x = x + o(x) \), так как \( \sin x - x = o(x) \).
4. При \( x \to \infty \): \( e^{-x} = o(1) \), так как \( e^{-x} \to 0 \).