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:
“Any relation to the land, the habit of tilling it, or mining it, or even hunting on it, generates the feeling of patriotism. He who keeps shop on it, or he who merely uses it as a support to his desk and ledger, or to his manufactory, values it less.”
—Ralph Waldo Emerson (1803–1882)
“To be a good enough parent one must be able to feel secure in one’s parenthood, and one’s relation to one’s child...The security of the parent about being a parent will eventually become the source of the child’s feeling secure about himself.”
—Bruno Bettelheim (20th century)
“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)
“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)
“Excellence or virtue is a settled disposition of the mind that determines our choice of actions and emotions and consists essentially in observing the mean relative to us ... a mean between two vices, that which depends on excess and that which depends on defect.”
—Aristotle (384–323 B.C.)