W dniu 2012-10-16 21:49, Baranosiu pisze:
> Dnia 16.10.2012 M.M. <m...@g...com> napisał/a:
>> W dniu wtorek, 16 października 2012 20:39:53 UTC+2 użytkownik notb napisał:
>>> Aby sortowanie miało sens (teoretyczny) musi istnieć jakaś metoda
>>> porównywania, czyli na zbiorze musi istnieć jakiś porządek liniowy.
>>
>> No wlasnie jak to bylo? Na pewno nie wystarczy ze istnieje metoda
>> porownywania. Typowy przyklad z programow szachowych: program A
>> wygrywa z programem B, B wygrywa z C, a C wygrywa z A - da sie
>> porownac, ale jak to sensownie posortowac (bez dodatkowych
>> zabiegow)?
>>
>
> Musi być tzw. dobry porządek liniowy. Porządek liniowy to zbiór z

Nieprawda.

To, że porządek jest dobry nie ma nic wspólnego
z możliwością posortowania. Liczby rzeczywiste z "naturalną"
relacją > - to nie jest dobry porządek (zbiór (0,1) choćby:) )
A posortować się je da (na osi liczbowej leżą posortowane:)

Do posortowania wystarczy samo to, ze porządek jest liniowy.

> "Dobry porządek" to porządek liniowy, w którym każdy niepusty podzbiór
> danego zbioru ma element najmniejszy (w sensie relacji R).


pzdr
bartekltg