وارون تابع: فرآیند یافتن معکوس توابع ریاضی
شرط لازم برای وجود وارون: یکبهیک بودن تابع
همهٔ توابع وارون ندارند. برای این که تابع $ f $ دارای وارون باشد، باید یکبهیک (injective) باشد؛ یعنی هر خروجی $ y $ دقیقاً از یک ورودی $ x $ به دست آید. روش تشخیص ساده، استفاده از آزمون خط افقی است: اگر بتوان خطی موازی محور $ x $ رسم کرد که نمودار تابع را در بیش از یک نقطه قطع کند، آن تابع یکبهیک نیست و وارونپذیر1 نخواهد بود.
برای نمونه، تابع $ f(x)=x^2 $ با قلمرو اعداد حقیقی یکبهیک نیست، زیرا $ f(2)=4 $ و $ f(-2)=4 $. اما اگر قلمرو را به $ x \ge 0 $ محدود کنیم، یکبهیک میشود و وارون آن یعنی $ f^{-1}(x)=\sqrt{x} $ معنیدار میگردد.
فرآیند سهگام اصلی یافتن وارون تابع
گام ۱ معادله $ y=f(x) $ را بنویسید.
گام ۲ معادله را نسبت به $ x $ حل کنید تا $ x $ را بر حسب $ y $ به دست آورید: $ x=f^{-1}(y) $.
گام ۳ نقش $ x $ و $ y $ را جابهجا کنید تا وارون به صورت استاندارد $ y=f^{-1}(x) $ نوشته شود. همچنین قلمرو و برد نیز با یکدیگر جابهجا میشوند: قلمرو $ f^{-1} $ برابر برد $ f $ است و برد $ f^{-1} $ برابر قلمرو $ f $ میباشد.
انواع توابع و روش یافتن وارون آنها
وارون توابع خطی و توانی
توابع خطی با فرم $ f(x)=ax+b $ که در آن $ a \neq 0 $ همواره یکبهیک هستند. وارون آنها نیز خطی است: $ f^{-1}(x)=\frac{x-b}{a} $. برای توابع توانی با فرم $ f(x)=x^n $ که $ n $ فرد است، وارون برابر $ f^{-1}(x)=\sqrt[n]{x} $ است. اگر $ n $ زوج باشد، باید قلمرو را محدود کنیم.
وارون توابع نمایی و لگاریتمی
تابع نمایی $ f(x)=a^x $ با پایهٔ $ a \gt 0 $ و $ a \neq 1 $ یکبهیک است. وارون آن تابع لگاریتمی است: $ f^{-1}(x)=\log_a x $. به همین ترتیب، وارون $ f(x)=\ln x $ (لگاریتم طبیعی) برابر $ f^{-1}(x)=e^x $ است. این زوج توابع در ریاضیات و علوم بسیار پرکاربردند.
| نوع تابع | فرم تابع اصلی $ f(x) $ | شرط یکبهیک بودن | وارون $ f^{-1}(x) $ |
|---|---|---|---|
| خطی | $ ax+b \; (a \neq 0) $ | همیشه یکبهیک | $ \frac{x-b}{a} $ |
| توانی فرد | $ x^n $ ($ n $ فرد) | همیشه یکبهیک در $ \mathbb{R} $ | $ \sqrt[n]{x} $ |
| نمایی | $ a^x \; (a \gt 0, a \neq 1) $ | یکبهیک روی اعداد حقیقی | $ \log_a x $ |
| لگاریتمی | $ \log_a x $ | یکبهیک روی $ x \gt 0 $ | $ a^x $ |
کاربرد عملی وارون توابع در رمزنگاری و علوم داده
در رمزنگاری ساده، گاهی از توابع وارونپذیر برای رمزگذاری و سپس رمزگشایی استفاده میشود. برای نمونه، تابع $ y = 3x + 5 $ یک رمزگذاری خطی است. وارون آن $ x = (y-5)/3 $ نقش رمزگشایی را دارد. در علوم داده، هنگام استانداردسازی دادهها2، ممکن است ابتدا داده را با تبدیل خطی تغییر دهیم و سپس برای بازگردانی به مقیاس اصلی از وارون آن تبدیل استفاده کنیم. همچنین در تحلیل اقتصادی، تابع تقاضا و تابع قیمت وارون یکدیگرند: اگر تابع تقاضا مقدار را بر حسب قیمت بدهد، وارون آن قیمت را بر حسب مقدار نشان میدهد که در بهینهسازی سود بسیار کاربرد دارد.
فرض کنید شرکت تولیدکننده ای داشته باشیم که هزینهٔ تولید $ C $ بر حسب تعداد محصولات $ q $ به صورت $ C(q)=2q+100 $ باشد. اگر بدانیم هزینه $ C $ چقدر است، برای یافتن تعداد محصولات از وارون استفاده میکنیم: $ q = \frac{C-100}{2} $. این یک نمونه ساده از کاربرد وارون در مسائل معکوس است.
چالشهای مفهومی
بله، شرط لازم و کافی برای وجود وارون، یکبهیک بودن تابع است. حتی اگر تابع پوشا3 نباشد، میتوان وارون را روی برد تابع تعریف کرد.
جابهجایی متغیرها صرفاً یک قرارداد برای نمایش وارون به صورت تابعی از متغیر مستقل $ x $ است. در اصل، $ y = f(x) $ و $ x = f^{-1}(y) $ رابطهٔ یکسانی را توصیف میکنند؛ اما در رسم نمودار مرسوم است که محور افقی $ x $ و عمودی $ y $ باشد.
از روش حل معادله استفاده میکنیم. برای نمونه تابع $ f(x)=\frac{2x-1}{x+3} $ را در نظر بگیرید. $ y=\frac{2x-1}{x+3} \Rightarrow y(x+3)=2x-1 \Rightarrow yx+3y=2x-1 \Rightarrow yx-2x = -1-3y \Rightarrow x(y-2) = -(1+3y) \Rightarrow x = \frac{-(1+3y)}{y-2} = \frac{1+3y}{2-y} $. سپس جابهجایی: $ f^{-1}(x)=\frac{1+3x}{2-x} $.
پاورقی
2 استانداردسازی دادهها (Data Standardization): فرآیند تبدیل دادهها به مقیاسی با میانگین صفر و انحراف معیار یک که اغلب شامل تبدیلات خطی و وارون آنهاست.
3 تابع پوشا (Surjective): تابعی که برد آن با مجموعهٔ مقصد برابر باشد. برای وجود وارون کامل (از مجموعهٔ مقصد به قلمرو) نیاز به پوشایی نیز داریم، اما در دبیرستان معمولاً وارون را روی برد تابع اصلی تعریف میکنیم.