[unresolved] Axiom vyberu a Zermelova veta

Odeslat odpověď

Smajlíci
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
BBCode je zapnutý
[img] je zapnutý
[flash] je vypnutý
[url] je zapnuté
Smajlíci jsou zapnutí
Přehled tématu
   

Rozšířit náhled Přehled tématu: [unresolved] Axiom vyberu a Zermelova veta

Re: Axiom vyberu a Zermelova veta

od Him » 5. 9. 2009 15:19

Diky :-), napadlo me to same, ale doufal jsem, ze to bude umet nekdo i formalne

Re: Axiom vyberu a Zermelova veta

od Tuetschek » 5. 9. 2009 10:29

Asi z něj plyne, že vždycky ty prvky můžeš nějak "očíslovat", protože si vezmeš očíslovanou množinu a zobrazíš ji na tu druhou ... ale formálně to už neumím :(.

[unresolved] Axiom vyberu a Zermelova veta

od Him » 4. 9. 2009 21:51

Axiom vyberu rika: "Ke kazdemu zobrazeni f mnoziny X na mnozinu Y existuje zobrazeni g: Y -> X takove, ze fg = id_Y"

Jak z toho plyne Zermelova veta: "Z axiomu vyberu plyne, ze kazdou mnozinu lze dobre usporadat"?

Diky za pomoc!

Nahoru