Propozicija 1.15 (skripta)

[Hulk]

Zanima me ako itko može objasniti zašto je u toj propoziciji u skripti (str. 24-25) korišten aksiom izbora. Naime njime se pokaže da postoji skup B, ali mi nije jasno čemu točno pokazivanje egzistencije tog skupa dok, primjerice, u propoziciji 1.18 aksiom izbora nije potreban.

_________________
If I had a nickel for every time I've written "for (i = 0; i < N; i++)" in C I'd be a millionaire.

[sz]

Preporučujem da baciš pogled ovamo: http://web.math.pmf.unizg.hr/~vukovic/Strucni%20clanci/2009-Ac-carape-cipele.pdf

Neko opće pravilo bi bilo: AC ti ne treba ako je familija skupova čije predstavnike biraš konačna (zato nije potreban u Prop.1.18 ); također, možeš bez njega ako u cijeloj priči postoji dovoljno lijep uređaj, u smislu da u svakom elementu familije postoji najmanji (ili najveći) element.