Baire Category Theorem - Relation To The Axiom of Choice

Relation To The Axiom of Choice

The proofs of BCT1 and BCT2 for arbitrary complete metric spaces require some form of the axiom of choice; and in fact BCT1 is equivalent over ZF to a weak form of the axiom of choice called the axiom of dependent choices.

The restricted form of the Baire category theorem in which the complete metric space is also assumed to be separable is provable in ZF with no additional choice principles. This restricted form applies in particular to the real line, the Baire space ωω, and the Cantor space 2ω.

Read more about this topic:  Baire Category Theorem

Famous quotes containing the words relation to, relation, axiom and/or choice:

    The psychoanalysis of individual human beings, however, teaches us with quite special insistence that the god of each of them is formed in the likeness of his father, that his personal relation to God depends on his relation to his father in the flesh and oscillates and changes along with that relation, and that at bottom God is nothing other than an exalted father.
    Sigmund Freud (1856–1939)

    The difference between objective and subjective extension is one of relation to a context solely.
    William James (1842–1910)

    “You are bothered, I suppose, by the idea that you can’t possibly believe in miracles and mysteries, and therefore can’t make a good wife for Hazard. You might just as well make yourself unhappy by doubting whether you would make a good wife to me because you can’t believe the first axiom in Euclid. There is no science which does not begin by requiring you to believe the incredible.”
    Henry Brooks Adams (1838–1918)

    If we pretend to respect the artist at all, we must allow him his freedom of choice, in the face, in particular cases, of innumerable presumptions that the choice will not fructify. Art derives a considerable part of its beneficial exercise from flying in the face of presumptions.
    Henry James (1843–1916)