تابع پوشا

تعریف

تابع پوشا تابعی است که تصویر آن برابر بردش می‌باشد. یا به‌طور معادل تابع  با دامنهٔ  و برد  پوشا است اگر به ازای هر  وجود داشته باشد حداقل یک  که . توابع پوشا برخی اوقات با یک پیکان راست پیما دو سر نمایش داده می‌شوند، مانند f: X ↠ Y.
، آنگاه  پوشا است اگر
.

مثال‌ها

به ازای هر مجموعهٔ  تابع همانی بر روی  پوشا است.
تابع  با ضابطهٔ f(n) = n mod 2 (تابعی که اعداد زوج را به صفر و اعداد فرد را به یک تصویر می‌کند) تابعی پوشا است.
تابع  با ضابطهٔ  پوشا (و حتی دو سویی) است، چون به ازای هر عدد حقیقی  ای وجود دارد به گونه‌ای که .
تابع  با ضابطهٔ f(x) = x3 - 3x پوشا است زیرا تصویر معکوس هر عدد حقیقی  مجموعه جواب معادلهٔ درجه سه x3-3x-y=۰ است و هر چند جمله‌ای درجهٔ سه با ضرایب حقیقی حداقل یک ریشهٔ حقیقی دارد. اگر چه این تابع یک به یک (و در نتیجه دوسویی) نیست زیرا برای مثال تصویر معکوس  مجموعهٔ  است. (درحقیقت، تصویر معکوس این تابع به ازای هر  بیشتر از یک عضو دارد)
تابع  با ضابطهٔ g(x) = x² پوشا نیست زیرا هیچ عدد حقیقی مانند  وجود ندارد که x² = -۱. اگرچه تابع  با ضابطهٔ g(x) = x² (با برد تحدید شده) پوشا است زیرا به ازای هر  از برد  (اعداد حقیقی نامنفی) حداقل یک  در دامنه  (اعداد حقیقی) وجود دارد، به گونه‌ای که x² = y.
تابع لگاریتم طبیعی ln: (0,+∞) → R یک نگاشت پوشا و حتی دوسویی از مجموعهٔ اعداد حقیقی مثبت به مجموعهٔ تمام اعداد حقیقی است. وارون این تابع، تابع نمایی، پوشا نیست زیرا بردش مجموعهٔ اعداد حقیقی مثبت و دامنه اش معمولاً مجموعهٔ تمام اعداد حقیقی در نظر گرفته می‌شود.
The matrix exponential is not surjective when seen as a map from the space of all n×n matrices to itself. It is, however, usually defined as a map from the space of all n×n matrices to the general linear group of degree n, i.e. the group of all n×n invertible matrices. Under this definition the matrix exponential is surjective for complex matrices, although still not surjective for real matrices.
افکنش از یک ضرب دکارتی A * B به یکی از عواملش پوشا است.
در یک بازی ویدئویی سه بعدی بردارها به وسیلهٔ یک تابع پوشا بر روی یک نمایشگر صفحه تخت دو بعدی تصویر می‌شوند.

خواص

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

توابع پوشا و right invertible

تابع  لright inverse تابع  گفته می‌شود اگر برای هر ، . ن(g توسط f خنثی می‌شود). به عبارت دیگر g یک right inverse لf است اگر ترکیب f و g ل(fog) تابعی همانی با دامنهٔ  باشد. نیازی نیست که g لcomplete inverse لf باشد زیرا ترکیب f و g به صورت gof ممکن است تابع همانی با دامنهٔ  نباشد. به عبارت دیگر f، لg را خنثی یا معکوس می‌کند اما لزوماً نمی‌تواند توسط g معکوس شود.
هر تابعی با یک right inverse لزوماً پوشا است. گزارهٔ هر تابع right inverse یک right inverse دارد با اصل موضوع انتخاب معادل است.
برای مثال، در شکل اول، تابع  ای وجود دارد به گونه‌ای که . همچنین تابعی مانند  وجود دارد به گونه‌ای که .

کاردینالیتی دامنهٔ یک تابع پوشا

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

composition and decomposition

ترکیب توابع پوشا همیشه پوشا است:اگر f و g هر دو پوشا باشند و برد g برابر دامنه f باشد، آنگاه تابع fog پوشا است. برعکس، اگر تابع fog پوشا باشد، آنگاه f پوشا است (اما g لزوماً پوشا نیست). این خواص از توابع پوشا در ردهٔ مجموعه‌ها به هر epimorphism در هر ردهٔ دیگری قابل تعمیم‌اند.
هر تابعی را می‌توان به یک تابع پوشا و یک تابع یک به یک تجزیه کرد: به ازای هر تابع  وجود دارد تابعی پوشا مانند  و تابعی یک به یک مانند  به گونه‌ای که . به منظور مشاهده این،  را (z)اh⁻¹هایی تعریف می‌کنیم که . لThese sets are disjoint and partition X. در نتیجه f هر x را به عضوی از Y که آن را شامل می‌شود، می‌برد و g هر عضو Y را به نقطه‌ای از Z می‌برد که h نقاطش را می‌برد؛ بنابراین f پوشا است به دلیل اینکه یک projection map است و g طبق تعریف یک به یک است.