قضیه حد تفاضل دو تابع
بررسی اثبات و کاربرد قاعده خطی بودن حد: حد تفاضل برابر است با تفاضل حدها
اگر دو تابع f و g در نقطهٔ a دارای حد باشند، آنگاه تابع تفاضل f-g نیز در آن نقطه حد داشته و مقدار حد آن برابر است با تفاضل حدهای دو تابع. این قضیه یکی از قواعد پایهای در مبحث حد توابع است که در محاسبههای پیشرفتهتر مانند پیوستگی و مشتقگیری کاربرد گستردهای دارد.
بیان دقیق قضیه و پیشنیازها
فرض کنید f و g دو تابع حقیقی باشند که روی یک همسایگی محذوف از نقطهٔ a تعریف شدهاند (به جز احتمالاً خود a). اگر:
$ \lim_{x \to a} f(x) = L_1 $ و $ \lim_{x \to a} g(x) = L_2 $
آنگاه داریم:
$ \lim_{x \to a} [f(x) - g(x)] = L_1 - L_2 $
این قضیه بخشی از خاصیت خطی بودن حد1 است. برای درک بهتر، توجه کنید که حد تفاضل معادل حد جمع f با (-g) است. بنابراین اثبات این قضیه به کمک قضیه حد جمع و قضیه حد ضرب در عدد ثابت (-1) قابل انجام است.
مراحل اثبات با استفاده از تعریف اپسیلون-دلتا
برای اثبات دقیق این قضیه از تعریف حد به زبان ε-δ2 استفاده میکنیم. هدف این است که نشان دهیم به ازای هر ε > 0، مقدار δ > 0 وجود دارد که اگر 0 آنگاه | (f(x)-g(x)) - (L_1 - L_2) | .
گام اول: از فرض وجود حد برای f و g استفاده میکنیم. به ازای ε' = ε/2، اعداد δ_1 > 0 و δ_2 > 0 وجود دارند به طوری که:
$ 0
$ 0
$ 0
گام دوم: انتخاب δ = min(δ_1, δ_2). در این صورت برای هر x که 0 ، هر دو نامساوی بالا برقرار هستند.
گام سوم: با استفاده از نامساوی مثلثی داریم:
$ |(f(x)-g(x)) - (L_1 - L_2)| = |(f(x)-L_1) - (g(x)-L_2)| $
$ \le |f(x)-L_1| + |g(x)-L_2| $
$
$ \le |f(x)-L_1| + |g(x)-L_2| $
$
بنابراین شرط تعریف حد برقرار است و اثبات کامل میشود.
جدول مقایسه قضایای حد جمع، تفاضل، ضرب و تقسیم
| نام قضیه | فرض میکنیم | نتیجه |
|---|---|---|
| حد جمع | $\lim f = L_1 , \lim g = L_2$ | $\lim (f+g) = L_1 + L_2$ |
| حد تفاضل | $\lim f = L_1 , \lim g = L_2$ | $\lim (f-g) = L_1 - L_2$ |
| حد ضرب | $\lim f = L_1 , \lim g = L_2$ | $\lim (f \cdot g) = L_1 \cdot L_2$ |
| حد تقسیم | $\lim f = L_1 , \lim g = L_2 \neq 0$ | $\lim (f/g) = L_1 / L_2$ |
مثالهای عددی ساده برای درک بهتر
مثال 1: فرض کنید $f(x) = 2x + 1$ و $g(x) = x^2 - 3$. میخواهیم $\lim_{x \to 2} [f(x) - g(x)]$ را محاسبه کنیم. طبق قضیه:
$\lim_{x \to 2} f(x) = 2(2)+1 = 5$
$\lim_{x \to 2} g(x) = (2)^2 - 3 = 4 - 3 = 1$
$\lim_{x \to 2} [f(x)-g(x)] = 5 - 1 = 4$
$\lim_{x \to 2} g(x) = (2)^2 - 3 = 4 - 3 = 1$
$\lim_{x \to 2} [f(x)-g(x)] = 5 - 1 = 4$
میتوانیم مستقیم نیز محاسبه کنیم: $f(x)-g(x) = (2x+1) - (x^2-3) = -x^2 + 2x + 4$. حد این تابع در $x=2$ برابر است با $-(4)+4+4=4$. مشاهده میشود که نتیجه یکسان است.
مثال 2 (کاربرد در توابع مثلثاتی): محاسبه $\lim_{x \to 0} \left( \frac{\sin x}{x} - \cos x \right)$. میدانیم:
$\lim_{x \to 0} \frac{\sin x}{x} = 1$ و $\lim_{x \to 0} \cos x = 1$
بنابراین حد تفاضل برابر است با $1 - 1 = 0$.
کاربرد عملی: محاسبه حد توابع چندجملهای و گویا
یکی از مهمترین کاربردهای قضیه حد تفاضل در توابع چندجملهای است. هر تابع چندجملهای را میتوان به صورت مجموع (یا تفاضل) تعدادی تکجملهای3 نوشت. با استفاده از قضیه حد تفاضل به همراه قضیه حد جمع و ضرب، میتوان حد یک چندجملهای را به سادگی با جایگذاری مستقیم نقطه محاسبه کرد.
مثال عملی: در فیزیک، موقعیت یک متحرک به صورت $s(t) = t^3 - 4t^2 + 2t$ داده شده است. سرعت لحظهای در زمان $t=3$ برابر است با $\lim_{h \to 0} \frac{s(3+h)-s(3)}{h}$. در محاسبه این حد، تفاضل $s(3+h)-s(3)$ ظاهر میشود. قضیه حد تفاضل تضمین میکند که بتوان این حد را به صورت تفاضل حدهای جداگانه محاسبه کرد و در نهایت به مشتق تابع رسید.
چالشهای مفهومی
۱. آیا شرط وجود حد برای f و g به طور جداگانه لازم است؟ اگر فقط یکی از آنها حد داشته باشد چه اتفاقی میافتد؟
بله، شرط لازم است. اگر فقط f حد داشته باشد و g حد نداشته باشد، آنگاه $f-g$ نیز حد نخواهد داشت (مگر در موارد خاص که بینهایت نشدن حد g به طور خاصی جبران شود، اما در حالت کلی قضیه برقرار نیست). اثبات این موضوع از برهان خلف استفاده میکند: اگر $f-g$ حد داشت، آنگاه $g = f - (f-g)$ حد میداشت که تناقض است.
بله، شرط لازم است. اگر فقط f حد داشته باشد و g حد نداشته باشد، آنگاه $f-g$ نیز حد نخواهد داشت (مگر در موارد خاص که بینهایت نشدن حد g به طور خاصی جبران شود، اما در حالت کلی قضیه برقرار نیست). اثبات این موضوع از برهان خلف استفاده میکند: اگر $f-g$ حد داشت، آنگاه $g = f - (f-g)$ حد میداشت که تناقض است.
۲. اگر حدهای f و g هر دو بینهایت شوند (مثلاً هر دو به سمت $+\infty$)، آیا قضیه همچنان معتبر است؟
خیر. قضیه حد تفاضل برای حالتهایی که حدها متناهی هستند اثبات شده است. اگر هر دو حد بینهایت باشند، عبارت $\infty - \infty$ یک حالت مبهم4 است و نمیتوان به سادگی تفاضل را محاسبه کرد. در چنین مواقعی باید از روشهای دیگری مانند سادهسازی عبارت یا استفاده از قاعده هوپیتال استفاده کرد.
خیر. قضیه حد تفاضل برای حالتهایی که حدها متناهی هستند اثبات شده است. اگر هر دو حد بینهایت باشند، عبارت $\infty - \infty$ یک حالت مبهم4 است و نمیتوان به سادگی تفاضل را محاسبه کرد. در چنین مواقعی باید از روشهای دیگری مانند سادهسازی عبارت یا استفاده از قاعده هوپیتال استفاده کرد.
۳. آیا این قضیه برای حدهای یکطرفه نیز صادق است؟
بله. نسخه مشابهی از این قضیه برای حد چپ ($x \to a^-$) و حد راست ($x \to a^+$) نیز برقرار است. اثبات آن با همان روش $\varepsilon-\delta$ و با در نظر گرفتن همسایگی یکطرفه انجام میشود.
بله. نسخه مشابهی از این قضیه برای حد چپ ($x \to a^-$) و حد راست ($x \to a^+$) نیز برقرار است. اثبات آن با همان روش $\varepsilon-\delta$ و با در نظر گرفتن همسایگی یکطرفه انجام میشود.
جمعبندی
در این مقاله نشان دادیم که اگر دو تابع f و g در نقطه a حدهای متناهی داشته باشند، آنگاه تابع تفاضل $f-g$ نیز در آن نقطه حد داشته و این حد برابر است با تفاضل حدهای دو تابع. اثبات این قضیه با استفاده از تعریف $\varepsilon-\delta$ و نامساوی مثلثی انجام میشود. این قضیه به همراه سایر قضایای حد (جمع، ضرب، تقسیم) ابزار قدرتمندی برای محاسبه حد توابع پیچیدهتر بدون نیاز به بازگشت مستقیم به تعریف اصلی فراهم میکند.
پاورقی
1 خطی بودن حد (Linearity of Limit): خاصیتی که بر اساس آن حد ترکیب خطی توابع برابر ترکیب خطی حدهای آنهاست.
2 تعریف اپسیلون-دلتا (Epsilon-Delta Definition): تعریف دقیق حد که در آن به ازای هر $\varepsilon > 0$، $\delta > 0$ وجود دارد به طوری که اگر فاصله $x$ از $a$ کمتر از $\delta$ باشد، آنگاه فاصله $f(x)$ از حدش کمتر از $\varepsilon$ خواهد بود.
3 تکجملهای (Monomial): تابعی به شکل $c x^n$ که در آن $c$ عدد ثابت و $n$ عددی طبیعی است.
4 حالت مبهم (Indeterminate Form): عبارتی در محاسبه حد که مقدار آن بلافاصله مشخص نیست و نیاز به بررسی بیشتر دارد، مانند $\frac{0}{0}$، $\frac{\infty}{\infty}$، $\infty - \infty$، $0 \times \infty$ و $1^\infty$.
2 تعریف اپسیلون-دلتا (Epsilon-Delta Definition): تعریف دقیق حد که در آن به ازای هر $\varepsilon > 0$، $\delta > 0$ وجود دارد به طوری که اگر فاصله $x$ از $a$ کمتر از $\delta$ باشد، آنگاه فاصله $f(x)$ از حدش کمتر از $\varepsilon$ خواهد بود.
3 تکجملهای (Monomial): تابعی به شکل $c x^n$ که در آن $c$ عدد ثابت و $n$ عددی طبیعی است.
4 حالت مبهم (Indeterminate Form): عبارتی در محاسبه حد که مقدار آن بلافاصله مشخص نیست و نیاز به بررسی بیشتر دارد، مانند $\frac{0}{0}$، $\frac{\infty}{\infty}$، $\infty - \infty$، $0 \times \infty$ و $1^\infty$.
