Axiom of Choice - Statements Consistent With The Negation of AC

Statements Consistent With The Negation of AC

There are models of Zermelo-Fraenkel set theory in which the axiom of choice is false. We will abbreviate "Zermelo-Fraenkel set theory plus the negation of the axiom of choice" by ZF¬C. For certain models of ZF¬C, it is possible to prove the negation of some standard facts. Note that any model of ZF¬C is also a model of ZF, so for each of the following statements, there exists a model of ZF in which that statement is true.

  • There exists a model of ZF¬C in which there is a function f from the real numbers to the real numbers such that f is not continuous at a, but f is sequentially continuous at a, i.e., for any sequence {xn} converging to a, limn f(xn)=f(a).
  • There exists a model of ZF¬C which has an infinite set of real numbers without a countably infinite subset.
  • There exists a model of ZF¬C in which real numbers are a countable union of countable sets.
  • There exists a model of ZF¬C in which there is a field with no algebraic closure.
  • In all models of ZF¬C there is a vector space with no basis.
  • There exists a model of ZF¬C in which there is a vector space with two bases of different cardinalities.
  • There exists a model of ZF¬C in which there is a free complete boolean algebra on countably many generators.

For proofs, see Thomas Jech, The Axiom of Choice, American Elsevier Pub. Co., New York, 1973.

  • There exists a model of ZF¬C in which every set in Rn is measurable. Thus it is possible to exclude counterintuitive results like the Banach–Tarski paradox which are provable in ZFC. Furthermore, this is possible whilst assuming the Axiom of dependent choice, which is weaker than AC but sufficient to develop most of real analysis.
  • In all models of ZF¬C, the generalized continuum hypothesis does not hold.

Read more about this topic:  Axiom Of Choice

Famous quotes containing the words statements, consistent and/or negation:

    “We assume that politicians are without honor. We read their statements trying to crack the code. The scandals of their politics: not so much that men in high places lie, only that they do so with such indifference, so endlessly, still expecting to be believed. We are accustomed to the contempt inherent in the political lie.”
    —Adrienne Rich (b. 1929)

    “Whenever we read the obscene stories, the voluptuous debaucheries, the cruel and torturous executions, the unrelenting vindictiveness, with which more than half the Bible is filled, it would be more consistent that we called it the word of a demon than the Word of God. It is a history of wickedness that has served to corrupt and brutalize mankind.”
    —Thomas Paine (1737–1809)

    “Michelangelo said to Pope Julius II, “Self negation is noble, self-culture is beneficent, self-possession is manly, but to the truly great and inspiring soul they are poor and tame compared to self-abuse.” Mr. Brown, here, in one of his latest and most graceful poems refers to it in an eloquent line which is destined to live to the end of time—”None know it but to love it, None name it but to praise.””
    —Mark Twain [Samuel Langhorne Clemens] (1835–1910)