[unresolved] Axiom vyberu a Zermelova veta

Struktury, s nimiž se studenti již setkali (relace, algebraické struktury, struktury spojitosti); specifické vlastnosti, srovnání. Různé konstrukce (podobjekty, ekvivalence a kongruence, součiny, sumy a pod.) a jejich společné rysy. Zvláštní pozornost bude věnována částečným uspořádáním, a to jak obecným záležitostem, tak i aspektům speciálního významu pro informatiku. Některá základní fakta teorie kategorií.
Him
Supermatfyz(ák|ačka)
Příspěvky: 400
Registrován: 25. 1. 2008 19:59
Typ studia: Informatika Bc.

[unresolved] Axiom vyberu a Zermelova veta

Příspěvek od Him »

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!
Naposledy upravil(a) Him dne 6. 9. 2009 15:29, celkem upraveno 1 x.
Pracoval jsem na poměrně hodně materiálech pro různé předměty. Pokud Ti něco z toho ušetřilo čas, vyjádři svůj dík v podobě pár satoshi: 1H5JPTrsXie7epAQXbXhMjdgwyLbJ5NHBW ;)
Uživatelský avatar
Tuetschek
Supermatfyz(ák|ačka)
Příspěvky: 657
Registrován: 15. 6. 2005 13:54
Typ studia: Nestuduji ale učím na MFF
Kontaktovat uživatele:

Re: Axiom vyberu a Zermelova veta

Příspěvek od Tuetschek »

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 :(.
Plug 'n' Pray.
Him
Supermatfyz(ák|ačka)
Příspěvky: 400
Registrován: 25. 1. 2008 19:59
Typ studia: Informatika Bc.

Re: Axiom vyberu a Zermelova veta

Příspěvek od Him »

Diky :-), napadlo me to same, ale doufal jsem, ze to bude umet nekdo i formalne
Pracoval jsem na poměrně hodně materiálech pro různé předměty. Pokud Ti něco z toho ušetřilo čas, vyjádři svůj dík v podobě pár satoshi: 1H5JPTrsXie7epAQXbXhMjdgwyLbJ5NHBW ;)
Odpovědět

Zpět na „MAI064 Matematické struktury“