Processing math: 100%
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
528 kez görüntülendi
"Her AX için A=f1[f[A]]" her zaman doğru mudur?

AX olsun.

xAf(x)f[A]xf1[f[A]] olduğundan Af1[f[A]] olur.

Fonksiyonun birebir olup olmadığına bakarsak,

f, birebir:(x1,x2X)(f(x1)=f(x2)x1=x2)

xf1[f[A]](yf[A])(f(x)=y)

ben buraya kadar ilerleyebildim.

Devamında yardımcı olabilir miisiniz?
Lisans Matematik kategorisinde (12 puan) tarafından 
tarafından düzenlendi | 528 kez görüntülendi
(AX)(A=f1[f[A]])() önermesi doğru ise her AX için Af1[f[A]].(1) ve f1[f[A]]A(2) olduğunu göstermelisin.

Sen keyfi bir AX için Af1[f[A]] olduğunu göstermişsin.
 

Eğer (*) önermesi doğru ise şimdi de keyfi bir AX için f1[f[A]]A olduğunu göstermelisin. Doğru değil ise doğru olmadığına dair bir örnek vermelisin.

Önce buna karar vermelisin. Buna nasıl karar vereceksin? Onu düşün.
Öncelikle cevabınız için teşekkür ederim.

Yazdığınız işlemlerden yola çıkarak son şeklini vermeye çalıştım.

(AX)(A=f1[f[A]])....() önermesinin doğru olduğunu göstermek için birbirlerinin altkümesi olduğunu göstermeliyiz.

Amacımız (1) Af1[f[A]] ve (2)f1[f[A]]A  (1),(2) olduğunu göstermek.

Başlayalım.

(AX)(xA)          ​​​​​​

f[x]={f(x) xX }         f(x)f[A] xf1[f[A]]

f, fonksiyonunun birebir olduğunu varsayalım ve herhangi bir AX altkümesini düşünelim.

Elimizde Af1[f[A]] bilgisi var.

xf1[f[A]] f(x)f[A] xA[f(x)=f(x)] diyebiliriz.

f,fonksiyonunun birebir olduğunu varsaydığımızdan

x=x ve xAxA olacaktır.

O halde f1[f[A]A 'dır.

(1),(2) 'den A=f1[f[A]]

Amacımıza ulaştık.

Son halini bu kadar devam ettirebildim,

umarım doğrudur.

Teşekkürler.
Soruda f fonksiyonu ile ilgili ekstra bir özellik verilmemiş. Dolayısıyla birebir olduğunu varsayamazsın.
 

Bir fonksiyonun sol tersinin olması için gerek ve yeter koşul fonksiyonun birebir olmasıdır. Bu teoremi ve kanıtını bu site içerisinde bulabilirsin.
 

Şimdi tekrar senin soruna dönecek olursak -az önce yazdığımız teorem gereğince- söz konusu eşitliğin sağlanması için fonksiyonun birebir olması gerekir. Soruda böyle bir bilgi verilmediği için fonksiyon birebir olabilir de olmayabilir de. O halde yukarıda yazdığımız teorem gereğince fonksiyon birebir olmadığında söz konusu eşitliğin olmadığı durumlar var. Dolayısıyla birebir olmayan bir fonksiyon ele alacaksın. Ve söz konusu eşitliğin sağlanamadığına dair bir karşı örnek vereceksin.
Anladığım kadarıyla "birebir olduğunu varsaymak" yerine,

Teorem: f,birebir (gXY)(gof=Ix)....()

() teoremi gereğince   taraflı kanıtladığımızda f, fonksiyonunun birebir olduğunu ispatlayabiliriz.
Elinde böyle bir teorem olduğuna göre demekki senin sorunun yanıtı "hayır, yanlıştır" olmalı. O zaman AKSİNE bir örnek oluşturacaksın.
Tamamdır, soruya tekrar bakacağım.

Tüm cevaplarınız için çok teşekkür ederim hocam.
20,320 soru
21,880 cevap
73,599 yorum
2,927,003 kullanıcı