Page 1 of 1
Lema lui Zorn...
Posted: Tue May 27, 2008 8:08 pm
by Beniamin Bogosel
La facultate mi s-a predat axioma alegerii, care e echivalenta cu faptul ca orice multime inductiv ordonata admite un element maximal, adica lema lui Zorn. Am vazut o demonstratie a acestei leme chiar aici pe forum, la articole. Sa inteleg ca axioma alegerii se poate demonstra totusi?... Atunci de ce o mai numim axioma?
Posted: Tue May 27, 2008 9:10 pm
by Alin Galatan
Pai probabil demonstreaza ca Ax. alegerii =>Zorn. Adica pornesti cu axioma alegerii si arati ca Zorn se poate deduce din ea.
Posted: Tue May 27, 2008 10:11 pm
by Liviu Ornea
Nu cumva si invers?
L.O.
Posted: Tue May 27, 2008 10:31 pm
by Alin Galatan
Eu ma refer la ce e in articolul de aici de pe forum, al lui Liviu. Din cate tin minte, era doar AC=>Zorn.
Posted: Tue May 27, 2008 10:34 pm
by Gigel Militaru
Cele doua sunt echivalente.
Posted: Tue May 27, 2008 10:42 pm
by Beniamin Bogosel
Unde se poate deschide un topic de teoria multimilor. sa nu vorbim aici pe chat de voie? Acolo, am putea eventual sa postam si unele demonstratii la aceste chestiuni.
Stiam ca axioma alegerii si lema lui Zorn sunt echivalente. Nu am citit bine demonstratia de la articole... Am crezut ca nu se foloseste axioma alegerii in demonstratie, dar se foloseste. Acum e clar; m-am lamurit. Multumesc...
Posted: Tue May 27, 2008 10:52 pm
by Alin Galatan
Alin Galatan wrote:Pai probabil demonstreaza ca Ax. alegerii =>Zorn. Adica pornesti cu axioma alegerii si arati ca Zorn se poate deduce din ea.
Stiu ca sunt echivalente, insa aici cand am zis "demonstreaza" m-am referit direct la articolul lui Liviu tot de aici de pe forum. El in articol face un singur sens.