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 Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Diamond, Pomerance and Rubel (1981) proved that there are subsets of the complex plane such that for any two entire functions and if , then . Baraducci and Dikranjan showed in 1993 that the continuum hypothesis (CH) implies the existence of a similar set for the class of continuous nowhere constant functions from to , 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 , including the class of differentiable functions and the class of absolutely continuous functions, a set with the above property can be constructed in ZFC. We will also prove the existence of a set with the dual property that for any if , then .

**1.**S. Banach,*Sur une classe de fonctions continues*, Fund. Math.**8**(1926), 166-172.**2.**Tomek Bartoszyński and Haim Judah,*Set theory*, A K Peters, Ltd., Wellesley, MA, 1995. On the structure of the real line. MR**1350295****3.**Alessandro Berarducci and Dikran Dikranjan,*Uniformly approachable functions and spaces*, Proceedings of the Eleventh International Conference of Topology (Trieste, 1993), 1993, pp. 23–55 (1994) (English, with English and Italian summaries). MR**1346315****4.**Andrew Bruckner,*Differentiation of real functions*, 2nd ed., CRM Monograph Series, vol. 5, American Mathematical Society, Providence, RI, 1994. MR**1274044****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.**Paul Corazza,*The generalized Borel conjecture and strongly proper orders*, Trans. Amer. Math. Soc.**316**(1989), no. 1, 115–140. MR**982239**, 10.1090/S0002-9947-1989-0982239-X**9.**Harold G. Diamond, Carl Pomerance, and Lee Rubel,*Sets on which an entire function is determined by its range*, Math. Z.**176**(1981), no. 3, 383–398. MR**610219**, 10.1007/BF01214615**10.**Fons van Engelen, Kenneth Kunen, and Arnold W. Miller,*Two remarks about analytic sets*, Set theory and its applications (Toronto, ON, 1987) Lecture Notes in Math., vol. 1401, Springer, Berlin, 1989, pp. 68–72. MR**1031766**, 10.1007/BFb0097332**11.**H. Federer and A. P. Morse,*Some properties of measurable functions*, Bull. Amer. Math. Soc.**49**(1943), 270–277. MR**0007916**, 10.1090/S0002-9904-1943-07896-2**12.**Vasile Ene,*Answers to three questions of J. Foran: “Continuous functions—a survey” [Real Anal. Exchange 2 (1976/77), no. 2, 85–103; MR0507374 (58 #22429)]*, Real Anal. Exchange**14**(1988/89), no. 1, 243–247. MR**988371****13.**Arnold W. Miller,*Mapping a set of reals onto the reals*, J. Symbolic Logic**48**(1983), no. 3, 575–584. MR**716618**, 10.2307/2273449**14.**J. W. Nienhuys and J. G. F. Thiemann,*On the existence of entire functions mapping countable dense sets onto each other*, Nederl. Akad. Wetensch. Proc. Ser. A 79=Indag. Math.**38**(1976), no. 4, 331–334. MR**0460638****15.**S. Saks,*Theory of the Integral*, Warszawa-Lwów 1937.

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

Email:
burke@upei.ca

**Krzysztof Ciesielski**

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

Email:
KCies@wvnvms.wvnet.edu

DOI:
http://dx.doi.org/10.1090/S0002-9939-99-04905-9

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