هم‌دامنه تابع: مجموعه‌ای که خروجی‌های تابع از آن انتخاب می‌شوند.

بروزرسانی شده در: 21:27 1405/02/9 مشاهده: 37 دسته بندی: کپسول آموزشی

هم‌دامنه تابع: مجموعه خروجی‌های تابع

آشنایی با تفاوت دامنه، هم‌دامنه و برد، همراه با مثال‌های عددی و جدول مقایسه

در این مقاله با مفهوم هم‌دامنه (codomain) در ریاضیات دبیرستان آشنا می‌شوید. هم‌دامنه مجموعه‌ای است که همه خروجی‌های ممکن یک تابع از آن انتخاب می‌شوند، در حالی که برد تنها مجموعه مقادیری است که تابع واقعاً به آن‌ها می‌رسد. با مثال‌هایی از توابع خطی، درجه دوم و چندجمله‌ای، تفاوت دامنه، هم‌دامنه و برد را به صورت گام‌به‌گام یاد خواهید گرفت.

تعریف هم‌دامنه در مقایسه با دامنه و برد

در ریاضیات، یک تابع¹ از مجموعه دامنه به مجموعه دیگری به نام هم‌دامنه نگاشت می‌شود. دامنه (domain) مجموعه ورودی‌های مجاز تابع است. هم‌دامنه مجموعه‌ای است که تابع می‌تواند خروجی خود را در آن تولید کند، اما لزومی ندارد به تمام اعضای هم‌دامنه برسد. به مجموعه مقادیری که تابع واقعاً به آن‌ها می‌رسد، برد² (range) می‌گوییم. برد همیشه زیرمجموعه‌ای از هم‌دامنه است.

$ f: A \to B $ را در نظر بگیرید. در اینجا $A$ دامنه، $B$ هم‌دامنه و برد مجموعه $\{ f(x) \mid x \in A \}$ است که زیرمجموعه‌ای از $B$ می‌باشد.

برای مثال، تابع $ f(x) = x^2 $ را با دامنه $ \mathbb{R} $ (همه اعداد حقیقی) در نظر بگیرید. اگر هم‌دامنه را $ \mathbb{R} $ در نظر بگیریم، برد برابر با $ [0, \infty) $ است که واقعاً زیرمجموعه‌ای از هم‌دامنه است. اما اگر هم‌دامنه را $ \mathbb{R}^{\ge 0} $ (اعداد نامنفی) انتخاب کنیم، آنگاه هم‌دامنه با برد برابر خواهد شد.

تفاوت هم‌دامنه و برد در قالب جدول مقایسه

مفهوم	تعریف	مثال برای $f(x)=2x+1$ با دامنه $\{1,2,3\}$
دامنه	مجموعه ورودی‌های مجاز	$\{1,2,3\}$
هم‌دامنه	مجموعه‌ای که خروجی‌ها از آن انتخاب می‌شوند (می‌تواند بزرگتر از برد باشد)	$\mathbb{R}$ یا $\mathbb{Z}$ یا هر مجموعه دلخواه
برد	مجموعه مقادیری که تابع واقعاً به آن‌ها می‌رسد	$\{3,5,7\}$

مثال‌های زنده از توابع مختلف دبیرستانی

تابع خطی $ f(x) = 3x - 2 $ با دامنه $ \mathbb{R} $ و هم‌دامنه $ \mathbb{R} $ را در نظر بگیرید. برد نیز $ \mathbb{R} $ خواهد بود چون هر عدد حقیقی به ازای $ x = \frac{y+2}{3} $ قابل دستیابی است. در اینجا هم‌دامنه برابر با برد است.

اما تابع مربعی $ g(x) = x^2 + 1 $ با دامنه $ \mathbb{R} $ و هم‌دامنه $ \mathbb{R} $ را بررسی کنید. برد این تابع $ [1, \infty) $ است، در حالی که هم‌دامنه $ \mathbb{R} $ شامل اعداد کوچکتر از $1$ نیز می‌شود که تابع هرگز به آن‌ها نمی‌رسد. پس برد زیرمجموعه سره‌ای از هم‌دامنه است.

مثال عددی گام‌به‌گام: تابع $ h(x) = \sqrt{x} $ با دامنه $ [0, \infty) $ و هم‌دامنه $ \mathbb{R} $. در اینجا برد برابر با $ [0, \infty) $ است. اگر هم‌دامنه را $ \mathbb{R}^{\ge 0} $ انتخاب کنیم، برد و هم‌دامنه یکسان می‌شوند.

کاربرد عملی هم‌دامنه در تحلیل توابع

در مسائل بهینه‌سازی دبیرستان، تعیین هم‌دامنه کمک می‌کند بدانیم خروجی تابع به چه مجموعه تعلق دارد. مثلاً فرض کنید تابع هزینه $ C(x) = 5x + 1000 $ تعداد محصولات $x$ را به هزینه کل نگاشت می‌کند. اگر دامنه اعداد صحیح نامنفی باشد و هم‌دامنه را اعداد حقیقی مثبت در نظر بگیریم، برد نیز اعداد حقیقی بزرگتر یا مساوی $1000$ خواهد بود. این آگاهی در تخمین بازه هزینه مفید است.

مثال دیگر: در تابع مساحت دایره بر حسب شعاع $ A(r) = \pi r^2 $ با دامنه $ r \ge 0 $، اگر هم‌دامنه را $ \mathbb{R} $ بگیریم، برد اعداد نامنفی است. اما اگر هم‌دامنه را اعداد گویا در نظر بگیریم، آنگاه تابع به دلیل حضور $\pi$ هرگز به اکثر اعضای هم‌دامنه نمی‌رسد و برد زیرمجموعه‌ای ناچیز از هم‌دامنه خواهد بود.

چالش‌های مفهومی

پرسش 1: آیا هم‌دامنه می‌تواند کوچکتر از برد باشد؟

پاسخ: خیر، طبق تعریف برد زیرمجموعه هم‌دامنه است. بنابراین هم‌دامنه هرگز نمی‌تواند کوچکتر از برد باشد. اگر هم‌دامنه کوچکتر از برد در نظر گرفته شود، آنگاه بعضی از خروجی‌های واقعی تابع در هم‌دامنه قرار نمی‌گیرند که با تعریف تابع در تضاد است.

پرسش 2: چرا در کتاب‌های درسی گاهی هم‌دامنه و برد را یکسان در نظر می‌گیرند؟

پاسخ: در بسیاری از توابع ساده دبیرستانی، برد با هم‌دامنه برابر است (مثل توابع خطی غیرثابت با دامنه و هم‌دامنه حقیقی). برای سادگی، بعضی مواقع برد را همان هم‌دامنه فرض می‌کنند، اما از نظر علمی این دو مفهوم مجزا هستند. یک تابع می‌تواند به تمام اعضای هم‌دامنه نرسد که در این صورت برد برابر هم‌دامنه نیست.

پرسش 3: آیا یک تابع می‌تواند هم‌دامنه متفاوتی داشته باشد؟

بله، تعریف تابع شامل مشخص کردن هم‌دامنه است. برای یک قانون نگاشت ثابت، می‌توانیم هم‌دامنه را هر مجموعه‌ای که شامل برد باشد انتخاب کنیم. مثلاً تابع $ f(x)=x^2 $ با دامنه $ \mathbb{R} $ را می‌توان با هم‌دامنه $ \mathbb{R} $ یا $ \mathbb{R}^{\ge 0} $ یا حتی مجموعه اعداد حقیقی بزرگتر از $ -5 $ تعریف کرد، به شرطی که همه خروجی‌ها در آن مجموعه باشند.

جمع‌بندی: هم‌دامنه تابع، مجموعه مقصد برای خروجی‌هاست و برد زیرمجموعه‌ای از آن است. درک تفاوت این دو مفهوم در تحلیل توابع، تعیین تابع پوشا³ و حل مسائل مقدار بهینه کمک می‌کند. برای هر تابع، ابتدا دامنه و هم‌دامنه مشخص می‌شوند، سپس برد از روی ضابطه تابع محاسبه می‌گردد.

پاورقی

¹ تابع (Function): رابطه‌ای است که هر عضو دامنه را دقیقاً به یک عضو هم‌دامنه نسبت می‌دهد.

² برد (Range): مجموعه همه مقادیری که تابع واقعاً در ازای اعضای دامنه به دست می‌آورد.

³ تابع پوشا (Surjective Function): تابعی است که در آن برد برابر با هم‌دامنه باشد؛ یعنی هر عضو هم‌دامنه حداقل یک عضو در دامنه دارد که به آن نگاشت می‌شود.