محدود کردن دامنه: هنر انتخاب بخشی از دامنه برای یکبهیک کردن توابع غیر یکبهیک
با محدود کردن دامنه، به هر تابع غیر خطی که آزمون خط افقی را رد میکند، وارونپذیری میبخشیم.
در این مقاله میآموزید که چرا توابعی مانند $f(x)=x^2$ کل دامنهٔ خود یکبهیک نیستند و چگونه با محدود کردن دامنه به بازههایی مانند $x \ge 0$ میتوان آنها را وارونپذیر کرد. همچنین با مفهوم «بزرگترین دامنهٔ ممکن» برای حفظ یکبهیکی و کاربرد آن در توابع مثلثاتی و معادلات آشنا میشوید.
چرا یک تابع غیر یکبهیک نیاز به محدود شدن دارد؟
تعریف کلیدی تابع یکبهیک (injective) به تابعی گفته میشود که به ازای هر دو عضو متفاوت از دامنه، مقادیر متفاوتی در برد داشته باشد. به بیان سادهتر: هیچ دو ورودی متفاوتی، خروجی یکسان تولید نمیکنند.
برای بررسی یکبهیک بودن یک تابع، از «آزمون خط افقی» استفاده میکنیم: اگر بتوان خطی افقی رسم کرد که نمودار تابع را در بیش از یک نقطه قطع کند، آن تابع روی کل دامنهٔ خود یکبهیک نیست. به عنوان مثال، تابع $f(x)=x^2$ را در نظر بگیرید. اگر $x=2$ و $x=-2$ را جایگذاری کنیم، هر دو به عدد 4 میرسیم. چون دو ورودی متفاوت، خروجی یکسان دارند، این تابع روی کل اعداد حقیقی یکبهیک نیست. خط افقی $y=4$ نمودار را در دو نقطه قطع میکند. برای تبدیل چنین تابعی به یک تابع یکبهیک، باید بخشی از دامنه را انتخاب کنیم که در آن تابع «اکیداً صعودی» یا «اکیداً نزولی» باشد. به این فرآیند، محدود کردن دامنه میگوییم.
روش گامبهگام انتخاب دامنهٔ مناسب برای توابع سهمی و قدرمطلق
| گام | عمل | مثال برای $f(x)=x^2$ |
|---|---|---|
| 1 | نمودار تابع را رسم کرده یا نقطهٔ عطف (راس) را پیدا کنید. | راس در $x=0$ قرار دارد. |
| 2 | نواحی یکنواخت (اکیداً صعودی یا نزولی) را مشخص کنید. | برای $x \le 0$ نزولی و برای $x \ge 0$ صعودی است. |
| 3 | یکی از بازههای یکنواخت را به عنوان دامنهٔ جدید انتخاب کنید. | دامنهٔ محدود شده: $[0, +\infty)$ یا $(-\infty, 0]$ |
| 4 | تابع جدید را همراه با دامنهٔ محدود شده تعریف کنید. | $g(x)=x^2, \quad x \ge 0$ |
پس از محدود کردن دامنه، میتوانیم وارون تابع1 را محاسبه کنیم. برای $g(x)=x^2$ با دامنهٔ $x \ge 0$، وارون آن برابر $g^{-1}(x)=\sqrt{x}$ با دامنهٔ $x \ge 0$ خواهد بود.
کاربرد عملی: یافتن وارون توابع مثلثاتی با محدود کردن دامنه
توابع مثلثاتی مانند سینوس و کسینوس بر روی تمام اعداد حقیقی یکبهیک نیستند، زیرا تناوبی هستند. برای اینکه بتوانیم وارون آنها (مانند آرکسینوس و آرککسینوس) را تعریف کنیم، ناچار به محدود کردن دامنه هستیم. به عنوان مثال، تابع $y = \sin(x)$ را در بازهٔ $[-\frac{\pi}{2}, \frac{\pi}{2}]$ در نظر بگیرید. در این بازه، تابع سینوس اکیداً صعودی است و تمام مقادیر بین $-1$ و $1$ را دقیقاً یک بار میپوشاند. به همین دلیل، وارون آن یعنی $\arcsin(x)$ تعریف میشود. انتخاب این بازهی خاص (که به «شاخهٔ اصلی» معروف است) یک قرارداد جهانی در ریاضیات است.| تابع اصلی | دامنهٔ محدود شده (برای یکبهیکی) | تابع وارون |
|---|---|---|
| $\sin(x)$ | $[-\frac{\pi}{2}, \frac{\pi}{2}]$ | $\arcsin(x)$ |
| $\cos(x)$ | $[0, \pi]$ | $\arccos(x)$ |
| $\tan(x)$ | $(-\frac{\pi}{2}, \frac{\pi}{2})$ | $\arctan(x)$ |
نکته عملی فرض کنید معادلهٔ $x^2 = 9$ را دارید. بدون محدودیت، جوابها $x = 3$ و $x = -3$ هستند. اما اگر صورت مسئله بگوید $x \ge 0$، آنگاه دامنه محدود شده و فقط جواب $x=3$ قابل قبول است. این همان منطق محدود کردن دامنه در مسائل کاربردی است.
چالشهای مفهومی در محدود کردن دامنه
پرسش ۱: آیا همیشه فقط یک راه برای محدود کردن دامنه وجود دارد؟
خیر. معمولاً چندین دامنهٔ مختلف وجود دارد که تابع را یکبهیک میکنند. برای تابع $f(x)=x^2$، هم بازهٔ $[0,+\infty)$ و هم $(-\infty,0]$ کار میکنند. انتخاب «دامنهٔ اصلی» معمولاً بر اساس قرارداد یا سادگی محاسبات (مانند بازهای که شامل صفر باشد) انجام میشود.
خیر. معمولاً چندین دامنهٔ مختلف وجود دارد که تابع را یکبهیک میکنند. برای تابع $f(x)=x^2$، هم بازهٔ $[0,+\infty)$ و هم $(-\infty,0]$ کار میکنند. انتخاب «دامنهٔ اصلی» معمولاً بر اساس قرارداد یا سادگی محاسبات (مانند بازهای که شامل صفر باشد) انجام میشود.
پرسش ۲: اگر تابعی نقطهٔ عطف نداشته باشد (مانند توابع فرد درجه سوم) چه؟
توابعی مانند $f(x)=x^3$ در کل دامنهٔ اعداد حقیقی یکبهیک هستند (چون همواره صعودیاند) و نیازی به محدود کردن ندارند. محدود کردن فقط برای توابعی لازم است که آزمون خط افقی را رد کنند.
توابعی مانند $f(x)=x^3$ در کل دامنهٔ اعداد حقیقی یکبهیک هستند (چون همواره صعودیاند) و نیازی به محدود کردن ندارند. محدود کردن فقط برای توابعی لازم است که آزمون خط افقی را رد کنند.
پرسش ۳: آیا میتوان دامنه را به مجموعهای غیر از بازه (مثل نقاط گسسته) محدود کرد؟
بله، اما در جبر دبیرستان معمولاً دامنه را به بازههایی از اعداد حقیقی محدود میکنیم. در حالت کلی، هر زیرمجموعهای از دامنه که در آن تابع یکبهیک باشد، قابل قبول است. برای مثال، اگر دامنه را تنها به اعداد صحیح مثبت محدود کنیم، تابع $f(x)=x^2$ نیز یکبهیک میشود.
بله، اما در جبر دبیرستان معمولاً دامنه را به بازههایی از اعداد حقیقی محدود میکنیم. در حالت کلی، هر زیرمجموعهای از دامنه که در آن تابع یکبهیک باشد، قابل قبول است. برای مثال، اگر دامنه را تنها به اعداد صحیح مثبت محدود کنیم، تابع $f(x)=x^2$ نیز یکبهیک میشود.
جمعبندی
محدود کردن دامنه، ابزاری کلیدی در ریاضیات برای وارونپذیر کردن توابع غیر یکبهیک است. با انتخاب بخشهایی از دامنه که تابع در آن اکیداً صعودی یا نزولی است (نواحی یکنواخت)، میتوان شرط لازم برای وجود وارون را فراهم کرد. این مفهوم نه تنها در توابع جبری مانند سهمی و قدرمطلق، بلکه در توابع مثلثاتی و لگاریتمی نیز کاربرد اساسی دارد. هرگاه با تابعی روبرو شدید که بیش از یک ورودی، خروجی یکسان میدهد، به دنبال «بزرگترین دامنهٔ ممکن» بگردید تا آن را به یک تابع یکبهیک تبدیل کنید.
پاورقی
1 وارون تابع (Inverse Function): تابعی که عمل تابع اصلی را خنثی میکند؛ یعنی اگر $f(a)=b$ آنگاه $f^{-1}(b)=a$.