| Line 9: |
Line 9: |
| | | | |
| | ::For every collection of nonempty sets S, there exists a function f such that f(S) is a member of S for every possible S. | | ::For every collection of nonempty sets S, there exists a function f such that f(S) is a member of S for every possible S. |
| | + | |
| | + | Mathworld explains the Axiom of Choice as follows:<ref>http://mathworld.wolfram.com/AxiomofChoice.html</ref> |
| | + | |
| | + | ::Given any set of mutually disjoint nonempty sets, there exists at least one set that contains exactly one element in common with each of the nonempty sets. |
| | + | |
| | + | Yet another helpful explanation of the Axiom of Choice is this:<ref>http://www.kuro5hin.org/story/2003/5/23/134430/275</ref> |
| | + | |
| | + | ::If you have a collection of sets C (which may potentially contain an uncountably large number of sets), then there exists a set H, called the choice set, which contains precisely one element from each (non-empty) set in C. H is called the "choice set" because you are essentially going through each set in C and choosing one element from it. One feature of the Axiom of Choice is that H is simply assumed to exist; there is no algorithm given which might tell you how to construct an example of H. |
| | | | |
| | The Axiom of Choice has many equivalent statements, such as the [[Tychonoff theorem]], the [[Well-Ordering Theorem]], the existence of [[cardinal numbers]], the existence of a basis for every vector space, and the existence of subsets of the real line which do not have a well-defined [[Lebesgue measure]]. | | The Axiom of Choice has many equivalent statements, such as the [[Tychonoff theorem]], the [[Well-Ordering Theorem]], the existence of [[cardinal numbers]], the existence of a basis for every vector space, and the existence of subsets of the real line which do not have a well-defined [[Lebesgue measure]]. |
| Line 15: |
Line 23: |
| | | | |
| | Put another way, it is objectionable to insist that a function exists based on the Axiom of Choice, and then to derive results based on the existence of that function, when in fact there is no known example of such function and no algorithm for identifying it. This objection to use of the Axiom of Choice is analogous to the objection to the use of non-[[falsifiable]] claims in science. It strains logic to insist that something is true when it cannot be verified, and if it were false no one would even know. | | Put another way, it is objectionable to insist that a function exists based on the Axiom of Choice, and then to derive results based on the existence of that function, when in fact there is no known example of such function and no algorithm for identifying it. This objection to use of the Axiom of Choice is analogous to the objection to the use of non-[[falsifiable]] claims in science. It strains logic to insist that something is true when it cannot be verified, and if it were false no one would even know. |
| | + | |
| | + | Use of the Axiom of Choice has led to some ostensibly absurd results. In the [[Banach-Tarski Paradox]], the Axiom of Choice is used to prove that a solid sphere of infinitely divisible parts may be chopped up and reconstructed as two new spheres of identitical size, thereby creating 2 out of only 1. This paradox is "proven" only through use of the Axiom of Choice, and the authors of this "proof" did so to criticize this Axiom. One attempt to resolve this apparent contradiction is to say that physical spheres are not really infinitely divisible, and that the creation of 2 out of 1 results from this assumption of infinitely divisible parts.<ref>http://www.kuro5hin.org/story/2003/5/23/134430/275</ref> |
| | | | |
| | The formulation of a constructive Axiom of Choice is one of three major problems which challenge 21st century logicians. | | The formulation of a constructive Axiom of Choice is one of three major problems which challenge 21st century logicians. |
| Line 21: |
Line 31: |
| | | | |
| | *http://www.math.vanderbilt.edu/~schectex/ccc/choice.html | | *http://www.math.vanderbilt.edu/~schectex/ccc/choice.html |
| | + | |
| | + | == References == |
| | + | |
| | + | <references/> |
| | | | |
| | [[category:set theory]] | | [[category:set theory]] |
| | [[category:mathematics]] | | [[category:mathematics]] |