Алгебра границь
Вступ
Означення границі надає основу для опису того, як функція \(f(x)\) наближається до певного значення поблизу заданої точки \(x_0\). Самого по собі цього означення недостатньо для практичних обчислень. У більшості випадків ми працюємо з границами, коли функції додаються, множаться, компонуються або діляться.
Алгебра granic складається з операційних правил, виведених безпосередньо з формального означення границі. Ці правила ілюструють структурну сумісність між границами та стандартними алгебраїчними операціями. Для ілюстрації цих правил припустимо, що \( L \) та \( M \) є дійсними числами такими, що:
\[ \lim_{x \to x_0} f(x) = L \quad \text{та} \quad \lim_{x \to x_0} g(x) = M \]
Границя суми
Коли дві функції наближаються до скінченних значень поблизу точки, сума функцій наближається до суми цих значень. Зокрема, якщо \( f(x) \) залишається близькою до \( L \), а \( g(x) \) залишається близькою до \( M \), то їхня спільна зміна залишається близькою до \( L + M \). Формально маємо:
\[ \lim_{x \to x_0} \big(f(x) + g(x)\big) = L + M \]
Ця властивість випливає безпосередньо з означення границі. Для будь-якого допуску навколо \( L + M \) відхилення \( f(x) \) та \( g(x) \) можна контролювати незалежно, щоб забезпечити, що їхнє спільне відхилення залишається в межах заданої норми. Розглянемо, наприклад, наступні вирази, що містять функцію синуса та функцію косинуса:
\[ f(x) = \frac{\sin x}{x} \quad g(x) = \frac{1 – \cos x}{x^2} \]
і припустимо, що ми хочемо обчислити суму:
\[ \lim_{x \to 0} \big(f(x) + g(x)\big) \]
Жодна з функцій не визначена при \( x = 0 \), що заважає обчислити границю шляхом прямої підстановки. Проте два відомі результати з аналізу дають:
\[ \lim_{x \to 0} \frac{\sin x}{x} = 1 \quad \lim_{x \to 0} \frac{1 - \cos x}{x^2} = \frac{1}{2} \]
За правилом суми для granic, ми робимо висновок: \[ \lim_{x \to 0} \big(f(x) + g(x)\big) = 1 + \frac{1}{2} = \frac{3}{2} \]
Цей приклад демонструє корисність правила суми. Замість того щоб аналізувати спільний вираз безпосередньо, що вимагало б значних алгебраїчних перетворень, правило дозволяє розкласти задачу на дві незалежні границі, кожну з яких можна розглянути окремо.
Границя різниці
Аналогічний аргумент застосовний до віднімання. Якщо дві функції наближаються до \(L\) та \(M\), то їхня різниця наближається до \(L - M\). Алгебраїчні властивості дійсних чисел гарантують, що віднімання узгоджується з процесом знаходження границі.
\[ \lim_{x \to x_0} \big(f(x) – g(x)\big) = L - M \]
Доведення паралельне доведенню для суми, оскільки віднімання можна інтерпретувати як додавання протилежного елемента. Наприклад, розглянемо функції: \[ f(x) = \frac{1 – \cos x}{x^2} \quad g(x) = \frac{\sin^2 x}{2x^2} \] Припустимо, що ми хочемо обчислити різницю: \[ \lim_{x \to 0} \big(f(x) - g(x)\big) \] Жодна з функцій не визначена при \( x = 0 \), тому пряма підстановка неможлива. Однак два відомі результати дають:
\[ \lim_{x \to 0} \frac{1 - \cos x}{x^2} = \frac{1}{2} \quad \lim_{x \to 0} \frac{\sin^2 x}{2x^2} = \frac{1}{2} \]
Другий результат випливає з того, що \( \lim_{x \to 0} \frac{\sin x}{x} = 1 \). Використовуючи правило різниці для granic, ми знаходимо:
\[ \lim_{x \to 0} \big(f(x) – g(x)\big) = \frac{1}{2} – \frac{1}{2} = 0 \] Спочатку цей результат не є очевидним зі спільного виразу: \[ \frac{1 – \cos x}{x^2} - \frac{\sin^2 x}{2x^2} \]
оскільки кожен доданок наближається до \( \frac{1}{2} \), і знаходження їхньої різниці потребує ретельних обчислень. Правило різниці, як і правило суми, дозволяє розбити задачу на дві простіші границі, що полегшує обчислення.
Границя добутку на сталу
Якщо функція наближається до значення \( L \), то множення її на сталу також помножить границю на цю сталу. Це показує, що границі поводяться лінійно. Загалом, для будь-якої дійсної сталої \( c \), маємо:
\[ \lim_{x \to x_0} c\,f(x) = cL \]
Стала не впливає на саму границю, а лише змінює кінцеве значення шляхом масштабування. Щоб проаналізувати цей випадок, припустимо, що ми хочемо знайти:
\[ \lim_{x \to 0} 3 \frac{\ln(1 + x)}{x} \]
Логарифмічна функція не визначена при \( x = 0 \), тому ми не можемо використовувати пряму підстановку. Однак відомий результат з аналізу говорить нам:
\[ \lim_{x \to 0} \frac{\ln(1 + x)}{x} = 1 \]
Використовуючи правило добутку на сталу для granic, ми отримаємо:
\[ \lim_{x \to 0} 3 \cdot \frac{\ln(1 + x)}{x} = 3 \cdot 1 = 3 \]
Границя добутку
Якщо дві функції наближаються до певних значень біля точки, їхній добуток також наближається до добутку цих значень. Наприклад, якщо \( f(x) \) залишається поблизу \( L \), а \( g(x) \) залишається поблизу \( M \), тоді їхній добуток залишається поблизу \( L \cdot M \): \[ \lim_{x \to x_0} \big(f(x) \cdot g(x)\big) = L \cdot M \]
Ключова ідея цього правила полягає в тому, що обома множниками можна керувати незалежно біля \( x_0 \), і їхній спільний ефект залишається обмеженим. Щоб проілюструвати це, розглянемо наступні функції: \[ f(x) = \frac{e^x - 1}{x} \quad g(x) = \frac{\ln(1 + x)}{x} \]
Жодна з функцій не визначена при \( x = 0 \), тому пряма підстановка неможлива. Однак обидві є визначеними границями, значення яких відомі: \[ \lim_{x \to 0} \frac{e^x - 1}{x} = 1 \quad \lim_{x \to 0} \frac{\ln(1 + x)}{x} = 1 \]
За правилом добутку ми тепер можемо обчислити границю їхнього добутку: \[ \lim_{x \to 0} \frac{(e^x - 1)\ln(1 + x)}{x^2} = 1 \cdot 1 = 1 \]
Границя частки
При діленні двох або більше granic слід пам'ятати про важливе обмеження. Якщо \( g(x) \) наближається до ненульового значення \( M \neq 0 \), частка поводиться нормально біля \( x_0 \). Але якщо границя знаменника дорівнює нулю, результат може стати непередбачуваним. Припустимо, що \( M \neq 0 \), тоді маємо:
\[ \lim_{x \to x_0} \frac{f(x)}{g(x)} = \frac{L}{M} \]
Головна ідея полягає в тому, що оскільки \( g(x) \) залишається близькою до ненульового числа біля \( x_0 \), вона не наближається там до нуля. Це гарантує, що частка не призведе до проблем із діленням на нуль біля \( x_0 \), і границя поводиться очікувано. Розглянемо наступні функції, щоб проаналізувати цей випадок:
\[ f(x) = \frac{e^x – 1}{x} \quad g(x) = \frac{x^2 + 1}{x + 1} \]
Припустимо, ми хочемо знайти частку: \[ \lim_{x \to 0} \frac{f(x)}{g(x)} \]
Функція \( f(x) \) не визначена при \( x = 0 \), тому ми не можемо використовувати пряму підстановку для чисельника. Однак ми знаємо, що: \[ \lim_{x \to 0} \frac{e^x – 1}{x} = 1 \]
Для знаменника ми можемо використати пряму підстановку, оскільки \( g(x) \) визначена при \( x = 0 \): \[ \lim_{x \to 0} \frac{x^2 + 1}{x + 1} = \frac{0 + 1}{0 + 1} = 1 \] Оскільки границя знаменника \( M = 1 \), а не нуль, ми можемо скористатися правилом частки та отримати: \[ \lim_{x \to 0} \frac{f(x)}{g(x)} = \frac{1}{1} = 1 \]
Цей приклад показує, чому важливо перевірити, що границя знаменника не дорівнює нулю перед використанням правила частки. У цьому випадку \( g(x) \) залишається близькою до \( 1 \) біля \( x = 0 \), тому немає ризику ділення на нуль.
Границі степенів та поліномів
Коли ми маємо повторене множення, ми стикаємося з границями степенів. Якщо \(f(x)\) наближається до \(L\), то для будь-якого цілого додатного \(n\) маємо:
\[ \lim_{x \to x_0} (f(x))^n = L^n \]
Ця властивість означає, що ви можете знайти границю полінома, підставивши граничне значення в поліном. Оскільки поліноми використовують лише суми та добутки, вони підпорядковуються тим самим правилам для granic, що й ці операції. Розглянемо наступну границю функції: \[ \lim_{x \to 0} \left(\frac{e^x – 1}{x}\right)^4 \]
Функція не визначена при \( x = 0 \), тому пряма підстановка неможлива. Однак, як визначена границя, ми знаємо, що:
\[ \lim_{x \to 0} \frac{e^x – 1}{x} = 1 \]
Якщо ми використаємо правило степеня з \( n = 4 \), отримаємо:
\[ \lim_{x \to 0} \left(\frac{e^x – 1}{x}\right)^4 = 1^4 = 1 \]
Правило степеня дозволяє нам уникнути прямого розкриття виразу, що значно ускладнило б обчислення. Замість цього, як тільки границя базової функції відома, ми просто підносимо це значення до потрібного степеня за один крок: \[ \left(\frac{e^x - 1}{x}\right)^4 \to 1^4 = 1 \]
Границя композиції
Тепер розглянемо випадок композиції функцій. Дано дві функції \( \varphi \) та \( f \), їхня композиція \( \varphi(f(x)) \) полягає в тому, щоб спочатку застосувати \( f \), а потім \( \varphi \) до результату. Припустимо, що:
\[ \lim_{x \to x_0} f(x) = L \]
Тепер, якщо \( \varphi \) є неперервною в точці \( L \), границю можна взяти через функцію: \[ \lim_{x \to x_0} \varphi(f(x)) = \varphi(L) \]
Ця властивість пов'язує алгебру granic із неперервністю. Неперервність \( \varphi \) гарантує, що малі відхилення вхідного значення біля \( L \) спричиняють малі відхилення вихідного значення. Без неперервності це правило не може бути гарантоване.
Наприклад, розглянемо наступну функцію: \[ f(x) = \frac{\ln(1 + x)}{x} \quad \varphi(t) = \sqrt{t} \]
Припустимо, ми хочемо знайти границю: \[ \lim_{x \to 0} \sqrt{\frac{\ln(1 + x)}{x}} \]
Функція \( f(x) \) не визначена при \( x = 0 \), тому пряма підстановка неможлива. Однак це одна з визначених granic, і її значення відоме: \[ \lim_{x \to 0} \frac{\ln(1 + x)}{x} = 1 \]
Оскільки \( \varphi(t) = \sqrt{t} \) є неперервною при \( t = 1 \), границю можна взяти через зовнішню функцію: \[ \lim_{x \to 0} \sqrt{\frac{\ln(1 + x)}{x}} = \sqrt{1} = 1 \]
Цей приклад показує, що правило композиції зводить задачу до двох окремих кроків: спочатку визначення границі внутрішньої функції, а потім обчислення зовнішньої функції в цьому значенні. Ця процедура обґрунтована лише тоді, коли \( \varphi \) є неперервною при \( L = 1 \).
Підсумок
| Сума | \[ \lim_{x \to x_0} \big(f(x) + g(x)\big) = L + M \] |
| Різниця | \[ \lim_{x \to x_0} \big(f(x) – g(x)\big) = L - M \] |
| Множення на сталу | \[ \lim_{x \to x_0} c\,f(x) = cL \] |
| Добуток | \[ \lim_{x \to x_0} \big(f(x) \cdot g(x)\big) = L \cdot M \] |
| Частка | \[ \lim_{x \to x_0} \frac{f(x)}{g(x)} = \frac{L}{M} \quad M \neq 0 \] |
| Степінь | \[ \lim_{x \to x_0} \big(f(x)\big)^n = L^n \] |
| Композиція | \[ \lim_{x \to x_0} \varphi(f(x)) = \varphi(L) \quad \varphi \text{ неперервна в точці } L \] |
Вибрана література
-
University of Washington, M. Greenberg. Основні теореми про границі
-
University of Wisconsin, J. Robbin. Математичний аналіз: Конспекти лекцій
-
University of California Davis, J. K. Hunter. Границі функцій