دامنه تابع وارون: برد تابع اصلی به عنوان ورودی توابع معکوس
۱. مفهوم دامنه و برد در توابع و رابطهٔ معکوس
هر تابع $f$ یک قانون است که هر عضو از دامنه (ورودیهای مجاز) را دقیقاً به یک عضو در برد (خروجیهای واقعی) نسبت میدهد. اگر تابع $f$ به گونهای باشد که هر خروجی مربوط به فقط یک ورودی باشد (یعنی یکبهیک1 باشد)، آنگاه میتوانیم تابع وارون2 را تعریف کنیم. در تابع وارون که آن را با $f^{-1}$ نشان میدهیم، نقش ورودی و خروجی نسبت به تابع اصلی جابهجا میشود. از این رو یک قاعدهٔ ثابت و بسیار مهم به دست میآید:
برای درک بهتر، تابع $f(x)=2x+1$ را در نظر بگیرید که دامنهٔ آن تمام اعداد حقیقی است. برد آن نیز تمام اعداد حقیقی خواهد بود. تابع وارون $f^{-1}(x)=\frac{x-1}{2}$ دارای دامنهٔ تمام اعداد حقیقی است که دقیقاً همان برد تابع اصلی است. این همارزی ساده، هستهٔ اصلی بحث ما را تشکیل میدهد.
۲. شرط یکبهیک بودن و تأثیر آن بر دامنهٔ وارون
همهٔ توابع وارون پذیر نیستند. اگر تابعی یکبهیک نباشد (مثل توابع درجه۲ به شکل $f(x)=x^2$)، وارون آن یک تابع نخواهد بود مگر اینکه دامنهٔ اصلی را محدود کنیم. در چنین مواردی، دامنهٔ تابع وارون همان برد تابع اصلی است، اما خود تابع اصلی روی دامنهای محدود شده یکبهیک میشود. برای نمونه، تابع $f(x)=x^2$ با دامنهٔ $[0,\infty)$ دارای برد $[0,\infty)$ است. در این صورت وارون آن $f^{-1}(x)=\sqrt{x}$ خواهد بود که دامنهٔ آن $[0,\infty)$ است و این دامنه دقیقاً همان برد تابع اصلی محدود شده میباشد.
۳. روش گامبهگام یافتن دامنهٔ تابع وارون
برای تعیین دامنهٔ $f^{-1}$ بدون آنکه لزوماً عبارت جبری وارون را بنویسیم، میتوان مراحل زیر را طی کرد:
- گام اول: برد تابع اصلی $f$ را روی دامنهٔ دادهشده (یا دامنهٔ طبیعی آن) محاسبه کنید.
- گام دوم: بررسی کنید که آیا $f$ یکبهیک است. اگر نه، باید دامنه را محدود کنید تا وارون تابع معنی دار شود.
- گام سوم: دامنهٔ $f^{-1}$ برابر با همان برد بهدست آمده از گام اول خواهد بود (پس از اعمال محدودیت یکبهیک بودن).
مثال عملی: تابع $f(x)=\sqrt{x-2}$ را در نظر بگیرید. دامنهٔ طبیعی آن $[2,\infty)$ است. برد این تابع $[0,\infty)$ میباشد. چون تابع یکبهیک است، وارون آن $f^{-1}(x)=x^{2}+2$ دارای دامنهٔ $[0,\infty)$ خواهد بود که دقیقاً با برد $f$ برابر است.
| تابع اصلی | دامنهٔ $f$ | برد $f$ | تابع وارون $f^{-1}$ | دامنهٔ $f^{-1}$ (همان برد $f$) |
|---|---|---|---|---|
| $f(x)=3x-4$ | تمام اعداد حقیقی | تمام اعداد حقیقی | $\frac{x+4}{3}$ | تمام اعداد حقیقی |
| $f(x)=x^2$ با دامنهٔ محدود $[0,\infty)$ | $[0,\infty)$ | $[0,\infty)$ | $\sqrt{x}$ | $[0,\infty)$ |
| $f(x)=\frac{1}{x-1}$ | تمام اعداد حقیقی به جز $1$ | تمام اعداد حقیقی به جز $0$ | $1+\frac{1}{x}$ | تمام اعداد حقیقی به جز $0$ |
۴. کاربرد عملی: تعیین دامنهٔ وارون در مسائل فیزیک و اقتصاد
فرض کنید در یک مسئلهٔ اقتصادی، تابع هزینهٔ تولید $C(q)=2q+100$ برای $q \ge 0$ باشد. در اینجا دامنهٔ تابع هزینه (ورودی، تعداد واحدها) $[0,\infty)$ و برد آن (هزینه بر حسب تومان) $[100,\infty)$ است. تابع وارون هزینه، مقدار تولید را بر حسب هزینه برمیگرداند: $q(C)=\frac{C-100}{2}$. دامنهٔ این تابع وارون باید همان برد تابع هزینه باشد، یعنی $C \ge 100$. اگر کسی بخواهد برای هزینهٔ کمتر از $100$ تومان، مقدار تولید را محاسبه کند، پاسخ معنیدار نخواهد داشت زیرا هزینهٔ ثابت $100$ تومانی حداقل هزینه است. این مثال نشان میدهد که درک مفهوم «دامنهٔ وارون = برد اصلی» در عمل از اشتباهات بزرگ جلوگیری میکند.
۵. چالشهای مفهومی
پاسخ: خیر، طبق تعریف، دامنهٔ $f^{-1}$ دقیقاً برابر با برد $f$ است، به شرطی که $f$ یکبهیک باشد. اگر $f$ پوشا نباشد (یعنی همهٔ اعضای مجموعهٔ هدف را نپوشاند)، برد به عنوان مجموعهٔ خروجیهای واقعی تعریف میشود و همان دامنهٔ وارون خواهد بود. بنابراین هیچ حالت «کوچکتر» یا «بزرگتر» معنی ندارد، مگر در اشتباه در محاسبهٔ برد.
پاسخ: تابع سینوس یکبهیک نیست، زیرا برای یک مقدار خروجی بین $-1$ و $1$، بیشماره ورودی وجود دارد. پس برای تعریف وارون (مثلاً $\arcsin x$) دامنهٔ $f$ را به $[-\frac{\pi}{2},\frac{\pi}{2}]$ محدود میکنیم. در این صورت برد $f$ روی این دامنه، $[-1,1]$ خواهد بود و دامنهٔ $\arcsin$ برابر با $[-1,1]$ میشود.
پاسخ: لزوماً خیر. اگر تابع اصلی دارای دامنهٔ گسسته یا ترکیبی از بازهها باشد، برد آن نیز ممکن است همان ساختار را داشته باشد. برای مثال دامنهٔ تابع $f(x)=\begin{cases} x & 0\le x \lt 2 \\ x+1 & 3\le x \le 4 \end{cases}$ منجر به بردی میشود که اتحاد دو بازه است. در نتیجه دامنهٔ وارون نیز به همان شکل غیر ساده خواهد بود.
جمعبندی
پاورقی
1 تابع یکبهیک (One-to-One function): تابعی که هر عضو برد آن فقط از یک عضو دامنه حاصل شود. به عبارت دیگر، اگر $f(a)=f(b)$ آنگاه $a=b$.
2 تابع وارون (Inverse function): تابعی چون $f^{-1}$ که به ازای هر $x$ در دامنهٔ $f$، $f^{-1}(f(x))=x$ و به ازای هر $y$ در دامنهٔ $f^{-1}$، $f(f^{-1}(y))=y$ برقرار باشد.