A quantum mechanical theory of local observables and local operations