Turunan: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
melanjutkan alih bahasa |
Add 1 book for Wikipedia:Pemastian (20231010)) #IABot (v2.0.9.5) (GreenC bot |
||
(39 revisi perantara oleh 8 pengguna tidak ditampilkan) | |||
Baris 1:
{{Kalkulus}}
{{about|istilah yang digunakan dalam kalkulus|ulasan
[[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 sebuah fungsi adalah cara mengukur sensitivitas perubahan nilai fungsi terhadap perubahan pada nilai
Turunan sebuah fungsi satu variabel
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.
Konsep turunan fungsi yang universal banyak digunakan dalam berbagai cabang matematika maupun bidang ilmu yang lain. Dalam bidang [[ekonomi]],
==
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
: <math>m=\frac{\text{perubahan nilai } y}{\text{perubahan nilai } x} = \frac{\Delta y}{\Delta x},</math>
Baris 33 ⟶ 25:
| align = right
| direction = vertical
| width =
| header = Nilai perubahan sebagai nilai limit
| image1 = Tangent-calculus.svg
Baris 45 ⟶ 37:
}}
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.
=== Asal-usul definisi ===
[[Berkas:
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.
Misalkan {{math|''f''}} adalah fungsi bernilai real yang terdefinisi pada suatu [[Lingkungan (matematika)|lingkungan buka]] dari suatu bilangan real {{math|''a''}}.
<math display="block">f'(a)=\lim_{h\to 0}\frac{f(a+h)-f(a)}{h}.</math>
Jika nilai limit ada, {{math|''f''}} dikatakan ''terdiferensialkan'' di {{math|''a''}}.
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>
Baris 63 ⟶ 55:
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
<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
<math display="block">
Baris 74 ⟶ 68:
& = \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>\begin{align}
Baris 80 ⟶ 74:
& = \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
[[Berkas:Right-continuous.svg|ka|jmpl|Fungsi tangga tidak memiliki turunan pada titik berwarna merah, karena fungsi tidak kontinu di titik tersebut.]]
[[Berkas:
Tetapi, bahkan jika fungsi kontinu
Secara singkat, fungsi yang terdiferensialkan adalah fungsi yang kontinu, tetapi ada fungsi kontinu yang tidak dapat didiferensialkan.
Sebagian besar fungsi pada praktiknya memiliki turunan
== Turunan sebagai sebuah fungsi ==
[[Berkas:
Misalkan {{math|''f''}} adalah fungsi yang memiliki turunan
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
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:
Baris 115 ⟶ 123:
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.
Baris 161 ⟶ 141:
: <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|
: <math>\frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx}.</math>
Baris 176 ⟶ 156:
: <math>f^{\mathrm{iv}}</math>   atau   <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>   dan   <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 ===
Baris 190 ⟶ 170:
: <math>D_x y</math>   atau  <math>D_x f(x)</math>,
== 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
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>
Baris 215 ⟶ 224:
*: <math> \frac{d}{dx}\arctan(x)= \frac{1}{{1+x^2}}</math>
=== Kaidah
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>.
* ''
*: <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>(
* ''[[Kaidah hasil-bagi]]'':
*: <math>\left(\frac{
* ''[[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 ===
Baris 234 ⟶ 248:
: <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>
Baris 243 ⟶ 261:
</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
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 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
: <math>x \mapsto f_x,</math>
Baris 279 ⟶ 339:
: <math>f_a'(y) = a + 2y.</math>
Prosedur ini dapat diterapkan untuk sembarang pemilihan nilai <math>a</math>
: <math>\frac{\partial f}{\partial y}(x,y) = x + 2y.</math>
Baris 297 ⟶ 357:
: <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
: <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
==== 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 ==
Baris 329 ⟶ 454:
* [[Pendiferensialan numerik]]
* [[Pendiferensialan otomatik]]
* [[Kalkulus
* [[Sejarah kalkulus]]
* [[Teorema Radon–Nikodym]]
* [[Turunan aritmetika]]
* [[Turunan fraktal]]
* [[Turunan Hasse]]
Baris 337 ⟶ 463:
* [[Turunan simetrik]]
{{colend}}
==Catatan kaki==
{{reflist|group=Note}}
Baris 377 ⟶ 504:
*[[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
[[Kategori:Kalkulus diferensial]]
[[Kategori:Kelajuan]]
|