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)

 
 

 

Covering an uncountable square by countably many continuous functions


Authors: Wiesław Kubiś and Benjamin Vejnar
Journal: Proc. Amer. Math. Soc. 140 (2012), 4359-4368
MSC (2010): Primary 03E05, 03E15; Secondary 54H05
DOI: https://doi.org/10.1090/S0002-9939-2012-11292-4
Published electronically: May 1, 2012
MathSciNet review: 2957226
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We prove that there exists a countable family of continuous real functions whose graphs, together with their inverses, cover an uncountable square, i.e. a set of the form $ X\times X$, where $ X\subseteq \mathbb{R}$ is uncountable. This extends Sierpiński's theorem from 1919, saying that $ S\times S$ can be covered by countably many graphs of functions and inverses of functions if and only if $ \vert S\vert\leqslant \aleph _1$. Using forcing and absoluteness arguments, we also prove the existence of countably many $ 1$-Lipschitz functions on the Cantor set endowed with the standard non-archimedean metric that cover an uncountable square.


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

  • 1. U. ABRAHAM, S. GESCHKE, Covering $ \Bbb R\sp {n+1}$ by graphs of $ n$-ary functions and long linear orderings of Turing degrees, Proc. Amer. Math. Soc. 132 (2004) 3367-3377. MR 2073314 (2005c:03090)
  • 2. U. ABRAHAM, M. RUBIN, S. SHELAH, On the consistency of some partition theorems for continuous colorings, and the structure of $ \aleph _1$-dense real order types, Ann. Pure Appl. Logic 29 (1985) 123-206. MR 801036 (87d:03132)
  • 3. S. GESCHKE, A dual open coloring axiom, Ann. Pure Appl. Logic 140 (2006) 40-51. MR 2224047 (2006m:03078)
  • 4. T. JECH, Set theory. The third millennium edition, revised and expanded. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003. MR 1940513 (2004g:03071)
  • 5. H. J. KEISLER, Logic with quantifier ``there exists uncountably many'', Annals of Mathematical Logic 1 (1970) 1-93. MR 0263616 (41:8217)
  • 6. W. KUBIŚ, Perfect cliques and $ G_\delta $-colorings of Polish spaces, Proc. Amer. Math. Soc. 131 (2003) 619-623. MR 1933354 (2004g:54043)
  • 7. W. KUBIŚ, S. SHELAH, Analytic colorings, Ann. Pure Appl. Logic 121 (2003) 145-161. MR 1982945 (2004j:03055)
  • 8. K. KUNEN, Set theory. An introduction to independence proofs. Studies in Logic and the Foundations of Mathematics, 102. North-Holland Publishing Co., Amsterdam-New York, 1980. MR 597342 (82f:03001)
  • 9. K. KUNEN, Forcing and differentiable functions, preprint, available at http://arxiv.org/abs/0912.3733v2; to appear, DOI:10.1007/s11083-011-9210-8.
  • 10. S. SHELAH, Borel sets with large squares, Fund. Math. 159 (1999) 1-50. MR 1669643 (2000i:03073)
  • 11. W. SIERPIŃSKI, Sur un théorème équivalent á l'hypothèse du continu, Krak. Anz. 1919, 1-3.
  • 12. W. SIERPIŃSKI, Sur l'hypothèse du continu $ (2^{\aleph _0}=\aleph _1)$, Fund. Math. 5 (1924) 177-187.
  • 13. W. SIERPIŃSKI, Hypothèse du continu. 2nd ed. (French), New York: Chelsea Publishing Company, 1956. MR 0090558 (19:829c)
  • 14. P. ZAKRZEWSKI, On a construction of universally small sets, Real Anal. Exchange 28 (2003) 221-226. MR 1973982 (2004c:03061)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2010): 03E05, 03E15, 54H05

Retrieve articles in all journals with MSC (2010): 03E05, 03E15, 54H05


Additional Information

Wiesław Kubiś
Affiliation: Institute of Mathematics, Czech Academy of Sciences, Prague, Czech Republic – and – Institute of Mathematics, Jan Kochanowski University in Kielce, Poland
Email: kubis@math.cas.cz

Benjamin Vejnar
Affiliation: Department of Mathematical Analysis, Charles University, Prague, Czech Republic

DOI: https://doi.org/10.1090/S0002-9939-2012-11292-4
Keywords: Uncountable square, covering by continuous functions, set of cardinality $ℵ_{1}$
Received by editor(s): January 11, 2010
Received by editor(s) in revised form: June 6, 2011
Published electronically: May 1, 2012
Additional Notes: The research of the first author was supported in part by Grant IAA 100 190 901 and by the Institutional Research Plan of the Academy of Sciences of Czech Republic, No. AVOZ 101 905 03.
The research of the second author was supported by Grant SVV-2011-263316 of the Czech Republic Ministry of Education, Youth and Sports
Communicated by: Julia Knight
Article copyright: © Copyright 2012 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.

American Mathematical Society