A note on the uniqueness property for Borel \(G\)-measures (Q1664055)

For any subgroup \(G\) of the group of isometries of \(\mathbb{R}^n\), a measure \(\mu\) is said to be \(G\)-invariant if it is \(\sigma\)-additive, coincides with the Lebesgue measure on the unit ball and for any two \(G\)-congruent sets \(X, Y\), one has \(\mu(X)=\mu(Y)\). Denoting \(\mathcal{B}_n\) the restriction of Lebesgue measure on the Borel sets, in this short note it is proved that \(\mathcal{B}_n\) is the unique \(G\)-measure on \(\mathbb{R}^n\) if and only if all \(G\)-orbits are everywhere dense in \(\mathbb{R}^n\).