Trace representation of weights on partial O-algebras

The purpose of this paper is to investigate when a weight ? on a partial O^∗-algebra is a trace weighted by a positive self-adjoint operator Ω, that is, whenever s.t. X†∈L(X) and ?(X†□X)<∞. It is shown that if contains the inverse N of a positive compact operator such that the weak multiplication N□N is defined, then every weight ? on satisfying ?(N□N)<∞ is a trace weighted by some positive trace operator.