همسایگی محذوف (Deleted Neighborhood) در ریاضیات
۱. تعریف همسایگی محذوف و تفاوت آن با همسایگی معمولی
در ریاضیات، برای بررسی رفتار یک تابع در نزدیکی یک نقطه، از مفهوم «همسایگی» استفاده میکنیم. همسایگی یک نقطه مانند $c$، به فاصلهای در اطراف آن نقطه گفته میشود که شامل خود نقطه نیز هست. اما در بسیاری از مسائل، به ویژه زمانی که میخواهیم حد تابع را در آن نقطه محاسبه کنیم، خود نقطه برایمان اهمیت ندارد؛ بلکه فقط نقاط اطراف آن مهم هستند. در این حالت از «همسایگی محذوف» استفاده میکنیم.
تعریف دقیق:
اگر $c$ یک عدد حقیقی و $\delta \gt 0$ یک عدد مثبت باشد، همسایگی محذوف نقطهٔ $c$ با شعاع $\delta$ به صورت زیر تعریف میشود:
به عبارت دیگر، مجموعه تمام اعداد حقیقی $x$ که فاصلهٔ آنها از $c$ کمتر از $\delta$ بوده اما خود $c$ جزو آن نباشد. در مقابل، همسایگی معمولی (غیرمحذوف) به صورت $\{ x \mid |x - c| \lt \delta \}$ تعریف میشود که خود $c$ را نیز شامل میشود.
مثال عددی: فرض کنید $c = 2$ و $\delta = 0.5$. همسایگی معمولی نقطهٔ $2$ با شعاع $0.5$ برابر است با بازهٔ $(1.5 , 2.5)$. اما همسایگی محذوف آن، همان بازه بدون نقطهٔ $2$ است؛ یعنی $(1.5 , 2) \cup (2 , 2.5)$. در این مجموعه، عدد $2$ وجود ندارد، اما اعدادی مانند $1.6$ ، $1.9$، $2.1$ و $2.4$ در آن قرار دارند.
| نوع همسایگی | نماد ریاضی | شرط عضویت | آیا خود نقطه عضو است؟ |
|---|---|---|---|
| همسایگی معمولی | $N_{\delta}(c)$ | $|x-c| \lt \delta$ | بله |
| همسایگی محذوف | $N_{\delta}(c)\setminus\{c\}$ | $0 \lt |x-c| \lt \delta$ | خیر |
۲. نقش همسایگی محذوف در تعریف حد تابع
مفهوم حد یک تابع در نقطهٔ $c$ کاملاً به همسایگی محذوف وابسته است. تعریف دقیق حد (تعریف اپسیلون-دلتا) میگوید: مقدار $L$ حد تابع $f(x)$ در نقطهٔ $c$ است، اگر به ازای هر $\epsilon \gt 0$ بتوان $\delta \gt 0$ یافت به طوری که برای همهٔ $x$ها در همسایگی محذوف $c$ (یعنی $0 \lt |x-c| \lt \delta$) داشته باشیم $|f(x)-L| \lt \epsilon$.
نکتهٔ کلیدی این است که خود $f(c)$ (مقدار تابع در نقطه) هرچه باشد، روی حد تأثیری ندارد. حتی ممکن است تابع در $c$ اصلاً تعریف نشده باشد، اما حد آن وجود داشته باشد. این ویژگی دقیقاً به خاطر استفاده از همسایگی محذوف است.
۳. همسایگی محذوف یکطرفه (چپ و راست)
گاهی اوقات فقط به نقاط سمت راست یا سمت چپ یک نقطه علاقه داریم. همسایگی محذوف راست عبارت است از $(c , c+\delta)$ و همسایگی محذوف چپ عبارت است از $(c-\delta , c)$. این مفاهیم برای تعریف حد یکطرفه ضروری هستند. در بسیاری از توابع پلهای یا توابع با ناپیوستگی پرش، حد چپ و راست با هم متفاوتند و برای بررسی آنها از همسایگی محذوف یکطرفه استفاده میشود.
کاربرد عملی: فرض کنید تابع قیمت یک کالا بر اساس تعداد خرید تعریف شده است. در نقطهٔ آستانه تخفیف (مثلاً خرید $100$ واحد)، قیمت به صورت ناگهانی تغییر میکند. حد راست و چپ در آن نقطه متفاوت است و بررسی همسایگی محذوف به تحلیل رفتار تابع کمک میکند.
۴. مثال عینی: تابع علامت و همسایگی محذوف صفر
تابع علامت1 را در نظر بگیرید:
این تابع در نقطهٔ $x=0$ مقدار $0$ دارد. حال همسایگی محذوف $x=0$ را با شعاع بسیار کوچک در نظر بگیرید. هر عدد مثبت در این همسایگی، تابع را برابر $1$ و هر عدد منفی، تابع را برابر $-1$ میکند. بنابراین حد چپ و راست در صفر متفاوت است و حد دوطرفه وجود ندارد. اما خود همسایگی محذوف (که شامل هر دو سمت چپ و راست است) نشان میدهد که تابع در همسایگی صفر رفتاری نوسانی (از $-1$ به $1$) ندارد، بلکه جهش دارد. این مثال به خوبی اهمیت همسایگی محذوف را در تشخیص ناپیوستگیها نشان میدهد.
۵. چالشهای مفهومی رایج دربارهٔ همسایگی محذوف
۱. آیا همسایگی محذوف میتواند شامل بینهایت نقطه باشد؟
بله، حتی برای یک شعاع بسیار کوچک مانند $\delta = 0.0000001$، همسایگی محذوف همچنان شامل بینهایت نقطه است، زیرا بین هر دو عدد حقیقی اعداد حقیقی بیشماری وجود دارد. این ویژگی برای تعریف حد ضروری است.
۲. اگر تابع در همهٔ نقاط همسایگی محذوف به جز خود نقطه تعریف نشده باشد، حد چه وضعیتی دارد؟
برای وجود حد در نقطهٔ $c$، تابع باید در «همهٔ نقاط یک همسایگی محذوف» تعریف شده باشد. اگر تابع در هر نقطهٔ دلخواه نزدیک $c$ (به جز خود $c$) تعریف نشده باشد، نمیتوان در مورد حد صحبت کرد. مثلاً تابع $f(x) = \sqrt{x}$ برای نقاط منفی نزدیک صفر تعریف نشده است، بنابراین حد چپ در صفر معنی ندارد و فقط حد راست قابل بررسی است.
۳. چرا در تعریف همسایگی محذوف از علامت $0 \lt |x-c|$ استفاده میشود نه $|x-c| \gt 0$؟
هر دو نشاندهندهٔ همان شرط هستند. اما شکل $0 \lt |x-c|$ به صورت استاندارد نوشته میشود تا تأکید کند که فاصلهٔ $x$ از $c$ مثبت و مخالف صفر است (یعنی $x \ne c$). این نمادگذاری در تعریف حد بسیار رایج است.
۶. کاربرد همسایگی محذوف در مجانبهای قائم
در بررسی مجانب قائم2 یک تابع، همسایگی محذوف نقشی اساسی دارد. خط $x = c$ مجانب قائم تابع $f$ است اگر حد تابع در همسایگی محذوف $c$ (از چپ یا راست) بینهایت شود. به عبارت دیگر:
در اینجا، $x$ در همسایگی محذوف راست (یا چپ) $c$ حرکت میکند و مقدار تابع به سمت بینهایت میرود. مثلاً تابع $f(x) = \frac{1}{x}$ در همسایگی محذوف صفر، از سمت راست به $+\infty$ و از سمت چپ به $-\infty$ میل میکند. بنابراین خط $x=0$ مجانب قائم آن است.
پاورقی
1 تابع علامت (Sign Function): تابعی که اعداد مثبت را به $1$، اعداد منفی را به $-1$ و صفر را به $0$ نگاشت میکند.
2 مجانب قائم (Vertical Asymptote): خط عمودی $x = c$ که منحنی تابع در همسایگی آن به سمت بینهایت یا منفی بینهایت نزدیک میشود.