Gwireb O Ddewis

O'i roi'n anffurfiol, dywed y wireb o ddewis: o ystyried unrhyw gasgliad o finiau, a bod pob un bin yn cynnwys o leiaf un gwrthrych, yna, mae'n bosibl dewis un gwrthrych yn union allan o bob bin, hyd yn oed os yw'r casgliad yn anfeidrol. Yn ffurfiol, mae'n nodi bod ar gyfer pob teulu sydd wedi'i fynegeio ${\displaystyle (S_{i})_{i\in I}}$ o setiau di-wag ceir teulu o elfennau wedi'i fynegeio ${\displaystyle (x_{i})_{i\in I}}$ fel bod ${\displaystyle x_{i}\in S_{i}}$ am bob ${\displaystyle i\in I}$. Lluniwyd y wireb o ddewis ym 1904 gan Ernst Zermelo er mwyn ffurfioli ei brawf o'r ddamcaniaeth drefnus.

Gwireb o ddewis

Darlun o'r wireb o ddewis, gyda phob Si ac xi yn cael ei gynrychioli fel jar (Sia) marblis lliw (xi)
Enghraifft o'r canlynol	gwireb y ddamcaniaeth setiau
Dyddiad darganfod	1904
Ffeiliau perthnasol ar Gomin Wicimedia

Mewn llawer o achosion, gellir gwneud dewis o'r fath heb alw'r wireb o ddewis; mae hyn yn arbennig o wir os yw nifer y setiau'n gyfyngedig, neu os oes rheol sut i ddethol ar gael - rhywfaint o briodweddau gwahaniaethol sy'n digwydd dal ar gyfer un elfen yn union ym mhob set. Enghraifft eglurhaol yw setiau a ddewiswyd o'r rhifau naturiol. O setiau o'r fath, gall un ddewis y rhif lleiaf bob amser, ee o ystyried y setiau {{4, 5, 6}, {10, 12}, {1, 400, 617, 8000}} y set sy'n cynnwys pob elfen leiaf yw {4, 10, 1}. Yn yr achos hwn, mae dweud "dewis y rhif lleiaf" yn ffwythiant dewis (choice function). Hyd yn oed pe casglwyd nifer anfeidrol o setiau o'r rhifau naturiol, bydd bob amser yn bosibl dewis yr elfen leiaf o bob set i gynhyrchu set. Hynny yw, mae'r ffwythiant dewis yn darparu'r set o elfennau a ddewiswyd. Fodd bynnag, nid oes unrhyw ffwythiant dewis yn hysbys ar gyfer casglu'r holl is-setiau nad ydynt yn wag o'r rhifau real.

Bathodd y Cymro Bertrand Russell gyfatebiaeth: ar gyfer unrhyw gasgliad (hyd yn oed nifer anfeidrol) o barau o esgidiau, gall rhywun ddewis yr esgid chwith o bob pâr i gael dewis priodol; mae hyn yn ei gwneud hi'n bosibl diffinio ffwythiant dewis yn uniongyrchol. Ar gyfer casgliad anfeidrol o barau o sanau (tybir nad oes ganddynt nodweddion gwahaniaethol), nid oes unrhyw ffordd amlwg i wneud ffwythiant sy'n dewis un hosan o bob pâr, heb alw'r wireb o ddewis.

Er ei fod yn ddadleuol yn hanesyddol, mae'r wireb o ddewis bellach yn cael ei ddefnyddio heddiw gan y mwyafrif o fathemategwyr, ac mae wedi'i gynnwys ar ffurf safonol damcaniaeth setiau gwirebol, theori set Zermelo-Fraenkel gyda'r wireb o ddewis ( ZFC ). Un cymhelliant dros y defnydd hwn yw bod nifer o ganlyniadau mathemategol a dderbynnir yn gyffredinol, fel theorem Tychonoff, yn gofyn am y wireb o ddewis ar gyfer eu profi Mae damcaniaethwyr set cyfoes hefyd yn astudio gwirebau nad ydyn nhw'n gydnaws â'r wireb o ddewis, fel gwireb penderfyniaeth. Mae'r wireb o ddewis yn cael ei hosgoi mewn rhai mathau o fathemateg adeiladol, er bod amrywiaethau eraill o fathemateg adeiladol lle mae'r axiom o ddewis yn cael ei gofleidio.