دامنهٔ تابع حاصلضرب: اشتراک دامنهٔ دو تابع
دامنهٔ تابع چیست و چرا در حاصلضرب اهمیت دارد؟
در ریاضیات، هر تابع مانند $f(x)$ فقط برای مقادیری از $x$ تعریف شده است که عبارت آن معنیدار باشد. به مجموعهٔ این مقادیر، دامنهٔ تابع میگویند. برای مثال، تابع $f(x)=\sqrt{x}$ فقط برای $x \ge 0$ تعریف میشود و تابع $g(x)=\frac{1}{x-2}$ تنها برای $x \ne 2$ معنی دارد.
اکنون اگر بخواهیم حاصلضرب این دو تابع را به صورت $h(x)=f(x) \times g(x)$ بنویسیم، $h(x)$ فقط برای مقادیری از $x$ تعریف میشود که هم $f(x)$ و هم $g(x)$ موجود باشند. به عبارت دیگر، $x$ باید هم در دامنهٔ $f$ و هم در دامنهٔ $g$ عضو باشد. چنین مجموعهای در ریاضی اشتراک دامنهها نامیده میشود و با نماد $D_f \cap D_g$ نشان داده میشود.
برای درک بهتر، یک مثال عینی را در نظر بگیرید: فرض کنید $f(x)=x+1$ (دامنه همه اعداد حقیقی) و $g(x)=\sqrt{x-3}$ (دامنه $x \ge 3$). آنگاه حاصلضرب یعنی $h(x)=(x+1)\sqrt{x-3}$ فقط برای $x \ge 3$ معنی دارد. اشتراک دامنه در اینجا دقیقاً همان بازهٔ $[3,+\infty)$ است.
روش گامبهگام یافتن اشتراک دامنه در توابع حاصلضرب
برای پیدا کردن دامنهٔ تابع $h(x)=f(x) \cdot g(x)$، مراحل زیر را به ترتیب انجام دهید:
گام اول: دامنهٔ تابع $f$ را به دست آورید ($D_f$). گام دوم: دامنهٔ تابع $g$ را به دست آورید ($D_g$). گام سوم: اشتراک این دو مجموعه را محاسبه کنید: $D_h = D_f \cap D_g$. گام چهارم: نتیجه را به صورت بازه یا مجموعه بنویسید و بررسی کنید که آیا سادهسازی بعدی نیاز است یا خیر.
مقایسه انواع توابع و دامنهٔ حاصلضرب آنها
| نوع توابع | دامنهٔ $f$ | دامنهٔ $g$ | دامنهٔ حاصلضرب $f \cdot g$ |
|---|---|---|---|
| چندجملهای و چندجملهای | $\mathbb{R}$ | $\mathbb{R}$ | $\mathbb{R}$ |
| گویا (کسری) و خطی | $\mathbb{R} \setminus \{1\}$ | $\mathbb{R}$ | $\mathbb{R} \setminus \{1\}$ |
| رادیکالی (جفت) و گویا | $[0,\infty)$ | $\mathbb{R} \setminus \{-2\}$ | $[0,\infty) \setminus \{-2\} = [0,\infty)$ |
| لگاریتمی و کسری | $(0,\infty)$ | $\mathbb{R} \setminus \{0\}$ | $(0,\infty)$ |
مثال عینی: محاسبه دامنه در یک مسئله کاربردی
فرض کنید در فیزیک، دما بر حسب زمان از تابع $T(t)=\sqrt{t-1}$ و ارتفاع از تابع $H(t)=\frac{2}{t-4}$ پیروی میکند. حاصلضرب آنها یعنی $E(t)=T(t) \cdot H(t)$ انرژی را مدل میکند. برای یافتن دامنهٔ انرژی داریم:
$T(t)=\sqrt{t-1} \rightarrow D_T = \{ t \in \mathbb{R} \mid t-1 \ge 0 \} = [1,\infty)$
$H(t)=\frac{2}{t-4} \rightarrow D_H = \{ t \in \mathbb{R} \mid t \ne 4 \} = \mathbb{R} \setminus \{4\}$
$D_E = D_T \cap D_H = [1,\infty) \cap (\mathbb{R} \setminus \{4\}) = [1,4) \cup (4,\infty)$
بنابراین تابع انرژی برای زمانهای $t \ge 1$ تعریف شده است، به جز نقطهٔ $t=4$ که در آن مخرج کسر صفر میشود. این مثال نشان میدهد که اشتراک دامنه چطور به صورت عملی به کار میرود.
چالشهای مفهومی در اشتراک دامنه
۱. آیا دامنهٔ حاصلضرب همیشه برابر اشتراک دامنههاست، حتی پس از سادهسازی جبری؟
پاسخ: بله. حتی اگر عبارت $f(x) \cdot g(x)$ پس از سادهسازی در نقطهای به ظاهر تعریف شود، آن نقطه اگر در اشتراک دامنه نباشد، جزو دامنه حاصلضرب محسوب نمیشود. برای مثال $f(x)=x$ و $g(x)=\frac{1}{x}$ حاصلضربشان $1$ میشود اما $x=0$ در دامنه نیست زیرا $g(0)$ تعریف نشده است.
۲. اگر دامنهٔ یکی از توابع شامل عددی نباشد، آیا آن عدد میتواند در دامنهٔ حاصلضرب قرار گیرد؟
پاسخ: خیر. شرط وجود $f(x) \cdot g(x)$ آن است که هر دو تابع در آن نقطه تعریف شده باشند. بنابراین اگر نقطهای در دامنهٔ $f$ نباشد (یا در $g$ نباشد)، به اشتراک راه نمییابد.
۳. تفاوت دامنهٔ حاصلضرب با حاصل جمع یا تفاضل توابع در چیست؟
پاسخ: برای حاصل جمع، تفاضل و حاصلضرب، دامنهٔ تابع نهایی همگی برابر $D_f \cap D_g$ است. اما در تقسیم ($\frac{f}{g}$) علاوه بر اشتراک دامنه، باید نقاطی را که $g(x)=0$ است نیز حذف کرد.
اشتباهات رایج دانشآموزان در تعیین دامنهٔ حاصلضرب
یکی از خطاهای رایج این است که دانشآموز پس از ضرب دو عبارت، فقط دامنهٔ عبارت جدید را بررسی میکند و اشتراک اولیه را نادیده میگیرد. برای مثال، اگر $f(x)=\frac{x^2-1}{x-1}$ و $g(x)=x+1$ باشد، حاصلضرب به صورت $h(x)= (x+1)(x+1)$ ساده میشود. اما دامنهٔ $f$ تمام اعداد حقیقی به جز $1$ است. بنابراین $x=1$ در دامنهٔ حاصلضرب قرار نمیگیرد، هرچند عبارت سادهشده در آن نقطه مقدار $4$ را میدهد. این مطلب در آزمونها بسیار پرتکرار است.
اشتباه دیگر، فراموش کردن محدودیتهای همزمان است. برای تابع $h(x)=\sqrt{2-x} \times \frac{1}{\sqrt{x-1}}$، باید همزمان $2-x \ge 0$ و $x-1 \gt 0$ (چون رادیکال در مخرج است) برقرار باشد. اشتراک این دو شرط، $1 \lt x \le 2$ میشود.
پاورقی
1 دامنه (Domain): مجموعهٔ تمام ورودیهای مجاز برای یک تابع که تابع برای آنها مقدار حقیقی و معینی تولید کند.
2 اشتراک (Intersection): مجموعهای شامل عناصری که هم در مجموعهٔ اول و هم در مجموعهٔ دوم حضور دارند.
3 تابع گویا (Rational Function): تابعی به شکل کسری از دو چندجملهای که مخرج آن صفر نمیشود.
4 تابع رادیکالی (Radical Function): تابعی که متغیر آن زیر رادیکال ظاهر میشود، معمولاً با ریشهٔ زوج.