Loading [MathJax]/jax/output/HTML-CSS/jax.js
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
2.6k kez görüntülendi

(X,d) bos olmayan bir tam metrik uzayi olsun. T:XX de buzusme eslesmesi olsun. Gosteriniz: bir adet biricik xX vardir ki T(x)=x olsun. Hatta herhangi bir x0X ile baslayarak xi=T(xi1) ile verilen dizinin limiti de bu sabit deger yapar.

Lisans Matematik kategorisinde (25.6k puan) tarafından  | 2.6k kez görüntülendi

1 cevap

1 beğenilme 0 beğenilmeme
En İyi Cevap

T bir büzüşme eşleşmesi ise, d(T(x),T(y))pd(x,y) herhangi bir p]0,1[ için bütün x,yX'lerde geçerli olmak zorundadır (zaten tanımı bu).  

Eğer X'in  T(x)=x  koşulunu sağlayan birden fazla elemanı olsaydı (böyle x'leri sabit değer diye adlandırıyoruz), bunlardan herhangi ikisini a,bX seçebilirdik ve o zaman d(a,b)=d(T(a),T(b))pd(a,b). Ama p<1 olduğu ve  d(a,b)>0 için d(a,b)pd(a,b) olamayacağına göre d(a,b)=0a=b'dir.


İkinci savı kanıtlamak  için m,nN ve 0mn  olsun.

d(xm,xn)d(T(xm1),T(xn1)=pd(xm1,xn1)...

bunu devam ettirdiğimizde

...pd(x0,xnm)

ve üçgen eşitsizliğini ardarda kullandığımızda

...pmnm1j=0d(xj,xj+1)=pm[d(x0,x1)+nm1j=1d(T(xj1),T(xj))]

aynı şekilde (toplamı her seferinde açarak)

...pmd(x0,x1)nm1j=0pj=d(x0,x1)pm1pnm1pd(x0,x1)pm1p

yani (xi)iN (X,d)'de bir Cauchy dizisidir ve (X,d) tam olduğu için bir yakınsama değeri a:=limixi vardır. Böylece

a=limixi=limixi+1=limiT(xi)=

büzüşme özelliği  nedeniyle T'nin düzgün sürekli olduğunu kullanırsak

=T(limixi)=T(a) (=a sabit değerdir).

(1.2k puan) tarafından 
tarafından seçilmiş

ispatın ikinci kısmında d(x[sub]m[/sub],x[sub]n[/sub])=d(Tx[sub]m-1[/sub],Tx[sub]n-1[/sub])≤qd(x[sub]m-1[/sub],x[sub]n-1[/sub])

olması gerekmez mi acaba ?


20,312 soru
21,868 cevap
73,589 yorum
2,858,805 kullanıcı