توابع یک به یک در مقابل توابع درونگرا
اگرچه هر دو اصطلاح نحوه نگاشت عناصر بین دو مجموعه را توصیف میکنند، اما به جنبههای مختلف معادله میپردازند. توابع یک به یک (تزریقی) بر منحصر به فرد بودن ورودیها تمرکز میکنند و تضمین میکنند که هیچ دو مسیری به یک مقصد منتهی نمیشوند، در حالی که توابع درونگرا (پوششی) تضمین میکنند که به هر مقصد ممکنی واقعاً رسیده شده است.
برجستهها
- یک به یک، تمایز را تضمین میکند؛ بر هم، کامل بودن را.
- تابعی که هم یک به یک و هم بر روی یک باشد، دو به دو نامیده میشود.
- آزمون خط افقی، توابع یک به یک را در یک نگاه مشخص میکند.
- توابع Onto نیاز دارند که برد و دامنه یکسان باشند.
یک به یک (تزریقی) چیست؟
نگاشتی که در آن هر ورودی منحصر به فرد، خروجی متمایز و منحصر به فردی تولید میکند.
- رسماً در نظریه مجموعهها تابع تزریقی نامیده میشود.
- وقتی روی یک صفحه مختصات رسم شود، از آزمون خط افقی سربلند بیرون میآید.
- هیچ دو عنصر متفاوتی در دامنه، تصویر یکسانی در همدامنه ندارند.
- تعداد عناصر در دامنه نمیتواند از تعداد عناصر در همدامنه بیشتر باشد.
- برای ایجاد توابع معکوس ضروری است زیرا نگاشت را میتوان بدون ابهام معکوس کرد.
به سمت (ذهنی) چیست؟
نگاشتی که در آن هر عنصر در مجموعه هدف حداقل توسط یک ورودی پوشش داده میشود.
- رسماً به عنوان تابع پوشا شناخته میشود.
- برد تابع دقیقاً برابر با دامنه آن است.
- ورودیهای چندگانه میتوانند به یک خروجی واحد اشاره کنند، به شرطی که چیزی از قلم نیفتد.
- اندازه دامنه باید بزرگتر یا مساوی اندازه هم دامنه باشد.
- تضمین میکند که هر مقدار در مجموعه خروجی حداقل یک «پیشتصویر» دارد.
جدول مقایسه
| ویژگی | یک به یک (تزریقی) | به سمت (ذهنی) |
|---|---|---|
| نام رسمی | تزریقی | ذهنی |
| الزامات اصلی | خروجیهای منحصر به فرد برای ورودیهای منحصر به فرد | پوشش کل مجموعه هدف |
| آزمون خط افقی | باید عبور کند (حداکثر یک بار تقاطع داشته باشد) | باید حداقل یک بار تقاطع داشته باشد |
| تمرکز بر روابط | انحصار | شمولگرایی |
| محدودیت اندازه را تنظیم کنید | دامنه ≤ کدامین | دامنه ≥ کدامین |
| خروجیهای مشترک؟ | اکیداً ممنوع | مجاز و رایج |
مقایسه دقیق
مفهوم انحصار
یک تابع یک به یک مانند یک رستوران لوکس است که در آن هر میز دقیقاً برای یک مهمانی رزرو شده است؛ شما هرگز دو گروه مختلف را نخواهید دید که یک صندلی را به اشتراک گذاشته باشند. از نظر ریاضی، اگر $f(a) = f(b)$ باشد، آنگاه $a$ باید برابر با $b$ باشد. این انحصار همان چیزی است که به این توابع اجازه میدهد تا «لغو» یا معکوس شوند.
مفهوم پوشش
یک تابع on بیشتر به این موضوع میپردازد که در مجموعه هدف، هیچ نکتهای را از قلم نیندازد. اتوبوسی را تصور کنید که هر صندلی آن باید حداقل توسط یک نفر اشغال شده باشد. تا زمانی که حتی یک صندلی خالی در اتوبوس باقی نمانده باشد، فرقی نمیکند که دو نفر مجبور باشند روی یک نیمکت بنشینند (چند نفر به یک نفر).
تجسم با نمودارهای نقشه برداری
در یک نمودار نگاشت، یک به یک با فلشهای تکی که به نقاط تکی اشاره میکنند مشخص میشود - هیچ دو فلشی هرگز به هم نمیرسند. برای یک تابع روی، هر نقطه در دایره دوم باید حداقل یک فلش داشته باشد که به آن اشاره میکند. یک تابع میتواند هر دو باشد، که ریاضیدانان آن را دو به دو مینامند.
رسم نمودار تفاوتها
در یک نمودار استاندارد، شما با بالا و پایین کشیدن یک خط افقی، وضعیت یک به یک را آزمایش میکنید؛ اگر بیش از یک بار به منحنی برخورد کند، تابع یک به یک نیست. آزمایش «روی» مستلزم بررسی محدوده عمودی نمودار است تا مطمئن شوید که کل محدوده مورد نظر را بدون شکاف پوشش میدهد.
مزایا و معایب
یک به یک
مزایا
- +توابع معکوس را مجاز میداند
- +بدون برخورد داده
- +تمایز را حفظ میکند
- +معکوس کردن آسانتر
مصرف شده
- −ممکن است خروجیها بلااستفاده بمانند
- −به کدامین بزرگتری نیاز دارد
- −قوانین ورودی سختگیرانه
- −رسیدن به آن سختتر است
آنتو
مزایا
- +کل مجموعه هدف را پوشش میدهد
- +بدون فضای خروجی هدر رفته
- +جا دادن آسانتر مجموعههای کوچک
- +از تمام منابع استفاده میکند
مصرف شده
- −از دست دادن منحصر به فرد بودن
- −همیشه نمیتوان معکوس کرد
- −تصادفات رایج هستند
- −ردیابی دشوارتر
تصورات نادرست رایج
همه توابع یا یک به یک هستند یا به هم متصل.
بسیاری از توابع هیچکدام نیستند. برای مثال، $f(x) = x^2$ (از همه اعداد حقیقی به همه اعداد حقیقی) یک به یک نیست زیرا $2$ و $-2$ هر دو منجر به $4$ میشوند، و بر (on) نیست زیرا هرگز اعداد منفی تولید نمیکند.
یک به یک به معنای همان تابع است.
یک تابع فقط نیاز دارد که هر ورودی یک خروجی داشته باشد. یک به یک یک لایه اضافی از «سختگیری» است که مانع از اشتراک دو ورودی با آن خروجی میشود.
اونتو فقط به فرمول بستگی دارد.
تابع Onto به شدت به نحوه تعریف مجموعه هدف بستگی دارد. تابع $f(x) = x^2$ اگر هدف را به صورت «تمام اعداد غیر منفی» تعریف کنید، On است، اما اگر هدف «تمام اعداد حقیقی» باشد، با شکست مواجه میشود.
اگر تابعی فعال باشد، باید برگشتپذیر باشد.
برگشتپذیری نیازمند وضعیت یک به یک است. اگر تابعی روی (on) باشد اما یک به یک نباشد، ممکن است بدانید کدام خروجی را دارید، اما نخواهید دانست کدام یک از ورودیهای چندگانه آن را ایجاد کرده است.
سوالات متداول
یک مثال ساده از تابع یک به یک چیست؟
یک مثال ساده از تابع on چیست؟
تست خط افقی چگونه کار میکند؟
چرا این مفاهیم در علوم کامپیوتر مهم هستند؟
چه اتفاقی میافتد وقتی یک تابع هم یک به یک و هم متقابل باشد؟
آیا یک تابع میتواند روی یک نقطه باشد اما یک به یک نباشد؟
تفاوت بین دامنه و کدامین چیست؟
آیا $f(x) = \sin(x)$ یک به یک است؟
حکم
زمانی که نیاز دارید مطمئن شوید که هر نتیجه را میتوان به یک نقطه شروع خاص و منحصر به فرد ردیابی کرد، از نگاشت یک به یک استفاده کنید. زمانی که هدف شما اطمینان از این است که هر مقدار خروجی ممکن در یک سیستم مورد استفاده قرار گرفته یا قابل دستیابی است، نگاشت درونگرا را انتخاب کنید.
مقایسههای مرتبط
احتمال در مقابل آمار
احتمال و آمار دو روی یک سکه ریاضی هستند که با عدم قطعیت از دو جهت مخالف برخورد میکنند. در حالی که احتمال، احتمال نتایج آینده را بر اساس مدلهای شناخته شده پیشبینی میکند، آمار دادههای گذشته را برای ساخت یا تأیید آن مدلها تجزیه و تحلیل میکند و به طور مؤثر از مشاهدات به عقب کار میکند تا حقیقت اساسی را پیدا کند.
احتمال در مقابل شانس
اگرچه اغلب در مکالمات روزمره به جای یکدیگر استفاده میشوند، احتمال و شانس دو روش مختلف برای بیان احتمال یک رویداد هستند. احتمال تعداد نتایج مطلوب را با تعداد کل احتمالات مقایسه میکند، در حالی که شانس تعداد نتایج مطلوب را مستقیماً با تعداد نتایج نامطلوب مقایسه میکند.
اعداد اول و مرکب
این مقایسه تعاریف، ویژگیها، مثالها و تفاوتهای بین اعداد اول و مرکب، دو دسته اساسی از اعداد طبیعی، را توضیح میدهد و نحوه شناسایی آنها، نحوه رفتارشان در تجزیه به فاکتورها و اهمیت تشخیص آنها در نظریه اعداد پایه را روشن میکند.
اعداد حقیقی در مقابل اعداد مختلط
در حالی که اعداد حقیقی شامل تمام مقادیری هستند که ما معمولاً برای اندازهگیری دنیای فیزیکی استفاده میکنیم - از اعداد صحیح کامل گرفته تا اعداد اعشاری نامتناهی - اعداد مختلط با معرفی واحد موهومی $i$ این افق را گسترش میدهند. این افزودن به ریاضیدانان اجازه میدهد تا معادلاتی را که هیچ راهحل حقیقی ندارند حل کنند و یک سیستم اعداد دوبعدی ایجاد کنند که برای فیزیک و مهندسی مدرن ضروری است.
اعداد زوج در مقابل اعداد فرد
این مقایسه تفاوتهای بین اعداد زوج و فرد را روشن میکند، نحوه تعریف هر نوع، نحوه رفتار آنها در حساب اولیه و ویژگیهای مشترکی را نشان میدهد که به طبقهبندی اعداد صحیح بر اساس بخشپذیری بر ۲ و الگوهای موجود در شمارش و محاسبات کمک میکند.