Integer-valued functions and increasing unions of first countable spaces

DOI10.1007/BF02937294MaRDI QIDQ923407zbMATH OpenOpenAlexFDO

Authors Alan Dow, István Juhász, William A. R. Weiss

Publication date 1989

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02937294

zbMATH Keywords

first countable spacesinteger-valued functionsweak and fine topologies

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Consistency and independence results in general topology (54A35) Maps and general types of topological spaces defined by maps (54C99)

Review text

Let \(\kappa\) be an infinite cardinal number, with \(\{X_{\alpha}:\alpha <\kappa \}\) a \(\kappa\)-chain of first countable spaces (i.e., \(X_{\alpha}\subseteq X_{\beta}\) for \(\alpha <\beta <\kappa)\). Let \(X=\cup_{\alpha <\kappa}X_{\alpha}\). Then there is a coarsest topology and a finest topology on X such that each \(X_{\alpha}\) is a subspace. Called the weak and fine topologies respectively in this paper, the question is raised as to when there is some compatible first countable topology on X. The following summarizes several interesting results the authors have obtained investigating this question. 1. If \(\kappa =\aleph_ 0\), then the weak topology is first countable and the fine topology is ``almost never first countable. 2. If \(\kappa\) is uncountable regular and X has a compatible first countable topology, then that topology must be the fine topology. 3. As for the main question, the one that asks for each uncountable regular \(\kappa\) whether the fine topology is first countable, the answer is absolutely ``no for \(\kappa =\aleph_ 1\), but is otherwise axiom- sensitive: The answer is ``yes if \(\kappa\) is either weakly compact or \(\geq\) some supercompact cardinal; if \(V=L\), then the answer is ``no unless \(\kappa\) is weakly compact. On the other hand, if there exists a supercompact cardinal, then forcing models can be constructed in which the answer is ``yes for every \(\kappa >\aleph_ 1.\) Several of the proofs exploit a translation of the main question into a mathematically equivalent question involving certain families of integer- valued functions.

Cites work

• Aronszajn trees and the independence of the transfer property
• Increasing strengthenings of cardinal function inequalities
• On the role of supercompact and extendible cardinals in logic
• Set theory. An introduction to independence proofs

Cited in

(7)

• Integer valued functions with countable support
• A Subcategory of Top
• On the existence of strong chains in ℘(ω₁)/Fin
• Reflection and Weakly Collectionwise Hausdorff Spaces
• scientific article; zbMATH DE number 3894002 (Why is no real title available?)
• Compactness of Powers of ω
• Problems I and my students couldn't solve

This page was built for publication: Integer-valued functions and increasing unions of first countable spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q923407)