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.
"Relative Kolmogorov complexity and geometry." J. Symbolic Logic 76 (4) 1211 - 1239, December 2011. https://doi.org/10.2178/jsl/1318338846