Komposisi fungsi
Dalam matematika, komposisi fungsi adalah operasi yang mengambil dua fungsi  dan  dan menghasilkan fungsi  sehingga . Fungsi  pada operasi ini diterapkan ke dalam hasil penerapan fungsi  ke . Artinya, fungsi  dan  dikomposisikan untuk menghasilkan sebuah fungsi yang memetakan  di  ke  di . Secara intuitif, jika  adalah fungsi , dan  adalah fungsi , maka  adalah fungsi . Hasil fungsi komposisi yang dinyatakan sebagai , didefinisikan sebagai  untuk semua  dalam .

Notasi  dibaca sebagai " komposisi " atau " bundaran ". Secara intuitif, mengomposisikan fungsi-fungsi adalah proses perangkaian yang memasukkan nilai keluaran () fungsi  ke nilai masukan () fungsi .

Komposisi fungsi adalah sebuah kasus istimewa dari komposisi hubungan. Komposisi fungsi terkadang juga dinyatakan sebagai . Akibatnya, semua sifat-sifat komposisi relasi adalah benar untuk komposisi fungsi, contohnya seperti sifat asosiatif. Namun komposisi fungsi berbeda dari perkalian fungsi, dan memiliki beberapa sifat-sifat yang cukup berbeda. Penjelasan secara khususnya, komposisi fungsi tidak memiliki sifat komutatif.

Contoh-contoh 

Contoh komposisi fungsi biasanya melibatkan himpunan hingga dan himpunan takhingga.

 Komposisi fungsi pada himpunan hingga: Jika , dan , maka . Lihat di gambar.
 Komposisi fungsi pada himpunan takhinggaː Jika  (dengan  adalah himpunan dari semua bilangan real) dinyatakan, sebagai contoh,  dan   dinyatakan, sebagai contoh pula, , maka

dan
.
Selain contoh di atas, komposisi fungsi juga diterapkan dalam kehidupan sehari-hari. Sebagai contoh,

 Jika sebuah ketinggian pesawat terbang pada waktu  adalah  dan tekanan udara pada ketinggian  adalah , maka  adalah tekanan di sekitar pesawat pada waktu .

Sifat-sifat komposisi fungsi 
Komposisi fungsi selalu asosiatif. Artinya, jika , , dan  terkomposisikan, maka . Biasanya, tanda kurung dihilangkan karena tidak mengubah hasil komposisi fungsi tersebut.

Penjelasan singkatnya, komposisi  hanya berarti bahwa jika kodomain  sama dengan domain . Namun dalam penjelasan yang lebih luas, komposisi  cukup dikatakan bahwa fungsi pertama merupakan himpunan bagian dari fungsi terakhir. Bahkan, hal tersebut seringkali membatasi domain  secara diam-diam, sehingga  hanya menghasilkan nilai dalam domain . Sebagai contoh, komposisi  dari fungsi  dinyatakan sebagai fungsi , dan  yang dinyatakan sebagai fungsi , dapat dinyatakan pada interval .

Fungsi  dan  dikatakan komutatif dengan satu sama lain jika , karena komutatif adalah sebuah sifat yang istimewa, yang hanya didapatkan dengan fungsi khusus dan seringkali dalam keadaan khusus. Sebagai contoh,  hanya ketika .

Komposisi dari fungsi injektif selalu injektif. Mirip dengan sebelumnya, komposisi dari fungsi surjektif selalu surjektif. Jadi, komposisi dari dua fungsi bijeksi juga bijeksi. Kebalikan dari komposisi fungsi memiliki sifat .

Turunan komposisi fungsi yang melibatkan fungsi terdiferensialkan dapat dicari dengan menggunakan aturan rantai. Namun, turunan tingkat tinggi dari fungsi tersebut dapat dicari dengan menggunakan rumus Faà di Bruno.

Monoid komposisi 

Misalkan komposisi fungsi mempunyai dua fungsi lebih ,  yang memiliki domain dan kodomain yang sama, maka komposisi fungsi tersebut dapat dibentuk rantai dari transformasi yang dikomposisi bersama, contohnya seperti . Rantai tersebut memiliki struktur aljabar dari sebuah monoid, yang disebut sebagai monoid komposisi atau (istilah yang jarang dipakai disebut) monoid transformasi. Biasanya, monoid transformasi dapat memiliki struktur yang sangat rumit. Contoh penting yang terkait dengannya adalah kurva de Rham. Himpunan semua fungsi  disebut semigrup transformasi penuh () atau semigrup simetris () pada . (Sebenarnya hal ini dapat mendefinisikan dua semigrup tergantung bagaimana caranya mendefinisikan operasi semigrup sebagai komposisi fungsi dari kiri atau dari kanan.)

Jika transformasi adalah bijektif (dan akibatnya transformasinya dikatakan terbalikkan), maka himpunan dari semua kombinasi dari fungsi-fungsi ini kemungkinan membentuk sebuah grup transformasi, dan adapula yang mengatakan bahwa grupnya dihasilkan oleh fungsi-fungsi ini.

Teorema Cayley, teorema yang menjelaskan hasil dasar dalam teori grup, mengatakan bahwa setiap grup isomorfimis ke subgrup dari grup permutasi. Himpunan dari semua fungsi bijektif  (yang disebut permutasi) membentuk sebuah grup terhadap komposisi fungsi. Grup tersebut disebut grup simetri, atau terkadang juga disebut grup komposisi.

Dalam semigrup simetrik (dari semua transformasi), ada juga yang menemukan gagasan tidak unik dan lebih lemah mengenai invers (yang disebut invers-semu), karena semigrup simetrik merupakan semigrup reguler.

Pangkat fungsional 

Fungsi  dapat mengomposisikan dengan dirinya sendiri, jika  adalah subhimpunan dari . Terkadang secara simbolis, hal ini dinyatakan dalam bentuk perpangkatan fungsi. Sebagai contoh,

 
 
 

Lebih umumnya lagi, untuk setiap bilangan asli , pangkat fungsional ke- dapat didefinisikan secara induktif dengan. Notasi ini diperkenalkan oleh Hans Heinrich Bürmann dan John Frederick William Herschel. Komposisi berulang dari fungsi tersebut dengan sendirinya disebut fungsi teriterasi.

 Menurut konvensi,  didefinisikan sebagai pemetaan identitas pada domain , .
 Bahkan jika  dan  memuat fungsi invers , maka perpangkatan fungsional negatif  didefinisikan untuk  sebagai perpangkatan negatif dari fungsi inversː .

Selain itu, gagasannya dapat diperumum sehingga perhitungan berulang menjadi parameter kontinu, dalam kasus ini. Sistem tersebut dinamakan alir, yang dipakai untuk menyelesaikan persamaan Schröder. Fungsi yang berulang dan alir terjadi secara alami dalam studi fraktal dan sistem dinamikal.

Sayangnya, notasi pangkat fungsional memiliki makna yang bersifat ambigu. Sebagai contoh, jika  mengambil nilainya dari gelanggang (khususnya untuk  bernilai real atau kompleks), maka yang ada menimbulkan kebingungan. Hal ini karena notasi  juga dapat diartikan sebagai darab -lipat dari , misalnya . Selain itu, dalam fungsi trigonometri, notasi yang terakhir biasanya mengartikan setidaknya untuk eksponen positif. Notasi superskrip tersebut mewakili eksponensiasi, contohnya . Namun, adapula eksponen bernilai negatif. Biasanya, eksponen bernilai negatif (khususnya hanya untuk ) merujuk pada fungsi invers, contohnya,  mengartikan invers dari tangen, bukan .

Pencegahan keambiguan pada notasi pangkat fungsional dapat dilihat di sini.

Pangkat fungsional berupa pecahan 
Dalam beberapa kasus, ketika, untuk fungsi  yang dinyatakan sebagai persamaan  mempunyai sebuah penyelesaian tunggal , maka fungsi tersebut dapat didefinisikan sebagai akar kuadrat fungsional , yang dinyatakan sebagai . Lebih umumnya lagi, jika  mempunyai sebuah penyelesaian tunggal untuk suatu bilangan asli , maka  dapat didefinisikan sebagai .

Notasi alternatif 
Dalam cabang teori grup, banyak matematikawan menghilangkan simbol pada operasi komposisi fungsi, yaitu simbol bundar. Dengan kata lain, mereka menulis  alih-alih .

Pada pertengahan abad ke-20, ada beberapa matematikawan mengatakan bahwa menulis "" mengartikan "terapkan fungsi  dahulu, lalu terapkan fungsi " terlalu membingungkan dan memutuskan untuk mengubah notasi tersebut. Mereka menulis "" untuk "" dan "" untuk "". Penulisan ini dapat lebih alami dan tampak lebih sederhana daripada menulis fungsi di sebelah kiri dalam beberapa cabang matematika, misalnya dalam aljabar linear, ketika  adalah vektor baris dan  dan  melambangkan matriks dan komposisinya dilambangkan dengan perkalian matriks. Notasi alternatif yang ditulis tadi disebut notasi postfiks. Urutan komposisi fungsi tersebut penting karena tidak memerlukan sifat komutatif, contohnya seperti perkalian matriks. Transformasi penerusnya menerapkan dan menyusun ke kanannya agar sesuai dengan urutan pembacaan dari kiri-ke-kanan.

Para matematikawan yang menggunakan notasi postfiks dapat menulis "", yang berarti "terapkan  dahulu, kemudian terapkan ," Hal ini disesuaikan dengan urutan simbol-simbol yang terjadi dalam notasi postfiks, sehingga membuat notasi "" menjadi ambigu.

Para ilmuwan komputer dapat menulis "", namun hal ini mengakibatkan urutan komposisi fungsi menjadi disambiguasi. Agar dapat membedakan operator komposisi kiri dari semikolon teks, dalam notasi Z, karakter ⨾ digunakan untuk mengartikan komposisi relasi kiri. Karena semua fungsi adalah relasi biner, maka hal ini benar untuk semikolon [tebal] yang dipakai sebagai komposisi fungsi juga (lihat artikel komposisi relasi untuk mengetahui lebih banyak tentang notasi tersebut).

Notasi alternatif untuk pangkat fungsional 
Selain itu, notasi pangkat fungsional juga mempunyai pengertian yang bersifat ambigu. Untuk menghindari hal tersebut, beberapa matematikawan menggunakan simbol  untuk melambangkan pengertian komposisional, dengan menulis  sebagai iterasi ke- dari fungsi , sebagai contoh,  berarti . Benjamin Peirce menggunakan notasi , sedangkan Alfred Pringsheim dan Jules Molk menyarankan untuk menggunakan notasi .

Fungsi multivariabel 
Komposisi parsial dapat berlaku untuk fungsi multivariabel. Pada beberapa konteks dalam teknik komputer, fungsinya dihasilkan ketika ada suatu argumen  dari fungsi  yang digantikan dengan fungsi . Ini disebut komposisi  dan , dan secara simbolis dilambangkan sebagai .

 

Ketika  adalah konstanta sederhana , maka komposisinya merosot menjadi penilaian (parsial). Hasil dari komposisi tersebut juga dikenal sebagai pembatasan atau ko-faktor.

 

Biasanya, komposisi fungsi banyak variabel dapat melibatkan beberapa fungsi lainnya sebagai argumen, seperti dalam definisi fungsi rekursif primitif. Penjelasan lebih lanjut, misalkan  adalah fungsi -er dan  adalah fungsi -er, maka komposisi  dengan  adalah fungsi -er.

 .

Komposisi fungsi di atas terkadang disebut komposit perumuman atau superposisi dari  dengan . Seperti yang disebutkan sebelumnya, komposisi parsial yang hanya dalam satu argumen dapat dipakai dari skema yang lebih umum dengan membuat semua fungsi argumen, kecuali merupakan fungsi proyeksi. Fungsi  dapat dipandang sebagai fungsi vektor tunggal atau fungsi bernilai tupel dalam skema yang umum ini, dan ini merupakan definisi standar dari komposisi fungsi yang tepat.

Himpunan operasi finiter pada suatu himpunan dasar  disebut klon jika ia memuat semua proyeksi dan tertutup terhadap komposisi perumuman. Perhatikan bahwa klon biasanya memuat operasi berbagai ariter. Perumuman menarik dari gagasan tentang pertukaran dari komposisi fungsi multivariabel tersebut mengatakan: fungsi  ariter  dikatakan komutatif dengan fungsi  ariter  jika  adalah fungsi kekal homomorfisme , dan begitupula dengan sebaliknya. Ini dirumuskan sebagai

 .

Operasi uner selalu komutatif dengan dirinya sendiri, tetapi pernyataan ini tidak sepenuhnya benar untuk sebuah operasi biner (atau operasi ariter yang lebih tinggi). Operasi biner (atau operasi ariter yang lebih tinggi) yang komutatif dengan dirinya disebut medial atau entropik.

Perumuman 
Perumuman komposisi ke relasi biner sebarang mengatakan bahwa  jika  dan  merupakan dua relasi biner, maka komposisi  adalah relasi yang didefinisikan sebagai . Untuk memahaminya lebih lanjut, anggaplah sebuah fungsi sebagai sebuah kasus istimewa dari relasi biner (yaitu relasi fungsional), maka komposisi fungsi memenuhi definisi tentang komposisi relasi. Sebuah lingkaran kecil pada notasi komposisi  digunakan untuk notasi infiks dari komposisi relasi, dan juga untuk fungsi. Namun ketika simbol tersebut dipakai untuk mewakili komposisi fungsi , maka urutan teksnya dibalik agar menjelaskan berbagai urutan operasi.

Komposisinya didefinisikan dengan cara yang sama untuk fungsi parsial, dan teorema Cayley mempunyai pernyataan yang menyerupai teorema Wagner–Preston.

Kategori himpunan dengan fungsi sebagai morfisme merupakan kategori prototipikal. Aksioma dari sebuah kategori sebenarnya terinspirasi dari sifat-sifat (dan juga definisi) komposisi fungsi. Strukturnya dinyatakan dengan komposisi yang bersifat aksiomatisasi dan diperumum dalam teori kategori dengan konsep morfisme sebagai fungsi pengganti teoretis-kategori. Kebalikan urutan komposisi dalam rumus  berlaku untuk komposisi relasi yang menggunakan relasi sebalik, dan demikian juga dalam teori grup. Struktur ini membentuk kategori belati.

Tipografi 
Simbol komposisi  memiliki kode dalam Unicode, yaitu . Namun simbol komposisi dalam markah TeX ditulis sebagai\circ.

Lihat pula 

 Akar kuadrat fungsional
 Alir (matematika)
 Dekomposisi fungsional
 Fungsi berulang
 Fungsi tingkat tinggi
 Fungsi variabel acak, sebaran fungsi dari variabel acak
 Gelanggang komposisi, aksiomatisasi formal dari operasi komposisi
 Kalkulus Lambda
 Komposisi fungsi (ilmu komputer)
 Komposisi takhingga fungsi analitik
 Logika kombinasi
 Operator komposisi
 Plot sarang laba-laba – teknik grafik tentang komposisi fungsional

Catatan

Referensi

Pranala luar 

 
 "Composition of Functions" by Bruce Atwood, the Wolfram Demonstrations Project, 2007.

Operasi biner
Fungsi matematika
Konsep dasar dalam teori himpunan