Kanıt: a ≥ b ise kanıtlayacak bir şey yok. Bundan böyle a < b varsayımını
yapalım.
S = {c ∈ [a, b] : f fonksiyonu [a, c] üzerine sınırlı}
tanımını yapalım. a ∈ S olduğundan S ̸= ∅. Demek ki c = sup S var. Şimdi
amacımız c’nin b’ye eşit olduğunu kanıtlamak. Diyelim c < b. Fonksiyon c’de
sürekli olduğundan, öyle bir 0 < δ vardır ki, her x ∈ (c − δ, c + δ) ∩ [a, b] için
|f(x) − f(c)| < 1,
yani
(1) −1 + f(c) < f(x) < 1 + f(c)
olur (sürekliliğin tanımında ϵ = 1 aldık). Elbette δ’yı b−c’den küçük seçebiliriz;
öyle yapalım. O zaman her x ∈ [c, c + δ] için
−1 + f(c) < f(x) < 1 + f(c)
olur, yani f fonksiyonu [c, c + δ] üzerinde sınırlıdır. Buradan a < c çıkar. δ’yi
bir de ayrıca c−a’dan da küçük seçelim. (1)’den dolayı f’nin [c−δ/2, c+δ/2]
kapalı aralığında sınırlı olduğu anlaşılır. Ama f zaten [a, c − δ/2] aralığında
sınırlı. Demek ki f fonksiyonu bu iki aralığın bileşimi olan [a, c + δ/2] aralı-
ğında da sınırlı, ki bu da c + δ/2 ∈ S demektir. S’de c’den büyük bir eleman
bulduk, celişki.
Ayşe Uyar