首页 | 本学科首页   官方微博 | 高级检索  
     检索      


On the unique representation of families of sets
Authors:Su Gao  Steve Jackson  Mikló  s Laczkovich  R Daniel Mauldin
Institution:Department of Mathematics, P.O. Box 311430, University of North Texas, Denton, Texas 76203 ; Department of Mathematics, P.O. Box 311430, University of North Texas, Denton, Texas 76203 ; Department of Analysis, Eötvös Loránd University, Budapest, Kecskeméti u. 10-12, Hungary 1053 ; Department of Mathematics, P.O. Box 311430, University of North Texas, Denton, Texas 76203
Abstract:Let $ X$ and $ Y$ be uncountable Polish spaces. $ A \subset X\times Y$ represents a family of sets $ \mathcal{C}$ provided each set in $ \mathcal{C}$ occurs as an $ x$-section of $ A$. We say that $ A$ uniquely represents $ \mathcal{C}$ provided each set in $ \mathcal{C}$ occurs exactly once as an $ x$-section of $ A$. $ A$ is universal for $ \mathcal{C}$ if every $ x$-section of $ A$ is in $ \mathcal{C}$. $ A$ is uniquely universal for $ \mathcal{C}$ if it is universal and uniquely represents $ \mathcal{C}$. We show that there is a Borel set in $ X\times R$ which uniquely represents the translates of $ \mathbb{Q}$ if and only if there is a $ \Sigma_2^1$ Vitali set. Assuming $ V = L$ there is a Borel set $ B \subset \omega^\omega$ with all sections $ F_\sigma$ sets and all non-empty $ K_\sigma$ sets are uniquely represented by $ B$. Assuming $ V =L$ there is a Borel set $ B \subset X\times Y$ with all sections $ K_\sigma$ which uniquely represents the countable subsets of $ Y$. There is an analytic set in $ X\times Y$ with all sections $ \Delta_2^0$ which represents all the $ \Delta_2^0$ subsets of $ Y$, but no Borel set can uniquely represent the $ \Delta_2^0$ sets. This last theorem is generalized to higher Borel classes.

Keywords:Unique representations  uniquely universal sets  Vitali sets  scattered sets
点击此处可从《Transactions of the American Mathematical Society》浏览原始摘要信息
点击此处可从《Transactions of the American Mathematical Society》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号