keywords abstract hilbert-spaces; wigner distribution; density-matrix; mechanics; phase; products; states; representations; distributions; duality