
دید کلی
مفهوم تایع یکی از مهم ترین مفاهیم علم ریاضی بوده و به همان اندازه در ریاضی اهمیت دارد که مفهوم مجموعه دارد. اغلب، می گویند تابع، کمیت متغیری است که از کمیت متغیر دیگر تبعیت می کند. برای توزیع "معمولی"، مانند:
Y=sinx ,y=x2 , y=a+bx
والی آخر، این تعریف کاملا مناسب می باشد. ممکن است اگر توابع دیگری، مانند: y=sin2x+cos2x
را در نظر بگیریم، می بینیمی که مقادیر آن تابعه دیگر تغییر نمی کند و بنابراین دیگر کمیت متغیری که از کمیت x تبعیت کند، وجود نداد.
! تعریف تایع:
تناظری که به هر عنصر x از یک مجموعه x فقط و فقط یک عنصر y از یک مجموعه y رانسبت را دهد، تایع گویند. توابع را با حروف f یا حروف کوچک خطی لاتین نشان می دهیم.
مفهوم تابع از دیدگاه دیگری
از طرفی، تحت عنوان کمیت "چیزهایی" را در نظر می گیرند که آنها همه با هم قابل مقایسه باشند. یعنی "چیزهایی که" بین آن ها روابط "بیشتر" و "کم تر" و.جود دارد.
در صورتی که در ریاضیات، توابعی نیز مطالعه می شود که برای آنها این روابط تعیین نشده است، مثلا به عنوان مثال از اعداد کمپلکس (مختلط) یا به طور کلی از عناصر یک مجموعه دلخواه می توان اسم برد. توجه دقیق نشان می دهد که در مفهوم تابع وابستگی تغییرات به تغییرات متغیر مستقل آنم اندازه مهم نیست که تناظر بین مقادیر متغیر مستقل و مقادیر تابع مهم می باشد. به خصوص اگر به خاطر بیاوریم که تمامی اطلاعات راجع به تابع، می تواند از بیان گرافیکی آن استخراج گردد، و در نتیجه نباید فرض بین بیان گرافیکی تابع و خود تابع قائل شده و از طرفی
رافیک تابع مجموعه نقاطی است که هر یک از آن ها با دو مختصات y,x یعنی با (x,y) مشخص میگرند. بدین ترتیب به نظر می رسد که در تعریف تابع، مناسب است از آن خصوصیات مجموعه زوج های مرتب استفاده گردد که ویژه گرافیک تابع باشند.
قلمرو و برد تابع:
مجموعه x را قلمرو تابع و مجموعه y را برد تابع f می نامند. تابعf را از مجموعه x به مجموعه y را معمولا به صورت f:x→y y=f(x)
نشان می دهند.
مثال هایی از تابع:
1) تبدیل درجه فارنهایت به سانتیگراد را در نظر می گیریم برای هر عدد حقیقی x، درجه فارنهایت معادل است با:
درجه سانتیگراد.
فرض می کنیم y,x هر دو عدد مجموعه اعداد حقیقی باشند، در نتیجه این عمل، به هر عنصر x از مجموعه Xعنصر یگانه f(x) از مجموعه y را نظیر می کند. اگر داشته باشیم:
پس نتیجه می گیریم برای هر مقدار x یک مقدار x از منحصر بفردی y موجود است.
f(32)=0 f(68)= 0 f(212)=0
مفهوم تابع برای سه تایی مرتب:
اگر در نظر بگیریم که خود متناظر به توسعه 3- تایی مرتب مجموعه هایی است که9 جزو اول آن زیر مجموعه از حاصل ضرب مستقیم جز دوم و سوم آن می باشد و بین عناصر این حاصل ضرب زوج هایی که اجزا اول آنها یکسان و اجزا دوم آن ها متفاوت باشند. وجود ندارد، یعنی اگر (x,z),(x,y) عناصر حاصلضرب مستقیم باشند، آنگاه y=z خواهد بود. بنابراین طبق تعریف:
3- تایی (f,x,y) را تابع گویند، هر گاه:
(1) باشد.
(2) F زوج هایی نداشته باشد که اجزا اول ان ها یکسان و اجزا دوم آن ها متقارن باشند.
گراف تابع:
در تابع f:X→Y مجموعه تمامیزوج هائی که اجزای اول آن ها را عناصر مجموعه X و اجزای دوم آن ها را تصویر عناصر مجموعه X تشکیل می دهند، گراف تابع خواهد بود.
مفاهیم مربوط به تابع:
برای توابع مفاهیمی مانند "گراف تابع"، "ناحیه مبدا تابع"، "ناحیه تعریف تابع"، "ناحیه مقادیر تابع" ظاهر می شود چون برای تابع، ناحیه تعریف با ناحیه مبدا منطبق می شود، بدین جهت برای تابع فقط ناحیه تعریف را به تنهایی به کار می برند. تابه f را با ناحیه تعریف x ناحیه مقصد y تابعی را "نوع x→y" می نامند.
تعبیر هندسی تابع:
f تابع است اگر خطی موازی محور y ها رسم کنیم منحنی تابع را فقط و فقط در یک نقطه قطع کند. یعنی به ازای یک y فقط و فقط یک x داشته باشیم.
تابع یک به یک و پوشا
دید کلی:
تابع 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│
پوشا نیست. چون اگر منحنی تابع قدر مطلق را رسم کنیم این منحنی فقط اعداد حقیقی مثبت را شامل میشود که با تعریف تابع قدر مطلق که تمام اعداد حقیقی را شامل میشود تناقص دارد. پس تابع قدر مطلق پوشا نیست.
تابع یک به یک:
تابع دلخواه f:x→y را در نظر می گیریم. فرض می کنیم b,a دو عنصر دلخو.اه متعلق به قلمرو f باشند. بر حسب تعریف تابع، تصاویر f(b),f(a) می توانند هر عنصری از مجموعه y یا برد f باشند. بنابراین ممکن است داشته باشیم.
F(a)=f(b)
مثلا تابع قدر مطلق α:R→R را در نظر می گیریم. واضح است که برای هر عدد حقیقی a داریم
Α(a)=a(-a)
البته ممکن است که برای تابع خاص f:x→y به ازای هیچ دو عنصر b,a از قلمرو f، تساوی امکان پذیر نباشد. توابعی را که دارای ان خاصیت مهم باشند، یک به یک می نامیم.
تعریف تابع یک به یک:
تابع f:x→y را یک به یک می نامیم، اگر و تنه اگر، تصاویر عناصر متمایز قلمرو f متمایز باشند. به عبارت دیگر، تابع f:x→y یک به یک است اگر و تنها اگر برای هر دو عنصر دلخواه x2,x1 از قلمرو f که f(x1)=f(x2) نتیجه شود a=b مثلا، تابع شمول i:x→y که و برای هر با ضابطه تعریف می شود، تابعی یک به یکی است. در حالی که هیچ یگ از تواغبع جز صحیح Ө:R→Z و قدرمطلق α:R→R، یک به یک نیستند.
تشخیص یک به یک بودن:
اگر f یک به یک باشد، هر خط موازی محور x ها را حداکثر در یک نقطه قطعه می کند. در غیر این صورت f یک به یک نخواهد بود.
تابع دوسویی:
تابع f:x→y را دو سویی می نامیم، اگرو تنها اگر یک به یک و پوشا باشد.
به عنئوانمثال: تابع f:R→R که درجه فارنهایت را به درجه سانتیگراد تبدیل می کند تابع دو سویی است برای هر مجموعه دلخواه x، تابع همانی i:x→x که برای هر با ضابطه i(x)=x تعریف می شود، تابعی دو سویی است. یعنی هم یک به یک و هم پوشا می باشد.
رابطه یک به یک بودن با صعودی یا نزولی بودن:
اگر تابع f صعودی یا نزولی باشد، آنگاه یک به یک خواهد بود. ولی هر تابع یک به یک، صعودی یا نزولی نیست.
تابع همانی:
می دانیم یک رابطه همانی روی مجموعه A رابطه ای است که برای هر عضو از مجموعه A چون a تنها شامل زوج مرتب (a,a)باشد و هیچ زوج مرتبی با مولفه های متمایز نداشته باشد .