Hautapenaren axioma

Hautapenaren axiomaren adibidea.

Multzoen teorian, hautapen-axioma (edo hautespen-axioma) axioma bat da postulatzen duena familia indexatu ez-huts bakoitzeko elementu bat duen beste multzo bat dagoela. Modu informalean dio kaxen barruan objektuak dituen kaxa-bilduma bat emanda, kaxa bakoitzeko objektu bat aukera daitekeela. Prozedura hori, funtsean, egia da, baldin eta familia hori mugatua bada, edo familia horretako multzo bakoitzeko elementu bakar bat «aukeratzea» ahalbidetzen duen arau zehatz bat badago. Hala ere, axioma ezinbestekoa da familia infinitu arbitrario baten kasurik orokorrenean.

Ernst Zermelok formulatu zuen 1904an, multzo guztiak ondo ordenatuta egon daitezkeela frogatzeko. Hasiera batean eztabaidagarria izan bazen ere, gaur egun erreserbarik gabe erabiltzen dute matematikari gehienek. Hala ere, multzoen teorian bereziki, axioma baztertzen duten edo harekin bat ez datozen axiomen ondorioak ikertzen dituzten iritzi-korronteak daude.

Enuntziatua

Hautapen-funtzio bat $f$ funtzio bat da, non bere domeinua hutsik ez dauden multzoen $A$ familia bat baita, non, $A$ren barruko edozein $B$ multzotarako, $f(B)$ren elementu bat $B$ baita. Definizio horren bidez, honela adieraz dezakegu hautaketaren axioma:

$\mathrm{\forall }A:\mathrm{\varnothing }\in ̸A⟹\mathrm{\exists }(f:A\to \bigcup A):\mathrm{\forall }B\in A,f(B)\in B$

Hautapen-axioma ere antzeko moduan enuntziatzen da, non "hautaketa-funtzio" hitzaren esanahia zertxobait aldatzen baita:

Aitzitik, hautapen-axioma ukatzeak dio multzo-familia batek —ez hutsik— ez duela inolako hautaketa-funtziorik.

Bibliografia

• Txantiloi:Erreferentzia
• Txantiloi:Erreferentzia
• Txantiloi:Erreferentzia</ref>