局部紧群上取值在算子代数中的正定函数

把有关数值连续正定函数表示的Bochner定理推广到更一般的情形,并将证明从一个局部紧交换群到一个C＊-代数的连续正定函数能够表示为向量值正测度的Fourier变换.局部紧交换群到C＊-代数的连续正定函数对C＊-代数上的广义函数有重要作用.同时给出一个具体应用,推广Bochner-Schwartz定理至算子代数情形,得到S′(A)上正定广义函数θ能表示为(θ,φ)=∫φ(λ)dμ(λ).