×

Continuous and smooth images of sets. (English) Zbl 1283.26004

The question of the existence of a subset of a prescribed type in \(f[S]\) is studied, where \(S\) is a subset of the real line of continuum cardinality and \(f\) is assumed to be continuous or differentiable. It is shown that for continuous \(f\) the existence of the interval \([0,1]\) in \(f[S]\) is equivalent to the existence of a perfect set in this image. Moreover, the existence of such a function implies that there exist a \(C^{\infty}\) function with the same property. Some corollaries concerning images of nowhere dense sets and validity of related statements under the continuum hypothesis are shown.

MSC:

26A24 Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems
03E35 Consistency and independence results
03E50 Continuum hypothesis and Martin’s axiom
26A03 Foundations: limits and generalizations, elementary topology of the line

References:

[1] A.M. Bruckner, Differentiability of real functions , Lecture Notes in Mathematics Vol. 659, Springer-Verlag 1978. · Zbl 0403.26002
[2] K. Ciesielski, J. Pawlikowski, Covering Property Axiom CPA. A combinatorial core of the iterated perfect set model , Cambridge Tracts in Mathematics 164 , Cambridge Univ. Press, 2004. · Zbl 1066.03047
[3] K. Ciesielski and S. Shelah, A model with no magic set , J. Symbolic Logic, 64 (4) (1999), 1467-1490. · Zbl 0945.03074 · doi:10.2307/2586790
[4] P. Corazza, The generalized Borel conjecture and strongly proper orders , Trans. Amer. Math. Soc., 316 (1) (1989), 115-140. · Zbl 0693.03031 · doi:10.2307/2001276
[5] J. Foran, Fundamentals of Real Analysis , Marcel Dekker, New York-Basel-Hong Kong, 1991. · Zbl 0744.26004
[6] C. Goffman, T. Nishiura, and D. Waterman, Homeomorphisms in analysis , Mathematical Surveys and Monographs vol 54, American Mathematical Society 1997. · Zbl 0890.26001
[7] A.W. Miller, Mapping a set of reals onto the reals , J. Symbolic Logic 48 , (1983), 575-584. · Zbl 0527.03031 · doi:10.2307/2273449
[8] A.W. Miller, Special Subsets of the Real Line , in Handbook of Set-Theoretic Topology (K. Kunen and J.E. Vaughan, eds.), North-Holland (1984), 201-233. · Zbl 0588.54035
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.