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 the, relation to, relation, axiom and/or choice:
“The foregoing generations beheld God and nature face to face; we, through their eyes. Why should not we also enjoy an original relation to the universe? Why should not we have a poetry and philosophy of insight and not of tradition, and a religion by revelation to us, and not the history of theirs?”
—Ralph Waldo Emerson (1803–1882)
“In relation to God, we are like a thief who has burgled the house of a kindly householder and been allowed to keep some of the gold. From the point of view of the lawful owner this gold is a gift; From the point of view of the burglar it is a theft. He must go and give it back. It is the same with our existence. We have stolen a little of God’s being to make it ours. God has made us a gift of it. But we have stolen it. We must return it.”
—Simone Weil (1909–1943)
“You must realize that I was suffering from love and I knew him as intimately as I knew my own image in a mirror. In other words, I knew him only in relation to myself.”
—Angela Carter (1940–1992)
“The writer who neglects punctuation, or mispunctuates, is liable to be misunderstood.... For the want of merely a comma, it often occurs that an axiom appears a paradox, or that a sarcasm is converted into a sermonoid.”
—Edgar Allan Poe (1809–1845)
“We must hold a man amenable to reason for the choice of his daily craft or profession. It is not an excuse any longer for his deeds that they are the custom of his trade. What business has he with an evil trade?”
—Ralph Waldo Emerson (1803–1882)