تابع یکبهیک: نگاشت منحصربهفرد اعضای دامنه به برد
تعریف اصلی تابع یکبهیک (تزریقی)
فرض کنید $f تابعی از مجموعه $A (دامنه) به مجموعه $B (برد یا همدامنه) باشد. تابع $f را یکبهیک1 گوییم، هرگاه به ازای هر دو عضو متمایز $x_1 و $x_2 از دامنه $A، تصاویر آنها نیز متمایز باشند. به عبارت دیگر، اگر $x_1 \neq x_2 آنگاه $f(x_1) \neq f(x_2). معادل این گزاره، عکس آن نیز برقرار است: اگر $f(x_1) = f(x_2) آنگاه نتیجه میشود که $x_1 = x_2.
مثال عددی ساده: تابع $f(x)=2x+1 را در نظر بگیرید. اگر $2x_1+1 = 2x_2+1، با کم کردن $1 از دو طرف داریم $2x_1 = 2x_2 و در نهایت تقسیم بر $2 نتیجه میدهد $x_1 = x_2. بنابراین این تابع یکبهیک است.
تشخیص بصری با آزمون خط افقی
یکی از روشهای سریع برای تشخیص یکبهیک بودن یک تابع (که نمودار آن در دستگاه مختصات رسم شده) استفاده از آزمون خط افقی2 است. اگر بتوان خطی افقی رسم کرد که نمودار تابع را در بیش از یک نقطه قطع کند، آن تابع یکبهیک نیست. به بیان دیگر، یک تابع یکبهیک است اگر و تنها اگر هر خط افقی حداکثر یک بار نمودار آن را قطع کند.
| نوع تابع | معادله نمونه | نتیجه آزمون خط افقی | یکبهیک؟ |
|---|---|---|---|
| خطی غیرثابت | $f(x)=3x-2$ | هر خط افقی دقیقاً یک بار قطع میکند | بله |
| تابع درجه دوم | $f(x)=x^2$ | خطوط افقی بالای صفر دو بار قطع میکنند | خیر |
| تابع نمایی | $f(x)=e^x$ | هر خط افقی حداکثر یک بار قطع میکند | بله |
تمایز با توابع پوشا و دوسویه
در نظریه مجموعهها، توابع یکبهیک را توابع تزریقی3 مینامند. در مقابل، اگر هر عضو از مجموعه برد (همدامنه) تصویر حداقل یک عضو از دامنه باشد، تابع را پوشا4 میگویند. تابعی که هم یکبهیک و هم پوشا باشد، دوسویه5 یا تناظر یکبهیک نامیده میشود. توابع دوسویه وارونپذیر هستند.
برای مثال، تابع $f:\mathbb{R}\to\mathbb{R}$ با ضابطه $f(x)=x^3$ یک تابع دوسویه است (چون هم یکبهیک و هم پوشاست)، در حالی که تابع $f:\mathbb{R}\to\mathbb{R}$ با ضابطه $f(x)=x^2$ نه یکبهیک است (به دلیل $f(2)=f(-2)=4$) و نه پوشا (زیرا اعداد منفی در برد آن نیستند).
کاربرد عملی: رمزنگاری و پایگاه داده
مفهوم تابع یکبهیک در دنیای واقعی کاربردهای گستردهای دارد. به عنوان مثال، در پایگاه دادههای رابطهای، کلید اصلی6 همواره باید یکبهیک باشد تا هر رکورد به طور منحصربهفرد شناسایی شود. در رمزنگاری، توابع درهمساز7 ایدهآل باید ویژگی یکبهیک بودن را تقریب بزنند تا دو پیام متفاوت به یک مقدار درهمساز نگاشت نشوند.
مثال ملموس دیگر: هر شماره ملی منحصربهفرد به یک شهروند نسبت داده میشود. این نگاشت یک تابع یکبهیک از مجموعه شهروندان به مجموعه شمارههای ملی است (اگر فرض کنیم هیچ شماره تکراری صادر نشود). همچنین، کدهای محصول در فروشگاههای اینترنتی به گونهای طراحی میشوند که هر کد فقط به یک کالا اشاره کند.
چالشهای مفهومی
پاسخ: خیر، مگر آنکه دامنه تابع دقیقاً یک عضو داشته باشد. اگر دامنه دارای دو عضو متمایز مانند $x_1 \neq x_2$ باشد، آنگاه $f(x_1)=c=f(x_2)$ اما $x_1 \neq x_2$ که با شرط یکبهیک بودن در تضاد است.
پاسخ: برای وارونپذیری، تابع باید یکبهیک و پوشا (یعنی دوسویه) باشد. اما اگر دامنه و برد تابع یکبهیک را به ترتیب به مجموعه مقادیر و مجموعه تصاویر (برد حقیقی) محدود کنیم، آنگاه تابعی دوسویه خواهد بود و میتوان وارون آن را تعریف کرد. در عمل، همه توابع یکبهیک روی برد خودشان وارونپذیر هستند.
پاسخ: خیر. اگر تابعی بر روی یک بازه از اعداد حقیقی صعودی اکید8 باشد (یعنی $x_1 )، آنگاه کاملاً یکبهیک است. زیرا برای $x_1 \neq x_2$ یا $x_1 است یا $x_1 > x_2$ که در هر دو حالت تصاویر متفاوت خواهند بود. همین ویژگی برای توابع نزولی اکید نیز برقرار است.
ویژگیهای جبری توابع یکبهیک
چند ویژگی مهم در مورد ترکیب توابع یکبهیک وجود دارد:
- اگر $f$ و $g$ هر دو توابعی یکبهیک باشند، آنگاه ترکیب $f \circ g$ نیز یکبهیک است.
- اگر $f \circ g$ یکبهیک باشد، نتیجه میشود که $g$ حتماً یکبهیک است (اما $f$ لزومی ندارد یکبهیک باشد).
- تابع وارون یک تابع یکبهیک (اگر وجود داشته باشد) نیز یکبهیک است.
مثال ترکیب: فرض کنید $g(x)=x+1$ و $f(x)=2x$. هر دو یکبهیک هستند. ترکیب $(f \circ g)(x)=2(x+1)=2x+2$ نیز به راحتی قابل بررسی است که یکبهیک میباشد.
روش جبری اثبات یکبهیک بودن
برای اثبات یکبهیک بودن یک تابع با ضابطه جبری (مانند توابع چندجملهای، گویا، مثلثاتی و ...) معمولاً مراحل زیر را طی میکنیم:
- فرض میکنیم $f(x_1)=f(x_2)$.
- ضابطه تابع را جایگذاری میکنیم و معادله را ساده میکنیم.
- با استفاده از عملیات جبری مجاز (مانند جمع، تفریق، ضرب در عدد ثابت غیرصفر، تقسیم، ریشهگیری که یکبهیک است) به تساوی $x_1=x_2$ میرسیم.
- اگر در این مسیر به یک چندجملهای درجه $n$ برسیم، باید اثبات کنیم که تنها ریشه ممکن همان $x_1=x_2$ است (مثلاً با استفاده از اتحادها).
مثال: برای تابع $f(x)=\frac{2x}{x-1}$ (با دامنه $x \neq 1$) فرض کنید $\frac{2x_1}{x_1-1}=\frac{2x_2}{x_2-1}$. با ضرب متقاطع و سادهسازی به $2x_1(x_2-1)=2x_2(x_1-1)$ میرسیم که پس از تقسیم بر $2$ و بسط: $x_1x_2 - x_1 = x_1x_2 - x_2$ و سادهسازی به $-x_1 = -x_2$ یا $x_1=x_2$ ختم میشود. پس این تابع یکبهیک است.