همدامنه تابع: مجموعه خروجیهای ممکن
1. تعریف همدامنه و تفاوت آن با دامنه و برد
همدامنه (Codomain) مجموعهای است که تمام خروجیهای ممکن یک تابع از آن انتخاب میشوند، حتی اگر برخی از اعضای آن هرگز به عنوان خروجی واقعی ظاهر نشوند. به زبان ساده، وقتی تابعی را تعریف میکنیم، اول مشخص میکنیم «خروجیها باید از کدام مجموعه بیایند». این مجموعه همان همدامنه است.
برای درک بهتر، سه مفهوم کلیدی را کنار هم مقایسه میکنیم:
- دامنه (Domain) : مجموعه ورودیهای مجاز تابع.
- همدامنه (Codomain) : مجموعهای که خروجیها از آن انتخاب میشوند (ممکن است بزرگتر از خروجیهای واقعی باشد).
- برد (Range) : مجموعه خروجیهایی که تابع واقعاً به آنها میرسد (زیرمجموعهای از همدامنه).
| مفهوم | تعریف به زبان ساده | مثال در تابع $f(x)=x^2$ با دامنه $\mathbb{R}$ |
|---|---|---|
| دامنه | مقادیری که میتوان به تابع داد | $\mathbb{R}$ (همه اعداد حقیقی) |
| همدامنه | مجموعهای که خروجیها باید عضوی از آن باشند | $\mathbb{R}$ (اعداد حقیقی) |
| برد | خروجیهایی که واقعاً به دست میآیند | $[0, +\infty)$ (اعداد نامنفی) |
2. چرا همدامنه مهم است؟ کاربرد در تعریف توابع
هنگام نوشتن یک تابع، ابتدا دامنه و همدامنه را مشخص میکنیم. این کار کمک میکند بدانیم «تابع از چه مجموعهای به چه مجموعهای نگاشت میکند». در ریاضیات دبیرستان، اغلب همدامنه را برابر مجموعه اعداد حقیقی ($\mathbb{R}$) در نظر میگیریم مگر آنکه خروجی محدودیت خاصی داشته باشد.
مثال عملی: فرض کنید تابع $g(x) = \sqrt{x-1}$ را با دامنه $[1, +\infty)$ تعریف میکنیم. اگر همدامنه را $\mathbb{R}$ در نظر بگیریم، برد برابر $[0, +\infty)$ خواهد بود. اما اگر همدامنه را $[0, 10]$ انتخاب کنیم، آنگاه برای ورودیهای بزرگتر از $101$، تابع دیگر تعریفنشده است، زیرا خروجی از همدامنه خارج میشود. پس همدامنه محدودیت ارادی ماست.
3. گامهای تعیین همدامنه برای توابع مختلف
گام ۱: دامنه تابع را مشخص کنید (مقادیر مجاز ورودی).
گام ۲: قانون تابع را بنویسید.
گام ۳: همدامنه را بر اساس ماهیت خروجی انتخاب کنید (معمولاً $\mathbb{R}$ برای توابع حقیقی).
گام ۴: برد (خروجیهای واقعی) را محاسبه کرده و ببینید آیا با همدامنه برابر است یا خیر.
4. کاربرد عملی: پیشبینی دما و مساحت زمین
فرض کنید تابع $T(t) = -0.2t^2 + 4t + 10$ دمای یک شهر را بر حسب ساعت $t$ (از $0$ تا $24$) مدل میکند. دامنه $[0,24]$ است. همدامنه را میتوانیم $\mathbb{R}$ در نظر بگیریم، اما با توجه به ماهیت دما (مثلاً بین $-30$ تا $+50$ درجه)، بهتر است همدامنه را بازه $[-30, 50]$ انتخاب کنیم. در این صورت تابع ما «نگاشتی از بازه زمانی به بازه دمایی معقول» خواهد بود. برد واقعی با محاسبه رأس سهمی به دست میآید: $t=10$ ساعت، دمای بیشینه $30$ درجه. پس برد زیرمجموعهای از همدامنه است.
5. چالشهای مفهومی در یادگیری همدامنه
❓ چالش 1: آیا همدامنه همیشه با برد برابر است؟
خیر. همدامنه مجموعهای است که از پیش تعیین میشود و ممکن است بزرگتر از برد باشد. برای تابع $f(x)=x^2$ با دامنه $\mathbb{R}$ و همدامنه $\mathbb{R}$، برد $[0,\infty)$ است که با همدامنه تفاوت دارد. به تابعی که برد آن برابر همدامنه باشد، «پوشا» یا «سورکتیو» میگویند.
❓ چالش 2: چرا نمیتوان همدامنه را از روی قانون تابع حدس زد؟
زیرا همدامنه یک قرارداد پیشینی است. حتی اگر تابع $y = \sqrt{x}$ را داشته باشیم، میتوانیم همدامنه را $\mathbb{R}$ (اعداد حقیقی) یا $[0,\infty)$ یا حتی اعداد گویا انتخاب کنیم، به شرطی که خروجی تابع در آن مجموعه بماند. بنابراین همدامنه بخشی از تعریف تابع است و از روی خود تابع به تنهایی قابل استنتاج نیست.
❓ چالش 3: در توابع چندضابطهای، همدامنه چگونه تعیین میشود؟
همدامنه برای کل تابع یک مجموعه واحد است و باید طوری انتخاب شود که خروجی همهٔ ضابطهها در آن قرار گیرد. مثلاً تابع با دو ضابطه $f(x)=x+1$ برای $x \lt 0$ و $f(x)=x^2$ برای $x \ge 0$، اگر دامنه $\mathbb{R}$ باشد، میتوان همدامنه را $\mathbb{R}$ گرفت. برد، اتحاد خروجیهای هر دو ضابطه است.
6. جدول نمونه توابع و همدامنه آنها
| تابع (قانون) | دامنه پیشفرض | همدامنه معمول | برد واقعی |
|---|---|---|---|
| $f(x)=3$ (تابع ثابت) | $\mathbb{R}$ | $\mathbb{R}$ | {3} |
| $g(x)=\frac{1}{x}$ | $\mathbb{R} \setminus \{0\}$ | $\mathbb{R}$ | $\mathbb{R} \setminus \{0\}$ |
| $h(x)=\sqrt{x-2}$ | $[2,\infty)$ | $[0,\infty)$ | $[0,\infty)$ (پوشا) |
پاورقی
1 دامنه (Domain): مجموعه تمام مقادیر ورودی مجاز برای یک تابع که تابع برای آنها تعریف شده است.
2 همدامنه (Codomain): مجموعهای که تابع همه خروجیهای خود را از آن انتخاب میکند، حتی اگر به برخی از آنها نرسد.
3 برد (Range): مجموعه مقادیری که تابع واقعاً به عنوان خروجی تولید میکند. برد زیرمجموعه همدامنه است.
4 تابع پوشا (Surjective Function): تابعی که برد آن با همدامنه برابر باشد؛ یعنی هر عضو همدامنه حداقل یک بار به عنوان خروجی ظاهر میشود.
5 اعداد حقیقی ($\mathbb{R}$): مجموعه همه اعداد گویا و گنگ که روی خط اعداد قرار میگیرند.