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.
Hautapen-funtzio bat funtzio bat da, non bere domeinua hutsik ez dauden multzoen familia bat baita, non, ren barruko edozein multzotarako, ren elementu bat baita. Definizio horren bidez, honela adieraz dezakegu hautaketaren axioma:
Hautapen-axioma ere antzeko moduan enuntziatzen da, non "hautaketa-funtzio" hitzaren esanahia zertxobait aldatzen baita:
Honako enuntziatuak ekibalenteak dira:
- F multzo familia ez-huts guztiek hautapen funtzio bat dute.
- F multzo familia ez-huts guztientzat, euren kartesiar produktua ez da hutsa.
Aitzitik, hautapen-axioma ukatzeak dio multzo-familia batek —ez hutsik— ez duela inolako hautaketa-funtziorik.
This article uses material from the Wikipedia Euskara article Hautapenaren axioma, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Eduki guztia CC BY-SA 4.0(r)en babespean dago, ez bada kontrakoa esaten. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Euskara (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.