رابطه دامنه و برد در توابع وارون: دامنه تابع اصلی برابر برد تابع وارون و برعکس
۱. تعریف دامنه و برد در توابع
در ریاضیات، هر تابع $f(x)$ از یک مجموعه ورودی به مجموعه خروجی نگاشت میشود. دامنه (Domain) مجموعه همه مقادیری است که میتوان به عنوان ورودی به تابع داد. برد (Range) مجموعه همه مقادیری است که تابع از آن ورودیها تولید میکند. به عبارت دیگر، اگر تابع را به عنوان یک ماشین تصور کنیم، دامنه مواد اولیه قابل قبول و برد محصولات نهایی است.
مثال عملی: فرض کنید تابع $f(x)=x^2$ را با دامنه $\mathbb{R}$ (همه اعداد حقیقی) تعریف کنیم. در این صورت خروجی هر عدد حقیقی به توان $2$ هرگز منفی نمیشود. بنابراین برد این تابع $[0, +\infty)$ است. دقت کنید که اگر دامنه را به $[-2,2]$ محدود کنیم، برد به $[0,4]$ تغییر میکند. پس دامنه بر برد تأثیر مستقیم دارد.
۲. تابع وارون و شرط یکبهیک بودن
تابع وارون که با $f^{-1}(x)$ نمایش داده میشود، نقش ورودی و خروجی تابع اصلی را جابهجا میکند. برای اینکه یک تابع وارون پذیر باشد، باید یکبهیک (Injective) باشد؛ یعنی هر خروجی تنها از یک ورودی منحصر به فرد به دست آید. همچنین تابع باید پوشا (Surjective) نسبت به برد خود باشد. به چنین توابعی وارونپذیر میگوییم.
رابطه بین دامنه و برد در توابع وارون به صورت زیر است:
$\text{Range}(f^{-1}) = \text{Domain}(f)$
برای درک بهتر، یک تابع خطی ساده را بررسی کنید: تابع $f(x)=2x+3$ با دامنه $\mathbb{R}$. این تابع یکبهیک است و وارون آن $f^{-1}(x)=\frac{x-3}{2}$ میباشد. دامنه $f^{-1}$ برابر $\mathbb{R}$ و برد آن نیز $\mathbb{R}$ است. در این حالت به دلیل متقارن بودن دامنه و برد، رابطه به سادگی دیده میشود.
| نوع تابع | دامنه تابع اصلی | برد تابع اصلی | دامنه تابع وارون | برد تابع وارون |
|---|---|---|---|---|
| $f(x)=2x+3$ | $\mathbb{R}$ | $\mathbb{R}$ | $\mathbb{R}$ | $\mathbb{R}$ |
| $f(x)=\sqrt{x}$ | $[0,\infty)$ | $[0,\infty)$ | $[0,\infty)$ | $[0,\infty)$ |
| $f(x)=x^2$ (با دامنه محدود) | $[-2,2]$ | $[0,4]$ | $[0,4]$ | $[-2,2]$ |
۳. اثبات رابطه دامنه و برد با یک مثال گامبهگام
تابع $f(x)=\sqrt{x-1}$ را در نظر بگیرید. برای اینکه ریشه دوم در مجموعه اعداد حقیقی تعریف شود، باید عبارت زیر رادیکال نامنفی باشد:
بنابراین دامنه تابع اصلی: $D_f = [1, +\infty)$
برای یافتن برد، توجه میکنیم که خروجی ریشه دوم همواره نامنفی است. کوچکترین مقدار در دامنه $x=1$ است که $f(1)=0$ میدهد. با افزایش $x$ مقدار تابع نیز افزایش مییابد، بنابراین برد تابع اصلی: $R_f = [0, +\infty)$.
حال وارون تابع را محاسبه میکنیم. ابتدا $y=\sqrt{x-1}$ را مینویسیم. برای یافتن وارون، $x$ و $y$ را جابهجا کرده و سپس $y$ را به دست میآوریم:
بنابراین $f^{-1}(x)=x^2+1$
اما توجه کنید که دامنه $f^{-1}$ باید برابر برد تابع اصلی یعنی $[0,\infty)$ باشد. همچنین برد $f^{-1}$ برابر دامنه تابع اصلی یعنی $[1,\infty)$ خواهد بود. بنابراین تابع وارون را به صورت $f^{-1}(x)=x^2+1$ با دامنه $x\ge 0$ تعریف میکنیم. دقت کنید که اگر دامنه را محدود نکنیم، $x^2+1$ برای اعداد منفی نیز تعریف میشود ولی آن مقادیر در دامنه وارون جای ندارند.
۴. کاربرد عملی: حل معادلات و رمزنگاری
رابطه بین دامنه و برد توابع وارون در بسیاری از زمینهها کاربرد دارد. یکی از سادهترین کاربردها، حل معادلات است. فرض کنید معادله $f(x)=y$ را داریم و میخواهیم $x$ را بر حسب $y$ پیدا کنیم. اگر تابع وارونپذیر باشد، کافی است بنویسیم $x = f^{-1}(y)$. اما برای اینکه این پاسخ معتبر باشد، باید $y$ در دامنه $f^{-1}$ قرار داشته باشد که همان برد $f$ است. به طور مشابه، در رمزنگاری، توابع وارونپذیر برای رمزگذاری و رمزگشایی استفاده میشوند و دامنه و برد این توابع باید به دقت مشخص شوند تا فرایند رمزگشایی بدون ابهام باشد.
مثال عینی در مهندسی: یک سنسور دما، ولتاژ خروجی $V$ بر حسب دما $T$ (بر حسب سانتیگراد) را به صورت $V = 0.01T + 0.5$ تولید میکند. دامنه دمای قابل اندازهگیری از $-50$ تا $150$ درجه است. برای بدست آوردن دما از روی ولتاژ، از تابع وارون $T = 100(V - 0.5)$ استفاده میکنیم. دامنه این تابع وارون (ولتاژهای قابل قبول) همان برد تابع اصلی است که از $0.01(-50)+0.5 = 0$ تا $0.01(150)+0.5 = 2$ ولت متغیر است. اگر ولتاژ خارج از این بازه باشد، دمای محاسبه شده معتبر نیست.
۵. چالشهای مفهومی (پرسش و پاسخ)
پرسش ۱: آیا هر تابعی وارونپذیر است و رابطه دامنه و برد برای آن برقرار است؟
خیر. تنها توابع یکبهیک (Injective) وارونپذیر هستند. برای مثال تابع $f(x)=x^2$ با دامنه $\mathbb{R}$ یکبهیک نیست زیرا $f(2)=f(-2)=4$. بنابراین وارون سراسری ندارد. اگر دامنه را به $[0,\infty)$ محدود کنیم، یکبهیک میشود و رابطه دامنه و برد برقرار است.
پرسش ۲: چرا در تابع وارون، دامنه و برد جابهجا میشوند؟ دلیل منطقی آن چیست؟
زیرا تابع وارون دقیقاً نقش ورودی و خروجی را معکوس میکند. اگر تابع اصلی هر $x$ از دامنه را به $y$ در برد نگاشت کند، تابع وارون همان $y$ را به $x$ برمیگرداند. بنابراین مجموعه مقادیر ورودی تابع وارون همان مجموعه خروجیهای تابع اصلی (برد) و مجموعه خروجیهای تابع وارون همان مجموعه ورودیهای تابع اصلی (دامنه) است.
پرسش ۳: آیا ممکن است دامنه تابع اصلی با دامنه تابع وارون برابر باشد؟ در چه شرایطی؟
بله، اگر دامنه و برد تابع اصلی با هم برابر باشند، آنگاه دامنه تابع اصلی با دامنه تابع وارون (که همان برد اصلی است) برابر خواهد شد. مثال: تابع $f(x)=x$ با دامنه $\mathbb{R}$ که برد آن نیز $\mathbb{R}$ است. در این حالت $f^{-1}(x)=x$ و دامنه و برد هر دو $\mathbb{R}$ هستند.
جمعبندی
پاورقی
1 دامنه (Domain): مجموعه تمام مقادیر ورودی مجاز برای یک تابع.
2 برد (Range): مجموعه تمام مقادیر خروجی واقعی که یک تابع از دامنه خود تولید میکند.
3 تابع وارون (Inverse Function): تابعی که عمل تابع اصلی را خنثی میکند و با $f^{-1}$ نشان داده میشود.
4 یکبهیک (Injective): تابعی که هر عضو از برد آن تنها توسط یک عضو از دامنه به دست آید.
5 همدامنه (Codomain): مجموعهای که تابع به آن نگاشت میشود (برد زیرمجموعهای از همدامنه است).