عدم وجود حد به علت نبودن همسایگی محذوف

عدم وجود حد به علت نبودن همسایگی محذوف نقطه

همسایگی محذوف چیست و چه نقشی در تعریف حد دارد؟

در علم ریاضیات، برای تعریف حد یک تابع در نقطه مشخصی مانند a، ابتدا باید تابع در نزدیکی‌های آن نقطه (به جز خود نقطه) رفتاری منظم داشته باشد. این «نزدیکی‌های اطراف نقطه» را با مفهوم همسایگی محذوف بیان می‌کنیم. منظور از همسایگی محذوف نقطه a، مجموعه همه نقاطی است که در فاصله بسیار کمی از a قرار دارند، اما خود a شامل نمی‌شود. به زبان ساده، یک بازه باز به شعاع δ (دلتا) به مرکزیت a در نظر می‌گیریم و نقطه a را از آن حذف می‌کنیم.

برای اینکه بحث حد¹ در نقطه a معنی داشته باشد، باید بتوانیم حداقل یک همسایگی محذوف از a پیدا کنیم که تابع روی تمام نقاط آن همسایگی (به جز خود a) تعریف شده باشد. در غیر این صورت، امکان بررسی رفتار تابع هنگام نزدیک شدن به a وجود نخواهد داشت.

حالت اصلی: تابع در هیچ همسایگی محذوفی تعریف نشده باشد

حال فرض کنید تابعی داریم که دامنه آن به گونه‌ای است که برای نقطه خاصی مانند a، هر بازه باز به مرکزیت a (هر چقدر هم کوچک) شامل نقاطی است که تابع در آنها تعریف نشده است. به عبارت دقیق‌تر، هیچ δ \gt 0 وجود ندارد که تابع روی تمام نقاط همسایگی محذوف با شعاع δ تعریف شده باشد. در این وضعیت، اصطلاحاً حد تابع در نقطه a وجود ندارد یا معنی‌دار نیست، زیرا شرط اولیه برای تعریف حد برقرار نیست.

برخی از دانش‌آموزان ممکن است تصور کنند که اگر تابع در خود نقطه a تعریف نشده باشد، باز هم می‌توان حد را بررسی کرد. اما نکته کلیدی این است که برای حد، نیازی به تعریف تابع در خود a نیست، اما نیاز است که در اطراف آن (به جز خود نقطه) تعریف شده باشد. وقتی حتی در همسایگی محذوف نیز تابع تعریف نشده باشد، هیچ راهی برای حدس زدن مقدار حد وجود نخواهد داشت.

تفاوت حد یک‌طرفه و دوطرفه در همسایگی محذوف

گاهی تابع در یک سمت نقطه a تعریف شده است اما در سمت دیگر تعریف نشده. در چنین مواردی، حد دوطرفه وجود نخواهد داشت، اما حد یک‌طرفه (راست یا چپ) ممکن است معنی‌دار باشد. به عنوان مثال، تابع $\sqrt{x}$ در نقطه 0 دارای حد راست است (چون در همسایگی محذوف راست تعریف شده است)، اما حد چپ معنی ندارد. بنابراین نبودن همسایگی محذوف کامل (دو طرفه) الزاماً به معنای «نبود هیچ حدی» نیست، بلکه حد دوطرفه وجود ندارد.

در مقابل، حالت خاصی که مقاله روی آن تمرکز دارد، وضعیتی است که تابع در هیچ سمت و طرفی از نقطه a در یک همسایگی محذوف (هرچقدر کوچک) تعریف نشده باشد. مثلاً تابعی که دامنه آن مجموعه‌ای از نقاط گسسته و پراکنده است به طوری که اطراف نقطه a هیچ فاصله باز و پیوسته‌ای از نقاط دامنه وجود ندارد.

نمونه عینی: تابعی با دامنه گسسته در اطراف نقطه

تابع $ f(x) = \begin{cases} 1 & \text{if } x \in \mathbb{Q} \\ 0 & \text{if } x \notin \mathbb{Q} \end{cases} $ (تابع دیریکله²) در هر همسایگی محذوف از هر نقطه حقیقی، هم اعداد گویا و هم اعداد گنگ وجود دارند. بنابراین تابع در هر همسایگی محذوفی تعریف شده است (چون دامنه آن همه اعداد حقیقی است). این یک مثال نقض برای موضوع ما نیست. برای رسیدن به حالت «نبود همسایگی محذوف»، باید دامنه تابع را عمداً محدود کنیم. فرض کنید تابع زیر را تعریف می‌کنیم:

$ g(x) = \frac{1}{x - a} $ اما دامنه آن را برابر $\{ a + \frac{1}{n} \mid n \in \mathbb{N} \}$ قرار می‌دهیم. یعنی تابع تنها روی نقاطی به فاصله $1/n$ از نقطه a تعریف شده است. آیا همسایگی محذوفی از a وجود دارد که تابع روی تمام نقاط آن تعریف شده باشد؟ خیر، زیرا هر بازه باز به مرکز a دارای اعدادی غیر از آن نقاط گسسته است و تابع روی آن اعداد تعریف نشده است. بنابراین حد $g(x)$ در نقطه a معنی ندارد، حتی اگر وقتی $x$ از طریق دنباله خاص $a+1/n$ به $a$ نزدیک شود، مقادیر تابع به سمت بی‌نهایت بروند. بدون وجود همسایگی محذوف، نمی‌توان از «حد» به معنای استاندارد صحبت کرد.

چالش‌های مفهومی

جمع‌بندی

پاورقی‌ها

¹ حد (Limit): مقداری که تابع وقتی متغیر مستقل به نقطه مشخصی نزدیک می‌شود، به آن نزدیک می‌گردد.

² تابع دیریکله (Dirichlet function): تابعی که به ازای اعداد گویا مقدار 1 و به ازای اعداد گنگ مقدار 0 می‌دهد و در هیچ نقطه پیوسته نیست.

³ نقطه حد دامنه (Limit point of domain): نقطه‌ای که هر همسایگی آن شامل حداقل یک نقطه از دامنه غیر از خود آن نقطه باشد.