The intersection of convex transversals is a convex polytope.
Let H be a real Hilbert space. It is well known that a positive-definite function φ on H is the Fourier transform of a Radon measure on the dual space if (and only if) φ is continuous in the Sazonov topology (resp. the Gross topology) on H. Let G be an additive subgroup of H and let (resp. ) be the character group endowed with the topology of uniform convergence on precompact (resp. bounded) subsets of G. It is proved that if a positive-definite function φ on G is continuous in the Gross topology,...
It is proved that there is a unique metrizable simplex whose extreme points are dense. This simplex is homogeneous in the sense that for every 2 affinely homeomorphic faces and there is an automorphism of which maps onto . Every metrizable simplex is affinely homeomorphic to a face of . The set of extreme points of is homeomorphic to the Hilbert space . The matrices which represent are characterized.