[MD-sorular] hatami duzeltiyorum

[Ali Nesin]

X'i sayilamaz almak yetmiyor, cunku o zaman Y'deki
altkumelerin bilesimi Y'de olmayabiliyor. X'i en
azindan w_2 almak gerekiyor. (w_2 = w'dan sonraki ilk
kardinalden sonraki ilk kardinal, yani ucuncu sonsuz
kardinal ve w (=omega) = ilk sonsuz ordinal ya da
kardinal).

--- "anesin at prol800.bilgi.edu.tr"
<anesin at prol800.bilgi.edu.tr> wrote:

> <<Ýkinci sorum ise farklý bir konuda. X, üzerinde
> tanýmlanmýþ bir sýra
> baðýntýsý olan ve bu sýralama altýnda her altkümenin
> enküçüküstsýnýrýnýn ve enbüyükaltsýnýrýnýn olduðu
> bir küme olsun. f, X
> üzerinde tanýmlanmýþ bir fonksiyon olsun, öyle ki
> a<=b ise f(a) <=
> f(b) olsun. Böyle bir durumda f(a) = a olan bir
> elemanýn varlýðýný
> kanýtlayabilir misiniz?>>
> 
> Dogru degil.
> 
> X, sayilamaz bir ordinal olsun.
> 
> Y, X'in sayilabilir bir ordinal tarafindan ustten
> sinirli altkumeleri olsun.
> Y'i "altkume olma" iliskisi altinda siralayalim.
> 
> En kucukustsinir bilesim, enbuyukaltsinir
> kesisimdir.
> 
> Simdi her A \in Y için, f(A), A U {A'da olmayan en
> kucuk ordinal} olsun.
> 
> Bu fonksiyon siralamayi korur ama f(A) hicbir zaman
> A'ya esit olamaz.
> 
> Ali
> 
>
--------------------------------------------------------------------
> mail2web - Check your email from the web at
> http://mail2web.com/ .
> 
> 
> 
> > _______________________________________________
> MD-sorular mailing list
> MD-sorular at matematikdunyasi.org
>
http://matematikdunyasi.org/mailman/listinfo/md-sorular
> 


__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com