محدود کردن دامنه: کلید ساخت توابع یکبهیک
۱. تابع چیست و چرا گاهی یکبهیک نیست؟
تابع در ریاضیات رابطهای است که هر عضو از یک مجموعه (به نام دامنه) را دقیقاً به یک عضو از مجموعه دیگر (به نام برد) نسبت میدهد. یک تابع یکبهیک (injective) نامیده میشود اگر به ازای هر دو ورودی متفاوت، خروجیهای متفاوتی تولید کند. به عبارت دیگر، اگر $ x_1 \neq x_2 $ آنگاه $ f(x_1) \neq f(x_2) $.
بسیاری از توابع مهم مانند $ f(x)=x^2 $ یا $ f(x)=\sin x $ یکبهیک نیستند، زیرا دو ورودی متفاوت میتوانند خروجی یکسان داشته باشند. برای نمونه، در تابع مربع داریم $ f(2)=4 $ و $ f(-2)=4 $. این ویژگی باعث میشود که نتوانیم به راحتی معکوس تابع را تعریف کنیم.
۲. روش محدود کردن دامنه قدم به قدم
برای محدود کردن دامنه و ساختن یک تابع یکبهیک، مراحل زیر را دنبال میکنیم:
گام اول: تابع اصلی را بررسی میکنیم و قسمتهایی از دامنه که در آن تابع تکراری است را شناسایی میکنیم.
گام دوم: بزرگترین بازهای از دامنه را انتخاب میکنیم که در آن تابع همواره صعودی یا همواره نزولی باشد. در چنین بازهای تابع یکبهیک خواهد بود.
گام سوم: تابع جدید را با همان ضابطه ولی با دامنهی محدود شده تعریف میکنیم. این تابع جدید، یکبهیک است و میتوانیم معکوس آن را به دست آوریم.
۳. مقایسه توابع یکبهیک و غیر یکبهیک با جدول
| نوع تابع | مثال | یکبهیک؟ | دامنه محدود شده برای یکبهیک شدن |
|---|---|---|---|
| تابع درجه دوم | $ f(x)=x^2 $ | خیر | $ [0,\infty) $ یا $ (-\infty,0] $ |
| تابع قدر مطلق | $ f(x)=|x| $ | خیر | $ [0,\infty) $ |
| تابع خطی | $ f(x)=2x+1 $ | بله | نیاز به محدود کردن ندارد |
| تابع سینوس | $ f(x)=\sin x $ | خیر | $ [-\frac{\pi}{2}, \frac{\pi}{2}] $ |
۴. کاربرد عملی: یافتن معکوس تابع با محدود کردن دامنه
یکی از مهمترین کاربردهای محدود کردن دامنه، یافتن تابع معکوس است. توابعی مانند $ y=x^2 $، $ y=|x| $ یا $ y=\sin x $ در کل دامنه خود معکوسپذیر نیستند، اما با انتخاب دامنه مناسب میتوان معکوس آنها را تعریف کرد.
مثال تابع مربع: تابع $ f(x)=x^2 $ را روی دامنه $ [0,\infty) $ در نظر بگیرید. این تابع یکبهیک و صعودی است. معکوس آن برابر $ f^{-1}(y)=\sqrt{y} $ خواهد بود با دامنه $ [0,\infty) $.
مثال تابع سینوس: معکوس تابع سینوس یعنی $ \arcsin x $ تنها زمانی تعریف میشود که دامنه سینوس را به بازه $ [-\frac{\pi}{2}, \frac{\pi}{2}] $ محدود کنیم. در این بازه، سینوس یکبهیک بوده و معکوس آن قابل محاسبه است.
۵. چالشهای مفهومی
۱) آیا همیشه میتوان دامنه یک تابع غیر یکبهیک را محدود کرد تا یکبهیک شود؟
بله، اگر تابع در هر بازهای کاملاً صعودی یا نزولی باشد. اما توابعی که در همه بازهها نوسانی هستند (مانند توابع ثابت در یک بازه) را نمیتوان با حذف بخشی از دامنه یکبهیک کرد، مگر آنکه آن بازه را به یک نقطه تقلیل دهیم.
۲) آیا تابع جدید پس از محدود کردن دامنه، همان تابع قبلی است؟
از نظر ضابطه بله، ولی از نظر دامنه خیر. در واقع تابع جدید یک محدودیت تابع (restriction) نامیده میشود و معمولاً با نماد $ f|_{D'} $ نشان داده میشود که در آن $ D' $ زیرمجموعهای از دامنه اصلی است.
۳) چه تعداد راه برای محدود کردن دامنه وجود دارد؟
معمولاً بیش از یک راه وجود دارد. به ازای هر بازه از دامنه که تابع در آن یکنوا (صعودی یا نزولی) باشد، میتوان یک تابع یکبهیک جدید تعریف کرد. انتخاب رایجترین بازه، مانند $ [0,\infty) $ برای $ x^2 $، به دلیل سادگی در نوشتن معکوس (ریشه دوم) است.
۶. جمعبندی
پاورقی
1 تابع (Function): رابطهای بین دو مجموعه که هر عضو مجموعه اول (دامنه) را دقیقاً به یک عضو مجموعه دوم (برد) نسبت میدهد.
2 دامنه (Domain): مجموعه تمام مقادیر ورودی مجاز برای یک تابع.
3 یکبهیک (Injective or One-to-One): تابعی که در آن هر دو عضو متفاوت از دامنه، تصاویر متفاوتی در برد داشته باشند.
4 معکوس تابع (Inverse Function): تابعی که نقش ورودی و خروجی را در تابع اصلی جابهجا میکند و شرط وجود آن یکبهیک بودن تابع اصلی است.