The Baire category theorem and choice (Q1588332): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 05:02, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Baire category theorem and choice |
scientific article |
Statements
The Baire category theorem and choice (English)
0 references
28 August 2002
0 references
The purpose of this note is to investigate what weakening of the Axiom of Choice will suffice, or is needed, to prove various forms of the Baire Category theorem. The first section of the paper includes a survey of known relationships between Axiom of Choice type statements and Baire Category theorems for various classes of spaces. The authors highlight the following examples: no Choice is needed to prove that compact pseudometric spaces are Baire spaces; the Axiom of Countable Choice is equivalent to the statement that countable products of compact pseudometric spaces are Baire spaces; the Axiom of Dependent Choice is equivalent to the statement that countable products of compact Hausdorff spaces are Baire spaces. A space is Baire if countable intersections of dense open sets are not empty. The Axiom of Countable Choice is the statement that countable products of non-empty sets are not empty. The Axiom of Dependent Choice is the statement that for each set \(X\) and binary relation \(R\subset X\times X\) such that \(R\cap (\{x\}\times X)\neq \emptyset\) for each \(x\in X\), there is a sequence \(\{x_n : n\in \omega\}\subset X\) such that \((x_n, x_{n+1})\in R\) for all \(n\).
0 references
axiom of dependent choice
0 references
Baire category theorem
0 references
countable Tikhonov theorem
0 references