Axiom výběru: Porovnání verzí

Přidáno 19 bajtů ,  před 15 lety
m
→‎Formulace axiomu: zpřehlednění a poopravení formálního zápisu
(Format, nadpisy, doplneni ekvivalentnich tvrzeni, motivace pro prijeti a odmitnuti)
m (→‎Formulace axiomu: zpřehlednění a poopravení formálního zápisu)
Pro každý neprázdný soubor neprázdných [[množina|množin]] existuje [[funkce]], která z každé množiny tohoto souboru vybírá právě jeden prvek, neboli:
 
:<math>(\forall I\neq \varnothingemptyset) (((\forall i) (i\in I) \implies (A_{i} \neq \varnothingemptyset)) \implies ((\exists f) (f\ \mbox{ je funkce} \and \operatorname{dom}(f)=I \and (\forall i) (i \in I \implies f(i) \in A_{i})))</math> <br />
<math>\and \; \operatorname{dom}(f)=I \; \and \; ((\forall i\in I) (f(i) \in A_{i})))))</math>
 
==Motivace pro přijetí AC==
3 556

editací