Apskatīsim funkciju , kas definēta punkta apkārtnē.
1.1. definīcija. Par funkcijas atvasinājumu punktā sauc šādu robežu1.1:
Funkcijas atvasinājumu punktā apzīmē ar (lasa: "ef prim no "). Saskaņā ar šo definīciju .
1.2. definīcija. Funkciju, kurai punktā eksistē galīgs atvasinājums, sauc par diferencējamu1.2 jeb atvasināmu šajā punktā.
Pieņemsim, ka ir punktu kopa1.3, kurā funkcija ir diferencējama. Katram skaitlim piekārtojot skaitli , iegūsim funkciju, kas definēta kopā . Šo funkciju sauc par funkcijas atvasināto funkciju jeb atvasinājumu un apzīmē ar vai 1.4 (attiecīgi lasa: "ef prim", "de ef pēc de iks"). Lai, izmantojot atvasinājuma definīciju, noteiktu funkcijas atvasinājumu punktā , rīkojas šādi.
Rīkosimies pēc iepriekš minētās shēmas.
Tādējādi .
Visbeidzot .
Izvēlēsimies un tādu , ka .
Visbeidzot , ja . Analogi , ja . Acīmredzami neeksistē, jo
Tādējādi - neeksistē, citiem vārdiem, funkcija punktā nav diferencējama.
Tādējādi funkcijas (1.1. zīm.) atvasinājums ir definēts ar formulu
Pēc analoģijas ar funkcijas vienpusējām robežām tiek definēti arī funkcijas vienpusējie atvasinājumi.
1.3. definīcija. Par funkcijas atvasinājumu no labās (kreisās) puses punktā sauc attiecības robežu, kad tiecas uz nulli no labās (kreisās) puses, pieņemot, ka šāda robeža eksistē.
Funkcijas atvasinājumu no labās puses punktā apzīmē ar simbolu , bet no kreisās puses - ar simbolu . Tādējādi
un
Piemēram, funkcijai punktā eksistē vienpusējie atvasinājumi, t.i., , , bet tie nav vienādi. Tātad - neeksistē.
Sakaru starp diferencējamu un nepārtrauktu funkciju izsaka šāda teorēma.
1.1. teorēma. Ja funkcija ir diferencējama punktā , tad tā ir nepārtraukta šajā punktā.
Saskaņā ar doto eksistē galīgs . Uzrakstīsim acīmredzamu vienādību . Šajā vienādībā pāriesim pie robežas, kad tiecas uz nulli. Iegūsim, ka
1.4. definīcija. Funkciju sauc par diferencējamu kopā , ja tā ir diferencējama šīs kopas katrā punktā.
1.5. definīcija. Funkciju, kas ir diferencējama savā definīcijas apgabalā, sauc par diferencējamu funkciju.