حد تابع همانی: اثبات میکنیم حد g(x)=x در نقطه a برابر a است
۱. تعریف تابع همانی و مفهوم حد در یک نگاه
تابع همانی سادهترین تابع غیرثابت است که هر ورودی را به همان خروجی تبدیل میکند: $g(x)=x$. این تابع در تمام نقاط پیوسته است و رفتار بسیار قابل پیشبینی دارد. حد گرفتن از این تابع در نقطه $a$ به این معنی است که وقتی $x$ به $a$ نزدیک میشود (اما نه لزوماً برابر آن)، مقدار تابع یعنی $x$ نیز به همان $a$ نزدیک میشود.
در یک مثال عملی، فرض کنید $a=5$. اگر مقادیر $x$ را به ترتیب $4.9, 4.99, 4.999$ (نزدیک از چپ) و $5.1, 5.01, 5.001$ (نزدیک از راست) در نظر بگیریم، مقدار تابع $g(x)$ دقیقاً همان اعداد خواهد بود. مشاهده میشود که هرچه $x$ به $5$ نزدیکتر شود، $g(x)$ نیز به $5$ نزدیکتر میگردد. این مشاهده ساده، پایه شهودی اثبات اصلی ماست.
| نوع نزدیک شدن | مقدار $x$ | مقدار $g(x)=x$ | فاصله از $a=5$ |
|---|---|---|---|
| از چپ (چپحد) | $4.9$ | $4.9$ | $0.1$ |
| از چپ | $4.99$ | $4.99$ | $0.01$ |
| از راست (راستحد) | $5.1$ | $5.1$ | $0.1$ |
| از راست | $5.01$ | $5.01$ | $0.01$ |
۲. اثبات با تعریف اپسیلون-دلتا (گامبهگام)
برای اثبات دقیقتر از تعریف حد به زبان $\varepsilon-\delta$ استفاده میکنیم. میگوییم $\lim_{x \to a} g(x) = L$ اگر به ازای هر عدد مثبت $\varepsilon$ بتوان $\delta \gt 0$ یافت به طوری که هرگاه $0 \lt |x - a| \lt \delta$ آنگاه $|g(x) - L| \lt \varepsilon$.
حال برای تابع $g(x)=x$، فرض میکنیم $L=a$. باید نشان دهیم که به ازای هر $\varepsilon \gt 0$، یک $\delta \gt 0$ وجود دارد که شرط بالا برقرار باشد. توجه کنید:
یعنی اختلاف مقدار تابع از حد مورد نظر دقیقاً برابر اختلاف $x$ از $a$ است. بنابراین شرط $|g(x) - a| \lt \varepsilon$ معادل است با $|x - a| \lt \varepsilon$. حال اگر $\delta = \varepsilon$ انتخاب کنیم، از فرض $0 \lt |x - a| \lt \delta$ نتیجه میشود $|x - a| \lt \varepsilon$ که همان شرط مطلوب است. اثبات کامل شد.
۳. حد یکطرفه و رابطه با حد دوطرفه برای تابع همانی
برای تابع $g(x)=x$، حد چپ و راست در هر نقطه $a$ نیز هر دو برابر $a$ هستند. زیرا وقتی $x$ از مقادیر کوچکتر به $a$ نزدیک میشود، مقدار تابع همان مقادیر نزدیک از چپ را دارد. به طور مشابه برای نزدیک شدن از راست. از آنجا که هر دو حد یکطرفه وجود دارند و برابرند، حد دوطرفه نیز وجود دارد و برابر همان مقدار است.
۴. کاربرد عملی: چرا حد تابع همانی مهم است؟
درک حد تابع همانی، پایهای برای محاسبه حد توابع پیچیدهتر است. مثلاً وقتی حد توابعی مانند $f(x)=3x+2$ را محاسبه میکنیم، از خاصیت خطی بودن حد استفاده میکنیم: $\lim (3x+2)=3\lim x + \lim 2 = 3a+2$. در اینجا حد $x$ که همان تابع همانی است، کلید حل مسئله به شمار میرود. همچنین در اثبات پیوستگی4 توابع، حد تابع همانی به عنوان یک مورد پایه استفاده میشود.
مثال عددی: فرض کنید میخواهیم حد $h(x)=\frac{x^2 - 4}{x-2}$ را در $x \to 2$ محاسبه کنیم. پس از سادهسازی جبری به $x+2$ میرسیم و با استفاده از حد تابع همانی و حد عدد ثابت، نتیجه $2+2=4$ به دست میآید.
۵. چالشهای مفهومی برای دانشآموزان
پرسش ۱: اگر تابع همانی دقیقاً برابر $g(x)=x$ است، چرا باید حد آن را جداگانه اثبات کنیم؟ مگر بدیهی نیست که $x$ به $a$ میل میکند؟
پاسخ: در ریاضیات، حتی گزارههای بدیهی نیاز به اثبات بر اساس تعاریف دقیق دارند. اثبات با تعریف اپسیلون-دلتا نشان میدهد که مفهوم «نزدیک شدن» به طور دقیق قابل اندازهگیری است و تابع همانی این شرط را برآورده میکند. این تمرین، پایهای برای اثبات حد توابع غیربدیهی است.
پرسش ۲: آیا در حد تابع همانی، مقدار تابع در خود نقطه $x=a$ مهم است؟
پاسخ: خیر. تعریف حد به رفتار تابع در همسایگی نقطه توجه دارد، نه خود نقطه. در تابع همانی، مقدار تابع در $x=a$ برابر $a$ است که با حد برابر است، اما این یک ویژگی اضافی (پیوستگی) است نه شرط وجود حد.
پرسش ۳: اگر به جای $g(x)=x$ تابع $g(x)=c$ (تابع ثابت) داشتیم، چه تغییری در اثبات ایجاد میشد؟
پاسخ: برای تابع ثابت، $|g(x)-c| = 0$ همواره کوچکتر از هر $\varepsilon$ است، بنابراین $\delta$ میتواند هر عدد مثبتی باشد. اما در تابع همانی، $\delta$ مستقیماً برابر $\varepsilon$ انتخاب میشود که نشانه وابستگی مستقیم تغییرات خروجی به ورودی است.
جمعبندی
پاورقی
1 تابع همانی (Identity Function): تابعی که هر عضو دامنه را به خودش نسبت میدهد، یعنی $f(x)=x$.
2 حد (Limit): مقداری که تابع وقتی متغیر مستقل به نقطه مشخصی نزدیک میشود به آن میل میکند، بدون لزوم رسیدن به آن نقطه.
3 تعریف اپسیلون-دلتا (Epsilon-Delta Definition): تعریف دقیق حد که در آن به ازای هر $\varepsilon \gt 0$، $\delta \gt 0$ وجود دارد به طوری که $0 \lt |x-a| \lt \delta$ نتیجه دهد $|f(x)-L| \lt \varepsilon$.
4 پیوستگی (Continuity): تابعی در نقطه $a$ پیوسته است که حد تابع در آن نقطه برابر با مقدار تابع باشد.