16.1 — Глава V, §16. Предел функции16.1 — Chapter V, §16. The Limit of a Function
Весь аппарат §15 строился для последовательностей — функций натурального аргумента (15.1). Здесь тот же ε-N-приём из 15.2 переносится на произвольную числовую функцию f: X→Y из 14.1/14.2: вместо «номера N, после которого xₙ близко к a» появляется «окрестность точки x₀, внутри которой f(x) близко к A» — предел последовательности как частный случай предела функции, но с континуумом аргументов вместо дискретных номеров.The whole apparatus of §15 was built for sequences — functions of a natural-number argument (15.1). Here the same ε-N technique from 15.2 is carried over to an arbitrary numeric function f: X→Y from 14.1/14.2: instead of "an index N after which xₙ is close to a," there's "a neighborhood of the point x₀ inside which f(x) is close to A" — the limit of a sequence turns out to be a special case of the limit of a function, but with a continuum of arguments instead of discrete indices.
Число A называется пределом функции f(x) при x→x₀ (обозначается lim_{x→x₀} f(x) = A), если функция определена в некоторой проколотой окрестности точки x₀ (13.3) и для любого ε>0 найдётся δ=δ(ε)>0 такое, что для всех x, удовлетворяющих 0<|x-x₀|<δ, выполняется |f(x)-A|<ε.A number A is called the limit of the function f(x) as x→x₀ (denoted lim_{x→x₀} f(x) = A) if the function is defined in some punctured neighborhood of x₀ (13.3) and for any ε>0 there exists δ=δ(ε)>0 such that for all x satisfying 0<|x-x₀|<δ, |f(x)-A|<ε holds.
Сравнение с 15.2 показывает почти буквальное соответствие: ε играет ту же роль (произвольная жёсткость требования близости к A), а δ заменяет N — но если N отсекало «хвост» последовательности (номера больше N), то δ задаёт проколотую δ-окрестность точки x₀ (13.3): условие 0<|x-x₀|<δ означает «x близко к x₀, но не равно x₀». Именно прокол принципиален — он подчёркивается ниже отдельно.Comparison with 15.2 shows an almost literal correspondence: ε plays the same role (an arbitrarily strict closeness requirement to A), and δ replaces N — but where N cut off the sequence's "tail" (indices greater than N), δ sets a punctured δ-neighborhood of the point x₀ (13.3): the condition 0<|x-x₀|<δ means "x is close to x₀, but not equal to x₀." The puncture is exactly the point — it's emphasized separately below.
Забудьте на секунду про буквы. Есть функция f и точка x₀, в которую мы подставляем аргумент — но не точно x₀, а что-то очень близкое к нему (сама точка x₀, как сказано выше, из игры выброшена проколом). Вопрос предела — «к чему стремится результат f(x), когда x подкрадывается к x₀ всё ближе и ближе?». Число A — это и есть ответ, «то самое значение», вокруг которого начинает толпиться f(x).Forget the letters for a second. There's a function f and a point x₀ where we plug in the argument — not exactly x₀, but something very close to it (the point x₀ itself, as noted above, is thrown out by the puncture). The question a limit answers is "what does the result f(x) tend toward as x creeps closer and closer to x₀?" The number A is exactly the answer — "that value" the output starts crowding around.
Теперь про ε и δ — это не два произвольных греческих значка, а игра «докажи мне». Представьте, что вы — скептик, и говорите: «не верю, что f(x) стремится к A! Докажи, что можешь подвести f(x) ближе к A, чем на ε=0.001» (это ваше ε — вы называете любую, сколь угодно маленькую планку близости). Я в ответ говорю: «легко — подставляй любой x, который ближе к x₀, чем на δ=0.0001 (моё δ, которое я подбираю специально под ваш вызов), и я гарантирую, что f(x) окажется ближе к A, чем ваш ε». Если я могу так ответить на любую придирку скептика, сколь угодно жёсткую — предел действительно равен A. Если хотя бы одну придирку я обслужить не могу (для какого-то ε никакое δ не работает) — предела нет.Now for ε and δ — these aren't two arbitrary Greek squiggles, they're a "prove it to me" game. Imagine you're a skeptic and say: "I don't believe f(x) tends to A! Prove you can get f(x) closer to A than ε=0.001" (that's your ε — you name any bar for closeness, as tight as you like). I answer: "easy — plug in any x closer to x₀ than δ=0.0001 (my δ, which I pick specifically to meet your challenge), and I guarantee f(x) lands closer to A than your ε." If I can answer any challenge the skeptic throws, no matter how strict — the limit really is A. If even one challenge I can't meet (for some ε no δ works) — there's no limit.
Почему сначала ε, а не сначала δ? Потому что именно в этом порядке — весь смысл: сначала скептик выдвигает требование к результату («хочу точность вот такую»), и только после этого я подбираю, насколько близко нужно подойти по аргументу, чтобы это требование выполнить. Мой δ имеет полное право зависеть от вашего ε — и почти всегда зависит (чем жёстче ваша придирка, тем аккуратнее приходится подбирать x). А вот наоборот нельзя: если бы сначала фиксировали δ, а потом требовали любую точность ε — я бы не смог гарантировать результат заранее, не зная, насколько придирчив будет скептик.Why ε first, not δ first? Because that order is the whole point: first the skeptic sets a demand on the output ("I want this much precision"), and only after that do I figure out how close I need to get in the input to meet that demand. My δ is fully allowed to depend on your ε — and almost always does (the stricter your challenge, the more carefully I have to pick x). The reverse doesn't work: if δ were fixed first and then any precision ε demanded, I couldn't guarantee the result in advance without knowing how picky the skeptic would be.
Пример из жизни. Духовка настроена на 200°C, и вы хотите знать: «когда таймер приближается к отметке «готово» (x₀), к какой температуре стремится духовка (f(x))?». Ответ — A=200°C. Теперь придирка (ε): «докажи, что температура будет отличаться от 200°C не больше чем на 1 градус». Ответ на неё — это как раз δ: «за 3 минуты до отметки «готово» и после нагрева духовка держит температуру в пределах 200±1°C, гарантирую». Попросите точность жёстче — «не больше 0.1 градуса» — и придётся сузить окно: может быть, гарантия будет работать только в последнюю 1 минуту перед готовностью, потому что именно тогда терморегулятор уже стабилизировался до такой точности. Каждой вашей придирке по температуре (ε) соответствует своё окно по времени (δ) — и если для любой придирки такое окно находится, значит духовка действительно «стремится» к 200°C, а не просто иногда пролетает мимо этой отметки. Ровно так же x→x₀ — это «время подходит к отметке готовности», а f(x)→A — «температура подходит к заданной», и предел утверждает, что второе можно гарантировать через первое со сколь угодно высокой точностью.A real-life example. An oven is set to 200°C, and you want to know: "as the timer approaches the 'done' mark (x₀), what temperature does the oven tend toward (f(x))?" The answer is A=200°C. Now the challenge (ε): "prove the temperature will be within 1 degree of 200°C." The answer to that is exactly δ: "starting 3 minutes before the 'done' mark, and after preheating, the oven holds the temperature within 200±1°C, guaranteed." Ask for tighter precision — "within 0.1 degrees" — and the window has to shrink: maybe the guarantee only holds for the last 1 minute before it's done, because that's when the thermostat has actually settled to that precision. Every temperature challenge you throw (ε) gets matched by its own time window (δ) — and if such a window can be found for every challenge, the oven really is "tending toward" 200°C, not just occasionally drifting past that mark. In exactly the same way, x→x₀ is "time approaching the done mark," and f(x)→A is "temperature approaching the target," and the limit asserts that the latter can be guaranteed via the former to any desired precision.
Рис. 49. Температура духовки f(t) стремится к A=200°C при t→x₀. Внутри δ-окна вокруг x₀ (сиреневая полоса) кривая температуры целиком попадает в ε-полосу вокруг A (зелёная полоса) — кроме, возможно, самой точки x₀: она выколота (пустой кружок), потому что предел не учитывает значение в точке, только поведение вокруг неё.Fig. 49. The oven temperature f(t) tends to A=200°C as t→x₀. Inside the δ-window around x₀ (lavender band), the temperature curve falls entirely within the ε-band around A (green band) — except, possibly, at the point x₀ itself: it's punctured (open circle), because the limit ignores the value at the point, only the behavior around it.
Доказать по определению, что lim_{x→2} (2x+1) = 5.Prove by definition that lim_{x→2} (2x+1) = 5.
Шаг 1. Зафиксируем произвольное ε>0. Нужно найти δ>0, при котором из 0<|x-2|<δ следует |(2x+1)-5|<ε.Step 1. Fix an arbitrary ε>0. Need to find δ>0 such that 0<|x-2|<δ implies |(2x+1)-5|<ε.
Шаг 2 — упростить. |(2x+1)-5| = |2x-4| = 2|x-2|. Неравенство 2|x-2|<ε равносильно |x-2|<ε/2.Step 2 — simplify. |(2x+1)-5| = |2x-4| = 2|x-2|. The inequality 2|x-2|<ε is equivalent to |x-2|<ε/2.
Шаг 3 — выбрать δ. Возьмём δ=ε/2. Тогда из 0<|x-2|<δ следует |x-2|<ε/2, а значит |(2x+1)-5|=2|x-2|<ε — что и требовалось.Step 3 — choose δ. Take δ=ε/2. Then 0<|x-2|<δ implies |x-2|<ε/2, hence |(2x+1)-5|=2|x-2|<ε — as required.
Итак, для любого ε>0 найдено δ=ε/2, значит lim_{x→2}(2x+1)=5. Обратите внимание: связь δ(ε) здесь линейная и явная — как правило, чем более гладкая функция, тем проще выразить δ через ε, но само существование такой зависимости и есть суть предела.So, for any ε>0, δ=ε/2 has been found, hence lim_{x→2}(2x+1)=5. Note: the relationship δ(ε) here is linear and explicit — as a rule, the smoother the function, the easier it is to express δ in terms of ε, but the mere existence of such a dependence is the essence of the limit.
Условие 0<|x-x₀|<δ исключает x=x₀ из рассмотрения — предел описывает поведение f вокруг x₀, но не в самой точке. Это принципиально отличает предел функции от предела последовательности: у последовательности не было «точки n=∞», в которой могло бы быть определено или не определено значение, а у функции есть конкретная точка x₀, где f может быть вовсе не определена, определена, но с «неправильным» значением, либо определена ровно так, как подсказывает предел. Все три случая для предела равнозначны — важно только поведение в проколотой окрестности.The condition 0<|x-x₀|<δ excludes x=x₀ from consideration — the limit describes the behavior of f around x₀, but not at the point itself. This is a fundamental difference from the limit of a sequence: a sequence had no "point n=∞" at which a value could be defined or undefined, while a function has a concrete point x₀ where f may be entirely undefined, defined but with the "wrong" value, or defined exactly as the limit suggests. All three cases are equivalent for the limit — only the behavior in the punctured neighborhood matters.
Классический пример: функция f(x)=(x²-1)/(x-1) не определена в x₀=1 (14.1: деление на ноль вне области определения), но для всех x≠1 сокращается до f(x)=x+1, и lim_{x→1} f(x) = 2 существует, хотя f(1) не существует вовсе. Связь предела и значения функции в точке — отдельная тема, непрерывность (19.1), где эти два понятия впервые совмещаются в одно требование.A classic example: the function f(x)=(x²-1)/(x-1) is undefined at x₀=1 (14.1: division by zero outside the domain), but for all x≠1 it reduces to f(x)=x+1, and lim_{x→1} f(x) = 2 exists even though f(1) doesn't exist at all. The relationship between the limit and the function's value at the point is a separate topic — continuity (19.1), where these two notions are first merged into a single requirement.
Определение выше нарочно исключает точку x=x₀ из проверки (проколотая окрестность), поэтому предел «не знает» о значении f(x₀) вовсе. Пример: f(x)=1 при x≠0 и f(0)=100 (искусственно переопределённая в одной точке функция) — предел lim_{x→0}f(x)=1 существует и равен 1, несмотря на то, что f(0)=100. Отождествлять «предел равен A» с «функция в точке равна A» — ошибка, которая станет системной проблемой при чтении разрывных функций (19.2).The definition above deliberately excludes the point x=x₀ from the check (punctured neighborhood), so the limit "doesn't know" about the value f(x₀) at all. Example: f(x)=1 for x≠0 and f(0)=100 (a function artificially redefined at one point) — the limit lim_{x→0}f(x)=1 exists and equals 1, despite f(0)=100. Equating "the limit equals A" with "the function at the point equals A" is a mistake that becomes a systematic problem when reading discontinuous functions (19.2).
В Примере 16.1 связь δ=ε/2 оказалась одинаковой независимо от того, в какой точке x₀ вычисляется предел линейной функции — но это особенность линейности, не общее правило. Для более сложных функций (например, f(x)=x²) необходимое δ при фиксированном ε будет разным в разных точках x₀: чем больше |x₀|, тем чувствительнее x² к изменению x, тем меньше нужно взять δ. Явная запись δ(ε,x₀) точнее, чем δ(ε) — второе используется как сокращение, когда точка x₀ уже зафиксирована контекстом.In Example 16.1, the relationship δ=ε/2 turned out to be the same regardless of the point x₀ at which the limit of the linear function is computed — but this is a quirk of linearity, not a general rule. For more complex functions (e.g., f(x)=x²), the necessary δ for a fixed ε will differ at different points x₀: the larger |x₀|, the more sensitive x² is to changes in x, the smaller δ must be taken. The explicit notation δ(ε,x₀) is more accurate than δ(ε) — the latter is used as shorthand when the point x₀ is already fixed by context.
источникsource
Определение предела функции в точке (ε-δ) — по изданию: Письменный Д. Т. Конспект лекций по высшей математике: полный курс. — 9-е изд. — М.: Айрис-пресс, 2009. — 608 с. — Глава V, §16.1 «Предел функции в точке», с. 132–133. Пример 16.1, связь с 15.2/19.1, раздел «Грабли» — авторское дополнение.The definition of the limit of a function at a point (ε-δ) — from: Pismenny D. T. Lecture Notes on Higher Mathematics: Complete Course. — 9th ed. — Moscow: Iris-press, 2009. — 608 p. — Chapter V, §16.1 "The Limit of a Function at a Point," pp. 132–133. Example 16.1, the connection to 15.2/19.1, and the "Gotchas" section are original additions.