قضیهٔ وجود اکسترمم مطلق: ماکزیمم و مینیمم در بازهٔ بسته
۱. قضیه و اجزای آن — چرا پیوستگی و بازه بسته ضروری است؟
قضیهٔ وجود اکسترمم مطلق (که گاهی «قضیهٔ مقدار کرانی» نیز نامیده میشود) یکی از قضایای کلیدی در آنالیز ریاضی است. بیانیهٔ دقیق آن به شکل زیر است:
به عبارت سادهتر، تابع روی بازهٔ بسته حتماً یک بیشترین مقدار (ماکزیمم مطلق) و یک کمترین مقدار (مینیمم مطلق) دارد. برای درک بهتر، یک مثال ملموس را در نظر بگیرید: فرض کنید دمای هوا در طول یک شبانهروز (از ساعت ۰ تا ۲۴) با تابع پیوستهٔ $T(t)$ نشان داده شود. چون زمان در بازهٔ بسته $[0,24]$ است و دما به طور ناگهانی پرش ندارد (پیوستگی)، قضیه تضمین میکند که در بازه بسته حداقل یک لحظه خنکترین و حداقل یک لحظه گرمترین دما وجود داشته باشد. این حقیقت بدیهی به نظر میرسد، اما برای توابعی که روی بازهٔ باز یا ناپیوسته تعریف میشوند لزوماً برقرار نیست.
۲. جدول مقایسه: وضعیت وجود اکسترمم مطلق در بازههای متفاوت
| نوع بازه و شرط پیوستگی | ماکزیمم مطلق | مینیمم مطلق |
|---|---|---|
| بازهٔ بسته $[a,b]$ و تابع پیوسته | وجود دارد | وجود دارد |
| بازهٔ باز $(a,b)$ و تابع پیوسته | ممکن است نباشد | ممکن است نباشد |
| بازهٔ بسته اما تابع ناپیوسته | تضمینی نیست | تضمینی نیست |
برای درک بهتر جدول، تابع $ f(x) = \frac{1}{x} $ روی بازهٔ باز $(0,1]$ را در نظر بگیرید. این تابع پیوسته است اما با نزدیک شدن به صفر، مقدارش بینهایت بزرگ میشود و ماکزیمم مطلق ندارد. همچنین تابع پلکانی در بازهٔ بسته که در نقطهای دارای پرش باشد، ممکن است به کران بالا یا پایین خود نرسد.
۳. الگوریتم گامبهگام برای یافتن اکسترممهای مطلق
برای اینکه بتوانید در عمل ماکزیمم و مینیمم مطلق یک تابع پیوسته روی $[a,b]$ را پیدا کنید، از روش زیر پیروی کنید:
- مشتق تابع را محاسبه کنید: $f'(x)$ را به دست آورید.
- نقاط بحرانی4 را بیابید: نقاطی در داخل بازه که $f'(x)=0$ یا $f'(x)$ وجود ندارد.
- مقدار تابع را در نقاط بحرانی و در دو نقطهٔ مرزی $x=a$ و $x=b$ محاسبه کنید.
- بزرگترین مقدار محاسبهشده، ماکزیمم مطلق و کوچکترین مقدار، مینیمم مطلق روی بازه است.
۴. کاربرد عملی: بهینهسازی در طراحی و اقتصاد
یکی از مهمترین کاربردهای این قضیه در مسائل بهینهسازی است. فرض کنید یک تولیدکننده میخواهد هزینهٔ تولید را در بازهٔ مشخصی از تعداد محصول مینیمم کند یا سود را ماکزیمم کند. اگر تابع هزینه روی بازهٔ بسته (مثلاً تولید بین $100$ تا $1000$ واحد) پیوسته باشد، قضیه وجود اکسترمم مطلق تضمین میکند که یک نقطه با کمترین هزینه وجود دارد. همچنین برای یافتن ابعاد یک جعبه با سطح ثابت که بیشترین حجم را داشته باشد (مسئلهٔ کلاسیک بهینهسازی) از این قضیه استفاده میشود: ابتدا تابع حجم را روی بازهٔ بستهٔ ممکن برای متغیر تعریف کرده، سپس با مشتقگیری و بررسی نقاط مرزی، ماکزیمم مطلق را پیدا میکنیم. بدون این قضیه، مطمئن نبودیم که جواب بهینه به یک نقطهٔ مرزی نرسد.
۵. چالشهای مفهومی (پرسش و پاسخ)
پاسخ خیر. ممکن است تابع در چند نقطه به یک مقدار ماکزیمم (یا مینیمم) برسد. برای مثال تابع ثابت $f(x)=5$ روی هر بازهای در همهٔ نقاط مقدار ماکزیمم و مینیمم یکسان دارد. همچنین تابع مثلثاتی $f(x)=\sin x$ روی $[0,4\pi]$ دارای دو نقطهٔ ماکزیمم (هر دو به مقدار $1$) است.
تابع $f(x)=x$ روی بازهٔ باز $(0,1)$ را در نظر بگیرید. این تابع پیوسته بوده و مقادیر آن از نزدیک صفر تا نزدیک یک را شامل میشود، اما هرگز به $0$ یا $1$ نمیرسد. بنابراین کران پایین (صفر) و کران بالا (یک) وجود دارند ولی تابع آنها را به عنوان مقدار مطلق (مینیمم یا ماکزیمم) اختیار نمیکند. در نتیجه اکسترمم مطلق وجود ندارد.
بله، پیوستگی روی تمام بازه (از جمله نقاط پایانی) لازم است. برای مثال تابع $f(x)= \begin{cases} \frac{1}{x-1} & x \lt 1 \\ 0 & x=1 \end{cases}$ روی بازهٔ $[0,1]$ در نقطهٔ $x=1$ پیوسته نیست (پرش بینهایت). این تابع ماکزیمم مطلق ندارد زیرا با نزدیک شدن به $1$ از چپ، مقادیر به سمت بینهایت میروند. قضیه در اینجا صدق نمیکند.
۶. جمعبندی
۷. پاورقی
2 پیوستگی (Continuity): خاصیتی از توابع که در آن تغییرات کوچک در ورودی، تغییرات کوچک در خروجی ایجاد میکند و پرش یا شکاف در نمودار دیده نمیشود.
3 بازهٔ بسته (Closed Interval): بازهای که نقاط انتهایی آن به مجموعه تعلق دارند، نمایش با $[a,b]$.
4 نقطهٔ بحرانی (Critical Point): نقطهای در دامنه که مشتق تابع در آن صفر است یا مشتق وجود ندارد.