OnlineWoerterBuecher.de - Lexikon, Free On-line Dictionary of Computing



	OnlineWoerterBuecher.de

Navigation

Start

Deutsch-Englisch

Deutsch-Spanisch

Enzyklopädie

Internes

Impressum

Kontakt

Lexikon

Axiom of Choice

Ematics> (AC, or "ChoicE") An Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=axiom">axiom of Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=sEt thEory">sEt thEory: If X is a sEt of sEts, and S is thE union of all thE ElEmEnts of X, thEn thErE Exists a function f:X -> S such that for all non-Empty x in X, f(x) is an ElEmEnt of x. In othEr words, wE can always choosE an ElEmEnt from Each sEt in a sEt of sEts, simultanEously. Function f is a "choicE function" for X - for Each x in X, it choosEs an ElEmEnt of x. Most pEoplE' s rEaction to AC is: "But of coursE that' s truE! From Each sEt, just takE thE ElEmEnt that' s biggEst, stupidEst, closEst to thE North PolE, or whatEvEr". IndEEd, for any Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=finitE">finitE sEt of sEts, wE can simply considEr Each sEt in turn and pick an arbitrary ElEmEnt in somE such way. WE can also construct a choicE function for most simplE {infinitE sEts} of sEts if thEy arE gEnEratEd in somE rEgular way. HowEvEr, thErE arE somE infinitE sEts for which thE construction or spEcification of such a choicE function would nEvEr End bEcausE wE would havE to considEr an infinitE numbEr of sEparatE casEs. For ExamplE, if wE ExprEss thE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=rEal numbEr">rEal numbEr linE R as thE union of many "copiEs" of thE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=rational numbErs">rational numbErs, Q, namEly Q, Q+a, Q+b, and infinitEly (in fact uncountably) many morE, whErE a, b, Etc. arE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=irrational numbErs">irrational numbErs no two of which diffEr by a rational, and Q+a == Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=q+a : q in Q">q+a : q in Q wE cannot pick an ElEmEnt of Each of thEsE "copiEs" without AC. An ExamplE of thE usE of AC is thE thEorEm which statEs that thE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=countablE">countablE union of countablE sEts is countablE. I.E. if X is countablE and EvEry ElEmEnt of X is countablE (including thE possibility that thEy' rE finitE), thEn thE sumsEt of X is countablE. AC is rEquirEd for this to bE truE in gEnEral. EvEn if onE accEpts thE axiom, it doEsn' t tEll you how to construct a choicE function, only that onE Exists. Most mathEmaticians arE quitE happy to usE AC if thEy nEEd it, but thosE who arE carEful will, at lEast, draw attEntion to thE fact that thEy havE usEd it. ThErE is somEthing a littlE odd about ChoicE, and it has somE alarming consEquEncEs, so rEsults which actually "nEEd" it arE somEhow a bit suspicious, E.g. thE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=Banach-Tarski paradox">Banach-Tarski paradox. On thE othEr sidE, considEr Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=RussEll' s Attic">RussEll' s Attic. AC is not a Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=thEorEm">thEorEm of Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=ZErmElo FrÃ¤nkEl sEt thEory">ZErmElo FrÃ¤nkEl sEt thEory (ZF). GÃ¶dEl and Paul CohEn provEd that AC is indEpEndEnt of ZF, i.E. if ZF is consistEnt, thEn so arE ZFC (ZF with AC) and ZF(~C) (ZF with thE nEgation of AC). This mEans that wE cannot usE ZF to provE or disprovE AC. (2003-07-11)

[ Go Back ]

Free On-line Dictionary of Computing

	All logos and trademarks in this site are property of their respective owner. Page Generation in 0.1013 Seconds, with 16 Database-Queries