[MD-sorular] siralama sorusunun yaniti

[anesin at prol800.bilgi.edu.tr]

<<Ý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/ .