Choice Function - History and Importance

History and Importance

Ernst Zermelo (1904) introduced choice functions as well as the axiom of choice (AC) and proved the well-ordering theorem, which states that every set can be well-ordered. AC states that every set of nonempty sets has a choice function. A weaker form of AC, the axiom of countable choice (ACω) states that every countable set of nonempty sets has a choice function. However, in the absence of either AC or ACω, some sets can still be shown to have a choice function.

  • If is a finite set of nonempty sets, then one can construct a choice function for by picking one element from each member of This requires only finitely many choices, so neither AC or ACω is needed.
  • If every member of is a nonempty set, and the union is well-ordered, then one may choose the least element of each member of . In this case, it was possible to simultaneously well-order every member of by making just one choice of a well-order of the union, so neither AC nor ACω was needed. (This example shows that the well-ordering theorem implies AC. The converse is also true, but less trivial.)

Read more about this topic:  Choice Function

Famous quotes containing the words history and/or importance:

    My good friends, this is the second time in our history that there has come back from Germany to Downing Street peace with honour. I believe it is peace for our time. We thank you from the bottom of our hearts. And now I recommend you to go home and sleep quietly in your beds.
    Neville Chamberlain (1869–1940)

    Any novel of importance has a purpose. If only the “purpose” be large enough, and not at outs with the passional inspiration.
    —D.H. (David Herbert)