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:
“Science is the language of the temporal world; love is that of the spiritual world. Man, indeed, describes more than he explains; while the angelic spirit sees and understands. Science saddens man; love enraptures the angel; science is still seeking, love has found. Man judges of nature in relation to itself; the angelic spirit judges of it in relation to heaven. In short to the spirits everything speaks.”
—Honoré De Balzac (1799–1850)
“There is a relation between the hours of our life and the centuries of time. As the air I breathe is drawn from the great repositories of nature, as the light on my book is yielded by a star a hundred millions of miles distant, as the poise of my body depends on the equilibrium of centrifugal and centripetal forces, so the hours should be instructed by the ages and the ages explained by the hours.”
—Ralph Waldo Emerson (1803–1882)
“It’s an old axiom of mine: marry your enemies and behead your friends.”
—Robert N. Lee. Rowland V. Lee. King Edward IV (Ian Hunter)
“In this choice of inheritance we have given to our frame of polity the image of a relation in blood; binding up the constitution of our country with our dearest domestic ties; adopting our fundamental laws into the bosom of our family affections; keeping inseparable and cherishing with the warmth of all their combined and mutually reflected charities, our state, our hearths, our sepulchres, and our altars.”
—Edmund Burke (1729–1797)