تابع: تفاوت میان نسخه‌ها

تابع <math>f</math> به عنوان هنجار تناظر، چیزی بجز توصیف نحوه تناظر اعضای <math>A</math> به <math>B</math> نیست که به‌طور کامل به‌وسیله همه [[زوج مرتب|زوج‌های مرتب]] <math>(a,f(a))</math> برای هر <math>a \in A</math> مشخص می‌شود پس تابع <math>f</math> را می‌توان به عنوان '''مجموعه''' همه این زوجهای مرتب، یعنی مجموعه همه زوج‌های مرتبی که مولفهمؤلفه اول آن‌ها عضو <math>A</math> بوده و مولفهمؤلفه دوم آن‌ها تصویر مولفهمؤلفه اول تحت تابع <math>f</math> در <math>Y</math> است، تعریف کرد. شرط تابع بودن تضمین می‌کند که هیچ دو زوج متمایزی در تابع<math> f</math> دارای مولفهمؤلفه اول یکسان نخواهند بود.

# برای هر <math>x \in X</math> عنصر '''یگانه''' <math>y \in Y</math> موجود باشد که <math>(x,y) in f</math> یا به عبارتی هیچ دو [[زوج مرتب]] متمایزی متعلق به <math>f</math> دارای مولفهمؤلفه اول یکسان نباشند. شرط یگانگی را به‌طور صریح می‌توان یه این صورت فرمول بندی کرد که اگر <math>(x,y) \in f</math> و <math>(x,z) \in f</math> آنگاه الزاماً <math> y=z</math>.

به عنوان مثال فرض کنید {X={۱٬۲٬۳ و {Y={a,b,c,d و تابع f:X→Y به صورت {(f={(۱,a),(2,b),(۳,c تعریف شده باشد. وضوحاً دامنه این تابع مجموعه X است (می‌توان برای تعیین آن مجموعه همه مولفه‌هایمؤلفه‌های اول زوج‌های مرتب f را در نظر گرفت) ولی برد آن بنابه تعریف مجموعه {a,b,c} است که آشکارا زیرمجموعه حقیقی Y است. (یعنی زیرمجموعه آن است ولی با آن برابر نمی‌باشد)

در حقیقت برد تابع f مجموعه همه مولفه‌هایمؤلفه‌های دوم زوج مرتب‌های f است. مجموعه همه عناصری از Y که به ازای یکx∈X داشته باشیم (y=f(x.