مفهوم تابع: قلب نظریهٔ توابع در ریاضیات دبیرستان
۱. تعریف رسمی تابع در برابر رابطه
در ریاضیات، یک رابطه هر مجموعه زوج مرتب است که بین دو مجموعه A و B برقرار شود. اما تابع رابطهای خاص است که شرط زیر را دارد: به هر عضو از مجموعه A (دامنه) دقیقاً یک عضو از مجموعه B (همدامنه) نسبت داده شود. به عبارت دیگر، هیچ عضوی در دامنه نباید دو تصویر متفاوت داشته باشد.
برای نمونه، رابطهٔ $\{(1,2), (1,3), (2,4)\}$ یک تابع نیست، زیرا عضو 1 در دامنه به دو مقدار 2 و 3 نسبت داده شده است. در مقابل رابطهٔ $\{(1,5), (2,5), (3,7)\}$ یک تابع است، زیرا هر ورودی خروجی یکتایی دارد (حتی اگر خروجیها تکراری باشند).
۲. دامنه، برد و همدامنه: سه مجموعهٔ کلیدی
دامنه (Domain): مجموعهٔ تمام ورودیهای مجاز که تابع روی آنها تعریف شده است. همدامنه (Codomain): مجموعهای که خروجیها باید در آن قرار گیرند (الزاماً تمام اعضای آن پوشش داده نمیشوند). برد (Range): مجموعهٔ خروجیهایی که واقعاً توسط تابع از دامنه به دست میآیند. برد زیرمجموعهای از همدامنه است.
| مفهوم | تعریف | مثال برای تابع f(x)=x^2 با دامنهٔ اعداد حقیقی |
|---|---|---|
| دامنه | مجموعهٔ ورودیهای مجاز | $\mathbb{R}$ (همهٔ اعداد حقیقی) |
| همدامنه | مجموعهٔ مقاصد ممکن برای خروجی | $\mathbb{R}$ (اعداد حقیقی) |
| برد | مجموعهٔ خروجیهای واقعی | $[0, +\infty)$ (اعداد حقیقی نامنفی) |
پیدا کردن دامنهٔ توابع شامل ریشهٔ زوج، کسر و لگاریتم از مهارتهای پایه است. برای نمونه در تابع $f(x)=\frac{1}{x-2}$ دامنه تمام اعداد حقیقی به جز 2 است، زیرا مخرج نمیتواند صفر شود.
۳. انواع توابع: یکبهیک، پوشا و معکوس
توابع بر اساس رفتارشان طبقهبندی میشوند:
- تابع یکبهیک (Injectivity)1: هر عضو برد فقط یک عضو از دامنه را تصویر کند. یعنی اگر $f(x_1)=f(x_2)$ آنگاه $x_1=x_2$.
- تابع پوشا (Surjectivity)2: برد برابر با همدامنه باشد. یعنی هر عضو همدامنه حداقل یک پیکان از دامنه دریافت میکند.
- تابع ارجاعی (Bijection)3: تابعی که هم یکبهیک و هم پوشا باشد. چنین توابعی معکوسپذیر هستند.
۴. کاربرد عملی: مدلسازی با توابع خطی و درجه دوم
در دنیای واقعی، بسیاری از پدیدهها با توابع مدل میشوند. فرض کنید یک تاکسی اینترنتی کرایهٔ پایه 5 واحد پولی و به ازای هر کیلومتر 2 واحد اضافه دریافت میکند. تابع کرایه بر حسب مسافت x کیلومتر به صورت خطی است:
مثال دیگر: پرتاب یک توپ به سمت بالا با سرعت اولیهٔ 20 متر بر ثانیه از ارتفاع 1.5 متری. ارتفاع توپ در زمان t ثانیه با تابع درجه دوم زیر داده میشود (شتاب گرانش $9.8 \ m/s^2$):
۵. چالشهای مفهومی در درک توابع
پرسش ۱: آیا هر رابطه یک تابع است؟ اگر خیر، چه شرط اضافی دارد؟
خیر، یک رابطه زمانی تابع است که شرط «یکتایی تصویر» برقرار باشد. یعنی هیچ عضو دامنهای به دو عضو متفاوت در همدامنه نگاشت نشود. رابطهٔ $\{(a,1), (a,2)\}$ تابع نیست اما $\{(a,1), (b,1)\}$ تابع است.
پرسش ۲: تفاوت بین همدامنه و برد را با یک مثال عینی توضیح دهید.
همدامنه «مجموعهٔ همهٔ مقادیری است که تابع میتواند از نظر تئوری تولید کند» (مثلاً اعداد حقیقی)، اما برد «مقادیری است که واقعاً تولید میشوند». برای تابع f(x)=x^2 با دامنهٔ حقیقی، همدامنه $\mathbb{R}$ است در حالی که برد $[0,\infty)$ میباشد (اعداد منفی هرگز ظاهر نمیشوند).
پرسش ۳: آیا یک تابع میتواند چندین ورودی متفاوت را به یک خروجی بفرستد؟ آیا این با تعریف تابع منافات دارد؟
خیر، منافاتی ندارد. تعریف تابع میگوید «هر ورودی خروجی یگانه دارد» اما اجازه میدهد چند ورودی خروجی یکسانی داشته باشند. چنین توابعی «غیر یکبهیک» نامیده میشوند، اما همچنان تابع هستند. مثال: f(x)=x^2 مقادیر 2 و -2 را هر دو به 4 میبرد.
۶. جمعبندی
پاورقی
1 تابع یکبهیک (Injective Function): تابعی که در آن عناصر متمایز دامنه به عناصر متمایز همدامنه نگاشت شوند.
2 تابع پوشا (Surjective Function): تابعی که در آن برد برابر با همدامنه است؛ یعنی هر عضو همدامنه حداقل یک پیکان از دامنه میگیرد.
3 تابع ارجاعی (Bijective Function): تابعی که هم یکبهیک و هم پوشا باشد؛ چنین توابعی معکوسپذیرند.