دامنه تابع مجموع: اشتراک دامنههای دو تابع
دامنه تابع چیست و چرا اشتراک دامنه اهمیت دارد؟
هر تابع $f(x)$ دارای مجموعهای از ورودیهای مجاز به نام دامنه1 است. به زبان ساده، دامنه شامل تمام اعداد حقیقیای میشود که بتوان آنها را در فرمول تابع قرار داد و خروجیای حقیقی دریافت کرد. برای مثال، در تابع $f(x)=\sqrt{x}$، دامنه فقط اعداد نامنفی ($x \ge 0$) است، زیرا ریشه دوم اعداد منفی در اعداد حقیقی تعریف نشده است.
حال فرض کنید میخواهیم دو تابع $f$ و $g$ را با هم جمع کنیم تا تابع جدید $h(x)=f(x)+g(x)$ به دست آید. برای اینکه مقدار $h(x)$ وجود داشته باشد، باید هم $f(x)$ و هم $g(x)$ به طور همزمان تعریف شده باشند. در نتیجه، دامنه تابع مجموع برابر است با اشتراک2 دامنه $f$ و دامنه $g$ که آن را با نماد $D_f \cap D_g$ نشان میدهند. همین قانون برای تفاضل ($f-g$) و ضرب ($f \cdot g$) نیز برقرار است.
مقایسه دامنه در عملهای مختلف (جمع، تفاضل، ضرب، تقسیم)
در عمل تقسیم، یک شرط اضافی وجود دارد: مخرج کسر نباید صفر شود. بنابراین برای تابع $h(x)=\frac{f(x)}{g(x)}$ داریم:
جدول زیر به وضوح تفاوت دامنه در عملهای مختلف را نشان میدهد:
| عمل | تابع جدید | دامنه |
|---|---|---|
| جمع | $f+g$ | $D_f \cap D_g$ |
| تفاضل | $f-g$ | $D_f \cap D_g$ |
| ضرب | $f \cdot g$ | $D_f \cap D_g$ |
| تقسیم | $\frac{f}{g}$ | $(D_f \cap D_g) \setminus \{x \mid g(x)=0\}$ |
مراحل گامبهگام یافتن دامنه تابع مجموع
برای یافتن دامنه $h(x)=f(x)+g(x)$، کافی است سه گام ساده را دنبال کنید:
- گام اول: دامنه تابع $f$ یعنی $D_f$ را پیدا کنید.
- گام دوم: دامنه تابع $g$ یعنی $D_g$ را پیدا کنید.
- گام سوم: اشتراک دو مجموعه $D_f$ و $D_g$ را به دست آورید. (برای تقسیم، نقاط صفر مخرج را هم حذف کنید)
برای درک بهتر، مثال زیر را با هم طی میکنیم. فرض کنید $f(x)=\sqrt{x-1}$ و $g(x)=\frac{1}{x-4}$. ابتدا دامنه هر کدام را جداگانه حساب میکنیم:
- $D_f$: شرط زیر رادیکال: $x-1 \ge 0 \Rightarrow x \ge 1$ → $D_f=[1,+\infty)$
- $D_g$: مخرج نباید صفر شود: $x-4 \ne 0 \Rightarrow x \ne 4$ → $D_g=\mathbb{R} \setminus \{4\}$
- $D_h = D_f \cap D_g = [1,+\infty) \cap (\mathbb{R} \setminus \{4\}) = [1,4) \cup (4,+\infty)$
بنابراین تابع $h(x)=\sqrt{x-1}+\frac{1}{x-4}$ برای همه اعداد حقیقی از $1$ به بالا به جز عدد $4$ تعریف شده است.
کاربرد عملی: محاسبه دامنه در مسائل فیزیک و اقتصاد
در فیزیک، گاهی تابع مکان بر حسب زمان از جمع دو تابع مختلف به دست میآید. برای مثال، اگر حرکت یک ذره از جمع دو حرکت ساده هارمونیک تشکیل شده باشد، دامنه تابع مکان، اشتراک دامنه زمانی هر دو حرکت است. همچنین در اقتصاد، تابع هزینه کل ممکن است حاصل جمع تابع هزینه ثابت و تابع هزینه متغیر باشد. در این موارد، دامنه نهایی فقط شامل مقادیری از تولید است که در هر دو تابع هزینه معنی داشته باشند. فرض کنید تابع هزینه ثابت $C_1(q)=100$ (برای همه $q \ge 0$ تعریف شده) و تابع هزینه متغیر $C_2(q)=\frac{50}{q-1}$ (برای $q \ne 1$). دامنه هزینه کل $C(q)=C_1(q)+C_2(q)$ برابر است با $[0,+\infty) \setminus \{1\}$.
چالشهای مفهومی
۱) آیا همیشه دامنه تابع مجموع برابر با اشتراک دامنه دو تابع است؟ اگر تابعی به شکل $h(x)=f(x)+g(x)$ در نقطهای تعریف شده باشد ولی $f(x)$ یا $g(x)$ تعریف نشده باشد، چه اتفاقی میافتد؟
پاسخ: خیر، شرط لازم برای وجود $h(x)$ این است که هر دو جمله $f(x)$ و $g(x)$ به طور همزمان تعریف شده باشند. بنابراین اگر یکی از آن دو در نقطهای تعریف نشده باشد، مجموع نیز در آن نقطه تعریف نخواهد شد. پس دامنه مجموع دقیقاً همان اشتراک دامنههاست و نه بیشتر.
۲) چرا در تابع تقسیم، شرط $g(x) \ne 0$ را اضافه میکنیم؟ آیا ممکن است نقطهای در اشتراک دامنهها باشد اما مخرج صفر شود؟
پاسخ: بله، ممکن است نقطهای مانند $x=a$ هم در دامنه $f$ و هم در دامنه $g$ باشد، اما $g(a)=0$. در این صورت $\frac{f(a)}{0}$ تعریف نشده است. بنابراین باید چنین نقاطی را از اشتراک حذف کنیم. به همین دلیل دامنه تقسیم، زیرمجموعه سختگیرانهتری از اشتراک دامنههاست.
۳) اگر دامنه دو تابع به صورت بازهای باشند، چگونه اشتراک آنها را به سادهترین شکل نمایش دهیم؟ مثلاً $D_f=(2,5]$ و $D_g=[4,7)$.
پاسخ: اشتراک دو بازه، بازهای است که از بزرگترین کران پایین و کوچکترین کران بالا تشکیل میشود. در این مثال، کران پایین اشتراک $\max(2,4)=4$ و کران بالای اشتراک $\min(5,7)=5$ است. توجه به بسته یا باز بودن کرانها: از آنجا که $4$ در $D_g$ هست (چون $D_g=[4,7)$) و $4$ در $D_f$ نیست (چون $D_f=(2,5]$)، عدد $4$ در اشتراک قرار نمیگیرد. همچنین $5$ در $D_f$ هست و در $D_g$ نیز (چون $5 \lt 7$)، پس $5$ در اشتراک است. بنابراین $D_f \cap D_g = (4,5]$.
پاورقی
1 دامنه (Domain): مجموعه تمام مقادیر ورودی مجاز برای یک تابع که خروجی حقیقی و یکتایی تولید میکنند.
2 اشتراک (Intersection): مجموعهای شامل عناصری که هم در مجموعه اول و هم در مجموعه دوم وجود دارند. با نماد $\cap$ نشان داده میشود.