Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



Sets of range uniqueness for classes
of continuous functions

Authors: Maxim R. Burke and Krzysztof Ciesielski
Journal: Proc. Amer. Math. Soc. 127 (1999), 3295-3304
MSC (1991): Primary 26A15, 54C30; Secondary 04A30, 26A46, 30D20.
Published electronically: May 11, 1999
MathSciNet review: 1610928
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Diamond, Pomerance and Rubel (1981) proved that there are subsets $M$ of the complex plane such that for any two entire functions $f$ and $g$ if $f[M]=g[M]$, then $f=g$. Baraducci and Dikranjan showed in 1993 that the continuum hypothesis (CH) implies the existence of a similar set $M\subset {\mathbb R}$ for the class $C_n({\mathbb R})$ of continuous nowhere constant functions from ${\mathbb R}$ to ${\mathbb R}$, while it follows from the results of Burke and Ciesielski (1997) and Ciesielski and Shelah that the existence of such a set is not provable in ZFC. In this paper we will show that for several well-behaved subclasses of $C({\mathbb R})$, including the class $D^1$ of differentiable functions and the class $AC$ of absolutely continuous functions, a set $M$ with the above property can be constructed in ZFC. We will also prove the existence of a set $M\subset {\mathbb R}$ with the dual property that for any $f,g\in C_n({\mathbb R})$ if $f^{-1}[M]=g^{-1}[M]$, then $f=g$.

References [Enhancements On Off] (What's this?)

  • 1. S. Banach, Sur une classe de fonctions continues, Fund. Math. 8 (1926), 166-172.
  • 2. T. Bartoszy\'{n}ski, H. Judah, Set Theory, A.K. Peters, Wellesley, MA, 1995. MR 96k:03002
  • 3. A. Berarducci and D. Dikranjan, Uniformly approachable functions and $UA$ spaces, Rend. Ist. Matematico Univ. di Trieste 25 (1993), 23-56. MR 96g:54018
  • 4. A. M. Bruckner, Differentiation of real functions, CMR Series vol. 5, Amer. Math. Soc., 1994. MR 94m:26001
  • 5. M. Burke and K. Ciesielski, Sets on which measurable functions are determined by their range, Canad. J. Math. 49 (1997), no. 6, 1089-1116. CMP 98:09
  • 6. K. Ciesielski, Set Theory for the Working Mathematician, London Math. Soc. Student Texts 39, Cambridge Univ. Press 1997. CMP 98:02
  • 7. K. Ciesielski and S. Shelah, Model with no magic set, J. Symbolic Logic, to appear. (Preprint available.)
  • 8. P. Corazza, The generalized Borel conjecture and strongly proper orders, Trans. Amer. Math. Soc. 316 (1989), 115-140. MR 90c:03042
  • 9. H. G. Diamond, C. Pomerance, L. Rubel, Sets on which an entire function is determined by its range, Math Z. 176 (1981), 383-398. MR 82e:30031
  • 10. F. van Engelen, K. Kunen, and A. W. Miller, Two remarks about analytic sets, in Set theory and its applications, J. Steprans and S. Watson eds., Lecture Notes in Math. 1401, Springer-Verlag, 1989, 68-72. MR 91a:54050
  • 11. H. Federer, A. P. Morse, Some properties of measurable functions, Bull. Amer. Math. Soc. 49 (1943), 270-277. MR 4:213d
  • 12. J. Foran, Continuous functions: a survey, Real Anal. Exchange 2 (1977), 85-103. MR 90k:26009
  • 13. A.W. Miller, Mapping a set of reals onto the reals, J. Symbolic Logic 48 (1983), 575-584. MR 84k:03125
  • 14. J. W. Nienhuys, J. G. F. Thiemann, On the existence of entire functions mapping countable dense sets onto each other, Indag.Math. 38 (1976), 331-334. MR 57:631
  • 15. S. Saks, Theory of the Integral, Warszawa-Lwów 1937.

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (1991): 26A15, 54C30, 04A30, 26A46, 30D20.

Retrieve articles in all journals with MSC (1991): 26A15, 54C30, 04A30, 26A46, 30D20.

Additional Information

Maxim R. Burke
Affiliation: Department of Mathematics and Computer Science, University of Prince Edward Island, Charlottetown, Prince Edward Island, Canada C1A 4P3

Krzysztof Ciesielski
Affiliation: Department of Mathematics, West Virginia University, Morgantown, West Virginia 26506-6310

Keywords: Set of range uniqueness
Received by editor(s): November 12, 1997
Received by editor(s) in revised form: February 6, 1998
Published electronically: May 11, 1999
Additional Notes: The first author’s research was supported by NSERC. The author thanks the Department of Mathematics at the University of Wisconsin for its hospitality during the year 1996/97 while much of this research was carried out.
The second author was partially supported by NATO Collaborative Research Grant CRG 950347 and 1996/97 West Virginia University Senate Research Grant.
The authors would like to thank Lee Larson for his contributions to an earlier version of the paper.
Communicated by: Alan Dow
Article copyright: © Copyright 1999 American Mathematical Society

American Mathematical Society