Kiválasztási axióma

Innen: testwiki
A lap korábbi változatát látod, amilyen imported>LinguisticMystic 2024. október 9., 17:26-kor történt szerkesztése után volt.
(eltér) ← Régebbi változat | Aktuális változat (eltér) | Újabb változat→ (eltér)
Ugrás a navigációhoz Ugrás a kereséshez

Sablon:Hunfn

  1. Sablon:Label Ha {Ai:iI} nemüres halmazok családja (I itt tetszőleges indexhalmaz), akkor van olyan f függvény, aminek értelmezési tartománya I és f(i)Ai teljesül minden iI-re (kiválasztási függvény). Másképp fogalmazva,
    iIAi,
    azaz nemüres halmazok tetszőleges nemüres rendszerének direkt szorzata nem üres.

Sablon:Hunl