Entire functions mapping uncountable dense sets of reals onto each other monotonically
Author:
Maxim R. Burke
Journal:
Trans. Amer. Math. Soc. 361 (2009), 28712911
MSC (2000):
Primary 03E35; Secondary 30E10
Published electronically:
January 22, 2009
MathSciNet review:
2485411
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: When and are countable dense subsets of , it is a wellknown result of Cantor that and are orderisomorphic. A theorem of K.F. Barth and W.J. Schneider states that the orderisomorphism can be taken to be very smooth, in fact the restriction to of an entire function. J.E. Baumgartner showed that consistently and any two subsets of having points in every interval are orderisomorphic. However, U. Abraham, M. Rubin and S. Shelah produced a ZFC example of two such sets for which the orderisomorphism cannot be taken to be smooth. A useful variant of Baumgartner's result for second category sets was established by S. Shelah. He showed that it is consistent that and second category sets of cardinality exist while any two sets of cardinality which have second category intersection with every interval are orderisomorphic. In this paper, we show that the orderisomorphism in Shelah's theorem can be taken to be the restriction to of an entire function. Moreover, using an approximation theorem of L. Hoischen, we show that given a nonnegative integer , a nondecreasing surjection of class and a positive continuous function , we may choose the orderisomorphism so that for all and for all , .
 [ARS]
Uri
Abraham, Matatyahu
Rubin, and Saharon
Shelah, On the consistency of some partition theorems for
continuous colorings, and the structure of ℵ₁dense real
order types, Ann. Pure Appl. Logic 29 (1985),
no. 2, 123–206. MR 801036
(87d:03132), http://dx.doi.org/10.1016/01680072(84)900241
 [Ba]
James
E. Baumgartner, All ℵ₁dense sets of reals can be
isomorphic, Fund. Math. 79 (1973), no. 2,
101–106. MR 0317934
(47 #6483)
 [BS]
K.
F. Barth and W.
J. Schneider, Entire functions mapping countable dense subsets of
the reals onto each other monotonically, J. London Math. Soc. (2)
2 (1970), 620–626. MR 0269834
(42 #4729)
 [BM]
Maxim
R. Burke and Arnold
W. Miller, Models in which every nonmeager set is nonmeager in a
nowhere dense Cantor set, Canad. J. Math. 57 (2005),
no. 6, 1139–1154. MR 2178555
(2006g:03080), http://dx.doi.org/10.4153/CJM2005044x
 [Ca]
G. Cantor, Beiträge zur Begründung der transfiniten Mengenlehre, Math. Ann., 46 (1895) 481512.
 [Er]
Paul
Erdős, Some unsolved problems, Michigan Math. J.
4 (1957), 291–300. MR 0098702
(20 #5157)
 [Fr]
Philip
Franklin, Analytic transformations of everywhere
dense point sets, Trans. Amer. Math. Soc.
27 (1925), no. 1,
91–100. MR
1501300, http://dx.doi.org/10.1090/S00029947192515013002
 [Ho]
Lothar
Hoischen, Eine Verschärfung eines approximationssatzes von
Carleman, J. Approximation Theory 9 (1973),
272–277 (German). MR 0367217
(51 #3459)
 [Je]
Thomas
Jech, Set theory, Academic Press [Harcourt Brace Jovanovich,
Publishers], New YorkLondon, 1978. Pure and Applied Mathematics. MR 506523
(80a:03062)
 [Ku]
Kenneth
Kunen, Set theory, Studies in Logic and the Foundations of
Mathematics, vol. 102, NorthHolland Publishing Co., Amsterdam, 1983.
An introduction to independence proofs; Reprint of the 1980 original. MR 756630
(85e:03003)
 [Ma]
W.
D. Maurer, Conformal equivalence of countable
dense sets, Proc. Amer. Math. Soc. 18 (1967), 269–270. MR 0215994
(35 #6829), http://dx.doi.org/10.1090/S00029939196702159948
 [Me]
Z.
A. Melzak, Existence of certain analytic homeomorphisms,
Canad. Math. Bull. 2 (1959), 71–75. MR 0105474
(21 #4215)
 [NT]
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
(57 #631)
 [Ru]
Walter
Rudin, Real and complex analysis, 3rd ed., McGrawHill Book
Co., New York, 1987. MR 924157
(88k:00002)
 [SR]
Daihachiro
Sato and Stuart
Rankin, Entire functions mapping countable dense subsets of the
reals onto each other monotonically, Bull. Austral. Math. Soc.
10 (1974), 67–70. MR 0346157
(49 #10883)
 [Sh1980]
Saharon
Shelah, Independence results, J. Symbolic Logic
45 (1980), no. 3, 563–573. MR 583374
(82b:03099), http://dx.doi.org/10.2307/2273423
 [Sh1998]
Saharon
Shelah, Proper and improper forcing, 2nd ed., Perspectives in
Mathematical Logic, SpringerVerlag, Berlin, 1998. MR 1623206
(98m:03002)
 [Wh]
Hassler
Whitney, Analytic extensions of differentiable
functions defined in closed sets, Trans. Amer.
Math. Soc. 36 (1934), no. 1, 63–89. MR
1501735, http://dx.doi.org/10.1090/S00029947193415017353
 [Zi]
Robert
J. Zimmer, Essential results of functional analysis, Chicago
Lectures in Mathematics, University of Chicago Press, Chicago, IL, 1990. MR 1045444
(91h:46002)
 [ARS]
 U. Abraham, M. Rubin, S. Shelah, On the consistency of some partition theorems for continuous colorings, and the structure of dense real order types, Ann. Pure Appl. Logic, 29 (1985) 123206. MR 801036 (87d:03132)
 [Ba]
 J.E. Baumgartner, All dense sets of reals can be isomorphic, Fund. Math., 79 (1973) 101106. MR 0317934 (47:6483)
 [BS]
 K.F. Barth, W.J. Schneider, Entire functions mapping countable dense subsets of the reals onto each other monotonically, J. London Math. Soc. (2), 2 (1970) 620626. MR 0269834 (42:4729)
 [BM]
 M.R. Burke, A.W. Miller, Models in which every nonmeager set is nonmeager in a nowhere dense Cantor set, Canad. J. Math., 57 (2005) 11391154. MR 2178555 (2006g:03080)
 [Ca]
 G. Cantor, Beiträge zur Begründung der transfiniten Mengenlehre, Math. Ann., 46 (1895) 481512.
 [Er]
 P. Erdős, Some unsolved problems, Michigan Math. J., 4 (1957) 291300. MR 0098702 (20:5157)
 [Fr]
 P. Franklin, Analytic transformations of everywhere dense point sets, Trans. Amer. Math. Soc., 27 (1925) 91100. MR 1501300
 [Ho]
 L. Hoischen, Eine Verschärfung eines approximationssatzes von Carleman, J. Approximation Theory, 9 (1973) 272277. MR 0367217 (51:3459)
 [Je]
 T. Jech, Set Theory, Academic Press, 1978. MR 506523 (80a:03062)
 [Ku]
 K. Kunen, Set Theory, NorthHolland, 1983. MR 756630 (85e:03003)
 [Ma]
 W.D. Maurer, Conformal equivalence of countable dense sets, Proc. Amer. Math. Soc., 18 (1967) 269270. MR 0215994 (35:6829)
 [Me]
 Z.A. Melzak, Existence of certain analytic homeomorphisms, Canad. Math. Bull., 2 (1959) 7175. MR 0105474 (21:4215)
 [NT]
 J.W. Nienhuys, 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) 331334. MR 0460638 (57:631)
 [Ru]
 W. Rudin, Real and Complex Analysis, 3rd ed., McGrawHill, New York, 1987. MR 0924157 (88k:00002)
 [SR]
 D. Sato, S. Rankin, Entire functions mapping countable dense subsets of the reals onto each other monotonically, Bull. Austral. Math. Soc., 10 (1974) 6770. MR 0346157 (49:10883)
 [Sh1980]
 S. Shelah, Independence results, J. Symbolic Logic, 45 (1980) 563573. MR 583374 (82b:03099)
 [Sh1998]
 , Proper and improper forcing, 2nd ed., SpringerVerlag, Berlin, 1998. MR 1623206 (98m:03002)
 [Wh]
 H. Whitney, Analytic extensions of differentiable functions defined in closed sets, Trans. Amer. Math. Soc., 36 (1934) 6389. MR 1501735
 [Zi]
 R.J. Zimmer, Essential results of functional analysis, University of Chicago Press, 1990. MR 1045444 (91h:46002)
Similar Articles
Retrieve articles in Transactions of the American Mathematical Society
with MSC (2000):
03E35,
30E10
Retrieve articles in all journals
with MSC (2000):
03E35,
30E10
Additional Information
Maxim R. Burke
Affiliation:
Department of Mathematics and Statistics, University of Prince Edward Island, Charlottetown, Prince Edward Island, Canada C1A 4P3
Email:
burke@upei.ca
DOI:
http://dx.doi.org/10.1090/S0002994709049241
PII:
S 00029947(09)049241
Keywords:
Orderisomorphism,
second category,
entire function,
oraclecc forcing,
Carleman's theorem,
Hoischen's theorem
Received by editor(s):
March 10, 2006
Published electronically:
January 22, 2009
Additional Notes:
The author’s research was supported by NSERC. The author thanks F.D. Tall and the Department of Mathematics at the University of Toronto for their hospitality during the academic year 2003/2004 when much of the present paper was written.
Article copyright:
© Copyright 2009
American Mathematical Society
