Let D be a (2 × 2) matrix with distinct eigenvalues λ1 and λ2. There is a basic and well known functional equation which provides a formula for constructing the matrix g (D), for any ℂ-valued function g defined on a subset of ℂ containing {λ1,λ2}, namely .
This equation is used to give a direct and transparent proof of the following fact due to Anderson: A pair of (2 × 2) selfadjoint matrices A1 and A2 commute if and only if the Weyl functional calculus of the pair (A1,A2), which is a matrix-valued distribution, has order zero (that is, is a measure).