[MD-sorular] Boş küme her kümenin alt kümesidir

tibet efendi tibetefendi at yahoo.com
24 Haz 2010 Per 14:37:54 EEST


Bir seyi kabul etmek de sonucta tek aksiyoma dayali daha dogrusu tek adimli kanit sayilir.
Dolayisiyla her kabul bir kanittir aslinda.

Sorunuzun cevabi tamamen aksiyomlarinizin ne olduguna bagli. ZFC'yi temel aliyorsaniz eger, orada "bos küme her kümenin altkümesidir" diye bir aksiyom yok. Ama hic elemani olmayan bir küme vardir diye bir aksiyom var. O kümenin biricik oldugunu kanitlayabiliyorsunuz. Adina bos küme diyorsunuz. Sonradan da her kümenin bir altkümesi oldugunu kanitlayabilirsiniz.
Tabi ZFC icin konusuyorum.



--- On Thu, 6/24/10, RUKÝYE ÖZTÜRK <rukiyeozturk at yahoo.com> wrote:

From: RUKÝYE ÖZTÜRK <rukiyeozturk at yahoo.com>
Subject: [MD-sorular] Boş küme her kümenin alt kümesidir
To: md-sorular at matematikdunyasi.org
Date: Thursday, June 24, 2010, 9:25 AM

Boş kümenin her kümenin alt kümesi olduğunu kabul mü ediyoruz yoksa kümeler cebiriyle ispatlayabiliyor muyuz? 

Kimi kitap bu önermenin doğru olduğunu kabul ediyor kimi kitap ise ispatını yapıyor

Hangisi doğru? 
 Rukiye 


      
_______________________________________________
MD-sorular e-posta listesi
sorular at matematikdunyasi.org
http://lists.math.bilgi.edu.tr/cgi-bin/mailman/listinfo/md-sorular



      
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: <http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20100624/482b15c6/attachment.htm>


MD-sorular mesaj listesiyle ilgili daha fazla bilgi