The Weyl calculus for hermitian matrices
The Weyl calculus for hermitian matrices
The Weyl calculus is a means of constructing functions of a system of hermitian operators which do not necessarily commute with each other. This note gives a new proof of a formula, due to E. Nelson, for the Weyl calculus associated with a system of hermitian matrices.