funkcji jednej zmiennej
Definicja. Zał. że /: (a,ń) M, xQ e (a/). Ilorazem różnicowym funkcji / w punkcie x0
x-xn
nazywamy odwzorowanie <p:(a,b)\ |xQ} —> M określone równaniem <p(x) = - y J ' 0'
f’(x0) = lim <p{x)= lim - lim + ^nazywamy pochodną / w punkcie x0;
- • *■h
X» X-Xn
A—>0
x .. /(x)-/(x0) f(xa + h)-f{xa) , , ,
f_[x0 j = hm ——-= hm ——---nazywamy pochodną lewostronną w punkcie x0;
*-«a X ~ X„
h-*Q~
fi (xo)= lini = lim + —fif°l nazywamy pochodną prawostronną w punkcie x0.
*-Mo x- X„
h-*0ł
Mówimy, że funkcja/jest różniczkowalna x0, gdy /'(x) istnieje i jest skończona.
Mówimy, że funkcja/jest różniczkowalna na (a,b), gdy V / jest różniczkowalna w x0.
je(a,6)
Mówimy, że funkcja/jest różniczkowalna na [a,i], gdy / jest różniczkowalna w x0 e (a, b) oraz pochodne jednostronne w punktach a,b istnieją i są skończone.
Definicja. Zał. że /: (a,ń) -> M jest różniczkowalna. Funkcję, która każdemu punktowi x e (a,b) przyporządkowuje f'(x) nazywamy pochodną funkcji /.
Mówimy, że /: (a,b) -»® jest pochodną, jeśli istnieje taka, że ^ /(*) = F'(x).
Twierdzenie. Jeżeli funkcja /: (a,A) -» ® jest różniczkowalna w x0 e (a,ń), to / jest ciągła w x0.
Twierdzenie. Jeżeli /, g: (a,b) -> ® są różniczkowalne wx0 e {a,b). Wtedy:
(1) h = / + g jest funkcjąróżniczkowalną w x0 i h’(x0) = f{x0)+ g'(*o);
(2) h = f - g jest funkcją różniczkowalną w x0 i h'(xa ) = /’(x0) - g'(x0);
(3) h = fg jest funkcją różniczkowalną w x0 i /i’(x0)=/'(x0)-g(x0)+/(x0)-g'(x0);
f'(xo)-8(x0)-f(x0)-g'(x0)
(4) /z = — i g(xQ) # 0 jest funkcją różniczkowalną w x0 i /i'(xQ) 8
Twierdzenie. Funkcja/ :(a,b) -» ® jest różniczkowalna w x0 i f'{x) = c <=> istnieje <p: (a,b) —> taka, że #j(xq)=0 i <p jest ciągła w x0 oraz /(x)-= /(x0) + c(x-x0) + ^(x)(x-x0).
Twierdzenie. Zał. że /:(a,£)^®, x0e(a,ń), /(a,i)c (c,c?), g:(c,cf)->®, /jest różniczkowalna w x0, a g w / (x0). Wtedy h = g ° / jest różniczkowalna w x0 oraz
= /'(*<>)• £'(/(*<>))•
Twierdzenie. Zał. że /: (a,6) -> ® jest różnowartościowa, ciągła i różniczkowalna w x0 e (a,b), f(x0) ź 0 . Wtedy f~' jest różniczkowalna w ya = /(x0) oraz (/"* (y0)) = (/'(x0 ))"ł.
1