доказательство того, что функция не может иметь более одного предела
Доказательство того, что функция не может иметь более одного предела в точке, основано на свойстве пределов и принципе противоречия. Ниже приведено подробное объяснение с пошаговыми рассуждениями.
Задача:
Пусть у нас есть функция \(f:\mathbb{R} \to \mathbb{R}\), и допустим, что в точке \(a\) у неё есть два различных предела:
\[
\lim_{x \to a} f(x) = L_1 \quad и \quad \lim_{x \to a} f(x) = L_2,
\]
где \(L_1 \neq L_2\).
Докажем, что это невозможно, то есть функция не может иметь два разных предела в одной точке.
Шаг 1: Напомним определение предела функции
Формально, предел функции в точке \(a\) равен \(L\), если для любого \(\varepsilon > 0\) существуют \(\delta > 0\) такие, что для всех \(x\), удовлетворяющих \(\left|x - a\right| < \delta\), выполняется \(\left|f(x) - L\right| < \varepsilon\).
Шаг 2: Предположим, что есть два предела \(L_1\) и \(L_2\), причём \(L_1 \neq L_2\)
Допустим, что: \[ \lim_{x \to a} f(x) = L_1, \] \[ \lim_{x \to a} f(x) = L_2, \] и \(L_1 \neq L_2\).
Шаг 3: Выберите \(\varepsilon\) меньше половины разницы между \(L_1\) и \(L_2\)
Пусть: \[ \varepsilon = \frac{|L_1 - L_2|}{3} > 0, \] так как \(L_1 \neq L_2\), то разница положительна.
Шаг 4: Используем определение пределов для каждого из двух предположений
Так как \(\lim_{x \to a} f(x) = L_1\), то существует \(\delta_1 > 0\), такое что для всех \(x\), при \(\left|x - a\right| < \delta_1\), \[ \left|f(x) - L_1\right| < \varepsilon. \]
Аналогично, так как \(\lim_{x \to a} f(x) = L_2\), то существует \(\delta_2 > 0\), такое что для всех \(x\), при \(\left|x - a\right| < \delta_2\), \[ \left|f(x) - L_2\right| < \varepsilon. \]
Возьмем \(\delta = \min(\delta_1, \delta_2)\). Тогда для всех \(x\), при \(\left|x - a\right| < \delta\), выполняются оба неравенства.
Шаг 5: Получим противоречие
Рассмотрим произвольные \(x\), при \(\left|x - a\right| < \delta\). Тогда :
\[ \left|f(x) - L_1\right| < \varepsilon, \] \[ \left|f(x) - L_2\right| < \varepsilon. \]
Используем следующий треугольник-неравенство:
\[ |L_1 - L_2| = |(L_1 - f(x)) + (f(x) - L_2)| \leq |L_1 - f(x)| + |f(x) - L_2|. \]
Подставляя полученные оценки, получим:
\[ |L_1 - L_2| \leq \varepsilon + \varepsilon = 2\varepsilon. \]
Но тогда:
\[ |L_1 - L_2| \leq 2\varepsilon = 2 \times \frac{|L_1 - L_2|}{3} = \frac{2}{3} |L_1 - L_2|, \] что противоречит тому, что \(L_1 \neq L_2\), поскольку это неравенство бы означало: \[ |L_1 - L_2| \leq \frac{2}{3} |L_1 - L_2|, \] что невозможно, если \(L_1 \neq L_2\).
Заключение:
Несмотря на предположение, что у функции есть два различных предела \(L_1\) и \(L_2\), мы получили противоречие. Значит, предельное значение в точке — единственное.
Ответ:
Функция не может иметь более одного предела в одной точке, потому что существование двух различных пределов приводит к противоречию с определением предела.
