برای دیگر کاربردها، تابع (ابهام‌زدایی) را ببینید.یک **تابِع** یا پَردازه به پارسی، در ریاضیات یک رابطه دوتایی روی دو مجموعه است که هر عنصر در مجموعه اول را **دقیقاً** به یک عنصر در مجموعه دوم مرتبط می‌کند. مثال‌های معمول در این زمینه، توابعی از اعداد صحیح به اعداد صحیح یا از اعداد حقیقی به اعداد حقیقی است.

| تابع |
| --- |
| *x* ↦ *f* (*x*) |
| 
مثال‌هایی با دامنه و دامنه مشترک |
| 

|  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| **X** | → | **B**, | **B** | → | **X**, | **B***n* | → | **B** |
| **X** | → | **Z**, | **Z** | → | **X** |
| **X** | → | **R**, | **R** | → | **X**, | **R***n* | → | **X** |
| **X** | → | **C**, | **C** | → | **X**, | **C***n* | → | **X** |

 |
| کلاس‌ها/ویژگی‌ها |
| ثابت ·  همانی ·  خطی ·  چندجمله‌ای ·  گویا ·  جبری ·  تحلیلی ·  هموار ·  پیوسته ·  قابل اندازه‌گیری ·  یک‌به‌یک ·  پوشا ·  دوسویی |
| 
  سازه‌های تابعی |
| محدودسازی ·  ترکیب ·  لاندا ·  وارون |
| 
  تعمیم تابع   |
| جزئی ·  چندمقداری ·  ضمنی |
| * ن
* ب
* و
 |

در اصل توابع ایده‌آل‌سازی این که چگونه یک متغیر بر متغیری دیگر وابسته است بودند. به طور مثال در دنیای واقعی اگر قیمت یک محصول افزایش پیدا کند، تقاضا برای آن کاهش یافته و عرضه آن افزایش می‌یابد. به عبارت دیگر، عرضه و تقاضا، تابعی از قیمت محصول هستند. از لحاظ تاریخی، در پایان سده هفده میلادی این مفهوم توسط حسابان توضیح داده می‌شد و تا سده نوزدهم توابعی که در نظر گرفته می‌شدند دیفرانسیل‌پذیر بودند. مفهوم یک تابع در پایان سده ۱۹ از دیدگاه نظریه مجموعه‌ها رسمی شد و این امر دامنه کاربرد این مفهوم را تا حد زیادی افزایش داد.

تابع یک پروسه یا رابطه‌ای است که دسته‌ای از یک x در دامنه X را به یک y در دامنه Yها متصل می‌کند، که به آن هم‌دامنه تابع می‌گویند. معمولا آن را با حرف‌هایی مانند f، g یا h نشان می‌دهند.

اگر تابع‌مان f خوانده می‌شود، رابطه آن به شکل *y* = *f* (*x*) نشان داده می‌شود. در این رابطه، x شناسه تابع یا ورودی تابع است و y «خروجی» تابع است. نمادی که برای نشان دادن ورودی استفاده می‌شود یک متغیر از تابع است، برای نمونه f متغیر x است.

از توابع به‌طور گسترده‌ای در گونه‌های مختلف علم و بیشتر در ریاضیات استفاده می‌شود. گفته شده‌است که توابع «موضوعات اصلی تحقیق» در بیشتر رشته‌های ریاضیات است.

نمایش طرح‌واره‌ای یک تابع: از طریق یک استعاره به صورت یک «ماشین» یا «جعبه سیاه» توصیف می‌شود که برای هر ورودی یک خروجی متناظر را نتیجه می‌دهد.
نمودار متحرک رسم تغییرات توابع:{\displaystyle {\sqrt[{n}]{x}}=y}
با دامنه:
{\displaystyle n=\{2,3,...31\}}  
{\displaystyle x=\{0...+1\}}  
{\displaystyle y=\{0...+1\}}  
توابع ریشه nام x را نشان می‌دهند.  
عدد متغیر در تصویر معادل n می‌باشد.
نمودار تابع  
{\displaystyle {\begin{aligned}&\scriptstyle f\colon [-1,1.5]\to [-1,1.5]\\&\textstyle x\mapsto {\frac {(4x^{3}-6x^{2}+1){\sqrt {x+1}}}{3-x}}\end{aligned}}}

تاریخچه
-------

عمرخیام برای حل معادله درجه سوم از روش برخورد یک سهمی و یک دایره استفاده کرد که میتواند اولین برداشت ریاضیدان از مفهوم تابع محسوب شود

اولین بار شرف الدین طوسی ریاضیدان ایرانی قرن ۱۲ میلادی هنگامی که به‌دنبال یافتن امکان وجود ریشه های مثبت و حقیقی برای معادله درجه سوم میگشت این معادله را برابر با مقدار ثابت قرار داد و در مورد آن مقدار ثابت و ارتباط آن با ریشه های معادله بحث کرد که بدین ترتیب اولین دانشمندی شد که مفهوم تابع را وارد ریاضیات کرد

بعدها مفهوم تابع توسط گوتفرید لایبنیتس در سال ۱۶۹۴ در اروپا مطرح شد که هدف آن توصیف کمیتی وابسته به یک منحنی در نقطه ای خاص بود. (مانند شیب منحنی یا مشتق) امروزه به توابعی که توسط گوتفرید لایبنیتس تعریف شدند، توابع مشتق‌پذیر می‌گوییم.

واژهٔ تابع بعدها توسط لئونارد اویلر در قرن هجدهم، برای توصیف یک گزاره یا فرمول شامل متغیرهای گوناگون مورد استفاده قرار گرفت، مانند *f*(*x*) = sin(*x*) + *x*3.

در طی قرن نوزدهم، ریاضی‌دانان شروع به فرمول‌بندی تمام شاخه‌های ریاضی براساس نظریه مجموعه‌ها کردند. وایراشتراس بیشتر خواهان به‌وجود آمدن حساب دیفرانسیل و انتگرال در علم حساب بود تا در هندسه، یعنی بیشتر طرفدار تعریف اویلر بود.

ژوزف فوریه مدعی بود که تمام توابع از سری فوریه پیروی می‌کنند در حالی که امروزه ریاضی‌دانان با گسترش تعریف توابع، توانستند به مطالعهٔ توابعی در ریاضی بپردازند که که در سراسر دامنهٔ خود پیوسته ولی در هیچ نقطه‌ای مشتق‌پذیر نیستند این گونه توابع توسط وایراشتراس معرفی شدند. کشف چنین توابعی موجب شد تا توابع تنها به توابع پیوسته و مشتق‌پذیر محدود نشوند.

تا انتهای قرن نوزدهم ریاضی‌دانان در هر موضوع ریاضی به دنبال تعریفی بودند که براساس نظریه مجموعه‌ها و نتایج آن باشد. دیریکله و لوباچوسکی هر یک به‌طور مستقل هم‌زمان تعریف «رسمی» از تابع ارائه دادند.

بر طبق این تعریف، تابع، حالت خاصی از یک رابطه است که در آن برای هر مقدار اولیه یک مقدار ثانویهٔ منحصربه‌فرد وجود دارد.

در دیگر دانش‌ها
---------------

تابع‌ها در شاخه‌های گوناگون دانش کاربرد فراوان دارند. برای نمونه در فیزیک، هنگامی که می‌خواهیم رابطهٔ بین چند متغیر را بیان کنیم، به ویژه هنگامی که مقدار یک متغیر کاملاً وابسته به متغیرهای دیگر است، از تابع بهره می‌بریم.

تابع در دانش‌های گوناگون بیشتر به عنوان عملگر است که کاری را بر روی داده‌های ورودی انجام می‌دهد. تعریف تابع در علم رایانه، به عنوان حالت خاصی از یک رابطه، به‌طور گسترده‌تر در [منطق] است. تابع را همچنین مورد استفاده در علم رایانه برای مدل‌سازی ساختمان داده‌ها و تأثیرات الگوریتم لگاریتم پورممی می‌بینیم.

تعریف تابع
----------

تابع را می‌توان به عنوان قاعده‌ای خاص برای تناظر بین اعضای دو مجموعهٔ دامنه و برد تعریف کرد. به بیان دقیق‌تر، اگر {\displaystyle A} و {\displaystyle B} دو مجموعه باشند، یک تابع از مجموعهٔ {\displaystyle A} به مجموعهٔ {\displaystyle B} را می‌توان قاعده‌ای تعریف کرد که به هر عضو مجموعهٔ {\displaystyle A} مانند {\displaystyle a}، دقیقاً یک عضو مجموعهٔ {\displaystyle B} را مانند {\displaystyle f(a)} نسبت دهد. تابع {\displaystyle f} از مجموعهٔ {\displaystyle A} به مجموعهٔ {\displaystyle B} را با {\displaystyle f:A\to B} نشان می‌دهیم.

شکل ۱. نمونه‌ای از یک تناظر که تابع نیست.
شکل ۲. نمونه‌ای از یک تابع
برای نمونه تناظر شکل ۱ نمایش‌دهندهٔ یک تابع نمی‌باشد. چراکه عضو ۳ از مجموعه {\displaystyle X} به *دو عضو* ({\displaystyle b} و {\displaystyle c}) از {\displaystyle Y} متناظر شده‌است. اما شکل ۲ نشان دهنده یک تابع است. هر چند که دو عضو گوناگون از مجموعه {\displaystyle X} به یک عضو خاص از {\displaystyle Y} نسبت داده شده‌اند.

تابع {\displaystyle f} به عنوان هنجار تناظر، چیزی بجز توصیف نحوهٔ تناظر اعضای {\displaystyle A} به {\displaystyle B} نیست که به‌طور کامل به‌وسیله همه زوج‌های مرتب {\displaystyle (a,f(a))} برای هر {\displaystyle a\in A} مشخص می‌شود. پس تابع {\displaystyle f} را می‌توان به عنوان **مجموعه‌ی** همه این زوج‌های مرتب، یعنی مجموعهٔ همه زوج‌های مرتبی که مؤلفه اول آن‌ها عضو {\displaystyle A} بوده و مؤلفه دوم آن‌ها تصویر مؤلفه اول تحت تابع {\displaystyle f} در {\displaystyle Y} است، تعریف کرد. شرط تابع بودن تضمین می‌کند که هیچ دو زوج متمایزی در تابع {\displaystyle f} دارای مؤلفهٔ اول یکسان نخواهند بود.

در این صورت در تابع {\displaystyle f:A\to B} برای هر {\displaystyle a\in A} گزارهٔ {\displaystyle (a,b)\in f} را به صورت {\displaystyle b=f(a)} نشان می‌دهیم.

### تعریف دقیق

یک تابع از مجموعه {\displaystyle X} به مجموعه {\displaystyle Y}، رابطه‌ای چون {\displaystyle f} از مجموعه {\displaystyle X} به مجموعه {\displaystyle Y} است که دارای شرایط زیر باشد:

1. دامنه {\displaystyle f} مجموعه {\displaystyle X} باشد، یعنی {\displaystyle domf=X}.
2. برای هر {\displaystyle x\in X} عنصر **یگانه** {\displaystyle y\in Y} موجود باشد که {\displaystyle (x,y)inf} یا به عبارتی هیچ دو زوج مرتب متمایزی متعلق به {\displaystyle f} دارای مؤلفه اول یکسان نباشند. شرط یگانگی را به‌طور صریح می‌توان یه این صورت فرمول بندی کرد که اگر {\displaystyle (x,y)\in f} و {\displaystyle (x,z)\in f} آنگاه الزاماً {\displaystyle y=z}.

### علامت‌ها

برای هر {\displaystyle x\in X}، یگانه عضو {\displaystyle y} در {\displaystyle Y} که به ازای آن {\displaystyle (x,y)\in f} را با {\displaystyle f(x)} نشان می‌دهیم. در مورد تابع، این علامت‌گذاری، سایر علامت‌گذاری‌هایی را که در مورد روابط کلی‌تر استفاده می‌شوند چون {\displaystyle (x,y)\in f} یا {\displaystyle xfy} را متروک ساخته‌است. از این پس اگر {\displaystyle f} یک تابع باشد، به جای {\displaystyle (x,y)\in f} یا {\displaystyle xfy} می‌نویسیم {\displaystyle y=f(x)}. عضو {\displaystyle y} را *مقدار تابع به ازای متغیر یا شناسه {\displaystyle x}* یا  *تصویر {\displaystyle x} تحت {\displaystyle f}* می‌گوییم و نیز {\displaystyle x} را *پیش نگاره* {\displaystyle y} می‌گوییم.

اگر {\displaystyle f} تابعی از مجموعه {\displaystyle X} به (*در* یا *به توی*) مجموعه {\displaystyle Y} باشد، این مطلب را به صورت سه تایی {\displaystyle (f,X,Y)} یا به‌طور معمول تر با {\displaystyle f:X\to Y} نشان می‌دهیم.

مشخص کردن تابع
--------------

برای مشخص کردن یک تابع باید *دامنه* و *ضابطه‌ی* آن را بشناسیم. منظور از *ضابطه یک تابع*{\displaystyle f:X\to Y}، فرمول یا دستوری است که برطبق آن برای هر {\displaystyle x\in X}، مقدار تابع {\displaystyle f} در {\displaystyle x} یعنی {\displaystyle f(x)} تعیین می‌شود. ضابطهٔ تابع را می‌توان به صورت یک گزارهٔ جبری، مجموعه‌ای از زوج‌های مرتب یا یک رابطهٔ بازگشتی مشخص کرد.

به این ترتیب برای مشخص کردن یک تابع از مجموعه {\displaystyle X} به مجموعه {\displaystyle Y} می‌نویسیم {\displaystyle f:X\to Y} و سپس ضابطه آن را ذکر می‌کنیم.

در مواقعی که بیم ابهام نرود دامنه تابع ذکر نشده و به ذکر ضابطه تابع بسنده می‌شود؛ مثلاً عرف بر این است که در حساب دیفرانسیل و انتگرال دامنه توابع در صورت ذکر نشدن ،اعداد حقیقی یا بازه‌ای از اعداد حقیقی باشد.

برای نمایش بهتر، تابع را که خود یک هنجار (قاعده) برای تناظر است با f نشان می‌دهیم و ورودی یا *شناسهٔ* این تابع را با{\displaystyle x} نشان می‌دهیم که ممکن است عدد هم نباشد. یگانه مقدار خروجی که هنجار {\displaystyle f} به ورودی {\displaystyle x} نسبت می‌دهد را به جای {\displaystyle y} این‌بار با {\displaystyle f(x)} نشان می‌دهیم و آن را *مقدار تابع {\displaystyle f} در {\displaystyle x}* یا *تصویر {\displaystyle x} تحت {\displaystyle f}* می‌گوییم. همچنین از این پس به قاعده‌ای که هر {\displaystyle x} را به {\displaystyle y=f(x)} نسبت می‌دهد **ضابطه تابع** می‌گوییم.

نباید تابع را با ضابطهٔ آن اشتباه کرد. به عنوان مثال در مثال بالا {\displaystyle f} معرف خود تابع و گزاره {\displaystyle f(x)} معرف ضابطه تابع است.

### دامنه و برد تابع

1. یک تابع f از مجموعه X به توی مجموعه Y را به عنوان نوعی رابطه از مجموعه X به Y تعریف کردیم. مفاهیم *دامنه (تابع)* و *برد* همانگونه که برای روابط در حالت کلی قابل تعریف‌اند، به طریق اولی برای تابع f نیز قابل تعریف خواهند بود. بنا به **تعریف** *دامنه* تابع f که با dom*f* نموده می‌شود، همان مجموعه X است. *برد* تابع f نیز مجموعه همه عناصری از Y است که تصویر عضوی از X تحت f باشند. برد تابع f را با ran*f* یا Im*f* نشان می‌دهیم. بنابه تعریف داریم:

{\displaystyle {\mbox{ran}}f=\{y\in Y:\exists x(x\in X\land y=f(x))\}}

اما همان‌طور که در گذشته نیز اشاره شد و از تعریف فوق نیز قابل برداشت است، برد f در حالت کلی لزوماً برابر مجموعه Y نمی‌باشد بلکه زیرمجموعه‌ای از آن است. برای تمایز بین مجموعه Y و برد تابع f به مجموعه Y *همدامنه* تابع f می‌گویند و آن را با codom*f* نشان می‌دهیم و بنا بر آنچه گفته شد، برد تابع زیرمجموعه‌ای از همدامنه‌اش هست.

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

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

### نمودار تابع

برای مشخص کردن تابع از روی نمودار باید هر خط موازی محور عرض‌ها، نمودار را حداکثر در **یک نقطه** قطع کند.

**نکته:** حتی اگر یک خط نمودار را در بیش از دو نقطه قطع کند، دیگر تابع **نیست**.

در شکل زیر نکته بالا را کاملاً درک خواهیم کرد.

تشخیص تابع بودن یا نبودن از روی نمودارنشخیص تابع بودن یا نبودن از روی نمودار

تساوی دو تابع
-------------

فرض کنید f:X→Y و g:Z→W دو تابع باشند. در این صورت تساوی f=g، تساوی بین دو مجموعه است و لذا f=g اگر و فقط اگر اعضای f و g یکسان باشند. یا به عبارتی دو تابع f و g با هم برابرند اگر و تنها اگر دامنه‌شان با هم برابر باشد و برای هر x از دامنه مشترکشان، (f(x)=g(x.
نقاط اشتراک نمودارتابع fوتابع g در دستگاه مختصات مقدار x رانشان می‌دهد که به ازای آن دو تابع برابر اندفرض کنیدیکی از نقاط مورد نظر
نقطه ی(A(X,Y
یاشد این نقطه محل برخورد نمودار دو تابع fوgاست ومحل برخورد نمودار تابعf و نمودار تابعhar که معکوس تابعf نسبت به تابع gاست بنا بر این
دو تابع F,و g زمانی در نقطه‌ای مانند A برابر اند که نمودار تابع fونمودارتابع har در نقطهٔ A برابر باشند.

تحدید و توسیع
-------------

فرض کنید f:X→Y یک تابع و A زیرمجموعه‌ای از X باشد. در این صورت یک روش برای ساختن تابعی چون g از مجموعه A به مجموعه Y این است که برای هر g(x), x∈A را مساوی (f(x تعریف کنیم؛ یعنی تابع g:A→Y با ضابطه
(g(x)=f(x. بر خواننده‌است که خوش تعریفی این تابع را تحقیق کند. ممکن است راه دیگری نیز برای بیان این مطلب بیابیم و آن این است که دامنه تابع f را به زیرمجموعه A از X تقلیل دهیم. در این صورت تابعی خواهیم داشت که این بار نه بر روی همه اعضای X بلکه فقط بر روی عناصر زیرمجموعه خاصی از X یعنی A اثر می‌کند و لذا دامنه آن از X به A تغییر می‌یابد. چنین تابعی را که همان g است *تحدید* تابع f به مجموعه A می‌گوییم و آن را با f|A یا f|A نشان می‌دهیم. با این نمادگذاری داریم g=f|A. همچنین تابع f را *توسیع* تابع g به مجموعه X می‌گوییم.

بنابراین مفاهیم *تحدید* و *توسیع* دو مفهوم متقابل به هم می‌باشند. تحدید یک تابع به زیرمجموعه‌ای از دامنه خود همواره یک تابع است اما توسیع دامنه یک تابع به یک مجموعه جدید که دامنه تابع قبل زیرمجموعه‌ای از آن است همواره تابع نمی‌باشد ولذا در مورد توسیع توابع احتیاط بیشتری لازم است.
به‌طور کلی اگر f:A→Y یک تابع باشد توسیع تابع f به مجموعه X تابعی چون g با دامنه X است، به‌طوری‌که تحدید g به مجموعه A برابر تابع f باشد یعنی g|A=f.

هچنین می‌توان همدامنه یک تابع را نیز تحدید کرد البته در این کار احتیاط لازم است، چراکه نباید اعضایی را که متعلق به برد تابع است را حذف نمود. اما اگر f:X→Y یک تابع باشد، با تحدید Y به (f(X که همان برد تابع f است می‌توان تابع (f:X→f(X را تشکیل داد که پوشا نیز هست.

تصویر و تصویر معکوس
-------------------

اگر{\displaystyle f:X\to Y} یک تابع و {\displaystyle A} زیرمجموعه‌ای از {\displaystyle X} باشد، ممکن است بخواهیم مجوعه‌ای را در نظر بگیریم که عناصر آن تصویر عناصر {\displaystyle A} تحت {\displaystyle f} می‌باشند؛ یعنی مجموعه‌ای که از تأثیر تابع {\displaystyle f} روی هر عضو مجموعه {\displaystyle A} حاصل می‌شود. چنین مجموعه‌ای را *تصویر* یا *نگاره* {\displaystyle A} تحت تابع {\displaystyle f} می‌گوییم و آن را با {\displaystyle f(A)} نشان می‌دهیم و به این صورت تعریف می‌کنیم:

{\displaystyle f(A)=\{f(x):x\in A\}}

بنابر این (y \to f(A اگر و فقط اگر به ازای {\displaystyle y=f(x)}، {\displaystyle x\to A} یا به بیان نمادین:

{\displaystyle y\in f(A)\iff \exists x(x\in A\land y=f(x))}

به عنوان مثال اگر {\displaystyle X=\{1,2,3,4,5\}} و {\displaystyle Y=\{a,b,c,d,e\}} و {\displaystyle f:X\to Y} به صورت:

{\displaystyle f=\{(1,a),(2,b),(3,c),(4,d),(5,e)\}}

تعریف شود و زیرمجموعه {\displaystyle A} از X به صورت {\displaystyle A=\{1,3,4\}}در نظر گرفته شود در این صورت:

{\displaystyle f(A)=\{f(1),f(3),f(4)\}=\{a,c,d\}}

حال چون{\displaystyle X} نیز زیرمجموعه‌ای از خودش است می‌توان {\displaystyle f(X)} را نیز تشکیل داد، که در این صورت بنا به تعریف داریم:

{\displaystyle f(X)=\{f(x):x\in X\}}

که عبارت است از مجموعه همه عناصری از {\displaystyle Y} است که تصویر عضوی از {\displaystyle X} تحت {\displaystyle f} باشند که بنابه تعریف همان برد تابع {\displaystyle f} یعنی {\displaystyle ranf} است. به این ترتیب برد {\displaystyle f} را می‌توان تصویر {\displaystyle X} تحت تابع {\displaystyle f} تعریف کرد.

اجتماع توابع-توابع چند ضابطه‌ای
-------------------------------

بسیار اتفاق می‌افتند که مقدار یک تابع در سراسر دامنه‌اش با یک ضابطه مشخص نمی‌شود مثلاً ممکن است دامنه تابع f که آن را X می‌نامیم را به n مجموعه X۱,X۲,X۳,... ,Xn افراز کنیم و تابع f با دامنه X را برای هر x∈Xi به صورت (f(x)=fi(x تعریف کنیم که در آن fi تابعی با دامنه Xi است. همچنین در این صورت می‌توان تابع f را برای هر x از دامنه به صورت زیر نوشت:

{\displaystyle f(x)={\begin{cases}f\_{1}(x)&\,x\in X\_{1}\\f\_{2}(x)&\,x\in X\_{2}\\\vdots \\f\_{n}(x)&\,x\in X\_{n}\end{cases}}}

در این صورت f را تابعی با n ضابطه می‌گوییم.

در مثالی دیگر فرض کنید f:X→Y و g:Z→W دو تابع باشند که برای هر x متعلق به اشتراک X و Y (اشتراک دامنه f,g) داشته باشیم (f(x)=g(x. در این صورت تابع {\displaystyle f\cup g:X\cup Z\to Y\cup W} اجتماع دو تابع f,g را به صورت زیر تعریف می‌کنیم:

{\displaystyle \left(f\cup g\right)(x)={\begin{cases}f(x)&\,x\in X\\g(x)&\,x\in Z\end{cases}}}

برخواننده‌است که خوش تعریفی این تابع را تحقیق کند. این مفهوم را می‌توان گسترش داد یعنی اگر {\displaystyle \{A\_{i}\}\_{i\in I}} خانواده‌ای از مجموعه‌های دو به دو جدا از هم باشد و برای هر fi,i∈I تابعی با دامنه Ai باشد، می‌توان تابع f، اجتماع توابع fi برای هر i∈I را با دامنه {\displaystyle \cup \_{i\in I}A\_{i}} را به صورت برای هر x از دامنه به صورت

(f(x)=fi(x اگر x∈Ai تعریف کرد. در ادامه نمونه‌هایی از توابع چند ضابطه‌ای را خواهید دید.

نمودار تابع
-----------

شکل ۳. نمودار پیکانی یک تابع
منظور از نمودار یک تابع {\displaystyle f:X\to Y} به تصویر کشیدن تناظری است که {\displaystyle f} بین دو مجموعه {\displaystyle X} و {\displaystyle Y} ایجاد می‌کند. برای این کار برای همه روابط و بلاخص توابع عموماً از نمودار پیکانی استفاده می‌شود. برای رسم نمودار پیکانی تابع {\displaystyle f:X\to Y}، دو منحنی بسته نظیر آنچه در نمودار ون استفاده می‌شود را برای نمایش مجموعه {\displaystyle X} و {\displaystyle Y} انتخاب می‌کنیم و عناصر هر یک را به‌وسیله نقاطی در آن‌ها مشخص می‌کنیم. سپس بین هر عضو {\displaystyle x\in X} و {\displaystyle (f(x} یک پیکان از {\displaystyle x} به {\displaystyle (f(x} به نشانه تناظر بین آن دو رسم می‌کنیم. به عنوان مثال اگر {X={۱٬۲٬۳٬۴٬۵ و {Y={a,b,c,d,e و{\displaystyle f:X\to Y} به صورت {\displaystyle f=\{(1,a),(2,b),(3,c),(4,d),(5,e\}} تعریف شده باشد نمودار پیکانی آن به صورت مقابل است.

شکل ۴. نمونه‌ای از نمودار یک تابع حقیقی در دستگاه مختصات دکارتی
این روش گرچه مناسب است ولی برای نمایش همه توابع به ویژه توابعی با دامنه اعداد حقیقی (و به‌طور کلی توابعی که عددی هستند) چندان کاربرد ندارد.
اگر {\displaystyle f} تابعی با دامنه اعداد حقیقی {\displaystyle R} باشد آن را تابع حقیقی می‌گوییم و برای نمایش نمودار آن از دستگاه مختصات دکارتی استفاده می‌کنیم. روش کار به این صورت است که برای هر {\displaystyle x\in R} زوج مرتب {\displaystyle ((x,f(x)} که نماینده نقطه‌ای در صفحه دکارتی است را رسم می‌کنیم و به این ترتیب نمودار تابع {\displaystyle f} حاصل می‌شود.
رسم نمودار تابع، باعث می‌شود دیدی کلی نسبت به آن تابع پیدا کنیم و همچنین بسیاری از خواص مربوط به توابع به ویژه توابع حقیقی، مانند پیوستگی، مشتق پذیری، نقاط بحرانی و عطف، صعودی یا نزولی بودن و… از روی نمودار آن‌ها قابل تعیین است. به عنوان مثال با بررسی شکل (۴) می‌توان گفت این تابع در چه بازه‌هایی صعودی و در چه بازه‌هایی نزولی است، این تابع در سراسر دامنه خود پیوسته و مشتق پذیر است، دارای دو نقطه بحرانی و یک نقطه عطف است.

شکل ۵
همچنین از روی نمودار یک رابطه می‌توان تابع بودن آن را بررسی کرد. به عنوان مثال نمودار شکل (۱) معرف یک تابع نیست، زیرا عضو ۳ به دو مقدار متناظر شده‌است. همچنین در نمودار رسم شده در دستگاه دکارتی در شکل (۵)، برای هر عدد حقیقی مثبت x دو مقدار وجود دارد. به‌طور کلی یک نمودار در دستگاه مختصات دکارتی یک تابع است اگر هر خط عمودی مرسوم بر محور {\displaystyle x}ها نمودار را حداکثر در یک نقطه قطع کند.

فضای توابع
----------

اگر {\displaystyle X} و {\displaystyle Y} دو مجموعه باشند، مجموعه همه توابع از {\displaystyle X} به {\displaystyle Y} را با YX نشان می‌دهیم و بنابه تعریف داریم:

{\displaystyle Y^{X}=\{f|f:X\to Y\}}

عدد اصلی این مجموعه را نیز می‌توان به صورت زیر به‌دست آورد:

{\displaystyle {\mbox{card}}(Y^{X})=({\mbox{card}}Y)^{{\mbox{card}}X}}

از رابطه فوق نتیجه می‌شود اگر{\displaystyle X} مجوعه‌ای {\displaystyle n}-عضوی و {\displaystyle Y} مجموعه‌ای {\displaystyle m}-عضوی باشد، تعداد توابع قابل تعریف از مجوعه {\displaystyle X} به مجموعه {\displaystyle Y} برابر است با mn که البته برای اثبات این مسئله خاص راه حل ترکیباتی هم وجود دارد. توضیح اینکه اگر بخواهیم تابع {\displaystyle f:X\to Y} را تعریف کنیم هر عضو از {\displaystyle n} عضو مجموعه{\displaystyle X} چون {\displaystyle x\in X}، را می‌توان به {\displaystyle m} طریق به یک عضو از مجموعه {\displaystyle Y} نسبت داد. پس بنابر اصل شمارش تعریف چنین تابعی به mn طریق ممکن خواهد بود.

توابع دو (یا چند) متغیره
------------------------

عباراتی چون {\displaystyle f(x,y)=\sin(xy)} یا {\displaystyle f(x,y,z)=x^{2}+y^{2}+z^{2}} را در نظر بگیرید. هر یک از آن‌ها دو یا بیش از دو متغیر از دامنه می‌پذیرند و یک مقدار یگانه را به آن‌ها نسبت می‌دهند. گاهی ممکن است تابع به جای یک شناسه دو یا چند شناسه را بپذیرد و آن‌ها را به یک عضو از برد خود نسبت دهد، در این صورت تابع را دو یا چند متغیره می‌گوییم. چنین توابعی رابطه‌ای بین بیش از دو مجموعه هستند. به عنوان مثال تابع اول را می‌توان تابعی به صورت {\displaystyle f:R\times R\to R} توصیف کرد که در این صورت تابع زوج {\displaystyle (x,y)} را به عنوان شناسه خود می‌پذیرد و آن را به عضوی از {\displaystyle R} نسبت می‌دهد که در این صورت اعضای تابع {\displaystyle f} را می‌توان به صورت سه تایی {\displaystyle ((x,y,f(x,y)} نشان داد.

انواع تابع معروف
----------------

### توابع چندجمله‌ای

چندجمله‌ای به تابعی گفته می‌شود که متشکل از ضرایب و متغیر (متغیرها) است و فقط عملگرهای ضرب و جمع روی آن‌های اعمال شده باشد.

### توابع مثلثاتی

مقالهٔ اصلی: تابع‌های مثلثاتی
توابع مثلثاتی، تابع‌هایی هستند که زاویه را به نسبت طول اضلاع آن زاویه در یک مثلث قائم‌الزاویه مرتبط می‌کنند. توابع سینوس و کسینوس از جملهٔ مهم‌ترین این توابع به‌شمار می‌روند. توابع مثلثاتی اهمیت بسیاری در ریاضیات کاربردی دارند و به خاطر ماهیت تناوبیشان، می‌توانند بسیاری از پدیده‌های تکرارشونده را توصیف کنند.

در این توابع مقدار نسبت های مثلثاتی با یکدیگر روابطی دارند که می توان آنها را با استفاده از زوایا و نسبت های مثلثاتی به‌دست آورد.

به طور مثال:

{\displaystyle (\sin x)^{2}-2sinx+1=0\rightarrow (sinx-1)^{2}=0\rightarrow sinx=1}

{\displaystyle \Longrightarrow x=2k\pi +0/5\pi }

که در اینجا صرفا ***یک جواب به‌دست نمی آید*** و به جای k می تواند عدد صحیح باشد !

### توابع متناوب

تابع **ƒ**: **A** → **B** متناوب یا پریودیک نامیده می‌شود، اگر عدد ثابتی مانند *T* موجود باشد که برای هر x داشته باشیم {\displaystyle f(x+T)=f(x)}. به *T* دوره تناوب یا پریود گفته می‌شود.

### تابع همانی (y=x)

اگر دامنه و برد یک تابع برابر باشند و هر عضو، در دامنه دقیقاً به همان عضو در برد نظیر شود، آن تابع را تابع همانی می‌نامند.

در واقع تابع همانی همان **خط نیمساز ناحیه اول و سوم** محور مختصات است با فرمول: {\displaystyle y=x}

### تابع قدر مطلق

تابعی که هر مقدار در دامنه را به مقدار بدون علامت آن در برد نظیر کند، تابع قدر مطلق نامیده می‌شود. تابع قدر مطلق را با |f(x)=|x نمایش می‌دهند؛ که خواص مهمی دارد.

### تابع ثابت (یعنی به ازای هر x ورودی y ثابت است)

تابع ثابت تابعی است که برد آن تنها شامل یک عضو است؛ و برای هر ورودی همیشه مقدار ثابتی را می‌دهد.

فرمول: {\displaystyle x=c} که در اینجا **c** ***مقداری ثابت*** است!

### تابع جبری

تابع **ƒ**: **A** → **B** پوشا نامیده می‌شود اگر برای هر عضو y متعلق به *B*، حداقل یک عضو x از *A* موجود باشد که داشته باشیم۰

جستارهای وابسته
---------------

* فهرست توابع ریاضی
* حد
* پیوستگی
* انتگرال
* توزیعات (ریاضیات)
* توابع تعمیم‌یافته
* توابع خاص

منابع
-----

1. ↑  «*تابع*» [*ریاضی*] هم‌ارزِ «*function*»؛ منبع: گروه واژه‌گزینی. جواد میرشکاری، ویراستار. *دفتر سوم*. فرهنگ واژه‌های مصوب فرهنگستان. تهران: انتشارات فرهنگستان زبان و ادب فارسی. شابک ۹۶۴-۷۵۳۱-۵۰-۸ (ذیل سرواژهٔ *تابع*)
2. ↑  *Boyer, Carl B. (1991), "Greek Trigonometry and Mensuration, and The Arabic Hegemony", A History of Mathematics (2nd ed.), New York City: John Wiley & Sons, ISBN 0-471-54397-7ص۲۴۱و ۲۴۲*.
3. ↑  *Berggren, J. Lennart; Al-Tūsī, Sharaf Al-Dīn; Rashed, Roshdi (1990). "Innovation and Tradition in Sharaf al-Dīn al-Ṭūsī's al-Muʿādalāt". Journal of the American Oriental Society. 110 (2): 304–309. doi:10.2307/604533. JSTOR 604533*.
4. ↑  *Nasehpour, Peyman (August 2018). "A Brief History of Algebra with a Focus on theDistributive Law and Semiring Theory". Department of Engineering ScienceGolpayegan University of TechnologyGolpayegan, Isfahan ProvinceIRAN: 2. arXiv:1807.11704. Bibcode:2018arXiv180711704N. "apparently the idea of a function was proposed by the Persian mathematician Sharaf al-Din al-Tusi (died 1213/4), though his approach was not very explicit, perhaps because of this point that dealing with functions without symbols is very difficult. Anyhow algebra did not decisively move to the dynamic function substage until the German mathematician Gottfried Leibniz(1646–1716)*.

* Lawrence S. Husch (2001). Visual Calculus. University of Tennessee.
* João Pedro da Ponte (1992). The history of the concept of function and some educational implications. The Mathematics Educator **3**(2), 3–8. *available online in Microsoft Word and HTML formats*.
* Anton, Howard (1980). *Calculus with analytical geometry.*. New York:John Wiley and Sons.

* پل ریچارد هالموس (۱۳۷۳)، *نظریه طبیعی مجموعه‌ها*، ترجمهٔ عبدالحمید دادالله، تهران: مرکز نشر دانشگاهی، شابک ۹۶۴-۰۱-۰۰۵۲-۸
* ایان استیوارت، دیوید تال (۱۳۷۶)، *مبانی ریاضیات*، ترجمهٔ محمد مهدی ابراهیمی، سراوان: مرکز نشر دانشگاهی، شابک ۹۶۴-۰۱-۰۲۵۳-۹
* شووینگ تی. لین و یو-فنگ. لین (۱۳۸۴)، *نظریه مجموعه‌ها و کاربرد آن*، ترجمهٔ سلیم بهرامی، تهران: مرکز نشر دانشگاهی، شابک ۹۶۴-۰۱-۰۴۶۲-۰
* ریچارد. آ. سیلورمن، *(۱) و (۳))*، ترجمهٔ دکتر مهدی عیدزاده، نشر علمی و فنی

پیوند به بیرون
--------------

|  |  |
| --- | --- |
|  | در ویکی‌انبار پرونده‌هایی دربارهٔ تابع موجود است. |

* ویدیوهای آموزشی تابع به زبان فارسی:

* The Wolfram Functions Site
* xFunctions
* Draw Function Graphs
* Functions
* Function at ProvenMath


| * ن
* ب
* و
توابع ریاضی |
| --- |
| مفاهیم | تابع یک به یک، تابع پوشا، تابع زوج و فرد، تابع تحلیلی، تابع برداری، تابع پیوسته، تابع دیفرانسیل‌پذیر، تابع یکنوا | *x* ↦ *f*(*x*) |
| توابع متعارف | تابع ثابت، تابع همانی، تابع علامت، توابع چندجمله‌ای، توابع گویا، توابع مثلثاتی، تابع نمایی (تابع هذلولوی)، قدر مطلق، لگاریتم |
| توابع مثلثاتی | سینوس، کسینوس، تانژانت، کتانژانت، توابع وارون مثلثاتی، فهرست انتگرال توابع مثلثاتی، مشتق توابع مثلثاتی |
| توابع خاص | تابع بسل، تابع لژاندر، تابع پله‌ای، تابع گاما، تابع خطا، تابع چبیشف، تابع گرین، دلتای دیراک، تابع زتای ریمان، تابع هیون، تابع گاوسی، تابع دیریکله |

| * ن
* ب
* و
علم منطق |
| --- |
| تاریخ | 
* + عمومی
* چینی
* یونانی
* هندی
* اسلامی

 |
| مقالات اصلی | 
* + خرد
* منطق فلسفی
* فلسفه منطق
* منطق ریاضی
* فرامنطق
* زبَر-منطق
* منطق در علوم رایانه

 |
| مفاهیم منطق | 
* 

|  |  |
| --- | --- |
| استدلالی | 
* + قیاسی
* استقرائی
* معکوس

 |
| محتواگرا | 
* + گزاره
* استنتاج
* برهان
* اعتبارمندی
* قانع‌کنندگی
* منطق ترم
* تفکر نقادانه
* مغالطه
* قیاس
* نظریهٔ برهان‌آوری

 |
| ریاضی | 
* + عبارت
* عبارت خوش‌ساخت
* مجموعه
* عنصر
* رده
* اصل موضوع
* قضیه
* برهان
* تعبیرات
* سازگاری
* درستی
* کاملیت
* تصمیم‌پذیری
* انجام‌پذیری
* استقلال
* زبان صوری
* دستگاه صوری
* دستگاه قیاسی
* نظریهٔ مجموعه
* نظریهٔ برهان
* نظریهٔ مدل
* نظریهٔ بازگشتی
* نظریهٔ انواع
* نحو
* معناشناسی
* دنباله معنایی
* دنباله نحوی

 |
| گزاره‌ای | 
* + توابع بولی
* حساب مسندات تکین
* حساب گزاره‌ای
* ادات منطقی
* جدول ارزش

 |
| محمولات | 
* + منطق دسته یکم
* سورها
* منطق دسته دوم

 |
| موجهات | 
* + تکلیفی
* شناختی
* زمانمند
* اعتقادی

 |
| غیرکلاسیک‌های دیگر | 
* محاسبه‌پذیری
* فازی
* خطی
* ربط
* نایک‌نوا

 |

 |
| مجادله‌ها | 
* + ناهماهنگی‌پذیری
* دودُرُستی
* منطق شهودگرایانه
* متناقض‌نماها
* خلاف‌آمدها
* تجربی بودن منطق

 |
| افراد اصلی | 
* ابن النفیس
* ابن تیمیه
* ابن حزم
* ابن رشد
* ابن سینا
* ارسطو
* برتراند راسل
* اسکولم
* بول
* پئانو
* پاتنم
* پانینی
* پولس ایرانی
* پیرس
* تارسکی
* تورینگ
* چرچ
* دارماکیرتی
* دیگناگه
* شهاب‌الدین یحیی سهروردی
* غزالی
* فارابی
* فخر رازی
* فرگِه
* کارناپ
* کانادا
* کانتور
* کریپکه
* کِنْدی
* کواین
* گنتزن
* گوتاما
* گودل
* لطفی زاده
* موتزی
* ناگارجونه
* هیلبرت
* وایت‌هد

 |
| فهرست‌ها | 
* + منطق‌دانان
* قواعد استنتاج
* متناقض‌نماها
* سفسطه‌ها
* عمومی
* جدول نمادها

 |
| 
* رده
* نوشتارهای ناتمام
* نوشتارهای ناتمام منطق ریاضی

 |

| * ن
* ب
* و
بهینه‌سازی: تئوری، روش‌ها، و ابتکارها |
| --- |
| 

| برنامه‌سازی نامقید غیرخطی: روش‌ها با استفاده از |
| --- |
| 

|  |  |
| --- | --- |
| … تابع‌ها | 
* Golden section search
* Interpolation methods
* Line search
* روش نلدر - مید
* Successive parabolic interpolation

 |
| … و گرادیان‌ها | 

|  |  |
| --- | --- |
| Convergence | 
* Trust region
* Wolfe conditions

 |
| Quasi–Newton | 
* روش بی‌اف‌جی‌اس and L-BFGS
* DFP
* Symmetric rank-one (SR1)

 |
| Other methods | 
* Gauss–Newton
* Gradient
* الگوریتم لونبرگ-مارکارد
* Conjugate gradient

 |

 |
| … و هشین‌ها | 
* Newton's method

 |

 |

 | The graph of a strictly concave quadratic function is shown in blue, with its unique maximum shown as a red dot. Below the graph appears the contours of the function: The level sets are nested ellipses.Optimization computes maxima and minima. |
| 

| برنامه‌سازی مقید غیرخطی |
| --- |
| 

|  |  |
| --- | --- |
| کلی | 
* Barrier methods
* روش پنالتی

 |
| مشتق‌پذیر | 
* Augmented Lagrangian methods
* Sequential quadratic programming
* Successive linear programming

 |

 |

 |
| 

| بهینه‌سازی محدب |
| --- |
| 

|  |  |
| --- | --- |
| بهینه‌سازی محدب | 
* Cutting-plane method
* Reduced gradient (Frank–Wolfe)
* Subgradient method

 |
| برنامه‌ریزی خطی ودرجه دو | 

|  |  |
| --- | --- |
| برنامه‌ریزی خطی | 
* Ellipsoid algorithm of Khachiyan
* الگوریتم کارمارکار

 |
| Basis-الگوریتم حریصانه | 
* الگوریتم غیر مرکب
* Revised simplex algorithm
* Criss-cross algorithm
* Principal pivoting algorithm of Lemke

 |

 |

 |

 |
| 

| بهینه‌سازی ترکیبیاتی |
| --- |
| 

|  |  |
| --- | --- |
| الگو‌ها | 
* الگوریتم تقریبی
* برنامه‌ریزی پویا
* الگوریتم حریصانه
* بهینه‌سازی خطی عدد صحیح
	+ شاخه و حد یا شاخه و برش

 |
| الگوریتم‌هایگراف | 

|  |  |
| --- | --- |
| درخت پوشای کمینه | 
* الگوریتم بلمن–فورد
* الگوریتم بروکا
* الگوریتم دیکسترا
* الگوریتم فلوید-وارشال
* الگوریتم جانسون
* الگوریتم کراسکال

 |

 |
| شبکه شاره | 
* الگوریتم دینیک
* الگوریتم ادموندز کارپ
* الگوریتم فورد–فالکرسون
* الگوریتم ارسال-برچسب

 |

 |

 |
| 

| الگوریتم‌های فراابتکاری |
| --- |
| 
* الگوریتم تکاملی
* الگوریتم تپه‌نوردی
* الگوریتم جستجوی محلی (بهینه‌سازی)
* الگوریتم تبرید شبیه‌سازی شده
* الگوریتم جستجوی ممنوعه

 |

 |
| 
* **رده‌ها**
	+ روش‌ها
	+ ابتکارها
* **نرم‌افزارها**

 |

| * ن
* ب
* و
موضوعات اصلی در آنالیز ریاضی |
| --- |
| 
* **حسابان**: انتگرال
* مشتق
* معادله دیفرانسیلs (معادله دیفرانسیل معمولی - معادله دیفرانسیل با مشتقات جزئی)
* قضیه اساسی حسابان
* حساب تغییرات
* حساب برداری
* حساب تنسوری
* فهرست‌های انتگرال‌ها
* قواعد دیفرانسیل گیری

 |
| 
* آنالیز حقیقی
* آنالیز مختلط
* آنالیز تابعی
* آنالیز فوریه
* آنالیز هارمونیک
* اندازه (ریاضیات)
* نظریه نمایش

* تابع
* تابع پیوسته
* توابع خاص
* حد (ریاضی)
* سری (ریاضیات)
* بی‌نهایت

 |
| **درگاه:ریاضیات** |

|  |  |
| --- | --- |
| داده‌های کتابخانه‌ای: کتابخانه‌های ملی ویرایش در ویکی‌داده | 
* فرانسه (داده‌ها)
* آلمان
* اسرائیل
* ایالات متحده آمریکا
* ژاپن
* جمهوری چک

 |