همسایگی محذوف: مفهومی پایهای در تحلیل حد و پیوستگی
تعریف و مفهوم همسایگی محذوف
در ریاضیات، همسایگی یک نقطه مانند c، مجموعهای از همه نقاطی است که فاصلهٔ آنها از c کمتر از عدد مثبت \delta باشد. اما گاهی برای بررسی رفتار تابع در نزدیکی c، خود نقطه c را حذف میکنیم. این مجموعهٔ جدید را همسایگی محذوف1 مینامیم.
به عبارت دیگر، همسایگی محذوف شامل تمام نقاطی است که فاصلهٔ آنها از c کمتر از \delta باشد ولی خود c در آن نباشد. در خط اعداد حقیقی، این مفهوم به صورت اجتماع دو بازهٔ (c - \delta, c) و (c, c + \delta) نمایش داده میشود.
برای مثال، همسایگی محذوف به شعاع 0.1 از نقطهٔ 2 عبارت است از $(1.9, 2) \cup (2, 2.1)$. همهٔ اعداد بین 1.9 و 2.1 به جز خود عدد 2 در این همسایگی قرار دارند.
تفاوت همسایگی معمولی و همسایگی محذوف
| ویژگی | همسایگی معمولی | همسایگی محذوف |
|---|---|---|
| نماد | $N_{\delta}(c)$ | $N_{\delta}(c) \setminus \{c\}$ |
| شرط عضویت | $|x - c| \lt \delta$ | $0 \lt |x - c| \lt \delta$ |
| شامل نقطهٔ مرکزی | بله | خیر |
| کاربرد اصلی | تعریف پیوستگی | تعریف حد توابع |
همانطور که جدول نشان میدهد، تفاوت اساسی در شرط $|x - c| > 0$ است. این شرط به ما اجازه میدهد رفتار تابع را در نزدیکی یک نقطه بدون توجه به مقدار تابع در خود آن نقطه بررسی کنیم.
نقش همسایگی محذوف در تعریف حد
تعریف دقیق حد توابع2 به طور مستقیم از مفهوم همسایگی محذوف استفاده میکند. میگوییم حد تابع $f(x)$ وقتی $x$ به $c$ نزدیک میشود برابر $L$ است اگر برای هر همسایگی از $L$، بتوانیم یک همسایگی محذوف از $c$ پیدا کنیم که تصویر آن درون همسایگی $L$ قرار گیرد.
توجه کنید که در این تعریف، شرط $0 \lt |x - c|$ دقیقاً همان حذف نقطهٔ $c$ است. بنابراین مقدار $f(c)$ (اگر تعریف شده باشد) هیچ تأثیری روی حد تابع ندارد. این ویژگی بسیار مهم است: حد یک تابع در یک نقطه میتواند وجود داشته باشد حتی اگر خود تابع در آن نقطه تعریف نشده باشد یا مقداری متفاوت با حد داشته باشد.
مثالهای عملی از همسایگی محذوف
مثال عددی ۱: تابع $f(x) = \frac{x^2 - 4}{x - 2}$ را در نظر بگیرید. این تابع در نقطهٔ $x=2$ تعریف نشده است. با این حال، در هر همسایگی محذوف از نقطهٔ $2$ (مانند بازهٔ $(1.9, 2) \cup (2, 2.1)$) تابع به خوبی تعریف شده و به عدد $4$ نزدیک میشود. زیرا برای $x \neq 2$ داریم: $f(x) = x+2$. بنابراین حد تابع در $x=2$ برابر $4$ است.
مثال ۲ (کاربرد در دنیای واقعی): فرض کنید سرعت لحظهای یک خودرو را اندازه میگیریم. برای محاسبهٔ سرعت در زمان دقیق $t_0$، از همسایگی محذوف زمانی استفاده میکنیم: تغییرات مکان را در بازههای زمانی بسیار کوچک $(t_0 - \delta, t_0)$ و $(t_0, t_0 + \delta)$ اندازه میگیریم و خود لحظهٔ $t_0$ را در محاسبه وارد نمیکنیم (چون طول بازهٔ زمانی صفر است). این دقیقاً همان مفهوم حد و استفاده از همسایگی محذوف است.
چالشهای مفهومی
۱. چرا نمیتوانیم در تعریف حد از همسایگی معمولی استفاده کنیم؟
زیرا در تعریف حد، رفتار تابع در نزدیکی نقطه مد نظر است، نه مقدار تابع در خود نقطه. اگر از همسایگی معمولی استفاده کنیم، برای نقاطی که تابع در آنها تعریف نشده است (مانند مثال قبل) نمیتوانیم حد را تعریف کنیم. همسایگی محذوف این مشکل را حل میکند.
۲. آیا همسایگی محذوف میتواند تهی باشد؟
خیر، به ازای هر $\delta \gt 0$، همسایگی محذوف شامل بینهایت نقطه است (در اعداد حقیقی). زیرا بین هر دو عدد حقیقی متمایز، اعداد بیشماری وجود دارد. تنها زمانی که $\delta \le 0$ باشد (که مجاز نیست) مجموعه تهی میشود.
۳. چه تفاوتی بین همسایگی محذوف در اعداد حقیقی و اعداد گسسته مانند اعداد صحیح وجود دارد؟
در اعداد صحیح با فاصلهٔ گسسته، اگر $\delta \lt 1$ انتخاب کنیم، همسایگی محذوف از یک عدد صحیح مانند $k$ مجموعهٔ تهی خواهد بود (زیرا هیچ عدد صحیح دیگری با فاصلهٔ کمتر از $1$ از $k$ وجود ندارد). این موضوع نشان میدهد مفهوم همسایگی محذوف به فضای توپولوژیک وابسته است.
کاربرد در تشخیص پیوستگی و نقاط ناپیوستگی
برای بررسی پیوستگی3 یک تابع در نقطهٔ $c$، باید سه شرط برقرار باشد: تابع در $c$ تعریف شده باشد، حد تابع در $c$ وجود داشته باشد و این حد برابر $f(c)$ باشد. از آنجا که حد با استفاده از همسایگی محذوف تعریف میشود، اگر مقدار تابع در خود نقطه با حد متفاوت باشد (یا تابع تعریف نشده باشد) اما حد وجود داشته باشد، میگوییم تابع در آن نقطه ناپیوسته است. در چنین مواردی، گاهی با «حذفکردن» نقطهٔ ناپیوستگی و بازتعریف تابع، میتوان تابع را پیوسته کرد. به این نوع ناپیوستگی، «ناپیوستگی قابل حذف» میگویند.
جمعبندی: همسایگی محذوف یکی از مفاهیم کلیدی در آنالیز ریاضی است که امکان مطالعهٔ رفتار توابع را در مجاورت یک نقطه، بدون تأثیرپذیری از مقدار تابع در خود آن نقطه فراهم میکند. این مفهوم پایهٔ تعریف دقیق حد، مشتق و بسیاری از مفاهیم پیشرفتهتر است. تفاوت اصلی آن با همسایگی معمولی در حذف نقطهٔ مرکزی است که با شرط $0 \lt |x - c|$ نمایش داده میشود. درک این مفهوم برای تحلیل پیوستگی، نقاط ناپیوستگی و محاسبهٔ حد توابع در مقاطع تحصیلی دبیرستان و دانشگاه ضروری است.
پاورقی
1 همسایگی محذوف (Deleted Neighborhood): مجموعهای از تمام نقاط به جز خود نقطه که فاصلهٔ آنها از نقطهٔ مرکزی کمتر از مقدار مثبت داده شده است.
2 حد تابع (Limit of a Function): مقداری که خروجی تابع با نزدیک شدن ورودی به یک نقطهٔ مشخص، بدون لزوم رسیدن به آن نقطه، به آن نزدیک میشود.
3 پیوستگی (Continuity): ویژگی تابعی که در آن حد تابع در هر نقطه برابر مقدار تابع در آن نقطه باشد و تابع بدون پرش یا شکستگی در آن ناحیه تغییر کند.