Ugrás a tartalomhoz

kiválasztási axióma

A Wikiszótárból, a nyitott szótárból

Kiejtés

  • IPA: [ ˈkivaːlɒstaːʃiɒksijoːmɒ]

Főnév

kiválasztási axióma

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