Relative Kolmogorov complexity and geometry
Stephen Binns · Journal of Symbolic Logic · 2011
Abstract We use the notions of effective dimension and Kolmogorov complexity to describe a geometry on the set of infinite binary sequences. Geometric concepts that we define and use include angle, projections and scalar multiplication. A question related to compressibility is addressed using these ideas.