limx→af(x)=L olarak tanımlıysa;|f(x)−L|<ϵ olan her ϵ>0 için bu eşitliği sağlayan 0<|x−a|<δ bulabiliriz demek.−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−|a−b|<ϵ için her ϵ>0 olabiliyor ise a=b olur.Peki ya limit tanımı neden böyle değil?Neden direkt olarak
a,b∈R olmak üzere
(∀ϵ>0)(|a−b|<ϵ)⇒a=b önermesi ile A⊆R, f∈RA, a∈D(A) (yani a, A kümesinin bir yığılma noktası) ve L∈R olmak üzere
(∀ϵ>0)(∃δ>0)(∀x∈A)(0<|x−a|<δ→|f(x)−L|<ϵ) önermesi aynı şeyler değil.
(0<|x−a|<δ⇒|f(x)−L|<ϵ) bu olurken de gene f(x)=L diyebiliriz bence, tatmin olamıyorum :( Tamam cevap f(x)'in değişkenliği ve ϵ'un esnekligi ama belki biraz daha ilginç bir şey olabilir diye sormuştum.