نمایش تابع به صورت f:A→B : معرفی تابع با مشخص کردن دامنه، همدامنه و ضابطهٔ نسبتدهی
۱. سه رکن اصلی در نمایش تابع: دامنه، همدامنه و ضابطه
در ریاضیات، وقتی از تابع صحبت میشود، منظور ارتباطی ویژه بین دو مجموعه است. برای معرفی کامل یک تابع، همیشه باید سه جزء را مشخص کنیم: مجموعهٔ اول یا دامنه (A)، مجموعهٔ دوم یا همدامنه (B) و قانون یا ضابطه که به هر عضو دامنه دقیقاً یک عضو از همدامنه را نسبت میدهد. نمایش استاندارد به صورت $ f:A \rightarrow B $ است که در آن $ f $ نام تابع، $ A $ دامنه و $ B $ همدامنه است.
برای درک بهتر، فرض کنید دامنه، اعضای یک کلاس درس باشند (نام دانشآموزان) و همدامنه، اعداد نمرات از $ 0 $ تا $ 20 $. ضابطه میگوید: «به هر دانشآموز، نمرهٔ ریاضی او نسبت داده شود». اگر دو دانشآموز نمرهٔ یکسان داشته باشند اشکالی ندارد، اما اگر یک دانشآموز دو نمره متفاوت داشته باشد، دیگر تابع نخواهد بود.
۲. جدول مقایسهٔ دامنه، همدامنه و برد
| مفهوم | نماد معمول | تعریف کوتاه | مثال ($ f(x)=x^2 $) |
|---|---|---|---|
| دامنه (Domain) | $ A $ یا $ D_f $ | مجموعهٔ ورودیهای مجاز تابع | $ \mathbb{R} $ (همه اعداد حقیقی) |
| همدامنه (Codomain) | $ B $ | مجموعهٔ اعلان شده برای خروجیها (لزوماً همهٔ آنها پوشیده نمیشوند) | $ \mathbb{R} $ |
| برد (Range یا Image) | $ f(A) $ | خروجیهایی که واقعاً به ازای ورودیهای دامنه به دست میآیند | $ [0, +\infty) $ (اعداد نامنفی) |
۳. ضابطهٔ نسبتدهی: قلب تابع
ضابطه یا قانون تابع مشخص میکند که هر عضو دامنه به کدام عضو همدامنه نگاشت میشود. معمولاً این ضابطه به صورت یک عبارت جبری مانند $ f(x)=2x+1 $ یا $ g(t)=t^2-3 $ نوشته میشود. اما ضابطه میتواند غیرجبری نیز باشد؛ مثلاً «تابعی که به هر دانشآموز، شمارهٔ صندلی او را نسبت دهد» یا «به هر خودرو، شماره پلاک آن».
در نمایش رسمی، تابع را به صورت $ f:A \rightarrow B $ همراه با $ f(x)= \text{عبارت} $ معرفی میکنیم. برای نمونه:
$ f: \mathbb{N} \rightarrow \mathbb{Z} $
$ f(n)= n-5 $
در اینجا دامنه اعداد طبیعی1 ($ \mathbb{N} $) و همدامنه اعداد صحیح است. ضابطه میگوید: هر عدد طبیعی را برده، $ 5 $ واحد از آن کم کن.
$ \forall x_1,x_2 \in A,\; x_1=x_2 \Rightarrow f(x_1)=f(x_2) $
۴. کاربرد عملی: مدلسازی ساده با تابع
فرض کنید میخواهیم رابطهٔ بین تعداد ساعات مطالعه ($ h $) و نمرهٔ یک آزمون (از $ 0 $ تا $ 100 $) را مدل کنیم. تابع زیر را در نظر بگیرید:
$ f: \{0,1,2,3,4,5\} \rightarrow [0,100] $
$ f(h)= 10h + 40 $
در اینجا دامنه (ساعات مطالعه ممکن) به صورت گسسته در نظر گرفته شده و همدامنه بازهٔ نمرات است. با این نمایش، همهٔ اجزای تابع مشخص هستند. اگر فقط ضابطه را بدون دامنه بنویسیم، نمیدانیم $ h $ چه مقادیری میتواند بگیرد.
۵. چالشهای مفهومی در نمایش تابع
پرسش ۱: چرا نمیتوان یک تابع را فقط با ضابطهٔ آن معرفی کرد؟
پاسخ: زیرا دامنه و همدامنه بخش جداییناپذیر تعریف تابع هستند. برای نمونه ضابطهٔ $ f(x)=1/x $ روی دامنهٔ اعداد حقیقی به جز صفر معنا دارد، اما اگر دامنه را اعداد طبیعی بزرگتر از صفر در نظر بگیریم، تابع دیگری خواهیم داشت. همچنین همدامنه مشخص میکند خروجیها در چه مجموعهای قرار میگیرند.
پرسش ۲: آیا همدامنه همیشه با برد تابع برابر است؟ اگر نه، مثال بزنید.
پاسخ: خیر. همدامنه مجموعهٔ اعلان شده برای خروجیهاست، اما برد زیرمجموعهٔ همدامنه است که واقعاً به ازای ورودیها پوشیده میشود. مثال: تابع $ f:\mathbb{R} \rightarrow \mathbb{R} $ با ضابطه $ f(x)=x^2 $. همدامنه $ \mathbb{R} $ است اما برد فقط اعداد نامنفی $ [0, \infty) $ میباشد.
پرسش ۳: شرط «هر عضو دامنه دقیقاً به یک عضو همدامنه نسبت داده شود» چه تأثیری در رسم نمودار تابع دارد؟
پاسخ: در نمودار تابع به کمک دستگاه مختصات دکارتی، این شرط باعث میشود که هر خط عمودی (موازی محور عرضها) نمودار تابع را حداکثر در یک نقطه قطع کند. به این «آزمون خط عمودی» میگویند. اگر یک خط عمودی نمودار را در بیش از یک نقطه بزند، آن نمودار متعلق به یک تابع نیست.
۶. جمعبندی
پاورقی
1 اعداد طبیعی (Natural Numbers): مجموعهٔ اعداد صحیح مثبت یا در برخی تعاریف شامل صفر. در این مقاله منظور اعداد $ \{1,2,3,\dots\} $ است.
2 همدامنه (Codomain): مجموعهای که تابع مقادیر خروجی خود را در آن تعریف میکند، بدون الزام به پوشش همهٔ اعضا.