Formal Series of Generalised Functions and Their Application to Deformation Quantisation

Foundations of the formal series $*$ -- calculus in deformation quantisation are discussed. Several classes of continuous linear functionals over algebras applied in classical and quantum physics are introduced. The notion of nonnegativity in formal series calculus is proposed. Problems with defining quantum states over the set of formal series are analysed.