در ریاضیات تابع f : X → Y {\displaystyle f:X\to Y} را پوشا می نامیم، هرگاه هر عضو مانند y ∈ Y {\displaystyle y\in Y} با یک عضو مانند x ∈ X {\displaystyle x\in X} متناظر شده باشد، به گونه ای که f ( x ) = y {\displaystyle f(x)=y} . تابع f {\displaystyle f} ممکن است بیشتر از یک عضو از X {\displaystyle X} را به یک عضو خاص از Y {\displaystyle Y} تصویر کند.
واژهٔ پوشا و واژه های مرتبط یک به یک و دوسویی توسط Nicolas Bourbak، تخلص گروهی از ریاضی دانان اساساً فرانسوی قرن بیستمی که کتاب های متعددی در مورد توضیح ریاضیات پیشرفته مدرن نوشتند، در سال ۱۹۳۵ معرفی شدند. واژهٔ پوشا به این معنی است که تصویر دامنهٔ تابع کاملاً برد تابع را می پوشاند.
تابع پوشا تابعی است که تصویر آن برابر بردش می باشد. یا به طور معادل تابع f {\displaystyle f} با دامنهٔ X {\displaystyle X} و برد Y {\displaystyle Y} پوشا است اگر به ازای هر y ∈ Y {\displaystyle y\in Y} وجود داشته باشد حداقل یک x ∈ X {\displaystyle x\in X} که f ( x ) = y {\displaystyle f(x)=y} . توابع پوشا برخی اوقات با یک پیکان راست پیما دو سر نمایش داده می شوند، مانند f: X ↠ Y.
f : X → Y {\displaystyle f:X\to Y} ، آنگاه f {\displaystyle f} پوشا است اگر
واژهٔ پوشا و واژه های مرتبط یک به یک و دوسویی توسط Nicolas Bourbak، تخلص گروهی از ریاضی دانان اساساً فرانسوی قرن بیستمی که کتاب های متعددی در مورد توضیح ریاضیات پیشرفته مدرن نوشتند، در سال ۱۹۳۵ معرفی شدند. واژهٔ پوشا به این معنی است که تصویر دامنهٔ تابع کاملاً برد تابع را می پوشاند.
تابع پوشا تابعی است که تصویر آن برابر بردش می باشد. یا به طور معادل تابع f {\displaystyle f} با دامنهٔ X {\displaystyle X} و برد Y {\displaystyle Y} پوشا است اگر به ازای هر y ∈ Y {\displaystyle y\in Y} وجود داشته باشد حداقل یک x ∈ X {\displaystyle x\in X} که f ( x ) = y {\displaystyle f(x)=y} . توابع پوشا برخی اوقات با یک پیکان راست پیما دو سر نمایش داده می شوند، مانند f: X ↠ Y.
f : X → Y {\displaystyle f:X\to Y} ، آنگاه f {\displaystyle f} پوشا است اگر
wiki: تابع پوشا