Independence
Assuming ZF is consistent, Kurt Gödel showed that the negation of the axiom of choice is not a theorem of ZF by constructing an inner model (the constructible universe) which satisfies ZFC and thus showing that ZFC is consistent. Assuming ZF is consistent, Paul Cohen employed the technique of forcing, developed for this purpose, to show that the axiom of choice itself is not a theorem of ZF by constructing a much more complex model which satisfies ZF¬C (ZF with the negation of AC added as axiom) and thus showing that ZF¬C is consistent. Together these results establish that the axiom of choice is logically independent of ZF. The assumption that ZF is consistent is harmless because adding another axiom to an already inconsistent system cannot make the situation worse. Because of independence, the decision whether to use of the axiom of choice (or its negation) in a proof cannot be made by appeal to other axioms of set theory. The decision must be made on other grounds.
One argument given in favor of using the axiom of choice is that it is convenient to use it because it allows one to prove some simplifying propositions that otherwise could not be proved. Many theorems which are provable using choice are of an elegant general character: every ideal in a ring is contained in a maximal ideal, every vector space has a basis, and every product of compact spaces is compact. Without the axiom of choice, these theorems may not hold for mathematical objects of large cardinality.
The proof of the independence result also shows that a wide class of mathematical statements, including all statements that can be phrased in the language of Peano arithmetic, are provable in ZF if and only if they are provable in ZFC. Statements in this class include the statement that P = NP, the Riemann hypothesis, and many other unsolved mathematical problems. When one attempts to solve problems in this class, it makes no difference whether ZF or ZFC is employed if the only question is the existence of a proof. It is possible, however, that there is a shorter proof of a theorem from ZFC than from ZF.
The axiom of choice is not the only significant statement which is independent of ZF. For example, the generalized continuum hypothesis (GCH) is not only independent of ZF, but also independent of ZFC. However, ZF plus GCH implies AC, making GCH a strictly stronger claim than AC, even though they are both independent of ZF.
Read more about this topic: Axiom Of Choice
Famous quotes containing the word independence:
“I saw the man my friend ... wants pardoned, Thomas Flinton. He is a bright, good-looking fellow.... Of his innocence all are confident. The governor strikes me as a man seeking popularity, who lacks the independence and manhood to do right at the risk of losing popularity. Afraid of what will be said. He is prejudiced against the Irish and Democrats.”
—Rutherford Birchard Hayes (18221893)
“...there was the annual Fourth of July picketing at Independence Hall in Philadelphia. ...I thought it was ridiculous to have to go there in a skirt. But I did it anyway because it was something that might possibly have an effect. I remember walking around in my little white blouse and skirt and tourists standing there eating their ice cream cones and watching us like the zoo had opened.”
—Martha Shelley, U.S. author and social activist. As quoted in Making History, part 3, by Eric Marcus (1992)
“Our treatment of both older people and children reflects the value we place on independence and autonomy. We do our best to make our children independent from birth. We leave them all alone in rooms with the lights out and tell them, Go to sleep by yourselves. And the old people we respect most are the ones who will fight for their independence, who would sooner starve to death than ask for help.”
—Margaret Mead (19011978)