دید کلی:
تابع f:x→y را در نظر می گیریم. منظور از تابع f، تصویر قلمرو آن است.
یعنی مجموعه
f(x)={f(x)│
معمولا تصویر تابع f:x→y را با نماد Im(f) نشان می دهند: بنابراین
داریم:
Im(f)=f(x)
به عنوان مثال، اگر تابع f، تصویر جانور x به وسیله نور آفتاب بر روی
دیوار y باشد، آنگاه تصویر تابع f یعنی Im(f) برابر سایه جانور بر روی
دیوار خواهد بود.
در حالت کلی، در مورد تابع دلخواه f(x), f:x→y معمولا با y براتبر
نیست. مثلا درمثال تصویر جانور x به وسیله نور آفتاب بر روی دیوار y، سایه
جانور یعنی f(x) معمولا نباید تمام دیوار را بپوشاند. البته امکان دارد که
برای تابعی داشته باشیم.
در این حالت f را تابعی از مجموعه x به روی مجموعه y یا به طور خلاصه f
را پوشا می نامیم.
تعریف تابع پوشا
تابع f:x→y را پوشا می نامیم اگر تنها f(x)=y
تعریف کلی برای تابع پوشا یا تابع در روی مجموعه ها:
گیریم f تابعی است که ناحیه تعریف آن x و ناحیه مقصد آن y باشد، یعنی
تصویر x به توی y باشد:
در اینصورت مقادیر این تابع که آن ما با f(x) نشان می دهیم، یک زیر
مجموعه ای است از مجموعه y ، یعنی f(x) cy یعنی اگر ناحیه مقصد y و ناحیه
مقادیر تابع f(x) یکسان باشند، در اینصورت f تابعی از x در روی y است یا f
"x را در روی y تصویر می کند". یا به طور ساده گویند f یک تابع پوششی است.
در این حالت از تابع هریک از عناصر ناحیه مقصد، افلا تصویر یکی از
عناصر ناحیه تعریف تابع (x) می باشند.
مثالی از تابع پوشا:
1) تابع جز صحیح Ө:R→Z از مجموعه اعداد حقیقی به مجموعه اعداد صحیح
که هر عدد حقیقی x را به جز صحیح x نظیر می کند.
Ө(x)=
x
پوشاست. ولی تابع قدر مطلق α:R→R از مجموعه اعدادحقیقی به خودش که هر
عدد حقیقی x را به قدر مطلق آن نظیر می کند.
Α(x)=│x│
پوشا نیست. چون اگر منحنی تابع قدر مطلق را رسم کنیم این منحنی فقط
اعداد حقیقی مثبت را شامل میشود که با تعریف تابع قدر مطلق که تمام اعداد
حقیقی را شامل میشود تناقص دارد. پس تابع قدر مطلق پوشا نیست.
ادامه مطلب