A continuous version of the Hausdorff–Banach–Tarski paradox

We come up with a simple proof for a continuous version of the Hausdorff–Banach–Tarski paradox, which does not make use of Robinson’s method of compatible congruences and fits in the case of finite and countable paradoxical decompositions. It is proved that there exists a free subgroup whose rank is of the power of the continuum in a rotation group of a three-dimensional Euclidean space. We also argue that unbounded subsets of Euclidean space containing inner points are denumerably equipollent.