برد تابع وارون: دامنه تابع اصلی به عنوان خروجیهای تابع وارون
۱. مفهوم دامنه و برد در توابع وارونه
هر تابع $f(x)$ دو مجموعهٔ مهم دارد: دامنه (Domain) که شامل همهٔ ورودیهای مجاز است، و برد (Range) که شامل همهٔ خروجیهای ممکن است. وقتی تابع وارون $f^{-1}(x)$ را تشکیل میدهیم، نقش ورودی و خروجی جابهجا میشود. بنابراین:
- دامنهٔ تابع وارون همان برد تابع اصلی است: $D_{f^{-1}} = R_f$
- برد تابع وارون همان دامنهٔ تابع اصلی است: $R_{f^{-1}} = D_f$
مثال عملی: فرض کنید تابع $f(x)=2x+1$ را روی دامنهٔ $D_f = [0,3]$ تعریف کردهایم. آنگاه خروجیها (برد) از $1$ تا $7$ خواهد بود. اکنون تابع وارون $f^{-1}(x)=\frac{x-1}{2}$ دارای دامنهٔ $[1,7]$ و برد $[0,3]$ است. بهوضوح $D_{f^{-1}} = R_f$ و $R_{f^{-1}} = D_f$.
۲. شرط لازم برای وجود تابع وارون: یکبهیک بودن
برای آنکه تابع وارون نیز یک تابع باشد، تابع اصلی باید یکبهیک1 باشد. در غیر این صورت، وارون آن یک تابع نخواهد بود بلکه یک رابطه خواهد بود. یک روش ساده برای تشخیص یکبهیک بودن، استفاده از آزمون خط افقی2 است: اگر هر خط افقی نمودار تابع را حداکثر در یک نقطه قطع کند، تابع یکبهیک است.
۳. روش گامبهگام یافتن برد تابع وارون از روی دامنهٔ اصلی
برای تعیین برد تابع وارون (که همان دامنهٔ تابع اصلی است) مراحل زیر را طی کنید:
- تابع اصلی $y=f(x)$ را بنویسید.
- دامنهٔ تابع اصلی $D_f$ را مشخص کنید.
- تابع را نسبت به $x$ حل کنید تا $x=f^{-1}(y)$ به دست آید.
- در عبارت بهدستآمده، به جای $y$ از نماد $x$ استفاده کنید: $f^{-1}(x)$.
- دامنهٔ تابع وارون $D_{f^{-1}}$ برابر با $R_f$ است.
- برد تابع وارون $R_{f^{-1}}$ دقیقاً برابر $D_f$ خواهد بود.
مثال عددی گامبهگام: تابع $f(x)=\sqrt{x-2}$ را در نظر بگیرید. گام اول: دامنهٔ اصلی $x-2 \ge 0 \Rightarrow x \ge 2 \Rightarrow D_f=[2,+\infty)$. گام دوم: $y=\sqrt{x-2} \Rightarrow y^2=x-2 \Rightarrow x=y^2+2$. گام سوم: $f^{-1}(x)=x^2+2$. دامنهٔ وارون: $D_{f^{-1}} = R_f = [0,+\infty)$. برد وارون: $R_{f^{-1}} = D_f = [2,+\infty)$.
| تابع اصلی (مثال) | دامنهٔ اصلی $D_f$ | برد اصلی $R_f$ | تابع وارون | برد وارون $R_{f^{-1}}$ = $D_f$ |
|---|---|---|---|---|
| $f(x)=3x-5$ | $(-\infty,+\infty)$ | $(-\infty,+\infty)$ | $f^{-1}(x)=\frac{x+5}{3}$ | $(-\infty,+\infty)$ |
| $f(x)=x^2$ (دامنه محدود به $[0,2]$) | $[0,2]$ | $[0,4]$ | $f^{-1}(x)=\sqrt{x}$ | $[0,2]$ |
| $f(x)=\frac{1}{x}$ ($x\neq 0$) | $(-\infty,0)\cup(0,+\infty)$ | $(-\infty,0)\cup(0,+\infty)$ | $f^{-1}(x)=\frac{1}{x}$ | $(-\infty,0)\cup(0,+\infty)$ |
۴. کاربرد عملی: تعیین دامنهٔ تابع وارون در مسائل معادلات و نامساویها
فرض کنید میخواهیم دامنهٔ تابع وارون $f^{-1}(x)=\frac{1}{x-2}+3$ را پیدا کنیم. بهجای محاسبهٔ مستقیم دامنه از روی خود تابع وارون (که منجر به شرط $x\neq 2$ میشود)، میتوانیم از رابطهٔ $D_{f^{-1}} = R_f$ استفاده کنیم. برای این کار ابتدا تابع اصلی را پیدا میکنیم: اگر $y=f^{-1}(x) \Rightarrow x=f(y)$. از $y=\frac{1}{x-2}+3$ داریم $y-3=\frac{1}{x-2} \Rightarrow x-2=\frac{1}{y-3} \Rightarrow x=2+\frac{1}{y-3}$. بنابراین $f(t)=2+\frac{1}{t-3}$. دامنهٔ اصلی $D_f$ تمام اعداد حقیقی به جز $3$ است. پس برد تابع وارون نیز تمام اعداد حقیقی به جز $3$ خواهد بود. اما دامنهٔ تابع وارون همان $R_f$ است که از تابع اصلی: $f(t)$ چه مقادیری میگیرد؟ از آنجا که $\frac{1}{t-3}$ همه اعداد حقیقی به جز صفر را تولید میکند، پس $R_f = (-\infty,2)\cup(2,+\infty)$. بنابراین $D_{f^{-1}} = (-\infty,2)\cup(2,+\infty)$. این روش نشان میدهد که با دانستن دامنهٔ اصلی میتوان به برد وارون و با دانستن برد اصلی میتوان به دامنهٔ وارون دست یافت.
۵. چالشهای مفهومی
پاسخ: زیرا در فرایند وارونسازی، نقش متغیر ورودی و خروجی جابهجا میشود. هر مقداری که در تابع اصلی به عنوان ورودی مجاز بوده (دامنهٔ اصلی)، در تابع وارون به عنوان خروجی ظاهر میشود. به عبارت ریاضی: اگر $f(a)=b$ آنگاه $f^{-1}(b)=a$. پس همهٔ $a$ها در دامنهٔ اصلی، در برد وارون قرار میگیرند.
پاسخ: خیر، زیرا در آن حالت وارون به صورت یک تابع تعریف نمیشود (وارون یک رابطه است). اما اگر دامنهٔ اصلی را محدود کنیم تا تابع یکبهیک شود، آنگاه رابطه برقرار خواهد بود. مثلاً برای $f(x)=x^2$ بدون محدودیت، وارون تابع نیست، ولی با محدودیت $[0,+\infty)$ رابطه برقرار است.
پاسخ: بله، اما گاهی محاسبهٔ مستقیم دشوار است (مثلاً در توابع مثلثاتی وارون). در آن موارد استفاده از رابطهٔ $D_{f^{-1}} = R_f$ و تعیین برد تابع اصلی (که گاهی سادهتر است) راه هوشمندانهتری است. مثلاً برای $f^{-1}(x)=\arcsin(x)$ میدانیم $f(x)=\sin(x)$ با دامنهٔ محدود $[-\frac{\pi}{2},\frac{\pi}{2}]$ و برد $[-1,1]$. بنابراین $D_{\arcsin}=[-1,1]$.
پاورقی
1 تابع یکبهیک (One-to-one function): تابعی که هر عضو از برد دقیقاً به یک عضو از دامنه مربوط شود. به عبارت دیگر اگر $f(a)=f(b)$ آنگاه $a=b$.
2 آزمون خط افقی (Horizontal line test): روشی گرافیکی برای تشخیص یکبهیک بودن تابع: اگر هیچ خط افقی نمودار تابع را در بیش از یک نقطه قطع نکند، تابع یکبهیک است.