نمایش تابع به صورت زوجهای مرتب: مجموعهای از جفتهای (x,y)
مفهوم زوج مرتب و جایگاه آن در تعریف تابع
در ریاضیات، یک زوج مرتب به شکل $(x, y)$ نوشته میشود که در آن $x$ را اولین مؤلفه و $y$ را دومین مؤلفه مینامیم. وقتی میگوییم یک تابع1 را با زوجهای مرتب نمایش میدهیم، منظور ما مجموعهای از زوجهاست که هیچ دو زوج متفاوتی اولین مؤلفهٔ یکسان نداشته باشند. به عبارت دقیقتر، اگر $(a,b)$ و $(a,c)$ هر دو در مجموعه باشند، آنگاه باید $b = c$. این شرط، همان شرط یکتایی خروجی برای هر ورودی است.
برای مثال، فرض کنید مجموعهٔ زوجهای مرتب زیر را داریم: $F = \{(1,2), (2,4), (3,6), (4,8)\}$. در اینجا هر عدد طبیعی (اولین مؤلفه) به دو برابر خودش (دومین مؤلفه) نگاشت شده است. این مجموعه یک تابع است زیرا هیچ تکرار ورودی نداریم. توجه کنید که ترتیب نوشتن زوجها مهم نیست؛ آنچه یک تابع را تعیین میکند، خود مجموعهٔ زوجهاست.
دامنه، برد و قانون تخصیص در نمایش زوجهای مرتب
وقتی یک تابع به صورت مجموعهٔ زوجهای مرتب $f = \{(x_1,y_1), (x_2,y_2), \dots , (x_n,y_n)\}$ داده میشود، آنگاه:
- دامنهٔ تابع2 ($D_f$) مجموعهٔ همهٔ اولین مؤلفهها (تمام $x$ها) است.
- برد تابع3 ($R_f$) مجموعهٔ همهٔ دومین مؤلفهها (تمام $y$ها) است.
- قانون تخصیص (رابطهٔ بین $x$ و $y$) را میتوان با مشاهدهٔ الگوی زوجها حدس زد. گاهی قاعده به صورت یک فرمول جبری مانند $y = f(x)$ است و گاهی فقط با لیست کردن زوجها تعریف میشود.
به عنوان مثال، تابع $T = \{(-2,4), (-1,1), (0,0), (1,1), (2,4)\}$ را در نظر بگیرید. دامنه برابر $\{-2,-1,0,1,2\}$ و برد برابر $\{0,1,4\}$ است. قانون تخصیص به صورت $y = x^2$ قابل بیان است.
| ویژگی | شرح در نمایش زوجهای مرتب | مثال برای f={(1,3),(2,5),(3,7)} |
|---|---|---|
| دامنه | مجموعهٔ همهٔ اولین مؤلفهها | {1,2,3} |
| برد | مجموعهٔ همهٔ دومین مؤلفهها | {3,5,7} |
| شرط تابع بودن | اولین مؤلفهها متمایز هستند | برقرار |
| تعداد اعضا | اختیاری، میتواند نامتناهی باشد | 3 |
تشخیص توابع از روابط غیرتابع با استفاده از نمودار زوجها
یکی از سادهترین روشها برای درک شرط تابع بودن، رسم نقطههای متناظر با هر زوج مرتب روی صفحهٔ مختصات دکارتی است. سپس آزمون خط قائم (vertical line test) را انجام میدهیم: اگر بتوان خطی عمود بر محور $x$ها رسم کرد که نمودار را در بیش از یک نقطه قطع کند، آن رابطه تابع نیست. در قالب زوجهای مرتب، این آزمون معادل این است که چک کنیم آیا مقدار $x$ تکراری با $y$های متفاوت وجود دارد یا نه.
مثال نقض: مجموعهٔ $R = \{(1,2), (1,3), (2,5)\}$ را در نظر بگیرید. در اینجا اولین مؤلفهٔ $1$ دو بار تکرار شده با دومین مؤلفههای $2$ و $3$. بنابراین $R$ یک تابع نیست، بلکه فقط یک رابطه4 است. برای رفع این مشکل، یا باید یکی از زوجها را حذف کنیم یا مقدار $y$ را یکسان کنیم.
کاربرد عملی: مدلسازی دادههای جدولی با زوجهای مرتب
فرض کنید در یک نظرسنجی، دمای هوا (بر حسب درجهٔ سانتیگراد) در ساعات مختلف یک روز ثبت شده است:
| ساعت (x) | دما (y) بر حسب $^\circ C$ |
|---|---|
| 6 | 12 |
| 9 | 18 |
| 12 | 24 |
| 15 | 22 |
| 18 | 19 |
اگر این دادهها را به صورت مجموعهٔ زوجهای مرتب بنویسیم، داریم: $T = \{(6,12), (9,18), (12,24), (15,22), (18,19)\}$. این مجموعه به وضوح یک تابع است زیرا هر ساعت فقط یک دما دارد. با استفاده از این نمایش میتوان به راحتی دامنه (ساعتها) و برد (دماها) را استخراج کرد. همچنین اگر بخواهیم قانونی مثل $y = f(x)$ پیدا کنیم، در این مثال قانون دقیقی وجود ندارد (دادههای تجربی) اما نمایش زوجهای مرتب خود یک تعریف کامل از تابع ارائه میدهد.
چالشهای مفهومی
پرسش ۱: آیا مجموعهٔ زوجهای مرتب $A = \{(x,y) \mid y = \sqrt{x} \}$ همیشه یک تابع است؟
پاسخ: خیر، اگر دامنه شامل اعداد مثبت و منفی باشد و $y$ را ریشهٔ دوم اصلی در نظر بگیریم، برای هر $x \ge 0$ دقیقاً یک $y$ داریم، پس تابع است. اما اگر دامنه شامل $x$ مثبت و بخواهیم هر دو ریشهٔ مثبت و منفی را به عنوان خروجی در نظر بگیریم (یعنی $y = \pm \sqrt{x}$)، آنگاه به ازای یک $x$ دو مقدار $y$ خواهیم داشت که شرط تابع بودن نقض میشود.
پرسش ۲: در نمایش زوجهای مرتب، آیا ترتیب قرار گرفتن زوجها در مجموعه مهم است؟
پاسخ: خیر، مجموعهها فاقد ترتیب هستند. بنابراین $\{(1,2), (2,3)\}$ و $\{(2,3), (1,2)\}$ یک تابع یکسان را نشان میدهند. آنچه اهمیت دارد، عضویت زوجها در مجموعه است، نه ترتیب نگارش.
پرسش ۳: آیا یک تابع میتواند شامل زوجهایی با دومین مؤلفهٔ تکراری باشد؟
پاسخ: بله، تکرار دومین مؤلفه (خروجی یکسان برای ورودیهای مختلف) کاملاً مجاز است. مانند تابع $f = \{(1,5), (2,5), (3,5)\}$ که یک تابع ثابت است. شرط تابع بودن فقط به اولین مؤلفهها مربوط میشود، نه دومین مؤلفهها.
پاورقی
1 تابع (Function): در ریاضیات، رابطهای بین دو مجموعه است که به هر عضو مجموعهٔ اول (دامنه) دقیقاً یک عضو از مجموعهٔ دوم (برد) نسبت میدهد.
2 دامنهٔ تابع (Domain): مجموعهٔ تمام مقادیر ورودی مجاز برای تابع که روی آن تابع تعریف شده است.
3 برد تابع (Range): مجموعهٔ تمام مقادیر خروجی حاصل از اعمال تابع روی دامنهٔ آن.
4 رابطه (Relation): هر مجموعه از زوجهای مرتب، بدون الزام به شرط یکتایی خروجی برای هر ورودی.