Posted By: Koles (F~.Q~.v.v.) on 'CZscience'
Title:     Re: Axiom vyberu
Date:      Wed Jan 29 15:11:59 1997

> Mam takovej malej (uz zase) problem, tentokrat spise matematickej. 
> Nevite nekdo co je to Axiom vyberu?

Axiom vyberu rika, ze na kazde mnozine M existuje selektor, pricemz selektorem 
minime takovou funkci f: P(M) -> M takovou, ze kazde podmnozine N mnoziny M 
priradi nejaky prvek one podmnoziny N. [P(M) = potence M = mnozina vsech 
podmnozin mnoziny M.] 

> Jinymi slovy Veta o nezachovani Lebesgueovy miry.

Axiom vyberu tvori neodmyslitelnou soucast vetsiny proudu moderni matematiky.
Hodne zajimavych i uzitecnych veci jsou jeho dusledky, pripadne jsou s nim 
dokonce ekvivalentni.
Takovych veci je ale spousta, jestli je s touto vetou opravdu ekvivalentni ti 
asi tady hned tak nekdo nedokaze ...


> Nebo to melo co delat s tim, ze v libovolnem fundamentalnim systemu 
> existuje axiom, ktery je pravdivy, ale neda se dokazat. Hilfe ... :-)

Jak to souvisi, nevim, jenom bych  chtel opravit slovo "axiom" na "tvrzeni"
(pokud jsi narazel na Goedela).

>                                                          Kotwak
> truth is not beauty, beauty is not love, love is not music, music is the
> best.

  Pavel

---
             Kabalisticke uceni nam rika, ze jediny krach je vnitrni,        
                   nepocitame-li ten vnejsi...