Convexity numbers of closed sets in $\mathbb R^n$
HTML articles powered by AMS MathViewer
- by Stefan Geschke and Menachem Kojman PDF
- Proc. Amer. Math. Soc. 130 (2002), 2871-2881 Request permission
Abstract:
For $n>2$ let $\mathcal I_n$ be the $\sigma$-ideal in $\mathcal P(n^\omega )$ generated by all sets which do not contain $n$ equidistant points in the usual metric on $n^\omega$. For each $n>2$ a set $S_n$ is constructed in $\mathbb {R}^n$ so that the $\sigma$-ideal which is generated by the convex subsets of $S_n$ restricted to the convexity radical $K(S_n)$ is isomorphic to $\mathcal I_n$. Thus $\operatorname {cov}(\mathcal I_n)$ is equal to the least number of convex subsets required to cover $S_n$ — the convexity number of $S_n$. For every non-increasing function $f:\omega \setminus 2\to \{\kappa \in \operatorname {card}:\operatorname {cf}(\kappa )>\aleph _0\}$ we construct a model of set theory in which $\operatorname {cov}(\mathcal I_n)=f(n)$ for each $n\in \omega \setminus 2$. When $f$ is strictly decreasing up to $n$, $n-1$ uncountable cardinals are simultaneously realized as convexity numbers of closed subsets of $\mathbb {R}^n$. It is conjectured that $n$, but never more than $n$, different uncountable cardinals can occur simultaneously as convexity numbers of closed subsets of $\mathbb {R}^n$. This conjecture is true for $n=1$ and $n=2$.References
- Tomek Bartoszyński and Haim Judah, Set theory, A K Peters, Ltd., Wellesley, MA, 1995. On the structure of the real line. MR 1350295, DOI 10.1201/9781439863466
- Andreas Blass, Simple cardinal characteristics of the continuum, Set theory of the reals (Ramat Gan, 1991) Israel Math. Conf. Proc., vol. 6, Bar-Ilan Univ., Ramat Gan, 1993, pp. 63–90. MR 1234278
- S. Geschke, M. Kojman, W. Kubis, R. Schipperus, Convex decompositions in the plane and continuous pair colorings of the irrationals, submitted.
- Martin Goldstern and Saharon Shelah, Many simple cardinal invariants, Arch. Math. Logic 32 (1993), no. 3, 203–221. MR 1201650, DOI 10.1007/BF01375552
- T. Jech, Multiple forcing, Cambridge Tracts in Mathematics, vol. 88, Cambridge University Press, Cambridge, 1986. MR 895139
- L. Newelski and A. Rosłanowski, The ideal determined by the unsymmetric game, Proc. Amer. Math. Soc. 117 (1993), no. 3, 823–831. MR 1112500, DOI 10.1090/S0002-9939-1993-1112500-6
- S. Shelah, J. Steprans, The covering numbers of Mycielski ideals are all equal, J. Symbolic Logic 66 (2001), 707–718.
- Juris Steprāns, Decomposing Euclidean space with a small number of smooth sets, Trans. Amer. Math. Soc. 351 (1999), no. 4, 1461–1480. MR 1473455, DOI 10.1090/S0002-9947-99-02197-2
- J. Zapletal, Isolating cardinal invariants, preprint.
Additional Information
- Stefan Geschke
- Affiliation: Freie Universität Berlin, Arnimallee 2-6, D-1495 Berlin
- MR Author ID: 681801
- Email: geschke@math.fu-berlin.de
- Menachem Kojman
- Affiliation: Department of Mathematics, Ben Gurion University of the Negev, Beer Sheva, Israel
- Email: kojman@math.bgu.ac.il
- Received by editor(s): April 19, 2001
- Received by editor(s) in revised form: May 31, 2001
- Published electronically: March 25, 2002
- Communicated by: Carl G. Jockusch, Jr.
- © Copyright 2002 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 130 (2002), 2871-2881
- MSC (1991): Primary 05A20, 52A05, 03E17, 03E35; Secondary 03E75
- DOI: https://doi.org/10.1090/S0002-9939-02-06437-7
- MathSciNet review: 1908910