Önsav. Eğer f:X→R fonksiyonu bir c∈X∘ noktasında türevlenebilirse , o zaman öyle bir δ>0 ve M sayıları vardır ki, her x∈(c−δ,c+δ) için |f(x)−f(c)|<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)→R fonksiyonu c∈(a,b) noktası civarında Lipschitz koşulunu sağlasın. O zaman f fonksiyonu c noktasında süreklidir.
Kanıt. M ve δ0 sayıları Lipschitz koşulunu sağlasınlar.ϵ>0 olsun. δ=min[δ0,ϵ/M] olsun. Eğer, x∈(c−δ,c+δ) ise , |x−c|<δ≤δ0 ve dolayısıyla |f(x)−f(c)|<M|x−c|<Mδ≤ϵ olur. Demek ki f, c de süreklidir.
Matematik Dünyasi dergisi 2010/II