تابع جدید حاصل از محدودسازی دامنه: تغییر ندادن ضابطه، فقط محدود کردن ورودیها
۱. تعریف اصلی: تابع، دامنه و ضابطه
هر تابع از سه بخش اصلی تشکیل میشود: دامنه (Domain)، ضابطه یا قانون (Rule) و برد (Range). دامنه مجموعهٔ تمام ورودیهای مجاز است. ضابطه مشخص میکند هر ورودی به کدام خروجی تبدیل شود. اگر ضابطه را بدون تغییر نگه داریم، اما دامنه را به زیرمجموعهای از دامنهٔ اولیه محدود کنیم، یک تابع جدید به دست میآید.
به عنوان مثال، تابع $ f(x)=x^2 $ را با دامنهٔ $ \mathbb{R} $ (همهٔ اعداد حقیقی) در نظر بگیرید. اگر دامنه را به اعداد نامنفی یعنی $ [0,\infty) $ محدود کنیم، تابع جدید $ g(x)=x^2 $ با دامنهٔ $ [0,\infty) $ پدید میآید. ضابطه همان $ x^2 $ است، اما این تابع جدید دیگر زوج نیست (چون اعداد منفی در دامنه نداریم) و یکبهیک 1 شده است.
۲. تأثیر محدودسازی بر ویژگیهای تابع (یکنواختی، ماکزیمم و مینیمم)
هنگامی که دامنه را محدود میکنیم، تابع جدید ممکن است یکنواخت (نزولی یا صعودی) شود، حتی اگر تابع اصلی در کل دامنهٔ خود یکنواخت نبود. همچنین نقاط ماکزیمم و مینیمم مطلق میتوانند تغییر کنند، زیرا انتهای بازهٔ جدید ممکن است مقدارهایی بزرگتر یا کوچکتر از قبل داشته باشند.
| ویژگی | تابع اصلی $ f(x)=x^2 $ با دامنه $ \mathbb{R} $ | تابع جدید $ g(x)=x^2 $ با دامنه $ [0,\infty) $ |
|---|---|---|
| زوج یا فرد بودن | زوج ($ f(-x)=f(x) $) | نه زوج، نه فرد (چون دامنه متقارن نیست) |
| یکنواختی | صعودی روی $ [0,\infty) $ و نزولی روی $ (-\infty ,0] $ | صعودی اکید (به ازای هر $ x_2 \gt x_1 $ داریم $ g(x_2)\gt g(x_1) $) |
| نقطهٔ مینیمم مطلق | $ x=0 $ با مقدار $ 0 $ | $ x=0 $ با مقدار $ 0 $ (بدون تغییر) |
| وارونپذیری | خیر (چون یکبهیک نیست) | بله (تابع وارون $ g^{-1}(x)=\sqrt{x} $) |
یک مثال عملی: فرض کنید در تابستان، دمای هوا برحسب ساعت از نیمهشب ($ t=0 $) تا ظهر با ضابطهٔ $ T(t)= -0.1(t-6)^2+30 $ درجهٔ سانتیگراد مدل شود. دامنهٔ طبیعی این تابع همهٔ اعداد حقیقی است، اما فقط ساعات $ 0\le t \le 12 $ معنای فیزیکی دارد. با محدود کردن دامنه به این بازه، تابع جدیدی میسازیم که دمای واقعی را نشان میدهد. در این تابع جدید، ماکزیمم در نقطهٔ $ t=6 $ (ساعت ۶ صبح) برابر $ 30 $ درجه است، درحالیکه تابع اصلی برای $ t=20 $ مقدار کمتری میدهد که مربوط به شب است.
۳. گامهای عملی: چگونه یک تابع جدید با محدودسازی دامنه بسازیم؟
برای ساختن تابع جدید از روی تابع داده شده $ f $ با دامنه $ D_f $، کافی است:
- گام اول: زیرمجموعهٔ $ D \subset D_f $ را انتخاب کنید. این مجموعه دامنهٔ جدید خواهد بود.
- گام دوم: تابع جدید را به صورت $ g(x)=f(x) $ برای هر $ x\in D $ تعریف کنید.
- گام سوم: برد جدید را محاسبه کنید: $ R_g = \{ f(x) \mid x \in D \} $.
برای نمونه، تابع $ f(x)=\sin(x) $ را روی دامنهٔ اصلی $ \mathbb{R} $ در نظر بگیرید. اگر دامنه را به $ [-\frac{\pi}{2},\frac{\pi}{2}] $ محدود کنیم، تابع جدید $ h(x)=\sin(x) $ به دست میآید که یکبهیک و صعودی است و وارون آن $ \arcsin(x) $ نام دارد. این دقیقاً همان ایدهٔ اصلی برای تعریف توابع مثلثاتی وارون2 است.
۴. کاربرد عملی: بهینهسازی در بازهٔ بسته
یکی از مهمترین کاربردهای محدودسازی دامنه، مسائل بهینهسازی (یافتن بیشترین یا کمترین مقدار) در یک بازهٔ مشخص است. فرض کنید تابع هزینهٔ تولید یک کارخانه به صورت $ C(x)=0.01x^3 - 0.6x^2 + 12x + 200 $ باشد، که $ x $ تعداد واحدهای تولیدی (بر حسب هزار) است. دامنهٔ طبیعی این تابع همهٔ اعداد حقیقی بزرگتر از صفر است، اما کارخانه نمیتواند بیش از $ 100 $ هزار واحد تولید کند. با محدود کردن دامنه به $ [0,100] $، میتوانیم کمترین هزینه را در این بازه پیدا کنیم. اگر تابع اصلی در بیرون این بازه کمترین مقدار دیگری داشته باشد، برای ما اهمیت ندارد، زیرا از نظر عملی قابل دستیابی نیست.
۵. چالشهای مفهومی (پرسش و پاسخ)
سوال ۱: آیا هر تابع محدودشده الزاماً برد کوچکتری نسبت به تابع اصلی دارد؟
پاسخ: خیر، برد تابع جدید زیرمجموعهای از برد تابع اصلی است، اما ممکن است مساوی با آن شود (اگر دامنهٔ جدید تمام مقادیر برد اصلی را پوشش دهد). مثال: تابع $ f(x)=x $ با دامنه $ [-1,1] $ برد $ [-1,1] $ دارد. اگر دامنه را به $ [-1,0] $ محدود کنیم، برد به $ [-1,0] $ کاهش مییابد که کوچکتر است. ولی اگر از اول دامنه $ [-1,1] $ بود و آن را به همان $ [-1,1] $ محدود کنیم، تغییری نمیکند. پس برد کوچکتر یا مساوی میشود، نه الزاماً کوچکتر.
سوال ۲: اگر تابع اصلی در کل دامنهٔ خود یکبهیک باشد، آیا محدودسازی آن همیشه یکبهیک میماند؟
پاسخ: بله، چون یکبهیک بودن یعنی به ازای دو ورودی متفاوت، خروجیهای متفاوت داریم. اگر این ویژگی در دامنهٔ بزرگتر برقرار باشد، مطمئناً در هر زیرمجموعهٔ آن نیز برقرار است. بنابراین محدودسازی ویژگی یکبهیک بودن را حفظ میکند. اما عکس این قضیه درست نیست: تابعی که روی یک زیردامنه یکبهیک است، ممکن است روی کل دامنه یکبهیک نباشد (مثل تابع مربع روی اعداد نامنفی که یکبهیک است، اما روی همهٔ اعداد حقیقی خیر).
سوال ۳: آیا محدودسازی دامنه میتواند تابعی ناپیوسته را پیوسته کند؟
پاسخ: خیر. اگر تابع اصلی در نقطهای ناپیوسته باشد، حذف آن نقطه از دامنه (با محدودسازی) میتواند باعث شود آن نقطه دیگر جزو دامنه نباشد، اما تابع جدید روی دامنهٔ باقیمانده ممکن است پیوسته باشد. اما در نقطههایی که در دامنهٔ جدید هستند و تابع اصلی در آنجا ناپیوسته بوده، ناپیوستگی باقی میماند. به عبارت دیگر، محدودسازی نمیتواند پیوستگی را در نقاط باقیمانده بهبود بخشد، فقط میتواند نقاط ناپیوستگی را از دامنه حذف کند.