Раздел II. Предел и непрерывность функции — § 9. Предел функции

Кудрявцев — задача 9.56

Л. Д. Кудрявцев, «Сборник задач по математическому анализу. Том 1». Условие и подробное решение по шагам.

Задача 9.56

Доказать, x→∞, n,k∈N, n>kx\to\infty,\ n,k\in\mathbb N,\ n>k:

1) O(xn)+O(xk)=O(xn)O(x^n)+O(x^k)=O(x^n);
2) O(xn)⋅O(xk)=O(xn+k)O(x^n)\cdot O(x^k)=O(x^{n+k}).

Доказательство

Пусть f=O(xn)f=O(x^n), g=O(xk)g=O(x^k). Тогда ∣f(x)∣≤C1∣x∣n|f(x)|\le C_1|x|^n, ∣g(x)∣≤C2∣x∣k|g(x)|\le C_2|x|^k. При ∣x∣≥1|x|\ge1 выполняется ∣x∣k≤∣x∣n|x|^k\le |x|^n. Следовательно, ∣g(x)∣≤C2∣x∣n|g(x)|\le C_2|x|^n. Тогда ∣f(x)+g(x)∣≤(C1+C2)∣x∣n|f(x)+g(x)|\le (C_1+C_2)|x|^n. Значит, f+g=O(xn)f+g=O(x^n).

Проверка

2. Пусть f=O(xn)f=O(x^n), g=O(xk)g=O(x^k). Тогда ∣f(x)∣≤C1∣x∣n|f(x)|\le C_1|x|^n, ∣g(x)∣≤C2∣x∣k|g(x)|\le C_2|x|^k. Следовательно, ∣f(x)g(x)∣≤C1C2∣x∣n+k|f(x)g(x)|\le C_1C_2|x|^{n+k}. Значит, fg=O(xn+k)fg=O(x^{n+k}).

Что и требовалось доказать

Кудрявцев № 9.56 — решение | Высшая математика — Профиматика