Önsav. Eğer $f:X \to R$ fonksiyonu bir $c\in X^{\circ}$ noktasında türevlenebilirse , o zaman öyle bir $\delta\gt 0$ ve $M$ sayıları vardır ki, her $x\in (c-\delta,c+\delta)$ için $$|f(x)-f(c)|\lt M|x-c|$$ olur.
Yukardaki koşul doğru olduğunda, "f fonksiyonu $c$ civarında Lipschitz koşulunu sağlar" denir.
Teorem. Bir fonksiyon, türevli olduğu noktalarda süreklidir.
Kanıt. Aslında (Önsav ışığında) bu teoremden daha kuvvetli bir sonuç doğrudur:
Önsav. $f:(a,b)\to R$ fonksiyonu $c\in (a,b)$ noktası civarında Lipschitz koşulunu sağlasın. O zaman $f$ fonksiyonu $c$ noktasında süreklidir.
Kanıt. $M$ ve $\delta_0$ sayıları Lipschitz koşulunu sağlasınlar.$\epsilon \gt 0$ olsun. $\delta=$min$ [ \delta_0,\epsilon/M]$ olsun. Eğer, $x\in (c-\delta,c+\delta) $ ise , $|x-c|\lt \delta\le\delta_0$ ve dolayısıyla $$|f(x)-f(c)|\lt M|x-c|\lt M\delta\le \epsilon$$ olur. Demek ki $f$, $c$ de süreklidir.
Matematik Dünyasi dergisi 2010/II