وجود حد در نقطه: حالتی که با نزدیک شدن x به a از چپ و راست، مقادیر تابع به یک عدد واحد نزدیک شوند
تعریف دقیق حد در نقطه و شرط اصلی وجود آن
فرض کنید f(x) تابعی باشد که روی بازهای اطراف نقطهٔ a (به جز احتمالاً خود a) تعریف شده است. میگوییم حد تابع وقتی x به a نزدیک میشود برابر L است و مینویسیم:
اگر و فقط اگر با نزدیک شدن x از هر دو جهت (چپ و راست) به a، مقادیر تابع به عدد یکسانی مانند L نزدیک شوند. به عبارت دیگر:
- حد چپ:$ \lim_{x \to a^{-}} f(x) = L $ یعنی وقتی x از مقادیر کوچکتر از a به آن نزدیک شود.
- حد راست:$ \lim_{x \to a^{+}} f(x) = L $ یعنی وقتی x از مقادیر بزرگتر از a به آن نزدیک شود.
شرط وجود حد (دو طرفه) این است که هر دو حد چپ و راست وجود داشته باشند و با هم برابر باشند. در این صورت حد تابع در نقطهٔ a برابر آن مقدار مشترک خواهد بود. توجه کنید که مقدار خود تابع در نقطهٔ a (یعنی f(a)) میتواند با L متفاوت باشد یا اصلاً تعریف نشده باشد.
بررسی عددی و جدولی: گامی به سوی درک نزدیک شدن
برای درک بهتر مفهوم «نزدیک شدن از چپ و راست»، تابع زیر را در نظر بگیرید:
این تابع در x = 1 تعریف نشده است. اما با نزدیک شدن به 1 از چپ و راست، چه اتفاقی میافتد؟ جدول زیر مقادیر تابع را نشان میدهد:
| نزدیک شدن از چپ (x \to 1^{-}) | مقدار f(x) | نزدیک شدن از راست (x \to 1^{+}) | مقدار f(x) |
|---|---|---|---|
| 0.9 | 1.9 | 1.1 | 2.1 |
| 0.99 | 1.99 | 1.01 | 2.01 |
| 0.999 | 1.999 | 1.001 | 2.001 |
همانطور که مشاهده میکنید، با نزدیک شدن x به 1 از هر دو طرف، مقادیر تابع به عدد 2 نزدیک میشوند. بنابراین:
این در حالی است که f(1) تعریف نشده است. این مثال نشان میدهد که وجود حد به مقدار تابع در آن نقطه وابسته نیست.
مقایسهٔ حد چپ و حد راست با یک مثال پلّهای
تابع پلّهای یا ضابطهای زیر را در نظر بگیرید:
حد چپ در نقطهٔ a=2 را حساب میکنیم:
حد راست نیز برابر است با:
چون $ 3 \neq 2 $، حد دوطرفه در x=2 وجود ندارد. این وضعیت را «پرش» یا ناپیوستگی جهشی مینامند. نکتهٔ کلیدی این است که برای وجود حد، مقدار تابع از چپ و راست باید به یک مقدار واحد همگرا شود، هرچند خود تابع در آن نقطه مقدار دیگری داشته باشد.
کاربرد عملی: پیشبینی رفتار توابع در مسائل فیزیک و اقتصاد
فرض کنید یک متخصص حملونقل، هزینهٔ سوخت یک خودرو را بر حسب سرعت (v) مدل کرده است. تابع هزینه به ازای سرعتهای کمتر از 60 کیلومتر بر ساعت یک فرمول و برای سرعتهای بیشتر از 60 فرمول دیگری دارد. اگر حد چپ و راست در نقطهٔ v=60 برابر نباشند، سیستم دچار ناپیوستگی خواهد بود که یعنی تغییر ناگهانی در هزینه به ازای تغییر بسیار کوچک سرعت — که از نظر فیزیکی غیرعادی است. مهندسان با محاسبهٔ حد اطمینان مییابند که مدلشان در آستانهٔ سرعت 60 رفتار پیوسته و منطقی دارد.
مثال دیگر: در علم آمار، هنگام بررسی تابع توزیع تجمعی1، مقدار حد در یک نقطه از چپ، احتمال وقوع مقادیر کوچکتر یا مساوی آن متغیر را نشان میدهد و حد از راست، احتمال وقوع مقادیر اکیداً بزرگتر را. همارزی این دو حد در نقاط پیوستگی توزیع اهمیت بسیاری دارد.
چالشهای مفهومی
۱. آیا ممکن است تابع در نقطهٔ a تعریف شده باشد ولی حد در آن نقطه وجود نداشته باشد؟
بله، همان مثال تابع پلّهای g(x) را در نظر بگیرید. در x=2، g(2)=4 تعریف شده است، اما حد چپ 3 و حد راست 2 است، بنابراین حد دوطرفه وجود ندارد. وجود حد شرطی قویتر از تعریف شدن تابع است.
۲. آیا ممکن است حد چپ و حد راست هر دو وجود داشته باشند ولی با هم برابر نباشند؟ اگر برابر نباشند، چه نام دارد؟
قطعاً. در این حالت میگوییم «حد دوطرفه وجود ندارد» ولی حدهای یکطرفه وجود دارند. در نمودار، این وضعیت شبیه یک پرش یا جهش عمودی است. مثال معروف آن تابع علامت2 در نقطهٔ صفر است: حد چپ برابر -1 و حد راست برابر +1 است.
۳. اگر حد چپ و راست برابر باشند، آیا حتماً تابع در آن نقطه پیوسته است؟
خیر. برای پیوستگی در نقطه باید سه شرط برقرار باشد: (۱) حد چپ و راست برابر باشند (حد وجود داشته باشد)، (۲) تابع در آن نقطه تعریف شده باشد، (۳) مقدار تابع با مقدار حد برابر باشد. اگر حد وجود داشته باشد ولی f(a) \neq L، گوییم تابع دارای ناپیوستگی نقطهای یا قابل رفع3 است.
جدول جمعبندی موارد وجود یا عدم وجود حد
| وضعیت حد چپ | وضعیت حد راست | حد دوطرفه وجود دارد؟ | مثال و توضیح |
|---|---|---|---|
| وجود دارد (مقدار L1) | وجود دارد (مقدار L2) و L1 = L2 | بله | تابع $ f(x)=x^2 $ در $ x=0 $ |
| وجود دارد (L1) | وجود دارد (L2) ولی L1 \neq L2 | خیر | تابع علامت در $ x=0 $ |
| حد چپ وجود ندارد (مثلاً نوسانی یا بینهایت) | هر وضعیتی | خیر | تابع $ \sin(1/x) $ در $ x=0 $ (نوسان شدید) |
پاورقی
1 تابع توزیع تجمعی (Cumulative Distribution Function): تابعی که احتمال این که متغیر تصادفی مقداری کوچکتر یا مساوی یک عدد معین بگیرد را نشان میدهد.
2 تابع علامت (Sign Function or Signum): تابعی که برای اعداد مثبت مقدار +1، برای اعداد منفی مقدار -1 و برای صفر مقدار 0 میدهد.
3 ناپیوستگی قابل رفع (Removable Discontinuity): وضعیتی که حد در نقطه وجود دارد ولی مقدار تابع با آن برابر نیست یا تابع در آن نقطه تعریف نشده است؛ با تعریف یا تغییر مقدار تابع میتوان آن را پیوسته کرد.