Türev

Matematikte **türev**, bir fonksiyonun tanımlı olduğu herhangi bir noktada değişim yönünü veya hızını veren temel bir kavramdır. Tek değişkenli bir fonksiyonun tanım kümesinin belli bir noktasında türevi (eğer varsa), fonksiyonun grafiğine bu noktada karşılık gelen değerde çizilen teğet doğrunun eğimidir. Teğet doğru, tanım kümesinin bu noktasında fonksiyonun en iyi doğrusal yaklaşımıdır. Bu nedenle türev genellikle **anlık değişim oranı** ya da daha açık bir ifadeyle, bağımlı değişkendeki anlık değişimin bağımsız değişkendeki anlık değişime oranı olarak tanımlanır. Bir fonksiyonun türevini teorik olarak bulmaya **türev alma** denilir. Eğer bir fonksiyonun tanım kümesindeki her değerinde hesaplanan türev değerlerini veren başka bir fonksiyon varsa, bu fonksiyona eldeki fonksiyonun (yani türevi alınan fonksiyonun) **türevi** denir.

Türev için birden fazla farklı gösterim vardır. En yaygın kullanılan ikisi *Lagrange* gösterimi olan türev işareti ve *Leibniz* gösterimidir. Fizikçiler arasında *Newton* gösterimi de yaygındır. Gottfried Wilhelm Leibniz'in adını taşıyan Leibniz gösterimi, iki diferansiyelin oranı olarak gösterilirken, türev işareti için (′) kullanılır. Daha yüksek mertebeden gösterimler tekrarlanan türeve işaret eder ve bunlar genellikle Leibniz gösteriminde diferansiyellere üst simgeler eklenerek, türev işaretinde ise işaret sayısı artırılarak gösterilir. Daha yüksek mertebeden türevlerin fizikte uygulamaları yaygındır. Örneğin, hareket eden bir cismin zamana göre konumunun birinci türevi cismin hızı iken, konumun zaman ilerledikçe nasıl değiştiğini gösteren ikinci türev cismin ivmesidir. Diğer deyişle, ivme, hızın zaman ilerledikçe nasıl değiştiğini gösteren ikinci türevdir.

Türevler, birden fazla gerçek değişken üzerinden tanımlı fonksiyonlar için de genelleştirilebilir. Bu genellemede, türev, grafiği (uygun bir çevirme veya döndürmeden sonra) orijinal fonksiyonun grafiğine en iyi doğrusal yaklaşım olan doğrusal bir dönüşüm olarak yeniden yorumlanır. Jacobi matrisi, bağımsız ve bağımlı değişkenlerin seçimiyle verilen bir baza göre bu doğrusal dönüşümü temsil eden matristir ve bağımsız değişkenlerin her birine göre kısmi türevler alarak hesaplanabilir. Birden fazla değişkenin gerçel değerli bir fonksiyonu için, Jacobi matrisi gradyan vektörüne indirgenir.

## Tanım
### Limit üzerinden tanım

Bir gerçel değişkenli <math> f</math> fonksiyonun tanım kümesindeki bir a noktasındaki türevini hesaplamak için tanım kümesinde bu a noktasını içeren bir açık aralık olmalıdır. Bu koşulda, eğer
:\lim_{h\rightarrow 0}\frac{f(a+h)-f(a)}{h} 
varsa; yani, limit bir gerçel sayıya eşitse, o zaman  f fonksiyonuna '''<math>a</math> noktasında türevlenebilir''' ya da **<math> f</math>'nin <math>a</math> noktasında türevi vardır** denir. O halde, 
:f'(a)=\lim_{h\rightarrow 0}\frac{f(a+h)-f(a)}{h} \quad\text{ veya } \quad\frac{df}{dx}(a)=\lim_{h\rightarrow 0}\frac{f(a+h)-f(a)}{h}
yazılır. Eğer limitin değeri L ise, o zaman, L'ye **<math>f</math>'nin <math>a</math> noktasındaki türevi** denir ve kısa bir gösterimle 
:f'(a)=L\quad\text{ veya } \quad \frac{df}{dx}(a)=L 
olarak yazılır.

Limitin sonsuz olması veya var olmaması durumunda, f'ye a noktasında **türevlenemez**, f'nin **a noktasında türevi yoktur** ya da f, **a noktasında türevli değildir** denir.

Yukarıdaki limit a civarında doğrudur. Başka bir deyişle h sayısı 0 civarında 0'a yaklaştıkça a + h sayısı a civarında a'ya yaklaşır. Bu sebepten dolayı, eğer fonksiyonun tanımlı olduğu uç noktalarda türev alma ihtiyacı varsa, limit a + h değerinin tanlı olduğu taraftan, yani soldan limit ya da sağdan limit olarak alınmalıdır.

### ε-δ tanımı
Limit üzerinden verilen türev tanımı ε-δ limit tanımı üzerinden de yazılabilir. Eğer limit varsa ve L'ye eşitse, o zaman her \varepsilon>0 için bir \delta>0 vardır öyle ki bütün |h| koşulunu sağlayan ve sıfıra eşit olmayan her h için
\left|L-\frac{f(a+h)-f(a)}h\right|
sağlanır. Burada sol taraftaki dik çubuklarla gösterilen mutlak değerdir.

## Süreklilik ve türevlenebilme

Eğer bir f fonksiyonu a noktasında türevlenebilir ise, o zaman a noktasında noktada sürekli olmak zorundadır. Mesela, bir nokta seçelim ve bu noktada sıçrama gösteren basamak fonksiyonunu ele alalım. Diğer deyişle, fonksiyon a noktasından küçük sayılar için 0 değerini alacaktır, geriye kalan noktalarda ise 1 değerini alacaktır. Limitin tanımına bakıldığı zaman
* Eğer h pozitif bir sayı ise \frac{f(a+h)-f(a)}{h} ifadesi 0'a eşit olacaktır. Yani sağdan limit 0'a eşittir.
* Eğer h negatif bir sayı ise h sayısı (negatif kalarak) 0'a yaklaştıkça \frac{f(a+h)-f(a)}{h} ifadesi +\infty'a doğru gidecektir. Yani soldan limit yoktur.

Ancak bir fonksiyon tanım kümesindeki her noktada sürekli ise, bu özellik, fonksiyonun her yerde türevli olacağı anlamına gelmez. Mesela, mutlak değer fonksiyonu 0 noktasında süreklidir ama türevli değildir. Nedeni, 0'da türevi tanımlayan \lim_{h\rightarrow 0}\frac{h}
limitinin bulunamamasıdır. Ancak, bu fonksiyon 0 haricindeki her noktada türevlidir.
Bir diğer örnek olarak, \sqrt[3]{x} fonksiyonu verilebilir. Bu fonksiyon 0'da türevli olmayıp da başka her yerde türevli olan bir fonksiyondur. Bu fonksiyonun 0'da türevlenebilir olmayışının nedeni \lim_{h\rightarrow 0}\frac{\sqrt[3]{0+h}-\sqrt[3]{0}}{h} 
limitinin \infty, yani sonsuz olmasıdır. Dolayısıyla mutlak değer fonksiyonunun grafiği 0 noktasında kırıkken, \sqrt[3]{x} fonksiyonunun grafiği 0'da da kırılmasızdır.

Uygulamada karşılaşılan türevlerin çoğunun her ya da hemen hemen her yerde türevi vardır.

## Gösterim

Bir fonksiyonun türevini yazmanın yaygın bir yollarından biri, Gottfried Wilhelm Leibniz tarafından 1675 yılında tanımlanan ve türevi iki diferansiyelin (mesela dy ve dx) bölümü olarak gösteren Leibniz gösterimidir. Bu kullanım, bir fonksiyonu y=f(x) olarak yazarken, yani, bağımlı ve bağımsız değişkenler arasında fonksiyonel bir ilişki gösterilmek istendiğinde yaygın bir şekilde kullanılmaktadır. Bu gösterimde, birinci türev \frac{dy}{dx} ile gösterilir ve *y'nin x'e göre türevi* şeklinde okunur. Bu biçimde yazılan türev gösterimi aynı zamanda bir türev operatörünün verilen bir fonksiyona uygulanması olarak da yorumlanabilir. Diğer deyişle, \frac{dy}{dx}=\frac{d}{dx}f(x) yazılırsa, bu, aynı zamanda, f(x) üzerinde x'e göre türev alma operatörü olan \frac{d}{dx}'in uygulanması olarak yorumlanabilir. Daha yüksek türevler, mesela y=f(x)'in n'inci mertebeden türevi, şu gösterim kullanılarak ifade edilir: \frac{d^n y}{dx^n}. Örneğin, \frac{d^2y}{dx^2} = \frac{d}{dx}\Bigl(\frac{d}{dx} f(x)\Bigr) yazıldığında, türevin türevinin alındığını gösterir ve bu tür gösterim uygulamada çok kullanışlı hale gelir. Bazı alternatiflerinin aksine, Leibniz gösterimi, paydada türevlendirme için değişkenin açıkça belirtilmesini içerir ve bu da birden fazla birbiriyle ilişkili nicelikle çalışırken belirsizliği ortadan kaldırır. Bir bileşke fonksiyonun türevi zincir kuralı ile ifade edilir. Eğer, u = g(x) ve y = f(g(x)) ise, o zaman \frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx} olur.

Türev için bir diğer yaygın gösterim, bir fonksiyonun hemen yanında kesme işaretine benzeyen türev işaretinin kullanılmasıdır; bu gösterim, aynı zamanda Joseph-Louis Lagrange'a atfen Lagrange gösterimi olaraka da bilinir. Birinci türev bu gösterimde f^{\prime}(x) halinde yazılır ve *f'nin türevi* olarak okunur. Benzer şekilde, ikinci ve üçüncü türevler şu şekilde yazılabilir: f*(x)</math> ve <math>f*'(x). Bu noktadan sonraki daha yüksek mertebeden türevlerin sayısını belirtmek için bazı yazarlar üst simge olarak Roma rakamlarını kullanırken diğerleri sayıyı parantez içine koyar: f^{\mathrm{iv}} veya f^{(4)} gibi. Genel durumda ise, f^{(n)} kullanılır.

*Newton gösteriminde* veya *nokta gösterimi*nde, zamana göre türevi temsil etmek için bir fonksiyon sembolünün üzerine bir nokta yerleştirilir. Eğer y zamana bağlı bir fonksiyonsa, o zaman birinci ve ikinci mertebeden türevler sırasıyla \dot{y} ve \ddot{y}  biçiminde gösterilirler. Bu gösterim yalnızca zaman veya yay uzunluğuna göre türevler için kullanılır. Kullanımı, fizik ve diferansiyel geometrideki diferansiyel denklemlerde de mevcuttur. Ancak, nokta gösterimi yüksek mertebeden türevler (4 veya daha fazla mertebeden) için yönetilemez hale gelir ve birden fazla bağımsız değişkenle baş edemez.

Başka bir gösterim ise diferansiyel operatörü sembolüyle gösteren *D-gösterimidir*. Bu gösterimde türevi gösterirken D operatörü kullanılır. Mesela, f(x)'in birinci türevi gösterilirken D f(x) yazılır. Daha yüksek mertebeden türevler için üst simge kullanılır: D^n f(x). Bu notasyona bazen Euler gösterimi denir; ancak, bu gösterim Euler tarafından değil Louis François Antoine Arbogast ilk defa kullanılmıştır. Bu notasyonun kısmi türeve yönelik kullanımı da çok elverişlidir. Kısmi türevi belirtmek için, türevlenen değişken bir alt simge ile gösterilir, örneğin u = f(x, y) fonksiyonu için ⁠x'e göre kısmi türev D_x u veya D_x f(x,y) olarak yazılabilir. Daha yüksek kısmi türevler ise üst simgeler veya çoklu alt simgelerle gösterilebilir. Örneğin, yine u = f(x, y) fonksiyonu için D_{xy} f(x,y) = \frac{\partial}{\partial y} \Bigl(\frac{\partial}{\partial x} f(x,y) \Bigr) ve  yazılabilir.

## Türev alma kuralları

### Temel fonksiyonlar için kurallar
Aşağıda en yaygın temel fonksiyonların türevleri için kurallar verilmiştir. Burada,
a gerçek bir sayıdır ve e doğal logaritmanın tabanı ve yaklaşık olarak 2.71828'dir.

### Birleşik fonksiyonlar için kurallar
* Kuvvet fonksiyonlarının türevi (kuvvet kanunu):
*:  \frac{d}{dx}x^a = ax^{a-1} 

* Üstel fonksiyon, doğal logaritma ve genel tabanlı logaritmanın türevi
*:  \frac{d}{dx}e^x = e^x 
*:  \frac{d}{dx}a^x = a^x\ln(a)  , \quad(a > 0 ) 
*:  \frac{d}{dx}\ln(x) = \frac{1}{x} , \quad(x > 0 ) 
*:  \frac{d}{dx}\log_a(x) = \frac{1}{x\ln(a)}  , \quad(x, a > 0 )  

* Trigonometrik fonksiyonların türevi
*:  \frac{d}{dx}\sin(x) = \cos(x) 
*:  \frac{d}{dx}\cos(x) = -\sin(x) 
*:  \frac{d}{dx}\tan(x) = \sec^2(x) = \frac{1}{\cos^2(x)} = 1 + \tan^2(x) 

* Ters trigonometrik fonksiyonların türevi
*:  \frac{d}{dx}\arcsin(x) = \frac{1}{\sqrt{1-x^2}},\quad  -1  için
*:  \frac{d}{dx}\arccos(x)= -\frac{1}{\sqrt{1-x^2}},\quad  -1  için
*:  \frac{d}{dx}\arctan(x)= \frac{1} 

### Basit işlemlerle elde edilmiş fonksiyonlar için türevler
Aşağıda, temel fonksiyonlardan basit aritmetik işlemler veya bileşke yoluyla elde edilmiş fonksiyonların türevini hesaplamak için bilinen en temel kurallardan bazıları verilmiştir. Bu amaçla f ve g fonksiyon olsun.
* *Sabit fonksiyon*: eğer f sabitse, o zaman her x için
*: f'(x) = 0. 
* *[[Türevin doğrusallığı|Toplama kuralı]]*:
*: (\alpha f + \beta g)' = \alpha f' + \beta g'  (her f ve g fonksiyonu ve bütün \alpha ve  \beta gerçel sayıları için).
* *[[Çarpma kuralı]]*:
*: (fg)' = f 'g + fg'  (her f ve g fonksiyonu için)
:: Özel bir durum olarak, her \alpha sayısı için (\alpha f)' = \alpha f'  olur çünkü is \alpha sayısı sabittir ve \alpha' f = 0 \cdot f = 0 olur.

* *[[Bölme kuralı]]*:
*: \left(\frac{f}{g} \right)' = \frac{f'g - fg'}{g^2} (her f ve g\ne 0 olan her g fonksiyonu için)
* Bileşke fonksiyonlar için *[[Zincir kuralı]]* : Eğer ise, o zaman
*: f'(x) = h'(g(x)) \cdot g'(x). 

### Örnek
f(x) = x^4 + \sin \left(x^2\right) - \ln(x) e^x + 7 olsun. O zaman, 
 \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} 
Burada ikinci terim zincir kuralı kullanılarak ve üçüncü terim çarpım kuralı kullanılarak hesaplanmıştır. Ayrıca,  x^2 ,  x^4 ,  \sin (x) ,  \ln (x) ,  e^x  ve sabit  7  gibi temel fonksiyonların türevleri de kullanıldı.

## Yüksek mertebeden türevler
Daha yüksek mertebeden türevler, bir fonksiyonun tekrar tekrar türevlenmesinin sonucudur. 
 f  türevlenebilir bir fonksiyon ise 
*  f nin *birinci* türevi fonksiyonun türevidir ve f' ile gösterilir. 
*  f' nin türevi ise f nin *ikinci* türevidir ve f*</math> ile gösterilir. 
* <math> f* nin türevi ise f nin *üçüncü* türevidir ve f**</math> ile gösterilir. 
Bu süreç tekrarlanarak, eğer türev varsa, fonksiyonun ''(n-1)''inci türevi başlangıçta alınan fonksiyonun ''n**inci türevidir. Gösterim kısmında verilen bilgiye de dayanarak, 
* f^{(n-1)}in türevi f nin *n*'inci türevidir ve  f^{(n)} olarak gösterilir.

### ''C<sup>k</sup>'' fonksiyon
Arka arkaya k tane türevi hesaplanabilen fonksiyonlara **<math>k</math> kere türevli** ya da **k kere türevlenebilir fonksiyon**lar denilir. Eğer, kinci türev aynı zamanda sürekli ise o zaman bu fonksiyon C^k sınıfına aittir. Daha matematiksel bir ifadeyle, bir \Omega kümesi üzerinde tanımlı bir f fonksiyonu verilsin. Eğer bu fonksiyon k kere türevlenebilen ve k'inci türevi sürekli olan bir fonksiyon ise, o zaman f\in C^k(\Omega) yazılır ve fonksiyona **<math>k</math> kere sürekli türevlenebilir fonksiyon** denir.

### ''C<sup>∞</sup>'' fonksiyon

Tanım kümesindeki bütün noktalarda *sonsuz kere türevli* olan, yani, keyfi bir k pozitif bir tam sayısı için k'inci türevi var olan bir fonksiyona **düzgün fonksiyon** ya da **sonsuz türevli fonksiyon** denir. Diğer deyişle, k kere türevlenme sayısında herhangi bir sınır yoksa, yani fonksiyon için hesaplanabilen yüksek mertebeden herhangi bir türevinin türevi yine hesaplanabiliyorsa, bu fonksiyona *sonsuz kere türevli* ya da *düzgün fonksiyon* denir. Düzgün bir fonksiyonun türevlenebilirlik sınıfını göstermek için C^{\infty} gösterimi kullanılır. 
Daha matematiksel bir ifadeyle, bir \Omega kümesi üzerinde tanımlı bir f fonksiyonu verilsin. Eğer bu fonksiyon sonsuz türevlenebilir bir fonksiyon ise, o zaman f\in C^{\infty}(\Omega) yazılır.

## Diğer boyutlarda türev
### Vektör değerli fonksiyonlar
Vektör değerli bir fonksiyon  \mathbf{y}  gerçel sayılar üzerindeki gerçel bir değişkeni bir \mathbb R^n vektör uzayındaki vektörlere gönderir. Bir vektör değerli fonksiyon, koordinat fonksiyonlarına ayrılabilir yani  \mathbf{y} = (y_1(t), y_2(t), \dots, y_n(t)) yazılabilir.  \R^2  ve  \R^3 'deki parametrik eğriler bu fonksiyonların güzel bir örneğidir. Bu fonksiyonların koordinat fonksiyonlarının here biri gerçel değerli olduğu için yukarıda verilen türev tanımları her biri için geçerlidir. 
O zaman,  \mathbf{y}(t) 'nin türevi  \mathbf{y}(t) inin koordinate fonksiyonlarının türevlerinden oluşan bir vektör olur ki buna da *tanjant* ya da *teğet vektör* denilir.

### Kısmî türev
**Kısmî türev**, çok değişkenli bir fonksiyonun sadece ilgili değişkeni sabit değilken alınan türevdir. Bu tarz türevleri içeren denklemlere kısmî diferansiyel denklem denir.

#### Kısmî türevin tanımı

z:^{n}}\times ^{n}}\to \mathbb{R}

z=f(,,...,,...,)

şeklinde tanımlanan *n* tane bağımsız değişkene bağlı *z* fonksiyonunun diğer değişkenler sabit tutularak herhangi bir değişkendeki \Delta  değişimine karşılık fonksiyonun değişim hızı

\frac{\Delta z}{\Delta }=\frac{f(,,...,+\Delta ,...,)-f(,,...,,...,)}{\Delta }

\Delta =h

\frac{\partial z}{\partial }=\underset{h\to 0}{\mathop{\lim }}\,\frac{f(,,...,+h,...,)-f(,,...,,...,)}{h}

ifadesine z fonksiyonunun  değişkenine göre kısmî türevi denir.

\frac{\partial f}{\partial }==f=\frac{\partial z}{\partial }=

şeklinde gösterilir.

z=f\left( x,y \right) ise;

\left( x,y \right)=\underset{h\to 0}{\mathop{\lim }}\,\frac{f\left( x+h,y \right)-f\left( x,y \right)}{h}

\left( x,y \right)=\underset{k\to 0}{\mathop{\lim }}\,\frac{f\left( x,y+k \right)-f\left( x,y \right)}{k}

Örnek:

\begin{align}
 & f(x,y)=+- \\ 
 & =+- \\ 
 & =3+2xy-0 \\ 
 & =3+2xy \\ 
\end{align}

### Yönlü  türev

Eğer *f* bir **R**n üzerinde gerçek değerli fonksiyon ise koordinat eksenlerinin yönü içinde *f* in kısmî türevi içinde çeşitli ölçmeler ise (mesela *f* bir *x* ve *y* fonksiyonunun *x* yönü ve *y* yönü içinde *f* 'nin kısmî türevinde çeşitli ölçmeler ise) buna yönlü türev denir.

Bununla birlikte köşegen çizgi  boyunca gibi herhangi diğer yön içinde *f* in yönlü ölçü çeşitleri yoktur.

Burada yönlü türev ölçüsü kullanılıyor.

:\mathbf{v} = (v_1,\ldots,v_n).

bir vektörse **v**nin yönü içinde *f*in **yönlü türev**inin **x** noktasında sınırıdır.

:\mathrm{D}_{\mathbf{v}}{f}(\mathbf{x}) = \lim_{h \rightarrow 0}{\frac{f(\mathbf{x} + h\mathbf{v}) - f(\mathbf{x})}{h}}.

Bazı durumlarda bu vektörün uzunluğunu değiştirme sonrası yön türevi hesaplamak veya tahmin etmek daha kolay olabilir. Genellikle bu bir birim vektör yönünde bir yönde türevinin hesaplanması içinde sorunu açmak için yapılır. Bunun nasıl çalıştığını görmek için bunu  varsayalım. fark katsayısı içinde yerine konur.Aradaki fark katsayısı:

:\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}.

Bu **u** sırasıyla *f*in yönlü türevi için λ zaman içinde farklı katsayısıdır. Dahası sıfıra yönelen *k* olarak alınan limit olarak aynı *h* ve *k* için herhangi diğerinin çarpımıdır. Bunun için . Bu nedenle yeniden ölçeklendirme özelliği, yönlü türevler sık sık sadece birim vektörler için kabul edilir.

Eğer *f*'in tüm kısmî türevleri var ve **x**'de sürekli ve formülü ile **v** yönünde *f* içinde belirlenen yönlü türev ise

:\mathrm{D}_{\mathbf{v}}{f}(\boldsymbol{x}) = \sum_{j=1}^n v_j \frac{\partial f}{\partial x_j}.

Bu toplam türevin tanımının bir sonucudur. Bu yönlü türev, aşağıda **v** içinde doğrusaldır. Bu da

.

demektir. Aynı tanım, ayrıca *f* olduğunda **R**m içindeki değerleri ile bir fonksiyondur. Yukardaki tanım, vektörlerin her bir bileşeni için uygulanır. Bu durum içinde yönlü türev **R**m içinde bir vektördür.

### Toplam türev

Bir f fonksiyonu  \R^n deki açık bir kümeden 'e tanımlanmış bir fonksiyonsa,  f 'nin seçilen bir noktadaki ve yöndeki yönlü türevi  f 'nin yine aynı noktada ve aynı yönde en iyi doğrusal yaklaşımıdır. Ancak, n>1 ise yönlü türev  f 'nin davranışı hakkında tam bir açıklama veremez. Toplam türevi bu bağlamda tam bir açıklama sağlamaktadır. Yani, bir  vektöründen başlayan herhangi bir  \mathbf{v}  vektörü için aşağıdaki doğrusal yaklaşım sağlanır:
f(\mathbf{a} + \mathbf{v}) \approx f(\mathbf{a}) + f'(\mathbf{a})\mathbf{v}.

Benzer bir şekilde, tek değişkenli fonksiyonlar için tanımlana türevde de  f'(\mathbf{a})  buradaki yaklaşım hatasını olabildiğince küçük yapacak şekilde seçilir.  f 'nin bir  \mathbf{a}  noktasındaki toplam türevi 
 f'(\mathbf{a}) \colon \R^n \to \R^m , 
\lim_{\mathbf{h}\to 0} \frac{\lVert f(\mathbf{a} + \mathbf{h}) - (f(\mathbf{a}) + f'(\mathbf{a})\mathbf{h})\rVert}{\lVert\mathbf{h}\rVert} = 0
olacak şekilde biricik olarak tanımlanan doğrusal bir dönüşümdür. Burada,  \mathbf{h} ,  içinde bir vektördür; ancak,  f'(\mathbf{a}) \mathbf{h},   içinde bir vektördür.

Toplam türev, eğer bir noktada varsa, o zaman yine aynı noktada bütün kısmi türevler ve yönlü türevler de vardır. Bu halde, bütün  vektörü için,  f 'nin 
 yönündeki yönlü türevi f'(\mathbf{a})\mathbf{v}  olur. Eğer  f , koordinat fonksiyonları cinsinden; yani,  olacak şekilde yazılırsa, o zaman toplam türev kısmi türevlerin matrisi olarak ifade edilebilir: 
f'(\mathbf{a}) = \operatorname{Jac}_{\mathbf{a}} = \left(\frac{\partial f_i}{\partial x_j}\right)_{ij}.
Bu matrise  f 'nin  a  noktasındaki Jacobi matrisi denir.

## Ayrıca bakınız
* İntegral

## Notlar


## Kaynakça