شرط نامنفی بودن تابع در همسایگی محذوف
۱. تعریف و مفهوم همسایگی محذوف و نامنفی بودن
در علم حد توابع2، وقتی میگوییم تابع $f(x)$ در همسایگی محذوف نقطهٔ $a$ نامنفی است، یعنی عددی چون $\delta \gt 0$ وجود دارد که به ازای همهٔ مقادیر $x$ که $0 \lt |x-a| \lt \delta$، داشته باشیم $f(x) \ge 0$. عبارت «محذوف» یعنی خود نقطهٔ $a$ را بررسی نمیکنیم، حتی اگر تابع در آن نقطه تعریف نشده یا مقدار منفی داشته باشد.
به عنوان مثال تابع $f(x)=x^2$ در همسایگی محذوف $a=0$ نامنفی است زیرا مجذور هر عدد حقیقی (به جز صفر) مثبت است. اما تابع $g(x)=x$ در همسایگی محذوف صفر چنین خاصیتی ندارد؛ زیرا در سمت راست مثبت و در سمت چپ منفی میشود. این شرط ساده اما ضروری اجازه میدهد عملیات رادیکال گرفتن را به درون حد ببریم.
۲. قاعدهٔ رادیکال و توان گویا
فرض کنید $\lim_{x \to a} f(x)=L$ وجود داشته باشد (متناهی یا نامتناهی). اگر $n$ یک عدد طبیعی فرد یا زوج باشد، برای نوشتن $\lim_{x \to a} \sqrt[n]{f(x)}$ نیاز به احتیاط داریم. قاعدهٔ اساسی میگوید:
به شرطی که در همسایگی محذوف $a$، تابع $f(x)$ نامنفی باشد (زمانی که $n$ زوج است)، و برای $n$ فرد این شرط لازم نیست (چون ریشهٔ فرد برای اعداد منفی نیز تعریف شده است).
به عبارت دیگر، مشکل اصلی برای ریشههای زوج (مانند جذر، ریشهٔ چهارم و ...) پیش میآید. زیرا اگر تابع در همسایگی محذوف مقادیر منفی بگیرد، عبارت $\sqrt[n]{f(x)}$ برای اعداد حقیقی تعریف نشده و حد آن معنی ندارد. بنابراین شرط نامنفی بودن یک «شرط لازم برای وجود حد حقیقی» در مورد ریشههای زوج است.
۳. جدول مقایسهٔ موارد مجاز و غیرمجاز
| نوع ریشه | شرط نامنفی در همسایگی محذوف | مثال تابع | وضعیت |
|---|---|---|---|
| $\sqrt[2]{f(x)}$ (جذر) | لازم است $f(x) \ge 0$ | $f(x)=x^2+1$ | مجاز |
| $\sqrt[4]{f(x)}$ (ریشهٔ زوج) | لازم است $f(x) \ge 0$ | $f(x)=x$ در $a=0$ | غیرمجاز |
| $\sqrt[3]{f(x)}$ (ریشهٔ فرد) | نیازی به نامنفی نیست | $f(x)=x$ در $a=0$ | مجاز |
۴. مثالهای علمی و کاربرد عملی
مثال اول (محاسبه حد با جذر): حد $\lim_{x \to 2} \sqrt{x^2 - 4x + 5}$ را بیابید. ابتدا معادله داخل ریشه: $x^2-4x+5 = (x-2)^2+1$ که همواره $\ge 1$ است. بنابراین شرط نامنفی بودن در همسایگی $2$ برقرار است. حد داخلی برابر $ (2-2)^2+1 = 1$ و در نتیجه حد نهایی $\sqrt{1}=1$.
مثال دوم (موردی که شرط نقض میشود): حد $\lim_{x \to 0} \sqrt{x}$ را در نظر بگیرید. تابع داخل ریشه یعنی $f(x)=x$ در همسایگی محذوف صفر (برای $x$های منفی نزدیک به صفر) منفی است. بنابراین نمیتوانیم حد را به صورت $\sqrt{0}=0$ بنویسیم، زیرا عبارت برای $x \lt 0$ تعریف نشده است. در واقع این حد فقط از راست وجود دارد: $\lim_{x \to 0^+} \sqrt{x}=0$.
کاربرد در حل مسائل حد توابع مرکب: فرض کنید میخواهیم $\lim_{x \to 1} \sqrt[4]{\frac{x^2-1}{x-1}}$ را محاسبه کنیم. ابتدا حد تابع درون ریشه را بدون ریشه میگیریم: $\frac{x^2-1}{x-1}=x+1$ (برای $x\ne1$) و حد آن برابر $2$ است. باید بررسی کنیم که آیا در همسایگی محذوف $1$ مقدار $x+1$ نامنفی است؟ برای $x$ نزدیک به $1$، $x+1 \approx 2$ مثبت است، بنابراین شرط برقرار است و حد نهایی $\sqrt[4]{2}$ میشود.
۵. چالشهای مفهومی
چالش ۱: آیا شرط نامنفی بودن در همسایگی محذوف برای ریشهٔ زوج، شرط کافی است یا لازم؟
پاسخ: این شرط برای اینکه بتوانیم حد ریشه را برابر ریشهٔ حد بنویسیم، هم لازم است و هم کافی (به شرط وجود حد داخلی). لازم است زیرا اگر تابع در هر نقطه از همسایگی منفی شود، ریشهٔ زوج در آن نقطه تعریف نشده و بحث حد بیمعنی میشود. کافی است زیرا اگر تابع در کل همسایگی (به جز خود نقطه) نامنفی باشد و حد آن $L$ وجود داشته باشد، آنگاه تابع زیر ریشه پیوسته (در دامنهٔ خود) است و میتوان حد را جابهجا کرد.
چالش ۲: اگر حد تابع درون ریشه برابر صفر باشد و تابع در همسایگی محذوف گاهی صفر و گاهی مثبت شود، آیا قاعده کار میکند؟
پاسخ: بله، شرط نامنفی بودن به معنی $f(x) \ge 0$ است، بنابراین صفر شدن در برخی نقاط مشکلی ایجاد نمیکند. مهم آن است که مقدار منفی وجود نداشته باشد. مثال: $f(x)=x^2$ در همسایگی صفر (به جز خود صفر) مثبت است و در خود صفر صفر میشود. شرط برقرار است و $\lim_{x \to 0} \sqrt{x^2}=0$.
چالش ۳: آیا برای توانهای گویا مانند $f(x)^{p/q}$ با $q$ زوج، همان شرط لازم است؟
پاسخ: دقیقاً بله. توان گویا با مخرج زوج معادل ریشهٔ زوج است. بنابراین در همسایگی محذوف باید پایه (تابع داخل) نامنفی باشد تا عبارت حقیقی تعریف شود. توانهای گویا با مخرج فرد چنین محدودیتی ندارند.
جمعبندی
پاورقی
1 توان گویا (Rational Exponent): توانی به صورت $p/q$ که برابر است با ریشهٔ $q$ام مبنای توان $p$.
2 حد توابع (Limit of Functions): مقداری که تابع وقتی متغیر مستقل به نقطهٔ مشخصی نزدیک میشود، به آن نزدیک میگردد.