Connectivity Properties of Dimension Level Sets

  • Authors:
  • Jack H. Lutz;Klaus Weihrauch

  • Affiliations:
  • Department of Computer Science, Iowa State University, Ames, IA 50011, USA;Theoretische Informatik I, FernUniversität Hagen, 58084 Hagen, Germany

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2008

Quantified Score

Hi-index 0.01

Visualization

Abstract

This paper initiates the study of sets in Euclidean space R^n(n=2) that are defined in terms of the dimensions of their elements. Specifically, given an interval I@?[0,1], we are interested in the connectivity properties of the set DIM^I consisting of all points in R^n whose (constructive Hausdorff) dimensions lie in the interval I. It is easy to see that the sets DIM^[^0^,^1^) and DIM^(^n^-^1^,^n^] are totally disconnected. In contrast, we show that the sets DIM^[^0^,^1^] and DIM^[^n^-^1^,^n^] are path-connected. Our proof of this fact uses geometric properties of Kolmogorov complexity in Euclidean space.