Burda Teorem 3'ün kanıtı biraz eksik mi acaba? Çelişkiye ulaştıktan sonra A'nın boş küme olabileceği durumu düşünülmesi gerekli. Ancak o durumda da her xEX için xEf(x) olmalı (aksi takdirde A boş küme olamaz). Tabi bu durumda da boş alt kümeye götüren bir f(x) olamıyor. Bu da f'in örten olmasıyla çelişir.
tamam şimdi anladım benim dediğimi elemanın A kümesinde değilde A nın dışında bir eleman olsa ve f(a)=A olsa sonuç olarak kendini f(a) kümesinde içermez bu yüzden A kümesinde bulunması gerekir burdan f(a)=A çıkan bir a eleman değil A olamaz aynı zamanda a eleman A olsa o da f(a)=A olamaz A nın tanımı gereği
ilk 10 dk.'sındayım, çok yorucu benim için...
Burda Teorem 3'ün kanıtı biraz eksik mi acaba? Çelişkiye ulaştıktan sonra A'nın boş küme olabileceği durumu düşünülmesi gerekli. Ancak o durumda da her xEX için xEf(x) olmalı (aksi takdirde A boş küme olamaz). Tabi bu durumda da boş alt kümeye götüren bir f(x) olamıyor. Bu da f'in örten olmasıyla çelişir.
ya ben de şeyi anlamadım a elemanı A kümesinde olduğunda çelişki yakaladık olmadığında durum sağlanmıyor mu
tamam şimdi anladım benim dediğimi elemanın A kümesinde değilde A nın dışında bir eleman olsa ve f(a)=A olsa sonuç olarak kendini f(a) kümesinde içermez bu yüzden A kümesinde bulunması gerekir burdan f(a)=A çıkan bir a eleman değil A olamaz aynı zamanda a eleman A olsa o da f(a)=A olamaz A nın tanımı gereği
heh senin dediğini de tam anladım şimdi böylece
Çok teşekkürler