X=C1(0,1) sürekli fonkisyonlar kümesi olsun .
Ve d(f,g)=sup{|f(x)−g(x)|:x∈(0,1)} olsun .
Gösterin ki T:X→X,T(f)=f′ (f in türevi ) bir contraction ( büzüşme ) değildir . Neden ?
Proof by contradiction kullanabiliriz sanıyorum ..
Aslında burada çok küçük bir sorun var. T:C1([0,1])→C0([0,1]) olur. Ama X=C∞([0,1]) alırsak sorun kalmaz.
(Bir de elbette tüm aralıklar (0,1) değil de [0,1] olmalı ki sup gerçel sayı olsun.)
d(f′,0)≥d(f,0) olacak şekilde bir f∈C1(0,1) bulmak yeterlidir.