To make this rigorous requires a sensible discussion of the limiting space of functions, and in this space this is the Stone–von Neumann theorem : any operators X and P which obey the commutation relations can be made to act on a space of wavefunctions, with P a derivative operator. This implies that a Schrödinger picture is always available.