In this article, we study several aspects of the intersections of algorithmically random closed sets. First, we answer a question of Cenzer and Weber, showing that the operation of intersecting relatively random closed sets (with respect to certain underlying measures induced by Bernoulli measures on the space of codes of closed sets), which preserves randomness, can be inverted: a random closed set of the appropriate type can be obtained as the intersection of two relatively random closed sets. We then extend the Cenzer/Weber analysis to the intersection of multiple random closed sets, identifying the Bernoulli measures with respect to which the intersection of relatively random closed sets can be non-empty. We lastly apply our analysis to provide a characterization of the effective Hausdorff dimension of sequences in terms of the degree of intersectability of random closed sets that contain them.
翻译:在本篇文章中,我们研究了逻辑随机封闭装置交叉点的几个方面。首先,我们回答Cenzer和Weber的问题,表明相对随机封闭装置(关于Bernoulli措施在封闭装置的编码空间上引起的某些基本措施)的交叉点的运作可以反转:可以获取一个随机封闭的适当类型组合,作为两个相对随机封闭装置的交叉点。然后,我们将Cenzer/Weber分析扩大到多个随机封闭装置的交叉点,确定相对随机封闭装置的交叉点可能不是空的Bernoulli措施。我们最后运用我们的分析,从含有这些装置的随机封闭装置的交错程度的角度,对有效的Hausdorff序列的特性进行定性。