17.4 — Глава V, §17. Бесконечно малые функции (б.м.ф.)17.4 — Chapter V, §17. Infinitely Small Functions
Теоремы 17.3 позволяют вычислить предел, если пределы «кирпичиков» уже известны. Но что делать, когда предел ещё не известен вовсе — как узнать, что он существует, не вычисляя его напрямую по определению 16.1? Здесь два таких признака переносятся на функции из аппарата §15: теорема о зажатой функции (аналог 15.3) и теорема о монотонной ограниченной функции (аналог теоремы Вейерштрасса, 15.4).The theorems in 17.3 let you compute a limit once the limits of the "building blocks" are already known. But what if the limit isn't known at all yet — how do you establish that it exists without computing it directly from the definition in 16.1? Here two such criteria are carried over to functions from the apparatus of §15: the squeeze theorem (an analogue of 15.3) and the theorem on a monotonic bounded function (an analogue of the Weierstrass theorem, 15.4).
Если в некоторой проколотой окрестности точки x₀ выполняется h(x)≤f(x)≤g(x), и lim_{x→x₀}h(x)=lim_{x→x₀}g(x)=A, то lim_{x→x₀}f(x)=A.If in some punctured neighborhood of x₀, h(x)≤f(x)≤g(x) holds, and lim_{x→x₀}h(x)=lim_{x→x₀}g(x)=A, then lim_{x→x₀}f(x)=A.
Это буквально та же теорема, что и 15.3, только «номер n>N» заменён на «точку x в проколотой δ-окрестности x₀» — идея доказательства идентична: раз h(x) и g(x) оба попадают в ε-окрестность A при x, достаточно близком к x₀, а f(x) зажата между ними, то и f(x) обязана оказаться в той же ε-окрестности. Практическая ценность признака — там, где явную формулу для f(x) трудно или невозможно оценить напрямую (например, из-за колебаний, как в 17.1 с sin(1/x)), а вот оценить f сверху и снизу более простыми функциями оказывается легко.This is literally the same theorem as 15.3, only with "the index n>N" replaced by "the point x in a punctured δ-neighborhood of x₀" — the idea of the proof is identical: since h(x) and g(x) both fall into the ε-neighborhood of A for x sufficiently close to x₀, and f(x) is squeezed between them, f(x) must also land in that same ε-neighborhood. The criterion's practical value shows up where an explicit formula for f(x) is hard or impossible to estimate directly (e.g., due to oscillation, as with \sin(1/x) in 17.1), yet bounding f above and below by simpler functions turns out to be easy.
Если функция f(x) монотонна и ограничена на промежутке (x₀;x₀+δ) (или (x₀-δ;x₀)), то предел f(x₀+0) (соответственно f(x₀-0)) существует.If a function f(x) is monotonic and bounded on an interval (x₀;x₀+δ) (or (x₀-δ;x₀)), then the limit f(x₀+0) (respectively f(x₀-0)) exists.
Прямой перенос теоремы Вейерштрасса (15.4) с последовательностей на функции: там монотонность и ограниченность последовательности гарантировали существование предела через аксиому полноты ℝ (13.2), здесь та же логика применяется к одностороннему пределу функции (16.2) на полуинтервале, примыкающем к x₀. Как и в 15.4, эта теорема доказывает существование предела, не давая формулы для его значения — полезно именно в ситуациях, где явное вычисление предела затруднительно, но монотонность и ограниченность легко проверяются из структуры функции.A direct carry-over of the Weierstrass theorem (15.4) from sequences to functions: there, monotonicity and boundedness of a sequence guaranteed the existence of a limit via the completeness axiom of ℝ (13.2); here the same logic applies to a one-sided limit of a function (16.2) on a half-interval adjoining x₀. Just as in 15.4, this theorem proves the existence of the limit without giving a formula for its value — useful precisely in situations where explicit computation of the limit is difficult, but monotonicity and boundedness are easy to verify from the function's structure.
Оба признака отвечают на один и тот же практический вопрос по-разному: «как убедиться, что предел есть, если явную формулу для него найти сложно?». Признак о зажатой функции — это стратегия «взять в тиски»: если вы можете гарантировать, что интересующая вас величина всегда лежит между двумя другими величинами, которые сами дружно сходятся к одному месту, — вы обязаны сойтись туда же, у вас просто нет пространства для манёвра. Признак о монотонной ограниченной функции — стратегия «одностороннее движение с потолком»: если величина только растёт (или только убывает) и никогда не пересекает некоторую границу, ей физически некуда деваться, кроме как постепенно замедляться и стремиться к какому-то конечному значению у этой границы (или ниже неё).Both criteria answer the same practical question in different ways: "how do you make sure a limit exists when finding an explicit formula for it is hard?" The squeeze criterion is the "pin it down" strategy: if you can guarantee the quantity you care about always lies between two other quantities that themselves converge together to the same place, you're forced to converge there too — there's simply no room to maneuver. The monotonic-bounded criterion is the "one-way street with a ceiling" strategy: if a quantity only increases (or only decreases) and never crosses some boundary, it physically has nowhere to go except gradually slow down and tend toward some finite value at (or below) that boundary.
Пример из жизни (зажатая функция). Вы не знаете точно, сколько времени займёт доставка посылки, но у вас есть гарантия от почты: «доставим не раньше 2 дней и не позже 2 дней плюс отклонение, которое стремится к нулю по мере того, как вы приближаетесь к отправке из ближайшего отделения» — верхняя и нижняя оценки сходятся к одному числу. Значит, реальное время доставки тоже обязано сойтись к этому числу, даже если точный механизм доставки вам неизвестен и хаотичен изнутри.A real-life example (squeeze). You don't know exactly how long a package delivery will take, but the post office guarantees: "we'll deliver no earlier than 2 days and no later than 2 days plus a deviation that tends to zero as you get closer to shipping from the nearest branch" — the upper and lower bounds converge to the same number. So the actual delivery time must also converge to that number, even if the exact delivery mechanism is unknown to you and chaotic on the inside.
Пример из жизни (монотонная ограниченная). Вы копите деньги на счёте с ежедневным начислением процентов, и сумма на счету только растёт (монотонность) — но вы установили автоматическое правило «снять всё и закрыть счёт, как только сумма достигнет 1 000 000 ₽» (граница сверху, ограниченность). Раз сумма растёт и никогда не может превысить миллион, она обязана к чему-то стремиться, приближаясь к какому-то конечному пределу — возможно, к самому миллиону, если рост не замедлится, а возможно, к меньшему числу, если рост процентов будет замедляться быстрее, чем растёт база. В любом случае — предел существует, просто потому, что расти безгранично вверх запрещено, а расти вниз запрещено монотонностью.A real-life example (monotonic bounded). You're saving money in an account with daily compound interest, and the balance only grows (monotonicity) — but you've set an automatic rule "withdraw everything and close the account as soon as the balance hits 1,000,000 ₽" (an upper bound, boundedness). Since the balance grows and can never exceed a million, it must tend toward something, approaching some finite limit — possibly the million itself if growth never slows, or possibly a smaller number if the interest growth slows faster than the base grows. Either way, the limit exists, simply because unbounded upward growth is forbidden, and downward movement is forbidden by monotonicity.
Рис. 56. Теорема о зажатой функции: f(x) (тёмная колеблющаяся кривая) заперта между h(x) (снизу, зелёная) и g(x) (сверху, сиреневая) — обе сходятся к A, значит и f(x) вынуждена сходиться к A, даже если сама по себе неспокойна.Fig. 56. The squeeze theorem: f(x) (the dark oscillating curve) is trapped between h(x) (below, green) and g(x) (above, lavender) — both converge to A, so f(x) is forced to converge to A too, even though it's erratic on its own.
Неравенство h(x)≤f(x)≤g(x) обязано выполняться для всех x в некоторой проколотой окрестности x₀ без исключений — не «для большинства x» и не «в среднем по промежутку». Если неравенство нарушается сколь угодно близко к x₀ хотя бы на отдельных точках (пусть даже редких), формальное доказательство теоремы (через ε-δ) ломается: сколь угодно близко к x₀ найдётся x, для которого гарантия «между h и g» не работает, и оценка |f(x)-A|<ε не следует автоматически.The inequality h(x)≤f(x)≤g(x) must hold for all x in some punctured neighborhood of x₀, without exceptions — not "for most x" and not "on average over the interval." If the inequality fails arbitrarily close to x₀ even at isolated points (however rare), the theorem's formal proof (via ε-δ) breaks down: arbitrarily close to x₀ there will be an x for which the "between h and g" guarantee doesn't hold, and the bound |f(x)-A|<ε doesn't follow automatically.
Признак 2 не требует, чтобы f(x) была монотонна и ограничена всюду — только на некотором (возможно, очень узком) полуинтервале, примыкающем к x₀. Функция может вести себя как угодно хаотично вдали от x₀ и при этом гарантированно иметь односторонний предел в x₀, если вблизи неё установлена монотонность и ограниченность. Ошибочно требовать монотонности «глобально» — это куда более сильное (и часто ложное) условие, чем реально нужно теореме.Criterion 2 doesn't require f(x) to be monotonic and bounded everywhere — only on some (possibly very narrow) half-interval adjoining x₀. A function can behave arbitrarily chaotically far from x₀ and still be guaranteed to have a one-sided limit at x₀, provided monotonicity and boundedness hold near it. It's a mistake to demand "global" monotonicity — that's a much stronger (and often false) condition than what the theorem actually needs.
источникsource
Признаки существования пределов (теорема о зажатой функции, теорема о монотонной ограниченной функции) — по изданию: Письменный Д. Т. Конспект лекций по высшей математике: полный курс. — 9-е изд. — М.: Айрис-пресс, 2009. — 608 с. — Глава V, §17.4 «Признаки существования пределов», с. 138–139. Связь с 13.2/15.3/15.4/17.5, раздел «Грабли» — авторское дополнение.Criteria for the existence of limits (the squeeze theorem, the theorem on a monotonic bounded function) — from: Pismenny D. T. Lecture Notes on Higher Mathematics: Complete Course. — 9th ed. — Moscow: Iris-press, 2009. — 608 p. — Chapter V, §17.4 "Criteria for the Existence of Limits," pp. 138–139. The connection to 13.2/15.3/15.4/17.5, and the "Gotchas" section, are original additions.