ترکیب تابع
در ریاضیات، ترکیب تابع یک نگاشت نقطه به نقطه از یک تابع به تابعی دیگر است برای تولید تابعی سوم. برای مثال دو تابع و تابع می‌توانند ترکیب شوند و حاصل تابعی خواهد بود که مقدار در را به مقدار در نگاشت می‌کند. به‌طور شهودی، اگر حاصل تابع از باشد و حاصل تابع از باشد، بنابراین حاصل تابعی از است.
تابع حاصل که به صورت نماد می‌شود -که در بسیاری از منابع شامل این مقاله به صورت نیز نوشته می‌شود- برای تمام های عضو به صورت تعریف می‌شود. نماد به صورت‌های " در دایره "، " دور "، "ترکیب با "، " بعد از "، " به دنبال " و " ی " و " اُ "نیز خوانده می‌شود. مشتق ترکیب توابع مشتق پذیر از طریق قاعده زنجیره ای بدست می‌آید. مشتق‌های مراتب بالاتر از چنین توابعی از رابطهٔ فادی برونو به دست می آیند.
ترکیب تابع همیشه شرکت پذیر است. به این معنا که اگر ، و سه تابع با دامنه و برد مناسب باشند، در اینصورت ، که در اینجا پرانتز به این معناست که عمل ترکیب ابتدا بر روی دو تابع داخل پرانتز صورت می‌گیرد. بنابراین چون محل قرارگیری پرانتزها در حاصل نهایی ترکیب تأثیری ندارد، می‌توان آن‌ها را بدون پیش آمد هیچ ابهامی حذف کرد. گفته می‌شود دو تابع و با یکدیگر خاصیت جابه‌جایی دارند اگر . در کل، ترکیب توابع تعویض پذیر نخواهند بود. تعویض‌پذیری یک خاصیت ویژه است که توابع مخصوصی دارای آن می‌باشند و در موقعیت‌های خاص اتفاق می افتد. برای مثال، |x| + 3 = |x + 3| فقط زمانی صادق است که . به عنوان مثال فرض کنید ارتفاع یک هواپیما در زمان توسط تابع تعیین می‌شود، و تراکم اکسیژن درون هواپیما در ارتفاع توسط تابع تعیین می‌شود. بنابراین تابع ( میزان تراکم اکسیژن درون هواپیما در زمان را تعریف می‌کند.
مقاله اصلی: تابع مکرر اگر formula_1، تابع formula_2 می‌تواند با خودش ترکیب شود. این ترکیب در بعضی مواقع با "f" نشان داده می‌شود. بنابراین:
ترکیب بیش از یک بار یک تابع با خودش، تابع مکرر نامیده می‌شود.
خواص ترکیب تابع:
نکته: اگر تابع مقادیر خود را در یک حلقه بگیرد (به خصوص برای ‌های حقیقی یا مختلط)، ممکن است اشتباه پیش آید، چرا که به معنای ضرب بار در خودش نیز می‌باشد. (مثال ) برای توابع مثلثاتی، معمولاً دومی مد نظر است (حداقل برای توان‌های مثبت) . برای مثال در مثلثات، نماد اندیس بالایی وقتی برای توابع مثلثاتی به کار می‌رود به معنای به توان رسیدن معمولی است، مثلا: . در عین حال برای توان‌های منفی (به خصوص −1) معمولاً به وارون تابع اشاره می‌کند. مثلا: .
در بعضی مواقع، یک عبارت برای از می‌توان به دست آورد اگر مقادیر غیر صحیح باشند. این مضمون "مکرر کسری" نام دارد. برای مثال مکرر تابع تابعی مانند است که در رابطهٔ صدق کند. در مثالی دیگر، اگر تابع جانشین باشد، .
این ایده می‌تواند به این صورت عمومی‌سازی شود که شمارش مکررسازی یک پارامتر مداوم شود. این سیستم یک جریان نام دارد، که توسط راه حل‌های معادله ی شرودر مشخص می‌شود. توابع مکرر و جریان‌ها به‌طور معمول در مطالعهٔ فراکتال‌ها و سیستم‌های دینامیک ظاهر می‌شوند.
مقاله اصلی: تکوارهای دگرگونی فرض کنیم دو تابع با دامنه و برد برابر باشند. می‌توان رشته‌های بلند و بالقوه پیچیده‌ای از ترکیب این دو تابع تولید کرد، مثل . چنین رشته‌هایی ساختمان جبری یک تکوار را دارا می‌باشند، و یک تکوار دگرگونی نامیده می‌شوند. در کل، تکوارهای ترکیب، می‌توانند دارای ساختمان‌های بسیار پیچیده باشند. یک مثال خاص در این مورد منحنی درام است. مجموعهٔ تمام توابع ، یک نیم گروه کامل دگرگونی بر روی نامیده می‌شود.
اگر توابع دوسو باشند، مجموعهٔ تمام ترکیب‌های ممکن از این توابع، تشکیل یک گروه دگرگونی می‌دهند؛ و گفته می‌شود که این گروه از این توابع به دست آمده‌است.
مجموعهٔ تمام توابع دوسوی ، یک گروه نسبت به عملگر ترکیب می‌سازد که گروه متقارن یا گاهی گروه ترکیب نامیده می‌شود. مقاله اصلی: عملگر ترکیب با استفاده از تابع ، عملگر ترکیب به صورت عملگری تعریف می‌شود که توابع را به هم مربوط می‌کند. عملگرهای ترکیب در رشتهٔ نظریه عملگرها مطالعه می‌شوند.
ساختمان ترکیب تابع در نظریه رده ها و با مفهوم مورفیزم، به عنوان جایگزین رده ای-تئوری توابع، اصل‌گذاری شده‌است. ترکیب برای توابع چند متغیره نیز امکان‌پذیر است. تابع به دست آمده هنگامی که جایگزین متغیر از تابع می‌شود، یک ترکیب و نامیده می‌شود و به صورت نمادگذاری می‌شود.
هنگامی که یک ثابت سادهٔ "b" باشد، ترکیب به صورت یک ارزه (ی ناقص) در می‌آید، که نتیجهٔ آن به عنوان یک محدودیت یا یک عامل کمکی شناخته شده‌است.