بررسی خاصیت پوشایی برای توابع
کلیات بررسی خاصیت پوشایی در توابع از به هیچگونه فرقی با توابع از به نداشته و فقط جزئیات آن کمی اختلاف دارد.
عضوی که از مجموعه دوم به صورت دلخواه در نظر میگیریم، چون از انتخاب شده است، باید یک زوج مرتب مثلا به شکل باشد.
این عضو را مساوی با ضابطه تابع که آن هم به صورت زوج مرتب خواهد بود، قرار میدهیم و به یک دستگاه معادلات برخورد میکنیم که باید از این دستگاه را بر حسب و را بر حسب بهدست آورده و هر دو شرط ذکر شده در ابتدای درس را برای هر ضابطه بررسی کنیم.
تمرین
خاصیت پوشا بودن را در توابع زیر بررسی میکنیم:
فرض کنیم باشد:
شرط اول: بهازای هر همواره تعریف شده است و به ازای هر همواره تعریف شده است.
شرط دوم: بهازای و به ازای هست پس پوشا است.
طرفین دستگاه را با هم جمع میکنیم:
چون برای هر همواره تعریف شده و زوج مرتب در قرار دارد، بنابراین تابع پوشا است.
بهازای هر همواره تعریف شده است اما برای هر مقداری برای تعریف نشده است.
مثلا بهازای مقداری برای تعریف نمیشود بنابراین شرط اول برقرار نیست، یعنی تابع پوشا نیست.
واضح است که برای هر همواره تعریف شده است (شرط اول) اما ممکن است در دامنه تعریف تابع یعنی نباشد.
مثلا اگر باشد، یعنی زوج مرتب پس تابع پوشا نیست.
قضایای توابع پوشا
قضیه
اگر و پوششی باشند، آنگاه نیز پوششی است.
اثبات
چون پوششی است، بهازای هر عضوی مانند هست بهطوریکه .
چون پوششی است، عضوی از مانند هست که در نتیجه بهازای هر از عضوی مانند از هست که:
تمرین
اگر باشد، و فرض کنیم و بهصورت زیر تعریف شوند:
نشان دهید پوششی است.
f و g هر دو پوششی میباشند، یعنی:
اگر تابع را تشکیل دهیم، مشاهده میکنیم که تابعی از به روی میباشد.
قضیه
اگر و و اگر پوشا باشد، آنگاه پوشا است.
اثبات
اگر باشد، چون پوشا است، عضوی از مانند هست که .
اگر فرض کنیم باشد، آنگاه و یعنی پوشا است.
نکته
اگر و باشد، و پوشا نباشد، آنگاه نیز پوشا نمیباشد.
در هر دو قضیه است.