Non-constructive properties of the real numbers
Die Verff. betrachten einige schwächere Formen des Auswahlaxioms für Mengen von reellen Zahlen. Am meisten wird folgendes Axiom betrachtet:NEWLINENEWLINENEWLINEFür jede abzählbare Familie \(\{A_i: i\in\mathbb{N}\}\) von nichtleeren Teilmengen von \(\mathbb{R}\) gibt es eine Auswahlmenge \(\{c_i: i\in\mathbb{N}\}\).NEWLINENEWLINENEWLINEDieses Axiom is äquivalent mit seiner Modifikation, wo die Auswahlmenge für wenigstens eine unendliche Teilfamilie verlangt wird.NEWLINENEWLINENEWLINEAus diesem Axiom ergeben sich folgende Sätze:NEWLINENEWLINENEWLINEa) Die Vereinigung einer abzählbaren Familie von abzählbaren Mengen ist abzählbar;NEWLINENEWLINENEWLINEb) \(\aleph_1\) is regulär;NEWLINENEWLINENEWLINEc) \(\mathbb{R}\) ist nicht die Vereinigung einer abzählbaren Familie von abzählbaren Mengen.NEWLINENEWLINENEWLINEDer letzte Satz folgt auch aus einer schwächeren Form des Axioms, wo auch jedes \(A_i\) abzählbar sein soll. Diese schwächere Form ist auch äquivalent mit seiner Modifikation, wo eine Auswahlmenge für wenigstens eine unendliche Teilfamilie verlangt wird.NEWLINENEWLINENEWLINEDas erstgenannte Axiom selbst folgt aus der Voraussetzung: Wenn \(Q\) eine binäre Relation auf der Menge der rellen Zahlen ist, so dass \(\forall x\exists y: xQy\) gilt, dann gibt es eine Familie \(\{x_n: n\in\mathbb{N}\}\) von reellen Zahlen, so dass \(xQx_{n+1}\) für jedes \(n\in\mathbb{N}\) gilt.NEWLINENEWLINENEWLINEDieser Satz seinerseits folgt aus folgendem:NEWLINENEWLINENEWLINEFür jede geordnete Familie \(\{A_\alpha:\alpha\in\kappa\}\), \(\kappa\) eine Ordinalzahl, von solchen Mengen, dass \(\bigcup_\alpha A_\alpha\) linear geordnet ist, gibt es eine Auswahlmenge.
- Denumerable cellular families in \(\mathbf{ZF}\)
- \(k\)-spaces, sequential spaces and related topics in the absence of the axiom of choice
- Cellularity of infinite Hausdorff spaces in \textbf{ZF}
- Some notions of separability of metric spaces in \(\mathbf {ZF}\) and their relation to compactness
- Nonaliquot numbers
- On sequential compactness and related notions of compactness of metric spaces in ZF
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
- Tychonoff products of super second countable and super separable metric spaces
- On construction of equitable social welfare orders on infinite utility streams
- On densely complete metric spaces and extensions of uniformly continuous functions in ZF
- On uncountable strongly concentrated sets of reals
- On sequentially closed subsets of the real line in
- Juhász's topological generalization of Neumer's theorem may fail in \(\mathsf{ZF}\)
- On sequentially compact subspaces of \(\mathbb R\) without the axiom of choice
- Maximal independent sets, variants of chain/antichain principle and cofinal subsets without AC
This page was built for publication: Non-constructive properties of the real numbers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2743653)
