Consider the finite cross $C$ (=union of line segments $\overline{(0, -1)(0, 1)}$ and $\overline{(-1, 0)(1, 0)}$) and the unit half-circle $H$. It is easy to see that we may pack continuum-many disjoint copies of $H$ into the plane $\mathbb{R}^2$ without overlapping, whereas for $C$ we may never pack uncountably many copies without overlapping. *By "copy," here, I mean "copy up to rotation and translation," or more generally "image under an element of the affine special orthogonal group." The specific choice of transformation group to use isn't important, so long as it is reasonable.*


For $S\subseteq\mathbb{R}^n$, let $\mathfrak{p}(S)$ be the supremum of the cardinalities of disjoint packings of copies of $S$ inside $\mathbb{R}^n$. In case the continuum hypothesis holds, either $\mathfrak{p}(S)$ is countable or $\mathfrak{p}(S)=2^{\aleph\_0}$; however, in general this need not be true. For example, let $G\subseteq (\mathbb{R}, +)$ be a subgroup of index $\aleph\_1$ and let $H$ be a coset of $G$; then the copies of $H$ are precisely the cosets of $G$, so $\mathfrak{p}(H)=\aleph\_1$.


My question is: suppose $\neg CH$. Under what assumptions - both on the shape $S$ and the ambient axioms of set theory - can we conclude that $\mathfrak{p}(S)$ is either countable or continuum? For example:



> 
> Does ZFC prove that, for $S\subseteq\mathbb{R}^n$ compact, $\mathfrak{p}(S)$ is either countable or continuum?
> 
> 
> 


I suspect the answer is "yes," but I don't see how to prove it.



The continuum hypothesis for packing shapes without overlapping
Suppose $K \subseteq \mathbb{R}^n$ is compact. Let $G$ be the group of isometries of $\mathbb{R^n}$. The compact-open topology on $G$ is defined by declaring the sets $W\_{A. U} = \{f \in G : f[A] \subseteq U\}$ open, for each compact $A \subseteq \mathbb{R}^n$ and open $U \subseteq \mathbb{R}^n$. This is the smallest topology that makes the evaluation function $(g, x) \mapsto g(x)$ continuous. It can be shown that this makes $G$ a locally compact, Polish group. Let $d$ be a witnessing metric (Kechris' Descriptive set theory book gives a formula for this metric on page 60).


Let $S = \{f \in G : f[K] \cap K = \phi\}$. Then $S = W\_{K, \mathbb{R}^n \backslash K}$ is open in $G$. 


Claim: If $id \notin \text{cl}(S)$, then every family of pairwise disjoint copies of $K$ is countable. 


Proof: Suppose $X \subseteq G$ is uncountable. Since $G$ is second countable, there exists $g \in X$ such that every neighbourhood of $g$ meets $X$ at uncountably many points. Let $W$ be an open set containing $id$ such that $W \cap \text{cl}(S) = \phi$. Pick $f \in X \cap gW$, $f \neq g$. Then, $(g^{-1}f)[K] \cap K \neq \phi$ hence also $f[K] \cap g[K] \neq \phi$.


Claim: Assume $id \in \text{cl}(S)$. There exists a binary tree $\langle B\_{\sigma} : \sigma \in 2^{< \omega} \rangle$ of open sets with compact closure in $G$ such that for all $\sigma$, for $i = 0, 1$, $\text{cl}(B\_{\sigma i}) \subseteq B\_{\sigma}$ and for every $f\_i \in B\_{\sigma i}$, $f\_0[K] \cap f\_1[K] = \phi$. Hence, the family $\{f[K]: (\exists x \in 2^{\omega})(\forall n)(f \in B\_{x \upharpoonright n}) \}$ is pairwise disjoint and has size continuum. 


Proof: To construct such a tree, choose some $f \in B\_{\sigma}$. Using the assumption that the isometries that map $K$ to a set disjoint with $f[K]$ accumulate near $f$, pick $g \in B\_{\sigma}$ such that $f[K] \cap g[K] = \phi$. Let $B\_{\sigma i}, i = 0, 1$ be open sets such that $f \in B\_{\sigma0}, g \in B\_{\sigma1}$, $\text{cl}(B\_{\sigma i}) \subseteq B\_{\sigma}$ and for every $h\_i \in B\_{\sigma i}$, $h\_0[K] \cap h\_1[K] = \phi$. This can be done by separating the compact sets $f[K], g[K]$ by open sets $U\_f, U\_g \subseteq \mathbb{R}^n$ and considering the disjoint neighbourhoods $W\_{K, U\_f}, W\_{K, U\_g}$ of $f, g$ respectively.


