Sum of Sierpiński-Zygmund and Darboux like functions (Q1612278): Difference between revisions

For \({\mathcal F}_0, {\mathcal F}_1\subset {\mathbb R}^{\mathbb R}\) let \[ \text{ Add}({\mathcal F}_0, {\mathcal F}_1)=\text{ min}\{ |{\mathcal F}|\colon {\mathcal F}\subset {\mathbb R}^{\mathbb R} \& \forall g\in {\mathcal F}_0\;\exists f\in {\mathcal F} \text{ s.t. } g+f\notin {\mathcal F}_1 \}. \] (This notion is a generalization of the cardinal function ``a'' defined by \textit{T. Natkaniec} [Real Anal. Exch. 17, No.~2, 462-520 (1992; Zbl 0760.54007)]. The main goal of the paper is to investigate the function \(\text{ Add}\) in the case when one of the classes \({\mathcal F}_0\), \({\mathcal F}_1\) is the class SZ of all Sierpiński-Zygmund functions, and the other is the class AC of all almost continuous functions. (Recall that \(f\colon {\mathbb R}\to {\mathbb R}\) is an SZ function if \(f|X\) is continuous for no set \(X\subset {\mathbb R}\) with \(|X|={\mathbf c}\). \(f\colon {\mathbb R}\to {\mathbb R}\) is almost continuous in the sense of Stallings if each open subset of \({\mathbb R}^2\) containing the graph of \(f\) contains also the graph of a continuous function from \({\mathbb R} \to {\mathbb R}\).) Author obtained the following results. (1) MA implies Add(AC,SZ)\(\geq \omega\) and Add(SZ,AC)=\(2^{\omega}\). (2) If the theory ``ZFC + \(\exists\) measurable cardinal'' is consistent then so is ``ZFC + Add(AC,SZ)\(>2^{\omega}>\omega_1\)''. (3) The statement ``every \(f\colon {\mathbb R}\to {\mathbb R}\) can be represented as the sum of an SZ function and an AC function'' is independent of ZFC.