Bütün gerçel sayıları taramalıyız. Bu işi tabii ki tek tek yapmayacağız. Fonksiyonun kuralını göz önünde bulundurarak fonksiyonun tanım kümesini belirli aralıklara ayırarak yapacağız.
- x<−1 durumunu inceleyelim.
x<−1 için f(x)=x⋅(−1)=−x olur. Dolayısıyla f fonksiyonu (−∞,−1) aralığında sürekli olduğunu görmek zor olmasa gerek.
- x>1 durumunu inceleyelim.
x>1 için f(x)=x⋅0=0 olur. Dolayısıyla f fonksiyonu (1,∞) aralığında da sürekli olduğu açık.
- Son olarak da −1≤x≤1 durumunu inceleyelim.
@alpercay'ın da ifade ettiği gibi tamdeğer fonksiyonunun içerisini tamsayı yapan gerçel sayılara yani n∈Z∖{0} olmak üzere 1n gerçel sayılarına odaklanalım. Bunu da n tamsayısının pozitif ve negatif olmasına göre iki durumda inceleyelim.
f fonksiyonun tanım kümesi R gerçel sayılar kümesi ve gerçel sayılar kümesinin türev kümesi (yani tüm yığılma noktalarının oluşturduğu küme) D(R)=R olduğundan her noktada limitten bahsetmeye hakkımız var. O halde bu linkte yer alan teoremden faydalanabiliriz.
İlk olarak n∈Z>0 durumuna bakalım.
limx→1n−f(x)=limx→1n−x⋅⌊1x⌋=1≠n−1n=limx→1n+x⋅⌊1x⌋=limx→1n+f(x) olduğundan n∈Z>0 için f fonksiyonu x=1n noktalarında sürekli değildir.
İkinci olarak n∈Z<0 durumuna bakalım.
limx→1n−f(x)=limx→1n−x⋅⌊1x⌋=1≠n+1n=limx→1n+x⋅⌊1x⌋=limx→1n+f(x) olduğundan n∈Z<0 için f fonksiyonu x=1n noktalarında sürekli değildir.
Geriye sadece n∈Z>0 için (1n+1,1n) aralıkları ile n∈Z<0 için (1n,1n−1) aralıkları kaldı.
Şimdi f fonksiyonunun n∈Z>0 için (1n+1,1n) aralıklarında sürekli olduğunu gösterelim. n∈Z<0 için f fonksiyonunun (1n,1n−1) aralıklarında sürekli olduğu benzer şekilde gösterilebilir.
n∈Z>0 ve a∈(1n+1,1n) olsun. n pozitif tamsayısını ve a gerçel sayısını keyfi seçtiğimiz için f fonksiyonunun a noktasında sürekli olduğunu gösterirsek her n∈Z>0 için f fonksiyonunun (1n+1,1n) aralıklarında sürekli olduğunu kanıtlamış oluruz.
a∈(1n+1,1n) olduğunda f(a)=a⋅⌊1a⌋=a⋅n olur.
Her ϵ>0 için 0<δ≤ϵn seçilirse |x−a|<δ koşulunu sağlayan her x∈R için |f(x)−f(a)|=|n⋅x−n⋅a|=n⋅|x−a|<n⋅δ≤n⋅ϵn=ϵ olur. O halde f fonksiyonu a noktasında süreklidir.
0 hariç bütün gerçel sayıları taramış olduk. Fonksiyonun 0 noktasında sürekli olduğunun gösterilmesini de ayrı bir soru olarak soralım.