Turunan: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
Blizzard youkai (bicara | kontrib)
tambah isi
InternetArchiveBot (bicara | kontrib)
Add 1 book for Wikipedia:Pemastian (20231010)) #IABot (v2.0.9.5) (GreenC bot
 
(185 revisi perantara oleh 61 pengguna tidak ditampilkan)
Baris 1:
{{Kalkulus}}
'''Turunan''' adalah suatu objek yang berdasarkan atau dibuat dari suatu sumber dasar. Arti ini penting dalam [[linguistik]] dan [[etimologi]], dimana bentuk '''turunan''' dari suatu kata terbentuk dari beberapa kata dasar. Dalam [[kimia]], '''turunan''' adalah [[senyawa]] yang terbentuk dari beberapa senyawa. Dalam [[finansial]], '''turunan''' adalah kependekan dari [[jaminan turunan]].
{{about|istilah yang digunakan dalam kalkulus|ulasan yang lebih umum|kalkulus diferensial|kegunaan lainnya|}}
[[Berkas:Tangent to a curve.svg|jmpl|[[Grafik fungsi]] (warna hitam) dan [[garis tangen]] pada fungsi (warna merah). [[Kemiringan]] dari garis tangen sama dengan turunan fungsi pada titik tersebut.]]
 
Dalam [[matematika]], '''turunan''' atau '''derivatif''' dari suatusebuah [[fungsi]] adalah satucara darimengukur duasensitivitas konsepperubahan utamanilai dalamfungsi terhadap perubahan pada nilai [[kalkulusvariabel]]nya. [[Invers]]Sebagai daricontoh, turunan disebutdari posisi sebuah benda bergerak terhadap waktu mengukur [[antiturunankecepatan]], ataubenda [[integralbergerak takketika tentuwaktu berjalan. Turunan adalah alat penting dalam [[kalkulus]].
 
Turunan sebuah fungsi satu variabel di suatu titik, jika itu ada, adalah [[kemiringan]] dari [[garis singgung]] dari grafik fungsi di titik tersebut. Garis singgung adalah [[Hampiran linear|hampiran (aproksimasi) linear]] terbaik dari fungsi di sekitar titik tersebut. Konsep turunan dapat diperumum untuk fungsi multivariabel. Dalam perumuman ini, turunan dianggap sebagai [[transformasi linear]], dengan translasi yang sesuai, menghasilkan hampiran [[linear]] dari grafik fungsi multivariabel tersebut. [[Matriks Jacobi]] adalah [[Matriks (matematika)|matriks]] yang merepresentasikan transformasi linear terhadap suatu [[Basis (aljabar linear)|basis]] yang ditentukan. Matriks ini dapat ditentukan dengan [[turunan parsial]] dari variabel-variabel independen. Pada fungsi multivariabel bernilai real, matriks Jacobi tereduksi menjadi [[Gradien|vektor gradien]].
*<math>(\ln x)' = \frac{1}{x}\,</math>
*<math>(\sin x)' = \cos x\,</math>
*<math>(\cos x)' = -\sin x\,</math>
*<math>(\tan x)' = \sec ^2 x\,</math>
 
Proses menemukan turunan disebut '''diferensiasi'''. Kebalikan proses ini disebut dengan ''[[antiturunan]]''. [[Teorema fundamental kalkulus]] menyatakan hubungan diferensiasi dengan [[integral|integrasi]]. Turunan dan integral adalah dua operasi dasar dalam kalkulus satu-variabel.
*<math>y'</math> adalah simbol untuk turunan pertama.
*<math>y''</math> adalah simbol untuk turunan kedua.
*<math>y'''</math> adalah simbol untuk turunan ketiga.
 
Konsep turunan fungsi yang universal banyak digunakan dalam berbagai cabang matematika maupun bidang ilmu yang lain. Dalam bidang [[ekonomi]], turunan digunakan untuk menghitung [[biaya marginal]], total penerimaan, dan biaya produksi. Bidang [[biologi]] menggunakan turunan untuk menghitung laju pertumbuhan mikroorganisme, dalam bidang [[fisika]] untuk menghitung kepadatan kawat, dalam bidang [[kimia]] untuk menghitung laju pemisahan, dalam bidang [[geografi]] untuk menghitung laju pertumbuhan penduduk, dan masih banyak lagi.
simbol lainnya selain <math>y'\,</math> dan <math>y''\,</math> adalah <math>\frac{dy}{dx}\,</math> dan <math>\frac{dy^2}{(dx^2)}\,</math>
 
== Pendahuluan ==
[[af:Afgeleide]]
Secara informal, turunan dari sebuah [[Fungsi (matematika)|fungsi]] {{math|1=''y'' = ''f''(''x'')}} dengan variabel {{math|''x''}} adalah ukuran dari rasio perubahan nilai {{math|''y''}} terhadap perubahan nilai variabel {{math|''x''}}. Jika {{math|''x''}} dan {{math|''y''}} adalah [[bilangan real]], dan jika grafik fungsi {{math|''f''}} diplot terhadap {{math|''x''}}, besar turunan dari fungsi ini pada sembarang titik menandakan kemiringan dari grafik fungsi pada titik tersebut.[[Berkas:Wiki slope in 2d.svg|thumb|Kemiringan dari fungsi linear {{math|''y'' {{=}} ''f''(''x'') {{=}} ''mx'' + ''b''}} adalah <math>m=\tfrac{\Delta y}{\Delta x}</math>]]Kasus sederhana dari fungsi {{math|''f''(''x'')}} adalah [[Fungsi linear (kalkulus)|fungsi linear]] yang memiliki persamaan {{math|''y'' {{=}} ''f''(''x'') {{=}} ''mx'' + ''b''}}, dengan bilangan real {{math|''m''}} dan {{math|''b''}}. Kemiringan dari fungsi ini, {{math|''m''}}, dinyatakan dengan
[[ar:اشتقاق (رياضيات)]]
 
[[bg:Производна]]
: <math>m=\frac{\text{perubahan nilai } y}{\text{perubahan nilai } x} = \frac{\Delta y}{\Delta x},</math>
[[ca:Derivada]]
 
[[cs:Derivace]]
dengan simbol {{math|Δ}} ([[Delta (huruf)|Delta]]) adalah singkatan untuk "perubahan nilai", dan simbol <math>\Delta x</math> dan <math>\Delta y</math> masing-masing menyatakan besar perubahan yang terjadi. Sebagai contoh,<math display="block">\Delta y = f(x + \Delta x)- f(x).</math>Persamaan di atas berlaku, karena<math display="block">\begin{align}
[[da:Differentialregning]]
y + \Delta y &= f\left( x+\Delta x\right)\\
[[de:Differentialrechnung]]
&= m\left( x+\Delta x\right) +b =mx +m\Delta x +b \\
[[en:Derivative]]
&= y + m\Delta x.
[[eo:Derivaĵo (matematiko)]]
\end{align} </math>dan menghasilkan persamaan <math> \Delta y=m\Delta x </math> yang memberikan persamaan kemiringan dari suatu garis.
[[es:Derivada]]
 
[[fa:مشتق]]
{{multiple image
[[fi:Derivaatta]]
| align = right
[[fr:Dérivée]]
| direction = vertical
[[he:נגזרת]]
| width = 220
[[hu:Differenciálhatóság]]
| header = Nilai perubahan sebagai nilai limit
[[io:Derivado]]
| image1 = Tangent-calculus.svg
[[is:Deildun]]
| caption1 = '''Gambar 1.''' Garis singgung pada (''x'', ''f''(''x''))
[[it:Derivata]]
| image2 = Secant-calculus.svg
[[ja:微分]]
| caption2 = '''Gambar 2.''' [[Garis sekan]] pada grafik fungsi ''y''= ''f''(''x'') yang melalui titik (''x'', ''f''(''x'')) dan {{nowrap|(''x'' + ''h'', ''f''(''x'' + ''h''))}}
[[ko:미분]]
| image3 = Lim-secant.svg
[[lt:Išvestinė]]
| caption3 = '''Gambar 3.''' Garis singgung sebagai limit dari garis sekan
[[nl:Afgeleide (wiskunde)]]
| image4 = Derivative GIF.gif
[[no:Derivasjon]]
| caption4 = '''Gambar 4.''' Ilustrasi animasi: garis singgung (turunan) sebagai limit dari garis-garis sekan
[[pl:Pochodna funkcji]]
}}
[[ps:مشتق]]
 
[[pt:Derivada]]
Jika fungsi {{math|''f''}} tidak linear (maksudnya grafik fungsi bukan berupa garis lurus), maka perubahan nilai {{math|''y''}} dibagi dengan perubahan nilai {{math|''x''}} dapat berubah-ubah tergantung nilai perubahan nilai {{math|''x''}} yang dipilih. Turunan adalah metode untuk menentukan nilai unik dari perbandingan perubahan nilai tersebut, yang tidak tergantung besar perubahan <math>(\Delta x),</math> melainkan titik {{math|''x''}} yang dipilih. Metode menentukan turunan dapat diilustrasikan lewat Gambar 1 sampai Gambar 3, yang menggambarkan nilai [[limit]] dari perbandingan {{math|Δ''y'' / Δ''x''}} dengan besar {{math|Δ''x''}} menuju 0.
[[ro:Derivată]]
 
[[ru:Производная функции]]
=== Asal-usul definisi ===
[[simple:Derivative]]
[[Berkas:Tangent animation.gif|jmpl|Garis sekan yang berubah menjadi garis singgung ketika <math>\Delta x \to 0</math>.]]
[[sk:Derivácia]]
Salah satu cara umum untuk menyatakan cara diferensiasi yang intuitif ke dalam definisi yang matematis adalah dengan mendefinisikan turunan sebagai [[limit]] dari perbandingan dua bilangan real.<ref>Spivak 1994, chapter 10.</ref> Pendekatan ini dapat dijabarkan sebagai berikut.
[[sr:Извод]]
 
[[sv:Derivata]]
Misalkan {{math|''f''}} adalah fungsi bernilai real yang terdefinisi pada suatu [[Lingkungan (matematika)|lingkungan buka]] dari suatu bilangan real {{math|''a''}}. Dalam geometri, garis singgung dari grafik fungsi {{math|''f''}} di {{math|''a''}} adalah suatu garis unik yang melalui titik {{math|(''a'', ''f''(''a''))}} dan ''tidak'' memotong fungsi {{math|''f''}} di sekitar titik {{math|(''a'', ''f''(''a''))}}. Turunan dari {{math|''y''}} terhadap {{math|''x''}} di {{math|''a''}} secara geometris adalah besar kemiringan dari garis singgung grafik {{math|''f''}} di {{math|(''a'', ''f''(''a''))}}. Besar kemiringan garis singgung akan sangat mirip dengan besar kemiringan garis yang melalui titik {{math|(''a'', ''f''(''a''))}} dan sebuah titik lain di grafik yang dekat dengannya, sebagai contoh {{math|(''a'' + ''h'', ''f''(''a'' + ''h''))}}. Garis yang didefinisikan ini disebut dengan [[garis sekan]]. Nilai {{math|''h''}} yang dekat dengan nol akan memberikan hampiran (dugaan, aproksimasi) yang baik mengenai besar kemiringan garis singgung; dan secara umum, nilai ([[Nilai mutlak|mutlak]]) {{math|''h''}} yang semakin kecil akan memberikan hampiran yang lebih baik. Besar kemiringan {{math|''m''}} dari garis sekan adalah perbedaan nilai {{math|''y''}} antara dua titik tersebut, dibagi dengan perbedaan nilai {{math|''x''}} pada dua titik yang sama, dengan kata lain<math display="block">m = \frac{\Delta f(a)}{\Delta a} = \frac{f(a+h)-f(a)}{(a+h)-(a)} = \frac{f(a+h)-f(a)}{h}.</math>[[Limit]] digunakan untuk mengubah nilai hampiran ke nilai yang pasti (''exact''). Jika nilai dari limit ketika {{math|''h''}} menuju nol ada, maka nilai ini menyatakan besar kemiringan dari garis singgung fungsi di titik {{math|(''a'', ''f''(''a''))}}. Limit ini didefinisikan sebagai turunan dari fungsi {{math|''f''}} di {{math|''a''}}:
[[th:อนุพันธ์]]
 
[[tr:Türev]]
<math display="block">f'(a)=\lim_{h\to 0}\frac{f(a+h)-f(a)}{h}.</math>
[[zh:导数]]
 
Jika nilai limit ada, {{math|''f''}} dikatakan ''terdiferensialkan'' di {{math|''a''}}. Notasi <math>f'(a)</math> adalah salah satu notasi umum untuk turunan. Definisi turunan ini mengandung hubungan yang intuitif bahwa suatu fungsi terdiferensialkan {{Math|''f''}} bersifat [[Fungsi monotonik|menaik]] jika dan hanya jika turunannya bernilai positif, dan menurun [[jika dan hanya jika]] turunannya bernilai negatif. Fakta ini sering digunakan dalam analisis mengenai perilaku fungsi, contohnya dalam menentukan [[Maksimum dan minimum|titik ekstrem]] fungsi.
 
Selain itu, turunan juga memenuhi sifat<math display="block">\lim_{h\to 0}\frac{f(a+h) - (f(a) + f'(a)\cdot h)}{h} = 0,</math>
 
yang menghasilkan interpretasi yang intuitif (lihat Gambar 1) bahwa garis singgung fungsi {{math|''f''}} di {{math|''a''}} memberikan ''hampiran linear terbaik''<math display="block">f(a+h) \approx f(a) + f'(a)h</math>
 
untuk nilai fungsi {{math|''f''}} di sekitar {{math|''a''}} (yakni, untuk nilai {{math|''h''}} yang kecil). Interpretasi ini adalah konsep termudah yang dapat diperumum ke kasus-kasus lainnya.
 
Metode subtitusi {{math|''h''}} dengan nol pada perbandingan beda tidak dapat dilakukan karena menghasilkan [[pembagian oleh nol]]. Hal ini menyebabkan besar kemiringan dari garis singgung tidak dapat ditemukan secara langsung lewat subtitusi. Besar kemiringan dapat ditentukan mendefinisikan {{math|''Q''(''h'')}} menjadi perbandingan (''quotinent'') beda sebagai fungsi dari {{math|''h''}}:<math display="block">Q(h) = \frac{f(a + h) - f(a)}{h}.</math>
 
<math>Q(h)</math> secara geometris menyatakan kemiringan dari garis sekan yang melalui <math>(a,\, f(a))</math> dan <math>(a+h,\, f(a+h))</math>. Jika {{math|''f''}} adalah [[fungsi kontinu]], secara informal mengartikan grafik fungsinya berupa kurva tak putus dan tidak mengandung celah, maka fungsi {{math|''Q''}} kontinu selain di <math>h=0</math>. Jika limit <math>\lim_{h\to0}Q(h)</math> ada, maka ada cara lain memilih nilai untuk {{math|''Q''(0)}} yang membuat {{math|''Q''}} menjadi fungsi kontinu, membuat fungsi {{math|''f''}} terdiferensialkan di {{math|''a''}}, dan besar turunannya di {{math|''a''}} sama dengan {{math|''Q''(0)}}. Pada praktiknya, keberadaan {{math|''Q''(''h'')}} yang kontinu di <math>h=0</math> ditunjukkan dengan mengubah ekspresi pada pembilang agar dapat "mencoret" semua suku {{math|''h''}} pada penyebut. Manipulasi seperti itu memungkinkan nilai limit dari {{math|''Q''}} untuk nilai {{math|''h''}} yang kecil terlihat jelas, walaupun {{math|''Q''}} masih tidak terdefinisi di <math>h=0</math>. Proses manipulasi ini dapat sangat panjang dan melelahkan untuk fungsi yang rumit, dan banyak jalan pintas digunakan untuk menyederhanakan proses.
 
=== Contoh perhitungan ===
[[Berkas:Parabola2.svg|jmpl|Fungsi kuadrat]]
Fungsi kuadrat memiliki persamaan {{math|''f''(''x'') {{=}} ''x''<sup>2</sup>}} dan diferensialkan di {{math|''x'' {{=}} 3}}, dengan nilai turunan fungsi di titik tersebut adalah 6. Hasil ini didapatkan dari menghitung limit dengan {{math|''h''}} menuju nol, dari persamaan beda {{math|''f''(3)}}:
 
<math display="block">
\begin{align}
f'(3) & = \lim_{h\to 0}\frac{f(3+h)-f(3)}{h} = \lim_{h\to 0}\frac{(3+h)^2 - 3^2}{h} \\[10pt]
& = \lim_{h\to 0}\frac{9 + 6h + h^2 - 9}{h} = \lim_{h\to 0}\frac{6h + h^2}{h} = \lim_{h\to 0}{(6 + h)}.
\end{align}
</math>Ekspresi terakhir menunjukkan persamaan beda sama dengan ekspresi {{math|6 + ''h''}} saat <math>h\neq0</math> dan tidak terdefinisi saat {{math|''h'' {{=}} 0}}, karena definisi dari persamaan beda. Tetapi, definisi dari limit menyatakan persamaan beda tidak harus terdefinisi saat {{math|''h'' {{=}} 0}}. Nilai limit adalah hasil dari membuat variabel {{math|''h''}} menuju nol, mengartikan ekspresi {{math|6 + ''h''}} saat nilai {{math|''h''}} menuju sekecil mungkin akan menjadi:<math display="block"> \lim_{h\to 0}{(6 + h)} = 6 + 0 = 6. </math>Mengartikan kemiringan dari grafik fungsi kuadrat di titik {{math|(3, 9)}} adalah {{math|6}}, dan turunannya di {{math|''x'' {{=}} 3}} adalah <math>f'(3) = 6</math>. Secara umum, perhitungan yang sama dapat digunakan untuk menunjukkan bahwa turunan fungsi kuadrat di {{math|''x'' {{=}} ''a''}} adalah <math>f'(a) = 2a</math>:
 
: <math>\begin{align}
f'(a) & = \lim_{h\to 0}\frac{f(a+h)-f(a)}{h} = \lim_{h\to 0}\frac{(a+h)^2 - a^2}{h} \\[0.3em]
& = \lim_{h\to 0}\frac{a^2 + 2ah + h^2 - a^2}{h} = \lim_{h\to 0}\frac{2ah + h^2}{h} \\[0.3em]
& = \lim_{h\to 0}{(2a + h)} = 2a
\end{align}</math><!-- == Klasifikasi penerapan yang mungkin
=== Masalah nilai ekstrem
=== Permodelan matematika
=== Matematika murni
== Contoh pada dimensi tinggi -->
 
== Sejarah ==
[[Kalkulus]], atau dikenal dalam sejarah lebih awalnya, ''kalkulus infinitesimal'', merupakan cabang [[matematika]] yang berfokus pada konsep [[limit]], [[Fungsi (matematika)|fungsi]], turunan, [[integral]], dan [[deret takhingga]]. [[Isaac Newton]] dan [[Gottfried Leibniz]] menemukan kalkulus secara terpisah pada pertengahan abad ke-17. Namun dalam [[pertikaian kalkulus Leibniz–Newton|pertikaian]] yang pahit, Leibniz dituduh bahwa ia mencuri karya Newton dan sebaliknya. Pertikaian ini berlanjut hingga kematian mereka berdua.
 
== Definisi ==
Sebuah fungsi dengan variabel [[Bilangan real|real]], <math>y=f(x)</math>, dikatakan ''terdiferensialkan'' atau ''dapat diturunkan'' pada suatu titik <math>a</math> di [[Ranah fungsi|domainnya]], jika domain fungsi tersebut mengandung suatu [[Selang (matematika)|interval buka]] <math>I</math> yang beranggotakan <math>a</math>, dan nilai [[limit]]
 
<math display="block">L=\lim_{h \to 0}\frac{f(a+h)-f(a)}h </math>ada. Hal ini mengartikan bahwa, untuk setiap [[bilangan real]] positif <math>\varepsilon</math> (bahkan jika nilainya sangat kecil), akan ada suatu bilangan real positif <math>\delta</math> sedemikian sehingga, untuk semua {{mvar|h}} yang memenuhi <math>|h| < \delta</math> dan <math>h\ne 0</math>, menyebabkan nilai <math>f(a+h)</math> terdefinisi dan<math display="block">\left|L-\frac{f(a+h)-f(a)}h\right|<\varepsilon,</math>dengan bar vertikal menyatakan [[Nilai absolut|nilai mutlak]] (lihat [[Limit fungsi|definisi epsilon-delta dari limit]]).
 
Jika fungsi <math>f</math> terdiferensialkan di <math>a</math>, dengan kata lain jika nilai limit <math>L</math> ada, maka nilai limit ini disebut ''turunan'' dari <math>f</math> di <math>a</math>, dan dinyatakan dengan <math>f'(a)</math> atau <math display="inline">\frac{df}{dx}(a)</math> (dibaca "turunan dari <math>f</math> terhadap <math>x</math> di <math>a</math>" atau "{{math|''dy''}} per {{math|''dx''}} di <math>a</math>").
 
== Kekontinuan dan keterdiferensialan ==
[[Berkas:Right-continuous.svg|ka|jmpl|Fungsi tangga tidak memiliki turunan pada titik berwarna merah, karena fungsi tidak kontinu di titik tersebut.]]
Fungsi <math>f</math> yang terdiferensialkan di suatu titik <math>a</math>, juga akan bersifat [[Fungsi kontinu|kontinu]] di titik tersebut. Sebagai contoh dari sifat ini, misalkan {{math|''f''}} adalah [[Fungsi tangga Heaviside|fungsi tangga]] yang menghasilkan nilai 1 untuk semua {{math|''x''}} kurang dari nilai {{math|''a''}}, dan menghasilkan nilai yang berbeda, misalnya 10, untuk semua nilai {{math|''x''}} yang lebih besar atau sama dengan {{math|''a''}}. Fungsi {{math|''f''}} tidak dapat memiliki turunan di titik {{math|''a''}}. Untuk nilai {{math|''h''}} yang negatif, titik {{math|''a'' + ''h''}} akan terletak di sisi rendah dari fungsi tangga, menjadikan garis sekan dari {{math|''a''}} ke {{math|''a'' + ''h''}} akan sangat curam; dan semakin curam saat {{math|''h''}} menuju nol. Sedangkan nilai {{math|''h''}} yang positif, maka {{math|''a'' + ''h''}} terletak pada sisi tinggi dari fungsi tangga, sehingga garis sekan dari {{math|''a''}} ke {{math|''a'' + ''h''}} tidak memiliki kemiringan (datar). Alhasil garis-garis sekan tidak menuju besar kemiringan yang sama, mengakibatkan nilai limit dari persamaan beda tidak ada.
[[Berkas:Absolute value.svg|ka|jmpl|Fungsi nilai mutlak bersifat kontinu, namun tidak dapat didiferensiasi di {{math|''x'' {{=}} 0}} karena garis sekannya tidak menghasilkan kemiringan yang sama ketika dihitung dari kiri dan dari kanan.]]
Tetapi, bahkan jika fungsi kontinu di suatu titik, fungsi tersebut mungkin tidak terdiferensialkan di sana. Sebagai contoh, fungsi [[nilai mutlak]] {{math|''f''(''x'') {{=}} {{abs|''x''}}}} bersifat kontinu di {{math|''x'' {{=}} 0}}, namun tidak terdiferensialkan di titik itu. Jika {{math|''h''}} positif, maka kemiringan dari garis sekan dari 0 ke {{math|''h''}} bernilai 1, sedangkan jika {{math|''h''}} negatif, maka kemiringan garis sekan dari 0 ke {{math|''h''}} bernilai -1. Bahkan fungsi mulus tidak dapat diturunkan di titik yang garis singgungnya merupakan garis vertikal: Sebagai contoh, fungsi {{math|''f''(''x'') {{=}} ''x''<sup>1/3</sup>}} tidak terdiferensialkan di {{math|''x'' {{=}} 0}}.
 
Secara singkat, fungsi yang terdiferensialkan adalah fungsi yang kontinu, tetapi ada fungsi kontinu yang tidak dapat didiferensialkan.
 
Sebagian besar fungsi pada praktiknya memiliki turunan di semua titik atau hampir semua titik. Pada awal [[sejarah kalkulus]], banyak matematikawan mengasumsikan fungsi kontinu dapat diturunkan di banyak titik. Pada kondisi yang standar, hal ini berlaku karena kebanyakan fungsi adalah [[Fungsi monotonik|fungsi monoton]] atau [[fungsi Lipschitz]]. Tetapi pada tahun 1872, Weierstrass menemukan contoh pertama dari fungsi yang kontinu dimanapun namun tidak terdiferensialkan dimanapun. Contoh tersebut sekarang dikenal sebagai [[fungsi Weierstrass]].
 
== Turunan sebagai sebuah fungsi ==
[[Berkas:Tangent function animation.gif|jmpl|Turunan di berbagai titik berbeda pada suatu fungsi terdiferensialkan. Pada kasus ini, besar turunannya sama dengan:<math>\sin \left(x^2\right) + 2x^2 \cos\left(x^2\right)</math>]]
Misalkan {{math|''f''}} adalah fungsi yang memiliki turunan di setiap titik di [[Ranah fungsi|domainnya]]. Seseorang dapat mendefinisikan sebuah fungsi yang memetakan setiap titik {{mvar|x}} ke nilai dari turunan {{mvar|f}} di {{mvar|x}}. Salah satu notasi untuk menulis fungsi ini adalah <math>f'</math>, dan disebut sebagai ''fungsi turunan'' atau ''turunan dari'' {{math|''f''}}. Terkadang {{math|''f''}} memiliki turunan pada sebagian besar, tapi tidak semua, titik di domainnya. Fungsi yang nilainya di {{mvar|a}} sama dengan <math>f'(a)</math> kapanpun nilai <math>f'(a)</math> terdefinisi, dan tidak terdefinisi di nilai-nilai yang lainnya, juga disebut turunan dari {{math|''f''}}. Fungsi ini memiliki domain yang lebih kecil daripada domain dari {{math|''f''}}.
 
Menggunakan ide tersebut, turunan dapat dianggap sebagai fungsi dari fungsi: Turunan adalah sebuah [[Operator (matematika)|operator]] dengan domainnya adalah himpunan semua fungsi yang memiliki turunan di semua titik pada domain mereka, dan [[Citra (matematika)|citra-nya (''range'')]] adalah himpunan berisi fungsi-fungsi. Jika operator ini dinyatakan dengan {{math|''D''}}, maka {{math|''D''(''f'')}} sama dengan fungsi <math>f'</math>. Selain itu, karena {{math|''D''(''f'')}} adalah sebuah fungsi, nilainya dapat dihitung di titik {{mvar|a}}. Dengan menggunakan definisi dari fungsi turunan, <math>D(f)(a) = f'(a).</math>
 
Sebagai contoh, pertimbangkan fungsi {{math|''f''(''x'') {{=}} 2''x''}}; {{math|''f''}} adalah fungsi satu variabel yang bernilai real, mengartikan fungsi ini menerima sebuah angka lalu menghasilkan sebuah angka:
 
: <math>\begin{align}
1 &{}\mapsto 2,\\
2 &{}\mapsto 4,\\
3 &{}\mapsto 6.
\end{align}</math>
 
Operator {{math|''D''}} di sisi lain, tidak menerima maupun menghasilkan angka, melainkan fungsi:
 
: <math>\begin{align}
D(x \mapsto 1) &= (x \mapsto 0),\\
D(x \mapsto x) &= (x \mapsto 1),\\
D\left(x \mapsto x^2\right) &= (x \mapsto 2\cdot x).
\end{align}</math>
 
Karena {{math|''D''}} menghasilkan sebuah fungsi, hasil dari {{math|''D''}} dapat dievaluasi di suatu titik. Sebagai contoh, ketika {{math|''D''}} diterapkan pada fungsi kuadrat {{math|''x'' ↦ ''x''<sup>2</sup>}}, {{math|''D''}} akan menghasilkan fungsi {{math|''x'' ↦ 2''x''}}, yang dapat diberi nama {{math|''f''(''x'')}}. Fungsi hasil ini selanjutnya dapat digunakan untuk menghitung {{math|''f''(1) {{=}} 2}}, {{math|''f''(2) {{=}} 4}}, dan seterusnya.
 
== Notasi turunan ==
{{Main|Notasi untuk diferensiasi}}
 
Beberapa notasi untuk menyatakan turunan dikembangkan pada awal perkembangan kalkulus, dan beberapa notasi tersebut masih digunakan saat ini.
 
=== Notasi Leibniz ===
{{Main|Notasi Leibniz}}[[Berkas:Gottfried Wilhelm Leibniz c1700.jpg|jmpl|[[Gottfried Wilhelm Leibniz|Gottfried Wilhelm von Leibniz]] (1646 - 1716), [[filsuf]] [[Jerman]], [[matematikawan]], dan nama notasi matematika yang paling luas digunakan dalam kalkulus.]]Simbol <math>dx</math>, <math>dy</math>, dan <math>\tfrac{dy}{dx}</math> diperkenalkan oleh [[Gottfried Leibniz|Gottfried Wilhelm Leibniz]] pada tahun 1675.<ref>Manuscript of November 11, 1675 (Cajori vol. 2, page 204)</ref> Notasi ini masih umum digunakan ketika persamaan <math>y=f(x)</math> ingin dipandang sebagai hubungan antara variabel terikat dan variabel bebas. Turunan pertama dengan notasi ini ditulis sebagai<math display="block">\frac{dy}{dx},\quad\frac{d f}{dx}, \text{ atau }\, \frac{d}{dx}f,</math>dan awalnya dianggap sebagai perbandingan dua besaran [[infinitesimal]] ("''infinitely small",'' "yang tak hingga kecilnya"). Turunan tingkat tinggi, yakni turunan ke-{{math|''n''}} dari <math>y=f(x)</math>, dituliskan sebagai<math display="block">\frac{d^ny}{dx^n},
\quad\frac{d^n f}{dx^n},
\text{ atau }\,
\frac{d^n}{dx^n}f.</math>Notasi tersebut merupakan 'singkatan' dari penerapan operator turunan secara berulang. Sebagai contoh, notasi turunan kedua<ref>Perhatikan bahwa <math>\frac{d^2 y}{d x^2}</math> adalah notasi ringkas untuk <math>\frac{d{\frac{dy}{dx}}}{dx}</math>, atau, dalam kata lain '' diferensial kedua dari y terhadap kuadrat dari diferensial pertama dari x''. Penyebut bukanlah diferensial dari&nbsp;''x''<sup>2</sup>, atau diferensial kedua dari&nbsp;''x''.</ref>
 
: <math>\frac{d^2y}{dx^2} = \frac{d}{dx}\left(\frac{dy}{dx}\right).</math>
 
Dengan menggunakan notasi Leibniz, turunan dari <math>y</math> di titik <math>x = a</math> dapat ditulis dalam dua cara berbeda:
 
: <math>\left.\frac{dy}{dx}\right|_{x=a} = \frac{dy}{dx}(a).</math>
 
Notasi Leibniz memungkinkan penulisan variabel diferensiasi (sebagai penyebut), yang berperan dalam [[turunan parsial]]. Notasi ini juga dapat digunakan untuk menulis [[aturan rantai]] sebagai{{#tag:ref|Dalam formulasi kalkulus menggunakan konsep limit, simbol ''du'' digunakan untuk menyatakan banyak hal oleh banyak penulis. Beberapa penulis tidak memandang ''du'' tidak memiliki makna tersendiri, dan hanya terdefinisi sebagai bagian dari simbol ''du''/''dx''. Penulis yang lain mendefinisikan ''dx'' sebagai variabel bebas, dan ''du' sebagai <math>du = dx\cdot f'(x)</math>. Dalam analisis non-standar, ''du'' didefinisikan sebagai suatu infinitesimal, dan juga dapat dipandang sebagai [[turunan eksterior]] dari fungsi ''u''. Lihat [[diferensial (matematika)]] untuk informasi lebih lanjut.|group=Note}}
 
: <math>\frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx}.</math>
 
Selain itu, notasi Leibniz memperlihatkan hubungan variabel yang sesuai dengan [[analisis dimensi]]. Sebagai contoh, turunan kedua <math>\tfrac{d^2 y}{dx^2}</math> memiliki dimensi yang sama dengan <math>\tfrac{y}{x^2}</math>.
 
=== Notasi Lagrange ===
Terkadang disebut dengan notasi petik/prima (''prime notation''),<ref>{{cite web|year=1998|title=The Notation of Differentiation|url=http://web.mit.edu/wwmath/calculus/differentiation/notation.html|publisher=MIT|access-date=24 October 2012}}</ref> salah satu notasi turunan yang umum lainnya adalah notasi yang diperkenalkan [[Joseph-Louis Lagrange]]. Notasi ini menggunakan [[Prima (simbol)|simbol prima]], yang mirip dengan simbol petik. Turunan dari fungsi <math>f</math> dituliskan sebagai <math>f'</math>. Serupa dengan itu, turunan kedua dan ketiga dari fungsi ditulis sebagai
 
: <math>(f')'=f''</math> &#x2003; dan &#x2003; <math>(f'')'=f'''.</math>
 
Untuk menyatakan turunan tingkat tinggi, beberapa penulis menggunakan [[Bilangan Romawi|angka Romawi]] yang ditulis sebagai [[Superskrip|tika atas]], sedangkan yang lain menuliskan angka dalam simbol kurung:
 
: <math>f^{\mathrm{iv}}</math> &#x2003; atau &#x2003; <math>f^{(4)}.</math>
 
Notasi yang kedua dapat diperumum untuk menghasilkan notasi <math>f^{(n)}</math> untuk turunan ke-''n'' dari <math>f</math>. Notasi ini ringkas dan paling berguna ketika turunan dianggap sebagai fungsi tersendiri, berbeda dengan notasi Leibniz yang mengganggap turunan sebagai hubungan antar variabel. Nilai fungsi turunan ke-''n'' di <math>a</math> dituliskan sebagai <math>f^{(n)}(a)</math>.
 
=== Notasi Newton ===
Notasi Newton untuk turunan juga disebut sebagai notasi dot/[[titik]]. Notasi ini menggunakan titik yang diletakkan di atas nama fungsi, untuk merepresentasikan turunan terhadap waktu. Jika <math>y = f(t)</math>, maka
 
: <math>\dot{y}</math> &#x2003; dan &#x2003; <math>\ddot{y}</math>
 
masing-masing menyatakan turunan pertama dan turunan kedua dari <math>y</math>. Notasi Newton saat ini hanya digunakan untuk turunan terhadap waktu atau terhadap [[panjang busur]], yang umum ditemukan dalam [[persamaan diferensial]] di [[fisika]] dan [[geometri diferensial]].<ref>{{Cite book|last=Evans|first=Lawrence|year=1999|title=Partial Differential Equations|url=https://archive.org/details/partialdifferent0019evan|publisher=American Mathematical Society|isbn=0-8218-0772-2|pages=[https://archive.org/details/partialdifferent0019evan/page/63 63]}}</ref><ref>{{Cite book|last=Kreyszig|first=Erwin|year=1991|url=https://archive.org/details/differentialgeom0000krey|title=Differential Geometry|location=New York|publisher=Dover|isbn=0-486-66721-9|pages=[https://archive.org/details/differentialgeom0000krey/page/n16 1]}}</ref> Notasi Newton, malangnya, sulit digunakan untuk turunan tingkat tinggi (turunan ke-4 atau lebih), dan tidak dapat digunakan untuk fungsi multivariabel.
 
=== Notasi Euler ===
Notasi yang diperkenalkan [[Leonhard Euler]] menggunakan [[operator diferensial]] <math>D</math>, yang ketika diterapkan pada sebuah fungsi <math>f</math> akan menghasilkan turunan pertama <math>Df</math>. Turunan ke-''n'' dengan notasi ini ditulis sebagai <math>D^nf</math>. Jika <math>y=f(x)</math> adalah variabel terikat, maka [[Subskrip|tika bawah]] <math>x</math> umum dilekatkan ke <math>D</math> untuk memperjelas <math>x</math> adalah variabel bebas. Notasi Euler selanjutnya dapat ditulis sebagai
 
: <math>D_x y</math> &#x2003; atau&#x2003; <math>D_x f(x)</math>,
 
walaupun tika bawah umumnya tidak digunakan jika konteks variabel <math>x</math> dapat dipahami, contohnya ketika <math>x</math> adalah satu-satunya variabel bebas dalam ekspresi. Notasi Euler berguna dalam menyatakan dan menyelesaikan sistem [[persamaan diferensial linear]].
 
== Kaidah dalam menentukan turunan fungsi ==
{{see also|Tabel integral}}
Definisi turunan dapat digunakan untuk menentukan turunan suatu fungsi, seperti <math>x^n</math> dan <math>\sin(x)</math>. Proses ini dilakukan membuat persamaan perbandingan beda, lalu menghitung limitnya. Tapi pada praktiknya proses ini seringkali melelahkan. Dalam pendidikan terkait kalkulus diferensial, proses ini hanya dilakukan pada awal pembelajaran. Selanjutnya, menentukan turunan fungsi dilakukan dengan merujuk pada tabel/daftar turunan fungsi yang umum maupun dengan menggunakan ''aturan-aturan'' turunan.
 
=== Kaidah untuk fungsi-fungsi dasar ===
Setiap aturan pada bagian ini dapat dihasilkan dengan membuat persamaan beda, lalu menghitung limit <math>h\to0</math>. Proses tersebut memerlukan strategi yang berbeda untuk mendapatkan hasil turunan, tergantung jenis fungsinya. Pada bagian ini, <math>a</math> berupa bilangan real.
 
* ''[[Turunan pangkat]]'':
*: <math> \frac{d}{dx}x^a = ax^{a-1}.</math>
*: <math> \frac{d}{dx} x^a = \frac{d}{dx}x \cdot a \cdot x^{a-1}</math>
* ''[[Turunan implisit]]<ref>{{Cite web|date=2021-01-02|title=3.4: Implicit Differentiation|url=https://math.libretexts.org/Bookshelves/Calculus/Book%3A_Elementary_Calculus_(Corral)/03%3A_Topics_in_Differential_Calculus/3.04%3A_Implicit_Differentiation|website=Mathematics LibreTexts|language=en|access-date=2022-11-05}}</ref>'':
Contoh 1: mencari turunan ''dy/dx'' ''dari'':<blockquote><math>x^3+3x+2=y^2</math></blockquote>dapat dilakukan dengan cara berikut:<blockquote><math>\rightarrow \quad \frac{d}{dx}(x^3+3x+2) = \frac{d}{dx}(y^2)
</math>
 
<math>\rightarrow \quad \frac{d}{dx}x^3 + \frac{d}{dx}3x + \frac{d}{dx}2 = \frac{d}{dx}y^2</math>
 
<math>\rightarrow \quad 3x^2 + 3 = \frac{d}{dx}\frac{dy}{dy}y^2
</math>
 
<math>\rightarrow \quad 3x^2 + 3 = \frac{dy}{dx}\frac{d}{dy}y^2
</math>
 
<math>\rightarrow \quad 3x^2 + 3 = \frac{dy}{dx}2y
</math>
 
<math>\rightarrow \quad \frac{dy}{dx} = \frac{3x^2 + 3}{2y}</math></blockquote>Contoh 2: mencari turunan ''dx/dy dari'':<blockquote><math>x^3+3x+2=y^2</math></blockquote>dapat dilakukan dengan cara berikut:<blockquote><math>\rightarrow \quad \frac{d}{dy}x^3 + \frac{d}{dy}3x + \frac{d}{dy}2 = \frac{d}{dy}y^2
</math>
 
<math>\rightarrow \quad \frac{d}{dy}\frac{dx}{dx}x^3 + \frac{d}{dy}\frac{dx}{dx}3x = 2y</math>
 
<math>\rightarrow \quad \frac{dx}{dy}\frac{d}{dx}x^3 + \frac{dx}{dy}\frac{d}{dx}3x = 2y
</math>
 
<math>\rightarrow \quad \frac{dx}{dy}3x^2 + \frac{dx}{dy}3 = 2y
</math>
 
<math>\rightarrow \quad \frac{dx}{dy} = \frac{2y}{3x^2+3}
</math></blockquote>
* Fungsi ''[[Fungsi eksponensial|eksponensial]]'' dan ''[[logaritma]]'':
*: <math> \frac{d}{dx}e^x = e^x.</math>
*: <math> \frac{d}{dx}a^x = a^x\ln(a),\qquad a > 0</math>
*: <math> \frac{d}{dx}\ln(x) = \frac{1}{x},\qquad x > 0.</math>
*: <math> \frac{d}{dx}\log_a(x) = \frac{1}{x\ln(a)},\qquad x, a > 0</math>
* ''[[Fungsi trigonometri]]'':
*: <math> \frac{d}{dx}\sin(x) = \cos(x).</math>
*: <math> \frac{d}{dx}\cos(x) = -\sin(x).</math>
*: <math> \frac{d}{dx}\tan(x) = \sec^2(x) = \frac{1}{\cos^2(x)} = 1 + \tan^2(x).</math>
* ''[[Fungsi invers trigonometri]]'':
*: <math> \frac{d}{dx}\arcsin(x) = \frac{1}{\sqrt{1-x^2}},\qquad -1<x<1.</math>
*: <math> \frac{d}{dx}\arccos(x)= -\frac{1}{\sqrt{1-x^2}},\qquad -1<x<1.</math>
*: <math> \frac{d}{dx}\arctan(x)= \frac{1}{{1+x^2}}</math>
 
=== Kaidah untuk fungsi komposit ===
Beberapa aturan berikut dapat digunakan untuk menentukan turunan [[komposisi fungsi]] dengan membaginya menjadi masalah-masalah turunan yang lebih sederhana. Pada bagian ini, <math>f</math>, <math>g</math>, dan <math>h</math> adalah fungsi yang terdiferensialkan pada [[Selang (matematika)|selang]] <math>I</math>.
 
* ''Aturan konstanta'':
*: <math>f'(x) = 0. </math> untuk <math>f(x)</math> berupa fungsi konstan.
* ''[[Linearitas diferensiasi|Kaidah jumlah]]'':
*: <math>(\alpha f + \beta g)' = \alpha f' + \beta g' </math> untuk semua fungsi {{Math|''f''}} dan {{Math|''g''}}, dan untuk semua bilangan real ''<math>\alpha</math>'' dan ''<math>\beta</math>''.
* ''[[Kaidah darab]]'':
*: <math>(f\cdot g)' = f'\cdot g + f\cdot g' </math> untuk semua fungsi {{Math|''f''}} dan {{Math|''g''}}. Aturan ini mencakup kasus yang istimewa, yakni fakta bahwa <math>(\alpha \cdot f)' = \alpha \cdot f'</math> dengan <math>\alpha</math> berupa konstanta. Karena menurut aturan konstanta, <math>(\alpha \cdot f)' = \alpha \cdot f' + \alpha' \cdot f = \alpha \cdot f' + 0 \cdot f = \alpha \cdot f'</math>.
* ''[[Kaidah hasil-bagi]]'':
*: <math>\left(\frac{g}{h} \right)' = \frac{g'\cdot h - g\cdot h'}{h^2}</math> untuk semua fungsi <math>g</math> dan <math>h</math>, di semua titik <math>x</math> di <math>I</math> yang memenuhi <math>h(x) \ne 0</math>. Pada kasus <math>g</math> berupa fungsi konstan bernilai <math>1</math>, akan didapatkan hubungan <math>\left(\frac{1}{h} \right)' = \frac{-h'}{h^2}</math>
* ''[[Aturan rantai]]'' untuk komposisi fungsi:
*: Jika fungsi <math>h</math> terdiferensialkan pada [[selang (matematika)|selang]] <math>I_1</math>, dan fungsi <math>g</math> terdiferensialkan pada selang <math>I_2 = h(I_1)</math> (<math>I_2</math> adalah citra dari <math>I_1</math> yang dihasilkan fungsi <math>h</math>), maka komposisi fungsi <math>g\circ h </math> terdiferensialkan di <math>I_1</math> dan
*: <math>(g\circ h)'(x) = g'(h(x)) \cdot h'(x). </math>
* ''Kaidah fungsi invers'':
*: Jika fungsi <math>f</math> bersifat [[bijektif]], dan <math>f^{-1}</math> adalah invers dari fungsi tersebut, maka
*: <math>[f^{-1}]'(x) = \frac{1}{f'(f^{-1}(x))}</math>
*: Hubungan ini berlaku sembarang titik <math>x</math> yang memenuhi <math>f'(f^{-1}(x))\ne0</math>
 
=== Contoh perhitungan ===
Turunan dari fungsi
 
: <math>f(x) = x^4 + \sin \left(x^2\right) - \ln(x) e^x + 7</math>
 
dapat dilakukan dengan pertama kali menerapkan kaidah jumlah; turunan dari penjumlahan fungsi-fungsi sama dengan penjumlahan dari turunan fungsi-fungsi:
 
<math display="block">
f'(x) = \frac{d}{dx}(x^4) + \frac{d}{dx}\Big(\cos \left(x^2\right)\Big) - \frac{d}{dx}(e^x) - \frac{d}{dx}\Big(\ln(x)e^x\Big) + \frac{d}{dx}(7)
</math>Tahap selanjutnya adalah menghitung turunan dari masing-masing fungsi. Kaidah rantai digunakan untuk menentukan turunan dari <math>\cos(x^2)</math>, sedangkan kaidah darab digunakan untuk menentukan turunan <math>\ln(x)e^x</math>:
 
: <math>
\begin{align}
f'(x) &= 4 x^{(4-1)}+ \frac{d\left(x^2\right)}{dx}\cos \left(x^2\right) - \frac{d\left(\ln {x}\right)}{dx} e^x - \ln(x) \frac{d\left(e^x\right)}{dx} + 0 \\
&= 4x^3 + 2x\cos \left(x^2\right) - \frac{1}{x} e^x - \ln(x) e^x.
\end{align}
</math>
 
== Turunan tingkat tinggi ==
Misalkan <math>f</math> adalah fungsi terdiferensialkan, dan <math>f'</math> adalah fungsi turunannya. Turunan dari <math>f'</math> (jika ada) ditulis sebagai <math>f''</math> dan disebut ''[[turunan kedua]] dari <math>f</math>''. Serupa dengan itu, turunan dari turunan kedua, jika ada, ditulis sebagai <math>f'''</math> dan disebut ''[[turunan ketiga]] dari <math>f</math>''; dan seterusnya. Turunan berulang ini disebut ''turunan tingkat tinggi''. Turunan ke-{{math|''n''}} juga dapat dituliskan sebagai <math>f^{(n)}</math>. Jika <math>x(t)</math> menyatakan posisi suatu objek pada waktu <math>t</math>, maka turunan tingkat tinggi dari <math>x</math> memiliki interpretasi khusus dalam bidang [[fisika]]. Turunan pertama dari <math>x</math> menyatakan [[kecepatan]] objek, turunan kedua menyatakan besar [[Percepatan|akselerasinya]], sedangkan turunan ketiga dari <math>x</math> menyatakan [[Sentakan (fisika)|sentakan]].
 
=== Fungsi mulus ===
{{Main|Fungsi mulus}}
Sebuah fungsi yang dapat diturunkan tak hingga kali disebut ''fungsi mulus''. Tidak semua fungsi merupakan fungsi mulus; sebagai contoh, fungsi <math>f</math> yang tidak kontinu tidak dapat diturunkan. Serupa dengan itu, bahkan jika <math>f</math> memiliki turunan, fungsi turunan keduanya mungkin tidak ada. Sebagai contoh, misalkan fungsi
 
: <math>f(x) = \begin{cases} +x^2, & \text{jika }x\ge 0 \\ -x^2, & \text{jika }x \le 0.\end{cases}</math>
 
Perhitungan menunjukkan bahwa <math>f'(x)=2|x|</math> adalah fungsi yang terdiferensialkan namun tidak memiliki turunan di nol. Jika suatu fungsi dapat diturunkan {{math|''k''}} kali berturut-turut dan turunan ke-{{math|''k''}}-nya bersifat kontinu, maka fungsi tersebut merupakan anggota [[Kemulusan (matematika)|kelas keterdiferensialan]] {{math|''C<sup>k</sup>''}}.
 
=== Polinomial Taylor dengan sisa ===
{{Main|Teorema Taylor}}
Pada [[garis bilangan real]], setiap [[fungsi polinomial]] terdiferensialkan tak hingga kali. Dengan menggunakan kaidah turunan pangkat, sebuah polinomial berderajat {{math|''n''}} akan menjadi [[fungsi konstan]] jika diturunkan sebanyak {{math|''n''}} kali. Semua turunan fungsi tersebut selanjutnya sama dengan 0 (fungsi konstan). Hal ini mengartikan fungsi polinomial termasuk fungsi mulus.
 
Turunan tingkat tinggi dari sebuah fungsi <math>f</math> di suatu titik <math>x</math>, akan memberikan hampiran polinomial terbaik untuk fungsi tersebut di sekitar titik <math>x</math>. Sebagai contoh, jika <math>f</math> terdiferensialkan dua kali, maka
 
: <math> f(x+h) \approx f(x) + f'(x)h + \tfrac{1}{2} f''(x) h^2</math>
 
dalam artian bahwa
 
: <math> \lim_{h\to 0}\frac{f(x+h) - f(x) - f'(x)h - \frac{1}{2} f''(x) h^2}{h^2} = 0.</math>
 
Jika <math>f</math> terdiferensialkan tak hingga kali, maka persamaan turunan kedua dapat diteruskan menjadi [[deret Taylor]] untuk fungsi <math>f</math> yang dievaluasi di {{math|''x'' + ''h''}} sekitar titik {{math|''x''}}.
 
=== Kaidah untuk turunan tingkat tinggi ===
 
* [[Kaidah darab|''Aturan Leibniz'']]
*: Jika <math>f</math> dan <math>g</math> dapat diturunkan sebanyak <math>n</math> kali, maka turunan ke-<math>n</math> dari fungsi <math>f(x)\cdot g(x)</math> adalah
*: <math>(fg)^{(n)}= \sum_{k=0}^n\binom{n}{k}f^{(k)}g^{(n-k)}.</math>
*: Ekspresi <math display="inline">\binom{n}{k}</math> yang muncul pada persamaan tersebut menandakan [[koefisien binomial]]. Aturan ini adalah perumuman dari [[kaidah darab]].
 
== Turunan pada sistem bilangan kompleks ==
Definisi dan aturan-aturan terkait turunan dapat diperumum untuk fungsi dengan variabel [[Bilangan kompleks|kompleks]] dan nilai kompleks. Perumuman ini dapat dilakukan karena bilangan kompleks juga memiliki sifat penjumlahan, perkalian, dan pembagian; sama seperti bilangan real. Selain itu, konsep [[Jarak Euklides|jarak (Euklides)]] antar bilangan pada bilangan kompleks dapat dijelaskan secara sederhana.
 
Jika <math>U \sub \mathbb C</math> berupa himpunan buka, dan <math>f:U\to\mathbb C</math> adalah fungsi bernilai kompleks, maka <math>f</math> dikatakan terdiferensialkan di titik <math>z\in\mathbb C</math> bila nilai limit
 
: <math> \lim_{h \to 0} \frac{f(z+h) - f(z)}{h}</math>
 
ada.<ref>Eberhard Freitag, Rolf Busam: ''Funktionentheorie 1'', 4. Auflage, Springer, S. 35.</ref> Turunan kompleks ini disimbolkan dengan <math>f'(z).</math> Definisi ini memungkinkan untuk menggunakan konsep kelinearan: turunan menyatakan besar "kemiringan" dari fungsi [kompleks] linear terbaik yang menghampiri fungsi <math>f.</math> Tapi, perhatian lebih diperlukan karena nilai <math>h</math> pada limit berupa bilangan kompleks. Berbeda dengan limit pada bilangan real yang hanya memerlukan dua arah ("limit dari kanan" dan "limit dari kiri"), limit pada bilangan kompleks dapat "bergerak" dari takhingga banyaknya arah. Akibatnya, konsep turunan fungsi kompleks jauh lebih ketat ketimbang pada fungsi bernilai real. Sebagai contoh fungsi [[Nilai absolut|nilai mutlak]] kompleks tidak memiliki turunan ''dimanapun''. Sebuah fungsi kompleks dapat diturunkan pada suatu titik, jika dan hanya jika fungsi tersebut memenuhi [[persamaan Cauchy-Riemann]] di titik tersebut.
 
Walaupun (atau tepatnya ''karena'') konsep turunan yang jauh lebih ketat, aturan-aturan perhitungan turunan pada fungsi bilangan real dapat digunakan untuk fungsi bilangan kompleks. Hal ini mencakup aturan jumlah, darab, dan rantai, juga aturan fungsi invers. Banyak fungsi kompleks, seperti eksponensial dan logaritma, memiliki sifat turunan yang mirip dengan versi realnya.
 
Jika fungsi <math>f</math> terdiferensialkan di keseluruhan domain <math>U</math>, maka fungsi <math>f</math> disebut ''[[fungsi holomorfik]]'' ''di'' <math>U</math>.<ref>Eberhard Freitag, Rolf Busam: ''Funktionentheorie 1'', 4. Auflage, Springer, S. 45.</ref> Fungsi kompleks yang terdiferensialkan di keseluruhan <math>\mathbb C</math> disebut [[fungsi entire]]. Fungsi holomorfik memiliki beberapa sifat yang unik. Sebagai contoh, [[teorema Picard]] menyimpulkan bahwa [[Citra (matematika)|citra (range)]] dari fungsi entire hanya dapat berupa: {{nowrap|<math>\mathbb{C}</math>,}} {{nowrap|<math>\mathbb{C}\setminus\{z_0\}</math>,}} atau <math>\{z_0\}</math> untuk suatu {{nowrap|<math>z_0\in\mathbb{C}</math>.}} Hasil ini dapat digunakan untuk menyimpulkan bahwa, jika fungsi kompleks <math>f</math> tidak pernah menghasilkan nilai <math>z</math> maupun nilai <math>w</math>, maka <math>f</math> adalah fungsi konstan.
 
== Turunan untuk fungsi bernilai vektor ==
[[Berkas:Vector-valued function-2.png|jmpl|Grafik dari fungsi bernilai vektor <math>\mathbf r(z) = (2\cos z,\, 4\sin z,\, z)</math>yang berbentuk [[heliks]]. Panah menandakan vektor yang dihasilkan fungsi di <math>z=19{,}5</math>. ]]Sebuah [[fungsi bernilai vektor]] <math>\mathbf y</math> dengan variabel real, adalah fungsi yang memetakan [[bilangan real]] (ril) ke suatu vektor di suatu [[ruang vektor]] <math>\R^n</math>. Fungsi bernilai vektor dapat dibagi menjadi fungsi-fungsi koordinatnya, <math>y_1(t),\, y_2(t),\, \dots,\, y_n(t)</math>. Hal ini mengartikan fungsi <math>\mathbf y</math> dapat ditulis sebagai <math>\mathbf y(t) = (y_1(t),\,y_2(t),\,\dots,\,y_n(t))</math>. Contoh dari fungsi bernilai vektor adalah [[Persamaan parametrik|kurva parametrik]] di <math>\R^2</math> atau <math>\R^3</math>. Fungsi-fungsi koordinat adalah fungsi bernilai real, mengakibatkan definisi turunan dapat diterapkan bagi mereka semua. ''Turunan dari fungsi'' <math>\mathbf y(t)</math> didefinisikan sebagai sebuah [[Vektor (matematika)|vektor]], disebut vektor singgung, yang koordinatnya adalah nilai turunan dari semua fungsi koordinatnya. Dengan kata lain,<math display="block">\mathbf{y}'(t) = (y'_1(t), \ldots, y'_n(t)).</math>Bentuk tersebut dapat dihasilkan dari menghitung<math display="block">\mathbf{y}'(t)=\lim_{h\to 0}\frac{\mathbf{y}(t+h) - \mathbf{y}(t)}{h},</math>dengan mengasumsikan limit dari fungsi tersebut ada. Sebagai contoh, bila <math>\mathbf y(t)</math> adalah vektor yang menandakan posisi suatu partikel pada waktu <math>t</math>, turunan <math>\mathbf y'(t)</math> dapat dipandang sebagai vektor [[kecepatan]] dari partikel pada waktu <math>t</math>.
 
== Turunan untuk fungsi multivariabel ==
{{See also|Kalkulus multivariabel}}
 
Pembahasan pada bagian-bagian sebelumnya hanya memperhatikan fungsi dengan ''satu'' variabel. Fungsi yang memetakan vektor ke vektor maupun vektor ke bilangan juga dapat memiliki turunan. Tetapi, garis singgung pada grafik fungsi tersebut belum tentu unik, karena ada banyak arah yang mungkin untuk membuat garis tersebut. Oleh karena itu, perumuman turunan diperlukan untuk jenis fungsi ini.
 
=== Keterdiferensialan dan matriks Jacobi ===
 
==== Turunan parsial ====
{{Main|Turunan parsial}}{{multiple image
| align = right
| direction = vertical
| width = 220
| image1 = Partial func eg.svg
| caption1 = Grafik dari fungsi <math>z = x^2 + xy + y^2</math>. Pada turunan parsial dengan nilai variabel <math>y</math> konstan, [[garis singgung]] yang dihasilkan akan sejajar dengan bidang-''xz''.
| image2 = X2+X+1.svg
| caption2 = Irisan dari grafik fungsi di bidang-''xz'' <math>y=1</math>. Dua sumbu yang disajikan di sini memiliki skala yang berbeda. Kemiringan dari garis singgung di titik <math>(1,\,1)</math> sama dengan 3.
}}
Misalkan <math>f</math> adalah fungsi multivariabel, sebagai contoh <math>f(x,y) = x^2 + xy + y^2.</math> Fungsi <math>f</math> dapat dianggap sebagai keluarga fungsi satu variabel yang diindeks oleh variabel-variabel yang lain:
 
: <math>f(x,y) = f_x(y) = x^2 + xy + y^2.</math>
 
Dalam contoh ini, setiap nilai <math>x</math> akan menghasilkan sebuah fungsi <math>f_x</math> yang merupakan fungsi satu variabel. Hal ini dapat dinyatakan dengan pemetaan
 
: <math>x \mapsto f_x,</math>
: <math>f_x(y) = x^2 + xy + y^2.</math>
 
Setelah suatu nilai <math>x</math> dipilih, misalnya <math>x=a</math>, maka <math>f(x,y)</math> selanjutnya menentukan sebuah fungsi <math>f_a</math> yang memetakan <math>y</math> ke <math>a^2 + ay+ y^2</math>, juga dapat ditulis sebagai <math>f_a(y) = a^2 + ay + y^2</math>. Dalam ekspresi tersebut <math>a</math> adalah sebuah ''konstanta'' dan bukan sebuah ''variabel'', menjadikan <math>f_a</math> sebagai fungsi satu variabel. Alhasil, definisi turunan untuk fungsi satu variabel berlaku:
 
: <math>f_a'(y) = a + 2y.</math>
 
Prosedur ini dapat diterapkan untuk sembarang pemilihan nilai <math>a</math>. Menggunakan notasi Leibniz, turunan ini menyampaikan perbandingan perubahan nilai fungsi <math>f</math> dalam arah <math>y</math>:
 
: <math>\frac{\partial f}{\partial y}(x,y) = x + 2y.</math>
 
dan disebut sebagai ''turunan berarah dari <math>f</math>'' ''terhadap <math>y</math>''. Dalam ekspresi tersebut, simbol [[∂]] adalah huruf ''d'' melengkung yang disebut sebagai ''simbol turunan parsial''. Untuk membedakannya dengan huruf ''d'' yang digunakan dalam turunan satu variabel, ∂ terkadang dilafalkan sebagai "der", "del", atau "parsial", ketimbang "de".
 
Secara umum, turunan parsial sebuah fungsi <math>f(x_1,\,\dots,\,x_n)</math> dalam arah <math>x_i</math> di titik <math>(a_1,\,\dots,\,a_n)</math> didefinisikan sebagai
 
: <math>\frac{\partial f}{\partial x_i}(a_1,\ldots,a_n) = \lim_{h \to 0}\frac{f(a_1,\ldots,a_i+h,\ldots,a_n) - f(a_1,\ldots,a_i,\ldots,a_n)}{h}.</math>
 
Dalam perbandingan beda di atas, semua nilai variabel kecuali <math>x_i</math> dibuat konstan. Tindakan membuat konstan variabel-variabel ini akan menghasilkan fungsi satu variabel
 
: <math>f_{a_1,\ldots,a_{i-1},a_{i+1},\ldots,a_n}(x_i) = f(a_1,\ldots,a_{i-1},x_i,a_{i+1},\ldots,a_n),</math>
 
dan dari definisi,
 
: <math>\frac{df_{a_1,\ldots,a_{i-1},a_{i+1},\ldots,a_n}}{dx_i}(a_i) = \frac{\partial f}{\partial x_i}(a_1,\ldots,a_n).</math>
 
Ekspresi ini juga menunjukkan bahwa perhitungan turunan parsial dapat disederhanakan menjadi perhitungan turunan satu variabel.
 
Turunan parsial juga memainkan peran penting dalam pembahasan terkait fungsi bernilai vektor. Misalkan <math>\mathbf f(x_1,\,\dots,\,x_n)</math> sebagai fungsi bernilai vektor. Jika semua turunan parsial <math>\tfrac{\partial \mathbf f}{\partial x_j}</math> terdefinisi di titik <math>\mathbf a = (a_1,\,\dots,\,a_n)</math>, turunan-turunan parsial ini mendefinisikan sebuah vektor
 
: <math>\nabla \mathbf f(a_1, \ldots, a_n) = \left(\frac{\partial \mathbf f}{\partial x_1}(a_1, \ldots, a_n),\, \ldots, \frac{\partial \mathbf f}{\partial x_n}(a_1, \ldots, a_n)\right),</math>
 
yang disebut sebagai [[gradien]] dari <math>\mathbf f</math> di <math>\mathbf a</math>. Jika <math>\mathbf f</math> terdiferensialkan di setiap titik di suatu domain, maka gradien adalah sebuah fungsi bernilai vektor <math>\nabla \mathbf f</math> yang memetakan titik <math>(a_1,\,\dots,\,a_n)</math> ke vektor <math>\nabla \mathbf f(a_1,\,\dots,\,a_n)</math>. Akibatnya, gradien menentukan suatu [[medan vektor]].
 
==== Turunan berarah ====
{{Main|Turunan berarah}}
[[Berkas:Directional derivative contour plot.svg|jmpl|[[Garis kontur|Plot kontur]] dari fungsi <math>f(x, y)=x^2 + y^2</math>. Vektor gradien ditandai oleh warna hitam, dan vektor unit <math>\mathbf{u}</math> yang dikali dengan turunan berarah <math>f</math>dalam arah <math>\mathbf{u}</math> ditandai wana jingga. Vektor gradien lebih panjang daripada vektor turunan berarah, karena vektor gradien menunjuk pada arah dengan perubahan nilai fungsi paling besar.]]
Jika <math>f</math> adalah fungsi bernilai real di <math>\R^n</math>, maka turunan parsial <math>f</math> mengukur variasi turunan dalam arah sumbu koordinat. Sebagai contoh, jika <math>f</math> adalah fungsi dari <math>x</math> dan <math>y</math>'','' maka turunan parsial <math>f</math> mengukur variasi di <math>f</math> dalam arah <math>x</math> dan <math>y</math>. Tapi, turunan <math>f</math> tidak mengukur secara langsung variasi <math>f</math> pada setiap arah lainnya, contohnya di sepanjang garis diagonal <math>y = x</math>. Ini diukur menggunakan turunan berarah. Misalkan vektor
 
: <math>\mathbf{v} = (v_1,\ldots,v_n),</math>
 
''turunan berarah'' <math>f</math> ''dalam arah <math>\mathbf{v}</math> di titik'' '''x''' didefinisikan melalui limit
 
: <math>D_{\mathbf{v}}{f}(\mathbf{x}) = \lim_{h \rightarrow 0}{\frac{f(\mathbf{x} + h\mathbf{v}) - f(\mathbf{x})}{h}}.</math>
 
Dalam beberapa kasus, menghitung atau menaksir turunan berarah akan lebih mudah setelah panjang vektor diubah. Proses ini seringkali dilakukan dengan mengubah suatu masalah menjadi perhitungan berupa turunan berarah dalam arah satuan vektor. Sebagai contoh, misalkan <math>\mathbf{v} = \lambda \mathbf{u}</math> dan <math>\mathbf{u}</math> adalah satuan vektor pada arah <math>\mathbf{v}</math>. Mensubstitusi <math>h = \tfrac{k}{\lambda}</math> ke perbandingan beda di ruas kanan persamaan, akan menghasilkan bentuk
 
: <math>\frac{f(\mathbf{x} + (k/\lambda)(\lambda\mathbf{u})) - f(\mathbf{x})}{k/\lambda}
= \lambda\cdot\frac{f(\mathbf{x} + k\mathbf{u}) - f(\mathbf{x})}{k}.</math>
 
Dengan mengambil limit <math>h</math> menuju nol dari persamaan di atas, didapatkan hubungan turunan berarah <math>f</math> dalam arah vektor <math>\mathbf{v}</math> sama saja dengan <math>\lambda</math> kali turunan berarah <math>f</math> dalam arah vektor satuan <math>\mathbf{u}</math>. Oleh karena itu, <math>D_\mathbf{v}(f) = \lambda D_\mathbf{u}(f)</math>. Karena sifat penskalaan ini, turunan berarah seringkali digunakan hanya untuk vektor satuan.
 
Jika semua turunan parsial <math>f</math> ada dan kontinu di <math>\mathbf{x}</math>, maka semua turunan parsial menentukan turunan berarah <math>f</math> pada arah <math>\mathbf{v}</math> melalui rumus berikut:
 
: <math>D_{\mathbf{v}}{f}(\boldsymbol{x}) = \sum_{j=1}^n v_j \frac{\partial f}{\partial x_j}.</math>
 
Rumus di atas merupakan akibat dari definisi [[turunan total]]. Rumus ini juga menunjukkan bahwa turunan berarah bersifat linear di <math>\mathbf{v}</math>, dalam artian <math>D_{\mathbf{v}+\mathbf{w}}(f) = D_{\mathbf{v}}(f) + D_{\mathbf{w}}(f)</math>.
 
Definisi yang sama juga berlaku ketika <math>f</math> berupa fungsi yang memiliki nilai di <math>\R^m</math>; dengan menerapkan definisi pada setiap komponen vektor. Pada kasus ini, turunan berarah merupakan vektor di <math>\R^m</math>.
 
==== Diferensial total dan matriks Jacobi ====
{{Main|Turunan total}}Jika <math>f</math> merupakan sebuah fungsi dari himpunan terbuka dari <math>\R^n</math> ke <math>\R^m</math>, maka turunan berarah <math>f</math> dalam arah yang dipilih merupakan hampiran linear terbaik ke <math>f</math> di titik dan arah tersebut. Tetapi jika <math>n > 1</math>, maka tidak ada turunan berarah tunggal yang dapat memberikan gambaran lengkap mengenai perilaku fungsi <math>f</math>. Turunan total memberikan gambaran lengkap dengan meninjau semua arah sekaligus. Dalam artian, untuk suatu vektor <math>\mathbf{v}</math> yang dimulai dari <math>\mathbf{a}</math>, terdapat rumus hampiran linear yang berlaku sebagai:
 
: <math>f(\mathbf{a} + \mathbf{v}) \approx f(\mathbf{a}) + f'(\mathbf{a})\mathbf{v}.</math>
 
Sama seperti turunan satu variabel, <math>f'(\mathbf{a})</math> dipilih sehingga galat hampiran tersebut dapat dibuat sekecil mungkin.
 
Jika <math>n</math> dan <math>m</math> bernilai 1, maka turunan <math>f'(\mathbf{a})</math> merupakan sebuah nilai dan bentuk <math>f'(\mathbf{a}) \mathbf{v}</math> merupakan hasil kali dari dua bilangan. Tetapi dalam dimensi yang lebih tinggi, <math>f'(\mathbf{a})</math> tidak dapat berupa sebuah bilangan. Jika <math>f'(\mathbf{a})</math> adalah sebuah bilangan, maka <math>f'(\mathbf{a}) \mathbf{v}</math> akan berupa vektor di <math>\R^n</math>. Sedangkan bentuk-bentuk lainnya berupa vektor di <math>\R^m</math> sehingga rumus hampiran linear menjadi tidak masuk akal. Agar rumus hampiran linear menjadi masuk akal, <math>f'(\mathbf{a})</math> harus sebuah fungsi yang memetakan vektor di <math>\R^n</math> ke vektor di <math>\R^m</math>, dan <math>f'(\mathbf{a}) \mathbf{v}</math> harus menyatakan fungsinya dapat dihitung di <math>\mathbf{v}</math>.
 
Untuk menentukan jenis fungsi apakah tersebut, perhatikan bahwa rumus hampiran linear dapat ditulis ulang sebagai
 
: <math>f(\mathbf{a} + \mathbf{v}) - f(\mathbf{a}) \approx f'(\mathbf{a})\mathbf{v}.</math>
 
Perhatikan bahwa jika vektor lain dipilih, katakanlah <math>\mathbf{w}</math>, maka persamaan hampiran tersebut menentukan persamaan hampiran lain dengan memasukkan <math>\mathbf{w}</math> ke <math>\mathbf{v}</math>. Ini menentukan persamaan aproksimasi ketiga dengan memasukan nilai <math>\mathbf{w}</math> ke <math>\mathbf{v}</math> dan <math>\mathbf{a} + \mathbf{v}</math> ke <math>\mathbf{a}</math>. Dengan mengurangi kedua persamaan tersebut akan mendapatkan persamaan berikut.
 
: <math>f(\mathbf{a} + \mathbf{v} + \mathbf{w}) - f(\mathbf{a} + \mathbf{v}) - f(\mathbf{a} + \mathbf{w}) + f(\mathbf{a})
\approx f'(\mathbf{a} + \mathbf{v})\mathbf{w} - f'(\mathbf{a})\mathbf{w}.</math>
 
Jika diasumsikan bahwa <math>\mathbf{v}</math> bernilai kecil dan bahwa perubahan turunan kontinu di <math>\mathbf{a}</math>, maka <math>f'(\mathbf{a} +\mathbf{v})</math> kira-kira sama dengan <math>f'(\mathbf{a})</math>. Karena itu, ruas kanan pada persamaan tersebut kira-kira sama dengan nol. Ruas kiri pada persamaan dapat ditulis ulang dalam cara yang berbeda dengan menggunakan rumus hampiran linear, dengan <math>\mathbf{v} + \mathbf{w}</math> dimasukkan <math>\mathbf{v}</math>. Rumus hampiran linear menyiratkan:
 
: <math>\begin{align}
0
&\approx f(\mathbf{a} + \mathbf{v} + \mathbf{w}) - f(\mathbf{a} + \mathbf{v}) - f(\mathbf{a} + \mathbf{w}) + f(\mathbf{a}) \\
&= (f(\mathbf{a} + \mathbf{v} + \mathbf{w}) - f(\mathbf{a})) - (f(\mathbf{a} + \mathbf{v}) - f(\mathbf{a})) - (f(\mathbf{a} + \mathbf{w}) - f(\mathbf{a})) \\
&\approx f'(\mathbf{a})(\mathbf{v} + \mathbf{w}) - f'(\mathbf{a})\mathbf{v} - f'(\mathbf{a})\mathbf{w}.
\end{align}</math>
 
Rumus tersebut menyarankan bahwa <math>f'(\mathbf{a})</math> merupakan transformasi linear dari ruang vektor <math>\R^n</math> ke ruang vektor <math>\R^m</math>. Bahkan rumus ini dapat membuat sebuah turunan yang tepat dengan mengukur galat pada hampirannya. Asumsi bahwa galat pada rumus hampiran linear dibatasi oleh hasil kali dari konstanta dengan <math>\left \| \mathbf{v} \right \|</math>, dengan konstantanya bebas dari <math>\mathbf{v}</math> namun kontinu bergantung pada <math>\mathbf{a}</math>. Setelah menambahkan sebuah bentuk galat yang sesuai, maka semua persamaan hampiran di atas dapat ditulis ulang sebagai pertidaksamaan. Khususnya, <math>f'(\mathbf{a})</math> merupakan sebuah transformasi linear hingga bentuk galat kecil. Dalam limit, ketika <math>\mathbf{v}</math> dan <math>\mathbf{w}</math> menuju ke nol, <math>f'(\mathbf{a})</math> harus berupa transformasi linear. Karena turunan total didefinisikan dengan mengambil limit ketika <math>\mathbf{v}</math> menuju ke nol, <math>f'(\mathbf{a})</math> harus berupa transformasi linear.
 
=== Kaidah untuk turunan fungsi multivariabel ===
 
=== Turunan implisit ===
 
=== Contoh penerapan ===
 
== Turunan pada sistem bilangan hiperreal ==
Dalam matematika, bilangan hiperreal adalah sebuah cara memaknai besaran [[tak hingga]] dan [[infinitesimal]] (tak hingga kecilnya tapi tidak nol). Hiperreal adalah perumuman dari himpunan bilangan real <math>\mathbb R</math>, dan mencakup bilangan-bilangan yang lebih besar daripada <math>1+1+\dots+1</math> (untuk sembarang terhingga banyaknya suku). Pada sistem bilangan ini, turunan fungsi real <math>y = f(x)</math> di titik real <math>x</math> dapat didefinisikan sebagai [[Bayangan (matematika)|bayangan]] perbandingan {{math|{{sfrac|∆''y''|∆''x''}}}} untuk [[infinitesimal]] {{math|∆''x''}}, dengan {{math|∆''y'' {{=}} ''f''(''x'' + ∆''x'') − ''f''(''x'')}}. Perluasan (perumuman, ekstensi) alami fungsi <math>f</math> untuk hiperreal masih dilambangkan sebagai <math>f</math>, dan turunannya dikatakan ada jika besar bayangan tidak bergantung pada pemilihan infinitesimal.
 
== Perumuman ==
{{Main|Perumuman turunan}}
Konsep turunan dapat diperluas menjadi perumuman lainnya. Kaitan yang paling umumnya adalah turunan fungsi di sebuah titik disajikan sebagai [[hampiran linear]] dari fungsi pada titik tersebut.
 
* Perumuman penting mengenai turunan melibatkan [[fungsi kompleks]] dari [[Bilangan kompleks|variabel kompleks]], seperti fungsi (dengan domain) bilangan kompleks <math> \C </math> ke <math> \C </math>. Gagasan turunan fungsi kompleks diperoleh dengan menggantikan variabel real dengan variabel kompleks melalui definisi berikut: Jika '''<math> \C </math>''' diidentifikasi sebagai <math>\R^2</math> dengan menulis bilangan kompleks <math>z</math> sebagai <math>x + iy</math>, maka sebuah fungsi terdiferensialkan dari <math> \C </math> ke <math> \C </math> pasti terdiferensialkan sebagai sebuah fungsi dari <math>\R^2</math> ke <math>\R^2</math> (dalam artian bahwa semua turunan parsial juga ada), tetapi kebalikannya tidak benar pada umumnya: turunan kompleks hanya ada jika turunan real merupakan ''linear kompleks'' dan turunan kompleks memaksakan kaitannya antara turunan parsial yang disebut sebagai [[persamaan Cauchy–Riemann]] – lihat [[fungsi holomorfik]].
* Perumuman lainnya melibatkan fungsi antara [[Manifold mulus|manifold terdiferensialkan atau manifold mulus]]. Secara intuitif, manifold <math>M</math> dikatakan sebagai ruang yang dapat dihampiri mendekati setiap titik <math>x</math> melalui sebuah ruang vektor yang disebut sebagai [[ruang garis singgung]]: contoh prototipikalnya adalah [[permukaan mulus]] di <math>\R^3</math>. Turunan (atau diferensial) dari peta (terdiferensialkan) <math>f\colon M \to N</math> di antara manifold, di sebuah titik <math>x</math> di ''<math>M</math>'', merupakan [[peta linear]] dari ruang singgung ''<math>M</math>'' di <math>x</math> ke ruang singgung <math>N</math> di <math>f(x)</math>, sehingga turunan fungsi menjadi sebuah peta antara [[berkas garis singgung]] ''<math>M</math>'' dan <math>N</math>. Definisi tersebut merupakan bentuk dasar dalam [[geometri diferensial]], dan definisi tersebut mempunyai banyak kegunaan – lihat [[Pushforward (diferensial)|''pushforward'']] dan [[Pullback (geometri diferensial)|''pullback'']].
* Diferensiasi juga dapat didefinisikan sebagai pemetaan antara [[ruang vektor]] [[Dimensi (ruang vektor)|dimensi takhingga]], seperti [[ruang Banach]] dan [[ruang Fréchet]]. Perumuman dari turunan berarah disebut [[turunan Gateaux]], dan perumuman dari diferensial disebut [[turunan Fréchet]].
* Salah satu kekurangan turunan biasa adalah bahwa ada sangat banyak sekali fungsi yang tidak terdiferensialkan. Namun ada cara memperluas gagasan turunan sehingga semua [[fungsi kontinu]] dan fungsi lainnya dapat diturunkan melalui konsep yang dikenal sebagai [[turunan lemah]]. Tujuannya adalah agar memasukkan fungsi kontinu dalam sebuah ruang yang lebih besar yang disebut ruang [[Distribusi (matematika)|distribusi]], dan tujuan ini hanya mengharuskan bahwa fungsi "rata-rata" terdiferensialkan.
* Pengenalan dan studi mengenai banyak topik yang serupa dalam aljabar dan topologi diilhami melalui sifat-sifat turunan — sebagai contoh, lihat [[aljabar diferensial]].
* Definisi turunan yang ekuivalen diskret adalah [[beda hingga]]. Dalam [[kalkulus skala waktu]], studi mengenai kalkulus diferensial disatukan dengan kalkulus beda hingga.
 
== Lihat pula ==
{{Portal|Matematika}}{{cols|colwidth=16em}}
* [[Analisis matematis]]
* [[Aturan pendiferensialan]]
* [[Diferintegral]]
* [[Generalisasi turunan]]
* [[Integral]]
* [[Infinitesimal]]
* [[Invers perkalian]]
* [[Kelajuan (mathematika)]]
* [[Kelas keterdiferensialan]]
* [[Linearisasi]]
* [[Pendiferensialan numerik]]
* [[Pendiferensialan otomatik]]
* [[Kalkulus diferensial#Penerapan turunan|Penerapan turunan]]
* [[Sejarah kalkulus]]
* [[Teorema Radon–Nikodym]]
* [[Turunan aritmetika]]
* [[Turunan fraktal]]
* [[Turunan Hasse]]
* [[Turunan Schwarz]]
* [[Turunan simetrik]]
{{colend}}
 
==Catatan kaki==
{{reflist|group=Note}}
 
== Referensi ==
{{reflist}}
 
== Daftar pustaka ==
 
=== Buku cetak ===
{{Refbegin}}
*{{Citation|last1=Anton|first1=Howard|last2=Bivens|first2=Irl|last3=Davis|first3=Stephen|date=February 2, 2005|title=Calculus: Early Transcendentals Single and Multivariable|place=New York|publisher=Wiley|edition=8th|isbn=978-0-471-47244-5}}
*{{Citation|last=Apostol|first=Tom M.|author-link=Tom M. Apostol|date=June 1967|title=Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra|publisher=Wiley|edition=2nd|volume=1|isbn=978-0-471-00005-1|url-access=registration|url=https://archive.org/details/calculus01apos}}
*{{Citation|last=Apostol|first=Tom M.|date=June 1969|title=Calculus, Vol. 2: Multi-Variable Calculus and Linear Algebra with Applications|publisher=Wiley|edition=2nd|volume=1|isbn=978-0-471-00007-5|url-access=registration|url=https://archive.org/details/calculus01apos}}
*{{Citation|last1=Courant|first1=Richard|last2=John|first2=Fritz|date=December 22, 1998|title=Introduction to Calculus and Analysis, Vol. 1|publisher=Springer-Verlag|isbn=978-3-540-65058-4}}
*{{Citation|last=Eves|first=Howard|date=January 2, 1990|title=An Introduction to the History of Mathematics|edition=6th|publisher=Brooks Cole|isbn=978-0-03-029558-4}}
*{{Citation|last1=Larson|first1=Ron|last2=Hostetler|first2=Robert P.|last3=Edwards|first3=Bruce H.|date=February 28, 2006|title=Calculus: Early Transcendental Functions|edition=4th|publisher=Houghton Mifflin Company|isbn=978-0-618-60624-5}}
*{{Citation|last=Spivak|first=Michael|author-link=Michael Spivak|date=September 1994|title=Calculus|publisher=Publish or Perish|edition=3rd|isbn=978-0-914098-89-8}}
*{{Citation|last=Stewart|first=James|date=December 24, 2002|title=Calculus|publisher=Brooks Cole|edition=5th|isbn=978-0-534-39339-7|url-access=registration|url=https://archive.org/details/calculus0000stew}}
*{{Citation|last=Thompson|first=Silvanus P.|author-link=Silvanus P. Thompson|date=September 8, 1998|title=[[Calculus Made Easy]]|edition=Revised, Updated, Expanded|place=New York|publisher=St. Martin's Press|isbn=978-0-312-18548-0}}
{{Refend}}
 
=== Buku daring ===
{{Library resources box|by=no|onlinebooks=no|others=no|about=yes|label=Turunan}}{{Refbegin}}
*{{Citation|last=Crowell|first=Benjamin|title=Fundamentals of Calculus|year=2017|url=http://www.lightandmatter.com/fund/}}
*{{Citation|last=(Govt. of TN)|first=TamilNadu Textbook Corporation|title=Mathematics- vol.2|year=2006|url=http://www.textbooksonline.tn.nic.in/Books/11/Std11-Maths-EM-2.pdf|access-date=2014-11-29|archive-url=https://web.archive.org/web/20160115180615/http://www.textbooksonline.tn.nic.in/Books/11/Std11-Maths-EM-2.pdf|archive-date=2016-01-15|url-status=dead}}
*{{Citation|last=Garrett|first=Paul|year=2004|title=Notes on First-Year Calculus|url=http://www.math.umn.edu/~garrett/calculus/|publisher=[[University of Minnesota]]}}
*{{Citation|last=Hussain|first=Faraz|year=2006|title=Understanding Calculus|url=http://www.understandingcalculus.com/}}
*{{Citation|last=Keisler|first=H. Jerome|year=2000|title=Elementary Calculus: An Approach Using Infinitesimals|url=http://www.math.wisc.edu/~keisler/calc.html}}
*{{Citation|last=Mauch|first=Sean|year=2004|title=Unabridged Version of Sean's Applied Math Book|url=http://www.its.caltech.edu/~sean/book/unabridged.html|url-status=dead|archive-url=https://web.archive.org/web/20060415161115/http://www.its.caltech.edu/~sean/book/unabridged.html|archive-date=2006-04-15}}
*{{Citation|last=Sloughter|first=Dan|year=2000|title=Difference Equations to Differential Equations|url=http://synechism.org/drupal/de2de/}}
*{{Citation|last=Strang|first=Gilbert|year=1991|title=Calculus|url=http://ocw.mit.edu/ans7870/resources/Strang/strangtext.htm}}
*{{Citation|last=[[Keith Stroyan|Stroyan]]|first=Keith D.|year=1997|title=A Brief Introduction to Infinitesimal Calculus|url=http://homepage.math.uiowa.edu/~stroyan/Site/Infinitesimals.html}}
*{{Citation|last=Wikibooks|title=Calculus|url=http://en.wikibooks.org/wiki/Calculus}}
{{Refend}}
 
== Pranala luar ==
{{Sister project links|Differentiation|auto=1|wikt=y|b=y|v=y}}
*{{springer|title=Derivative|id=p/d031260}}
*[[Khan Academy]]: [https://www.khanacademy.org/math/differential-calculus/taking-derivatives/intro_differential_calc/v/newton-leibniz-and-usain-bolt "Newton, Leibniz, and Usain Bolt"]
*{{MathWorld|title=Derivative|id=Derivative}}
* [http://www.wolframalpha.com/calculators/derivative-calculator/ Online Derivative Calculator] from [[Wolfram Alpha]].
 
[[Kategori:Analisis matematika]]
[[Kategori:Fungsi matematika]]
[[Kategori:Kalkulus diferensial]]
[[Kategori:Kelajuan]]
[[Kategori:Operator linear dalam kalkulus]]
[[Kategori:Perubahan]]