The main result of this paper establishes the existence and uniqueness of integral representations of KMS functionals on nuclear *- algebras. Our first result is about representations of *-algebras by means of operators having a common dense domain in a Hilbert space. We show, under certain regularity conditions, that (Powers) self-adjoint representations of a nuclear *-algebra, which admit a direct integral decomposition, disintegrate into representations which are almost all self-adjoint. We then define and study the class of self-derivative algebras. All algebras with an identity are in this class and many other examples are given. We show that if is a self-derivative algebra with an equicontinuous approximate identity, the cone of all positive forms on is isomorphic to the cone of all positive invariant kernels on These in turn correspond bijectively to the invariant Hilbert subspaces of the dual space This shows that if is a nuclear -space, the positive cone of has bounded order intervals, which implies that each positive form on has an integral representation in terms of the extreme generators of the cone. Given a continuous exponentially bounded one-parameter group of *-automorphisms of we can define the subcone of all invariant positive forms satisfying the KMS condition. Central functionals can be viewed as KMS functionals with respect to a trivial group action. Assuming that is a self-derivative algebra with an equicontinuous approximate identity, we show that the face generated by a self-adjoint KMS functional is a lattice. If is moreover a nuclear *-algebra the previous results together imply that each self-adjoint KMS functional has a unique integral representation by means of extreme KMS functionals almost all of which are self-adjoint.

All known Banach spaces have an infinite-dimensional separable quotient and so do all nonnormable Fréchet spaces, although the general question for Banach spaces is still open. A properly separable topological vector space is defined, in such a way that separable and properly separable are equivalent for an infinite-dimensional complete metrisable space. The main result of this paper is that the strict inductive limit of a sequence of non-normable Fréchet spaces has a properly separable quotient.

The lack of completeness with respect to the semivariation norm, of the space of Banach space valued functions, Pettis integrable with respect to a measure μ, often impedes the direct extension of results involving integral representations, true in the finite-dimensional setting, to the general vector space setting. It is shown here that the space of functions with values in a space Y, μ-Archimedes integrable in a Banach space X embedded in Y, is complete with respect to convergence in semivariation, provided the embedding from X into Y is completely summing. The result is applied to the case when Y is a conuclear space, in particular, when X is a function space continuously included in a space of distributions.