برابری دو تابع: شرط دامنه و قانون تخصیص
۱. تعریف دقیق تساوی دو تابع و نقش دامنه
در ریاضیات، تابع f از مجموعه A به مجموعه B را با قانونی میشناسیم که هر عضو A را دقیقاً به یک عضو B نسبت میدهد. برای این که دو تابع f و g برابر باشند، سه شرط اساسی وجود دارد:
- دامنه یکسان: مجموعه ورودیهای مجاز برای هر دو تابع کاملاً برابر است.
- قانون تخصیص یکسان: به ازای هر x در دامنه، مقدار خروجی f(x) با g(x) یکی باشد.
- برد (تصویر) لزوماً یکسان است: اگر دامنه و قانون تخصیص برابر باشند، برد نیز خودبهخود یکسان میشود؛ بنابراین شرط مجزایی نیست.
نکته کلیدی دو عبارت جبری ممکن است از نظر ظاهری متفاوت باشند اما همان تابع را تعریف کنند (مانند $f(x)=x+1$ و $g(x)=\frac{x^2-1}{x-1}$)، اما اگر دامنههای آنها متفاوت باشد، توابع برابر نیستند.
۲. مقایسه در قالب جدول: شرط تساوی در برابر تساوی جبری
| معیار مقایسه | برابری دو تابع | تساوی عبارت جبری (تبدیل پذیر) |
|---|---|---|
| دامنه | باید دقیقاً یکسان باشد | ممکن است پیش از سادهسازی متفاوت باشد |
| قانون تخصیص | برای هر عضو دامنه یکسان است | با سادهسازی جبری به هم تبدیل میشوند |
| مثال نقض | $f(x)=x$ در $\mathbb{R}$ و $g(x)=\frac{x^2}{x}$ در $\mathbb{R}\setminus\{0\}$ | همیشه نشانگر برابری تابع نیست |
۳. روش قدم به قدم برای تشخیص برابری دو تابع
برای این که مطمئن شوید دو تابع $f$ و $g$ برابر هستند یا نه، این چهار گام را به ترتیب دنبال کنید:
- دامنهٔ طبیعی هر تابع را بیابید: مجموعه همه اعداد حقیقی که عبارت تابع برای آنها تعریف شده است (مخرج صفر نشود، زیر رادیکال فرد یا زوج رعایت شود).
- دامنهها را مقایسه کنید: اگر با هم برابر نبودند، توابع نابرابرند. اگر برابر بودند، به گام بعد بروید.
- عبارت جبری را ساده کنید: با استفاده از عملیات مجاز جبری (فاکتورگیری، ساده کردن کسر، اتحادها) هر دو عبارت را به سادهترین شکل ممکن بنویسید.
- تساوی در کل دامنه را بررسی کنید: اگر پس از سادهسازی، به ازای هر $x$ در دامنهٔ مشترک، دو عبارت برابر شدند، آنگاه توابع برابر هستند.
۴. کاربرد عملی: تشخیص توابع برابر در مسائل مقدار تابع و ترکیب توابع
در مسائل دبیرستان، گاهی دو تابع با شکلهای متفاوت ظاهر میشوند و باید تصمیم بگیریم که آیا میتوان آنها را به جای یکدیگر استفاده کرد. برای نمونه، در حل معادلات تابعی یا تعیین دامنهٔ توابع مرکب1، تساوی توابع نقش کلیدی دارد.
فرض کنید $h(x)=|x|$ با دامنهٔ $\mathbb{R}$ و $k(x)=\sqrt{x^2}$ با دامنهٔ $\mathbb{R}$. دامنهٔ هر دو تمام اعداد حقیقی است. به ازای هر $x$ داریم $\sqrt{x^2}=|x|$. بنابراین این دو تابع برابر هستند و میتوان در محاسبات از هر یک استفاده کرد.
۵. چالشهای مفهومی (پرسش و پاسخ)
❓ آیا دو تابع $f(x)=1$ و $g(x)=\frac{x}{x}$ برابرند؟
خیر. دامنهٔ f همه اعداد حقیقی است، اما دامنهٔ g تمام اعداد حقیقی به جز صفر است. از آنجا که $x=0$ در دامنهٔ f هست ولی در دامنهٔ g نیست، دو تابع نابرابرند.
❓ اگر دو تابع دامنههای متفاوت داشته باشند اما در اشتراک دامنه مقدارشان برابر باشد، آیا میتوان گفت برابرند؟
خیر، شرط «برای هر x از دامنه» باید برای همهٔ اعضای دامنه برقرار باشد. اگر دامنهها متفاوت باشند، تابع بزرگتری وجود دارد که عضوهای اضافی دارد؛ بنابراین تساوی برقرار نیست.
❓ آیا تغییر در نحوهٔ نوشتن عبارت جبری (مانند $(x+1)^2$ در مقابل $x^2+2x+1$) باعث نابرابری توابع میشود؟
خیر، اگر دامنه یکسان باشد و تساوی جبری برای همهٔ اعضای دامنه برقرار باشد، توابع برابرند. این دو عبارت در همهٔ اعداد حقیقی با هم برابرند، پس توابع برابرند.
۶. جمعبندی و نتیجهگیری نهایی
پاورقی
1 تابع مرکب (Composite Function): تابعی که از ترکیب دو تابع، به صورت $(f \circ g)(x)=f(g(x))$ حاصل میشود.
2 دامنهٔ طبیعی (Natural Domain): بزرگترین مجموعه از اعداد حقیقی که عبارت تابع برای آنها معنیدار باشد.
3 قانون تخصیص (Mapping Rule): قاعده یا فرمولی که به هر عضو دامنه یک عضو منحصربهفرد از برد نسبت میدهد.