2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/184603Robertson 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ödinger and trace uncertainty relations in deformation quantization are found. Some conditions under which the uncertainty relations are minimized are also given.28+1 pages, harvmac file, no figures, typos correctedQuantum AlgebraMathematical PhysicsQuantum Physicstext