تابع همانی: آیینهٔ ریاضیات
تعریف رسمی و نمادگذاری تابع همانی
فرض کنید $A$ یک مجموعهٔ ناتهی از اعداد حقیقی باشد. تابع $I: A \to A$ را تابع همانی روی مجموعه $A$ مینامیم، هرگاه به هر عضو $x \in A$ مقدار خودش یعنی $x$ را نسبت دهد. به زبان نمادین:
در این تعریف، $\forall$ نماد «به ازای همه» است. دامنه و برد تابع همانی هر دو برابر مجموعه $A$ هستند. به عبارت دیگر، این تابع تغییری در ورودی ایجاد نمیکند و آن را دقیقاً به همان شکل خروجی میدهد. اگر $A = \mathbb{R}$ (مجموعه اعداد حقیقی) باشد، آنگاه تابع $I(x)=x$ را تابع همانی روی اعداد حقیقی مینامیم.
مثال عددی ساده: فرض کنید $A = \{1, 2, 3, 4\}$. تابع همانی روی این مجموعه به صورت زوجهای مرتب زیر تعریف میشود: $\{(1,1), (2,2), (3,3), (4,4)\}$. همان طور که میبینید، هر ورودی بدون تغییر به خروجی تبدیل میشود.
نمودار و بازنمایی هندسی تابع همانی
نمودار تابع همانی $I(x)=x$ در دستگاه مختصات دکارتی، خطی مستقیم است که از مبدأ مختصات $(0,0)$ میگذرد و با محور $x$ زاویهٔ $45^\circ$ میسازد. این خط را نیمساز ناحیه اول و سوم نیز مینامند. هر نقطه روی این خط دارای مختصاتی برابر است، یعنی $(a, a)$.
خاصیت هندسی مهم: نمودار تابع همانی نسبت به خط $y=x$ متقارن است. در واقع این خط، محور تقارن برای بازتاب نقاط نسبت به خودش محسوب میشود. اگر تابعی مانند $f$ را در نظر بگیرید، نمودار تابع معکوس2 آن، قرینهٔ نمودار $f$ نسبت به خط $y=x$ است. بنابراین تابع همانی، نقش محوری در مبحث توابع معکوس دارد.
| ورودی (x) | خروجی I(x)=x | نوع عدد |
|---|---|---|
| -3 | -3 | صحیح منفی |
| 0 | 0 | صفر |
| 1/2 | 0/5 | کسری |
| √2 | √2 | گنگ |
ویژگی جبری: عنصر خنثی در ترکیب توابع
یکی از مهمترین کاربردهای تابع همانی، نقش آن به عنوان عنصر خنثی در عمل ترکیب توابع3 است. به این معنی که اگر تابع دلخواه $f: A \to B$ را داشته باشیم و تابع همانی را روی مجموعه مبدأ یا مقصد با آن ترکیب کنیم، تغییری در تابع ایجاد نمیشود. به زبان ریاضی:
در اینجا $I_A$ تابع همانی روی مجموعه $A$ و $I_B$ تابع همانی روی مجموعه $B$ است. این خاصیت، تابع همانی را به عدد $1$ در ضرب اعداد یا عدد $0$ در جمع اعداد شبیه میکند.
مثال گامبهگام ترکیب: فرض کنید $f(x)=2x+1$ و $I(x)=x$. ابتدا $f \circ I$ را محاسبه میکنیم:
گام $1$: $(f \circ I)(x) = f(I(x))$
گام $2$: با جایگذاری $I(x)=x$ داریم $f(I(x)) = f(x)$
گام $3$: طبق تعریف $f(x)=2x+1$، پس حاصل همان $2x+1$ میشود. مشاهده میکنید که تابع همانی، $f$ را بدون تغییر نگه داشت.
کاربرد عملی در حل معادله و توابع معکوس
فرض کنید میخواهیم معادلهٔ $f(x) = x$ را حل کنیم. نقاطی که در آن یک تابع دلخواه $f$ با تابع همانی برابر میشود، نقاط ثابت تابع نامیده میشوند. از نظر هندسی، این نقاط محل برخورد نمودار $f$ با خط $y=x$ هستند. برای مثال، نقاط ثابت تابع $f(x)=x^2$ را پیدا کنید. کافی است معادلهٔ $x^2 = x$ را حل کنیم. با سادهسازی: $x^2 - x = 0$ ⇒ $x(x-1)=0$. بنابراین نقاط ثابت $x=0$ و $x=1$ هستند. این دو نقطه، محل برخورد سهمی $y=x^2$ و خط $y=x$ میباشند.
همچنین در مبحث توابع معکوس، اگر تابع $f$ معکوسپذیر باشد، آنگاه داریم $f^{-1} \circ f = I$ و $f \circ f^{-1} = I$. به عبارت دیگر، ترکیب یک تابع با معکوسش، تابع همانی را میسازد. این اصل در حل معادلات مثلثاتی، لگاریتمی و نمایی کاربرد گسترده دارد. برای نمونه، $\ln(e^x)=x$ و $e^{\ln x}=x$ که در واقع تابع همانی روی دامنهٔ مجاز را نتیجه میدهند.
چالشهای مفهومی
بله، تابع همانی $I(x)=x$ یک تابع خطی از شکل $f(x)=ax+b$ با $a=1$ و $b=0$ است. شیب آن برابر $1$ و عرض از مبدأ آن صفر است. بنابراین از خانواده توابع خطی محسوب میشود.
تابع همانی $I(x)=x$ برای هر ورودی متفاوت، خروجی متفاوت میدهد (یک به یک است)، در حالی که تابع ثابت مانند $f(x)=c$ همهٔ ورودیها را به یک مقدار ثابت $c$ نگاشت میکند. تابع ثابت به جز در مجموعهٔ تک عضوی، هرگز نمیتواند همانی باشد.
از نظر فرمول $I(x)=x$ تفاوتی ندارند، اما دامنهٔ آنها متفاوت است. در حالت اول دامنه $\mathbb{Q}$ (اعداد گویا) و در حالت دوم دامنه $\mathbb{R}$ (اعداد حقیقی) است. تابع همانی روی هریک از این مجموعهها تعریف مجزایی دارد، هرچند رفتار آن در نقاط مشترک یکسان است.
جدول مقایسه با سایر توابع پایه
| نوع تابع | فرمول | ویژگی کلیدی |
|---|---|---|
| همانی | I(x)=x | عنصر خنثی ترکیب |
| ثابت | f(x)=c | همه خروجیها یکسان |
| خطی غیر همانی | f(x)=ax+b , a\neq1 | تغییر مقیاس و انتقال |
| قدرمطلق | |x| | همیشه نامنفی |
پاورقی
1 تابع همانی (Identity Function): تابعی که هر عضو دامنه را به خودش در برد نسبت میدهد و با نماد $I$ یا $id$ نشان داده میشود.2 تابع معکوس (Inverse Function): اگر تابع $f$ یک به یک و پوشا باشد، تابعی مانند $f^{-1}$ که در آن $f^{-1}(y)=x$ هرگاه $f(x)=y$.
3 ترکیب توابع (Composition of Functions): عملگری که دو تابع $f$ و $g$ را به صورت $(f \circ g)(x)=f(g(x))$ ترکیب میکند.