تابع بهصورت مجموعه زوجمرتب: نمایش ساختاری و دقیق مفهوم تابع
تعریف تابع با زوجهای مرتب و اجزای آن
در ریاضیات، یک تابع رابطهای بین دو مجموعه است که به هر عضو از مجموعه اول (ورودی یا x) دقیقاً یک عضو از مجموعه دوم (خروجی یا y) را نسبت میدهد. سادهترین راه برای نمایش تابع، نوشتن آن به صورت مجموعه زوجهای مرتب است. هر زوج مرتب به شکل (x,y) نشان میدهد که ورودی x به خروجی y تبدیل شده است.
برای مثال، فرض کنید تابع $f = \{(1,2), (2,4), (3,6), (4,8)\}$ را داریم. این مجموعه نشان میدهد که 1 به 2، 2 به 4 و الی آخر نسبت داده شده است. در اینجا هیچ ورودیای تکرار نشده و هر x فقط یک بار آمده است.
مفهوم دامنه مجموعه همه مؤلفههای اول (همه xها) و برد مجموعه همه مؤلفههای دوم (همه yها) در زوجهای مرتب است. برای تابع بالا، دامنه برابر $\{1,2,3,4\}$ و برد برابر $\{2,4,6,8\}$ میباشد.
تشخیص تابع از غیرتابع با استفاده از زوجهای مرتب
برای تشخیص اینکه یک مجموعه زوجمرتب آیا تابع است یا نه، کافی است به مؤلفه اول هر زوج نگاه کنیم. اگر هیچ مؤلفه اول تکراری با مؤلفه دوم متفاوت وجود نداشته باشد، مجموعه یک تابع است. در غیر این صورت، مجموعه یک تابع نیست و فقط یک رابطه نامیده میشود.
مثال: مجموعه $R = \{(1,5), (1,7), (2,9)\}$ را در نظر بگیرید. در اینجا ورودی 1 دو خروجی متفاوت 5 و 7 دارد. بنابراین این مجموعه یک تابع نیست.
| مجموعه زوجهای مرتب | آیا تابع است؟ | دلیل |
|---|---|---|
| {(0,0), (1,1), (2,4)} | بله | همه مؤلفههای اول یکتا هستند. |
| {(3,5), (3,8), (4,6)} | خیر | ورودی 3 دو خروجی متفاوت دارد. |
| {(a,1), (b,1), (c,2)} | بله | دو ورودی متفاوت میتوانند خروجی یکسان داشته باشند. |
کاربرد عملی: مدلسازی مسائل روزمره با زوجهای مرتب
فرض کنید قیمت هر عدد خودکار 1500 تومان باشد. تابع قیمت کل را بر اساس تعداد خودکار میتوان به صورت مجموعه زوجهای مرتب زیر نمایش داد:
$P = \{(1,1500), (2,3000), (3,4500), (4,6000)\}$ .
در این تابع، هر تعداد مشخص (ورودی) دقیقاً به یک قیمت کل (خروجی) نسبت داده شده است. اگر کسی 2 خودکار بخرد، مبلغ 3000 تومان پرداخت میکند و این رابطه یکتاست. دامنه این تابع تعداد خودکارهای ممکن و برد آن قیمتهای متناظر است.
در علوم کامپیوتر، پایگاه دادهها و جداول نیز اغلب بر اساس مفهوم تابع و زوجهای مرتب طراحی میشوند. برای نمونه، جدول نمرات دانشآموزان که هر کد دانشآموزی را به یک نمره اختصاص میدهد، در اصل یک تابع است.
چالشهای مفهومی
پاسخ: بله. هر چند زوج تکراری وجود دارد، اما مؤلفه اول 0 فقط به یک خروجی (0) نسبت داده شده است. در مجموعهنویسی، تکرار اعضا تأثیری ندارد. بنابراین این مجموعه با $\{(0,0)\}$ برابر است و تابع میباشد.
پاسخ: برای توابع با دامنه نامتناهی (مانند اعداد حقیقی) نمیتوان همه زوجها را فهرست کرد. در این موارد از قانون یا فرمول استفاده میشود. مثلاً تابع $f(x)=2x$ را میتوان به صورت مجموعه $\{(x,2x) \mid x \in \mathbb{R}\}$ نشان داد.
پاسخ: بله، اشکالی ندارد. مثلاً تابع $\{(1,5), (2,5), (3,7)\}$ یک تابع معتبر است زیرا ورودیهای 1 و 2 هر دو خروجی 5 را دارند. شرط تابع در مورد یکتایی خروجی برای هر ورودی است، نه یکتایی ورودی برای هر خروجی.
رابطه بین نمودار تابع و مجموعه زوجهای مرتب
نمودار یک تابع در دستگاه مختصات دکارتی در واقع نمایش هندسی همان مجموعه زوجهای مرتب است. هر نقطه روی نمودار معادل یک زوج مرتب (x,y) است. برای تشخیص تابع بودن یک نمودار از آزمون خط قائم3 استفاده میشود: اگر هر خط عمودی نمودار را حداکثر در یک نقطه قطع کند، آن نمودار متعلق به یک تابع است. این آزمون معادل همان شرط «هر x فقط یک y دارد» میباشد.
به عنوان مثال، نمودار دایره به معادله $x^2 + y^2 = 1$ را در نظر بگیرید. یک خط عمودی مانند $x=0$ نمودار را در دو نقطه $(0,1)$ و $(0,-1)$ قطع میکند، بنابراین دایره یک تابع نیست، بلکه فقط یک رابطه است.
پاورقی
1 دامنه (Domain): مجموعه تمام مقادیر ورودی یا مؤلفههای اول در زوجهای مرتب یک تابع.
2 برد (Range): مجموعه تمام مقادیر خروجی یا مؤلفههای دوم در زوجهای مرتب یک تابع.
3 آزمون خط قائم (Vertical Line Test): روشی گرافیکی برای تشخیص تابع بودن یک نمودار: اگر هر خط عمودی نمودار را حداکثر در یک نقطه قطع کند، آن نمودار یک تابع را نشان میدهد.
