Yes, it seems that space translations are always assumed to be a symmetry transformation. However, I wonder if there is a way to obtain this result from equation X→X+a.
Some books argue that typical coordinate transformations such as space translations and rotations are represented in quantum mechanics by unitary operators because the Wigner's theorem. However I do not find any clear proof of this. For instance, suppose 1D for the sake of simplicity, by...