تابع به صورت مجموعه زوج‌مرتب: نمایش تابع به شکل مجموعه‌ای از زوج‌های مرتب (x,y) که به هر x دقیقاً یک y نسبت داده شده است.

بروزرسانی شده در: 12:42 1405/02/9 مشاهده: 144 دسته بندی: کپسول آموزشی

تابع به صورت مجموعه زوج‌مرتب: ساختار، قاعده و نمایش دقیق

بررسی مفهوم تابع با استفاده از زوج‌های مرتب (x,y) و نسبت دادن دقیقاً یک مقدار به هر ورودی

در این مقاله یاد می‌گیرید که چگونه یک تابع را به صورت مجموعه‌ای از زوج‌مرتب نمایش دهید. مفاهیم «دستگاه مختصات»، «نسبت یک‌به‌یک» و «قاعدهٔ زوج‌مرتب» را با مثال‌های ساده و جدول‌های مقایسه مرور می‌کنیم. همچنین با چالش‌های تعریف تابع از طریق زوج‌ها آشنا می‌شوید.

تعریف تابع با زوج‌مرتب

در ریاضیات، یک تابع رابطه‌ای بین دو مجموعه است که به هر عضو مجموعهٔ اول (ورودی یا x) دقیقاً یک عضو از مجموعهٔ دوم (خروجی یا y) نسبت می‌دهد. بهترین روش برای نمایش چنین نسبتی، استفاده از مجموعهٔ زوج‌های مرتب$(x, y)$ است. شرط اصلی تابع بودن: هیچ دو زوج مرتبی نباید دارای x یکسان ولی y متفاوت باشند.

مثال ساده: مجموعهٔ $\{(1,2), (2,4), (3,6)\}$ یک تابع است چون هر x فقط یک بار تکرار شده. اما $\{(1,2), (1,3)\}$ تابع نیست، زیرا ورودی 1 دو خروجی متفاوت دارد.

نمایش زوج‌مرتب در دستگاه مختصات و جدول مقادیر

هر زوج مرتب $(x, y)$ را می‌توان به صورت نقطه‌ای در صفحهٔ مختصات دکارتی نمایش داد. محور افقی نشان‌دهندهٔ ورودی‌ها و محور عمودی نشان‌دهندهٔ خروجی‌هاست. برای توابع گسسته، مجموعهٔ نقاط به تنهایی تصویر تابع را می‌سازد.

نوع نمایش	مثال تابع y = 2x	ویژگی اصلی
مجموعه زوج‌مرتب	$\{(0,0), (1,2), (2,4)\}$	مناسب برای دامنهٔ گسسته
نمودار نقطه‌ای	نقاط روی خط راست $y=2x$	دید کلی از تغییرات
جدول مقادیر	x:0,1,2 و y:0,2,4	خواندن سریع زوج‌ها

فرض کنید تابع $f = \{(0,5), (1,7), (2,9), (3,11)\}$ را داریم. هر مقدار x فقط یک بار ظاهر شده، پس این یک تابع است. قاعدهٔ آن را می‌توان $f(x)=2x+5$ نوشت. یعنی هر عدد صحیح x به $2x+5$ تبدیل می‌شود.

کاربرد عملی: ذخیره‌سازی اطلاعات در پایگاه داده

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

شناسه (ورودی x)	نمره (خروجی y)
401	19.5
402	17
403	20

این جدول معادل مجموعهٔ زوج‌مرتب $\{(401,19.5), (402,17), (403,20)\}$ است و شرط تابع بودن را دارد (هیچ شناسه‌ای دو نمره ندارد). اگر یک شناسه تکرار شود و نمرهٔ متفاوت داشته باشد، دیگر تابع نیست و پایگاه داده دچار نقص یکپارچگی می‌شود.

چالش‌های مفهومی در تشخیص تابع از روی زوج‌ها

۱) آیا مجموعهٔ $\{(a,1), (b,2), (a,3)\}$ یک تابع است؟ چرا؟
پاسخ: خیر، تابع نیست. چون ورودی a دو خروجی متفاوت 1 و 3 دارد. در تابع هر x باید دقیقاً یک y داشته باشد.

۲) چه تفاوتی بین «رابطه» و «تابع» در زبان زوج‌مرتب وجود دارد؟
پاسخ: هر رابطه یک مجموعهٔ زوج‌مرتب است، اما تابع رابطه‌ای است که در آن هیچ دو زوجی دامنهٔ یکسان اما تصویر متفاوت نداشته باشند. به عبارت دیگر، رابطه می‌تواند به یک x چند y نسبت دهد، ولی تابع نه.

۳) آیا مجموعهٔ $\{(1,2), (2,2), (3,2)\}$ تابع محسوب می‌شود؟
پاسخ: بله، این یک تابع ثابت است. هر چند همهٔ خروجی‌ها یکسان هستند، اما هیچ ورودی تکراری با خروجی متفاوت وجود ندارد. شرط تابع فقط یکتایی خروجی به ازای هر ورودی است، نه متفاوت بودن خروجی‌ها.

قاعدهٔ تشکیل زوج‌مرتب از یک تابع جبری

اگر تابع به صورت ضابطهٔ جبری مانند $f(x) = x^2$ داده شده باشد، برای نوشتن مجموعهٔ زوج‌مرتب باید دامنه را مشخص کنیم. برای دامنهٔ $\{-2, -1, 0, 1, 2\}$ خواهیم داشت:

$\{(-2,4), (-1,1), (0,0), (1,1), (2,4)\}$
توجه کنید که خروجی 4 برای دو ورودی -2 و 2 تکرار شده اما این مشکل ایجاد نمی‌کند، چون ورودی‌ها متفاوت هستند.

در مقابل، اگر ضابطه به ازای یک x دو مقدار بدهد (مانند معادلهٔ $y^2 = x$) آن‌گاه نمی‌توانیم مجموعهٔ زوج‌مرتبی بسازیم که شرط تابع را برآورده کند مگر اینکه دامنه را محدود کنیم.

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