یکبهیک بودن تابع نمایی: شرط وارونپذیری در دنیای رشدها
ویژگی تزریقی تابع نمایی: تعریف و شرط اولیه
در ریاضیات، یک تابع مانند $f$ را یکبهیک (injective) مینامیم اگر به ازای هر دو ورودی متفاوت $x_1$ و $x_2$ از دامنه، خروجیهای $f(x_1)$ و $f(x_2)$ نیز متفاوت باشند. به عبارت دیگر:
تابع نمایی با پایهٔ $a$ که به صورت $f(x)=a^x$ تعریف میشود، زمانی یکبهیک است که $a \gt 0$ و $a \neq 1$. علت این شرط را در دو حالت بررسی میکنیم:
- اگر $a=1$ باشد، آنگاه $f(x)=1^x=1$ برای تمام $x$ها ثابت است. در این صورت تابع یکبهیک نیست، زیرا ورودیهای متفاوت خروجی یکسان دارند.
- اگر $0 \lt a \lt 1$ یا $a \gt 1$ باشد، تابع اکیداً یکنوا (صعودی یا نزولی) است و در نتیجه یکبهیک خواهد بود.
برای درک بهتر، فرض کنید دو مقدار مختلف $x_1$ و $x_2$ داشته باشیم که $a^{x_1}=a^{x_2}$. با تقسیم دو طرف بر $a^{x_2}$ (که مثبت است) داریم $a^{x_1-x_2}=1$. از آنجا که $a \neq 1$ و $a \gt 0$، تنها راه رسیدن به یک، برابر بودن توان با صفر است. پس $x_1-x_2=0$ یا $x_1=x_2$. این اثبات نشان میدهد که اگر خروجیها مساوی باشند، حتماً ورودیها هم مساویاند، که معادل یکبهیک بودن است.
رابطهٔ یکبهیک بودن با وارونپذیری تابع
یکی از مهمترین نتایج یکبهیک بودن، وارونپذیر شدن تابع است. تابع $f$ وارونپذیر است اگر و تنها اگر یکبهیک باشد. در این صورت میتوان تابعی مانند $f^{-1}$ یافت به طوری که:
برای تابع نمایی $f(x)=a^x$ با $a \gt 0, a \neq 1$، وارون آن تابع لگاریتم با پایهٔ $a$ است که با $\log_a(x)$ نمایش داده میشود. به عبارت دیگر:
این ویژگی در حل معادلات نمایی کاربرد گسترده دارد. برای نمونه، اگر معادلهٔ $3^{2x+1} = 27$ را داشته باشیم، با استفاده از یکبهیک بودن، توانها را برابر قرار میدهیم: $2x+1 = 3$ که نتیجه میدهد $x=1$.
| نوع تابع | مثال | یکبهیک؟ | وارونپذیر؟ |
|---|---|---|---|
| نمایی با پایه $2$ | $f(x)=2^x$ | بله | بله (لگاریتم) |
| نمایی با پایه $1$ | $f(x)=1^x$ | خیر | خیر |
| نمایی با پایه $0.5$ | $f(x)=(0.5)^x$ | بله | بله |
اثبات یکبهیک بودن از طریق یکنوایی اکید
روش دیگر برای اثبات یکبهیک بودن توابع نمایی، استفاده از خاصیت یکنوایی اکید است. تابع $f(x)=a^x$ برای $a \gt 1$ اکیداً صعودی و برای $0 \lt a \lt 1$ اکیداً نزولی است. توابع اکیداً یکنوا همواره یکبهیک هستند، زیرا اگر $x_1 \lt x_2$ باشد، آنگاه در حالت صعودی $f(x_1) \lt f(x_2)$ و در حالت نزولی $f(x_1) \gt f(x_2)$ خواهیم داشت، بنابراین خروجیها متفاوتاند.
برای اثبات یکنوایی، کافی است مشتق تابع را برای توابع پیوسته محاسبه کنیم (در سطح دبیرستان میتوان از نسبت $\frac{f(x_2)}{f(x_1)} = a^{x_2-x_1}$ استفاده کرد). اگر $a \gt 1$ و $x_2 \gt x_1$ آنگاه $a^{x_2-x_1} \gt 1$ و در نتیجه $f(x_2) \gt f(x_1)$.
کاربرد عملی: رمزنگاری و مدلهای رشد جمعیت
خاصیت یکبهیک بودن توابع نمایی در دو حوزهٔ مهم کاربرد مستقیم دارد: رمزنگاری و مدلسازی جمعیت.
رمزنگاری: در الگوریتمهای کلید عمومی مانند رمزنگاری آراسای (RSA)1، از توابع نمایی گسسته استفاده میشود. یکبهیک بودن تضمین میکند که هر پیام رمز شده، به یک پیام اصلی منحصربهفرد وابسته است و در هنگام رمزگشایی، ابهامی وجود نداشته باشد.
مدلهای رشد جمعیت: فرض کنید جمعیت باکتریها به صورت $P(t)=P_0 \cdot e^{kt}$ رشد میکند. اگر بدانیم جمعیت در دو زمان متفاوت یکسان است (که از نظر عملی غیرممکن است مگر در شرایط خاص)، آنگاه یکبهیک بودن تابع نمایی به ما میگوید آن دو زمان باید برابر باشند. این ویژگی در تعیین زمان دوبرابر شدن یا نیمهعمر مواد رادیواکتیو نقش کلیدی دارد.
مثال عینی: نمونهای از کربن رادیواکتیو با معادلهٔ $m(t)=m_0 \cdot (0.5)^{t/5730}$ تجزیه میشود (نیمهعمر $5730$ سال). اگر پس از مدتی جرم به $\frac{m_0}{4}$ برسد، با استفاده از یکبهیک بودن تابع نمایی مینویسیم $(0.5)^{t/5730}=0.25 = (0.5)^2$ و نتیجه میگیریم $t/5730 = 2$ یا $t = 11460$ سال. بدون این ویژگی، نمیتوانستیم توانها را برابر قرار دهیم.
سه چالش مفهومی پیرامون یکبهیک بودن تابع نمایی
چالش ۱: آیا تابع $f(x)=(-2)^x$ یکبهیک است؟
پاسخ: خیر. دلیل آن است که پایهٔ منفی باعث میشود دامنهٔ تابع به اعداد حقیقی محدود نباشد (برای بسیاری از $x$های غیرصحیح، تابع در اعداد حقیقی تعریف نمیشود). در دامنهای که تابع تعریف شده باشد (مثلاً اعداد صحیح)، باز هم یکبهیک است اما به دلیل ناپیوستگی، شرط استاندارد توابع نمایی حقیقی شامل پایهٔ منفی نمیشود. طبق تعریف استاندارد، توابع نمایی فقط برای پایهٔ مثبت در نظر گرفته میشوند.
چالش ۲: اگر $a \gt 0$ و $a \neq 1$ باشد، آیا تابع $g(x)=a^{x} + c$ (با $c$ ثابت) نیز یکبهیک است؟
پاسخ: بله. اضافه کردن یک ثابت، تابع را به صورت عمودی جابهجا میکند اما یکنوایی آن را تغییر نمیدهد. بنابراین اگر $f(x)=a^x$ یکبهیک باشد، آنگاه $f(x)+c$ نیز یکبهیک است. برای اثبات، کافی است فرض کنیم $a^{x_1}+c = a^{x_2}+c$ که نتیجه میدهد $a^{x_1}=a^{x_2}$ و در نتیجه $x_1=x_2$.
چالش ۳: آیا تابع $h(x)=e^{x^2}$ یکبهیک است؟
پاسخ: خیر. اگرچه تابع نمایی با پایهٔ $e$ (عدد اویلر2) یکبهیک است، ولی در ترکیب با $x^2$ که یک تابع زوج است، خاصیت یکبهیک از بین میرود. برای نمونه $h(2)=e^{4}$ و $h(-2)=e^{4}$ با اینکه $2 \neq -2$، خروجی یکسان میدهند.
پاورقی
1 رمزنگاری آراسای (RSA Cryptography): الگوریتمی برای رمزنگاری نامتقارن که بر پایهٔ دشواری فاکتورگیری اعداد بزرگ و استفاده از توابع نمایی گسسته در پیمانهٔ اعداد اول طراحی شده است.
2 عدد اویلر (Euler's Number): عددی حقیقی تقریباً برابر با $2.71828$ که پایهٔ لگاریتم طبیعی است و در محاسبات رشد پیوسته ظاهر میشود.