Доказательство того, что функция не может иметь более одного предела

Доказательство того, что функция не может иметь более одного предела в точке, основано на свойстве пределов и принципе противоречия. Ниже приведено подробное объяснение с пошаговыми рассуждениями. --- ### Задача: Пусть у нас есть функция \(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\), мы получили противоречие. Значит, **предельное значение в точке — единственное**. --- ### **Ответ:** **Функция не может иметь более одного предела в одной точке, потому что существование двух различных пределов приводит к противоречию с определением предела.**