فاصلهٔ تابع از مقدار حد: درک مفهوم |f(x) − L|
بازخوانی مفهوم مقدار مطلق و فاصله
برای بررسی فاصلهٔ تابع از عدد L، ابتدا باید با مفهوم قدر مطلق1 آشنا شویم. قدر مطلق یک عدد، فاصلهٔ آن عدد تا صفر را نشان میدهد. در عبارت $|f(x)-L|$، قدر مطلق اختلاف f(x) و L را محاسبه میکند. این مقدار همیشه نامنفی است؛ زیرا فاصله نمیتواند منفی باشد.
به عنوان مثال، اگر تابع $f(x)=2x+1$ را در نظر بگیریم و L را عدد $5$ در نظر آوریم، برای $x=2$ داریم: $f(2)=5$ و فاصله $|5-5|=0$ است. برای $x=1$ داریم $f(1)=3$ و فاصله برابر $|3-5|=2$ خواهد بود.
نقش فاصله در تعریف حد تابع
در تعریف دقیق حد تابع (تعریف اپسیلون-دلتا2)، فاصلهٔ $|f(x)-L|$ نقشی مرکزی دارد. میگوییم حد f(x) وقتی x به a نزدیک میشود برابر L است، اگر بتوان برای هر عدد مثبت دلخواه ε، عدد مثبت δ یافت به طوری که هرگاه $0 \lt |x-a| \lt \delta$ آنگاه $|f(x)-L| \lt \varepsilon$ برقرار باشد.
این تعریف نشان میدهد که با کنترل فاصلهٔ x از a (یعنی $|x-a|$) میتوانیم فاصلهٔ مقادیر تابع از L را به هر اندازه که بخواهیم کوچک کنیم. به عبارت دیگر، $|f(x)-L|$ معیاری برای سنجش نزدیکی تابع به حد است.
| مقدار x | f(x) = 3x - 2 | L = 4 | فاصله |f(x)-L| |
|---|---|---|---|
| 1.5 | 2.5 | 4 | 1.5 |
| 2.0 | 4.0 | 4 | 0 |
| 2.5 | 5.5 | 4 | 1.5 |
مثال عملی: حرکت یک خودرو و اندازهگیری خطا
فرض کنید سنسور سرعت خودرویی، سرعت لحظهای را با تابع $v(t)=t^2+1$ کیلومتر بر ساعت تخمین میزند (t بر حسب ثانیه). ما میخواهیم بدانیم در لحظهٔ $t=2$ سرعت واقعی $L=5$ است. فاصلهٔ سنسور از مقدار واقعی برابر $|v(t)-5|$ خواهد بود. اگر خطای مجاز $0.1$ باشد، باید بازهٔ زمانیای دور $t=2$ پیدا کنیم که اختلاف سرعت از $0.1$ کمتر شود. این دقیقاً همان مفهوم $|v(t)-L| \lt \varepsilon$ است.
چالشهای مفهومی پیرامون فاصله تابع از L
پرسش ۱: آیا فاصلهٔ $|f(x)-L|$ میتواند منفی باشد؟
خیر. قدر مطلق هر عدد حقیقی همواره نامنفی است. بنابراین $|f(x)-L| \ge 0$ و مقدار صفر تنها زمانی رخ میدهد که f(x) دقیقاً برابر L باشد. این ویژگی با مفهوم شهودی فاصله (که نمیتواند زیر صفر باشد) هماهنگ است.
پرسش ۲: اگر $|f(x)-L|$ برای یک x خاص بسیار بزرگ باشد، چه نتیجهای میتوان گرفت؟
این یعنی مقدار تابع در آن نقطه از L بسیار دور است. در بحث حد، اگر در همسایگی a، مقادیر $|f(x)-L|$ بزرگ بمانند، نمتوان حد برابر L را نتیجه گرفت. برای وجود حد، باید بتوان با نزدیک شدن به a، این فاصله را دلخواه کوچک کرد.
پرسش ۳: آیا $|f(x)-L|$ با $|L-f(x)|$ تفاوت دارد؟
خیر. قدر مطلق خاصیت تقارن دارد: $|a-b| = |b-a|$. بنابراین هر دو عبارت یکسان هستند و فاصلهٔ متقارن بین f(x) و L را نشان میدهند. این موضوع در محاسبات حدی بسیار مفید است.
کاربرد فاصله در تشخیص پیوستگی
تابع f در نقطهٔ a پیوسته است اگر سه شرط برقرار باشد: f(a) تعریف شده باشد، حد f در a وجود داشته باشد و مقدار حد برابر f(a) باشد. شرط آخر را میتوان با فاصله به این صورت نوشت: $\lim_{x \to a} |f(x)-f(a)| = 0$. یعنی هرچه x به a نزدیکتر شود، فاصلهٔ مقدار تابع از f(a) به صفر میل میکند.
برای مثال، تابع $f(x)=x^2$ در نقطهٔ $x=3$ پیوسته است زیرا $|x^2-9|$ با نزدیک شدن x به ۳، به صفر نزدیک میشود. در مقابل، تابع پلهای که در $x=2$ از مقدار ۱ به ۲ میپرد، ناپیوسته است چون فاصلهٔ مقادیر تابع از f(2) در همسایگی چپ و راست یکسان نیست.
پاورقی
1 قدر مطلق (Absolute Value): تابعی که هر عدد حقیقی را به فاصلهٔ آن تا صفر نگاشت میکند و با $|x|$ نمایش داده میشود.
2 تعریف اپسیلون-دلتا (Epsilon-Delta Definition): تعریف صوری حد که در آن برای هر ε>0، δ>0 موجود باشد به طوری که $0 \lt |x-a| \lt \delta$ نتیجه دهد $|f(x)-L| \lt \varepsilon$.