I'm a math student who's studying classical mechanics for the first time, so forgive me if this question sounds pedantic, but I find it hard to think about such problems without stating assumptions clearly.
If a frame K' is accelerating away from an inertial frame K, we wish to transform from the inertial to the non-inertial coordinates. Now assuming we know the displacement between the origins $\vec{R}$, we can write:
$$\vec{r} = \vec{r}{}' + \vec{R} \qquad \Longrightarrow \qquad \vec{r}{}' = \vec{r} - \vec{R}$$
This is usually accompanied by a drawing illustrating the vector algebra. However, don't we assume implicitly here that both frames will observe the same displacement? In other words, that displacement is invariant in all frames of reference (not just inertial ones)?
All references I am able to find giving an axiomatic approach to classical mechanics take great pains to emphasize that, in the Galilean relativity of classical mechanics, one can only assume quantities to be preserved under transformations of the Galilean group, which is then shown to exclude accelerating frames (translation velocity must be constant), e.g. in Arnold:
'The galilean group is the group of all transformations of a galilean space which preserve its structure (...) every Galilean transformation of the space R×R$^3$ can be written in a unique way as the composition of a rotation, a translation, and a uniform motion.'
So, does a non-inertial observer measure the same displacement? And if not, does it make sense to transform into that frame from our non-inertial displacement measurement?