Uncertainty Relations in Deformation Quantization

Robertson and Hadamard-Robertson theorems on non-negative definite hermitian forms are generalized to an arbitrary ordered field. These results are then applied to the case of formal power series fields, and the Heisenberg-Robertson, Robertson-Schr\"odinger and trace uncertainty relations in deformation quantization are found. Some conditions under which the uncertainty relations are minimized are also given.Comment: 28+1 pages, harvmac file, no figures, typos correcte