[拼音]：zhengding hanshu
[英文]：positive definite function
指实轴R上定义的满足如下条件的连续函式ƒ：
这里”正定”名称来源于正定矩阵。事实上，式(1)等价于说，对一切n与一切点列
，复数矩阵
是一个正定矩阵（严格地说是半正定矩阵）。
正定函式概念的提出晚于它的一个同类，即所谓正定序列。O.特普利茨于20世纪初首先定义了正定序列的概念，即它是使矩阵
正定的序列
。G.赫格洛茨随后发现了正定序列的一个非常重要的性质。正是在此基础上，S.博赫纳于30年代初得到了R上正定函式的重要性质，并第一个认识到了这个概念的重要性。他在这方面的重要贡献之一便是建立了类似赫格洛茨定理的下述结果:R上连续函式ƒ(x)是正定的，当且仅当存在有界增函式φ(t)，使
(2)
正定函式的概念可以允许下述推广。首先，函式ƒ的定义域可以不必是R，而是任意的区域性紧T2群G。正定函式的概念推广到这样的群上是直接的。也就是说，G上连续函式ƒ称为是正定的（记其全体为p(G)），若
(1)＇
在这样的推广下，正定序列与正定函式的概念便获得了统一：前者是整数群Z上的正定函式，后者是实轴群R上的正定函式。正定函式概念的第二个推广是函式 ƒ可以不必是连续的，而只要求是可测的（这里可测性是关于所在群G的哈尔测度）。正如 F.（F.）里斯、I.E.西格尔与J.冯·诺伊曼等先后指出的，这样的正定函式与连续的正定函式只相差一个区域性零（即在任意紧集上都几乎处处为零）的正定函式。第三个推广是将式 (1)（或（1）＇）左边的和改为积分。仍以 R为例。R上波莱尔可测函式ƒ称为正定的，如果对一切φ∈L1（R），总有ƒ(x-y)φ(x)徰(y)∈L1(R×R)，且
(3)
可以证明，式(3)意义下的正定函式与式(1)意义下的正定函式是几乎处处相等的。特别地，两种意义下连续的正定函式的集合是一样的。
正定函式是一个在许多领域都会遇到并且很有用的概念。如概率论中随机变数的特征函式就是正定函式。特征函式比随机变数的分布函式更易于处理。P.莱维正是用正定函式作工具对独立随机变数和的中心极限定理进行了比较统一完整的处理。正定函式在泛函分析中也经常遇到。事实上连续正定函式与某种连续正泛函一一对应。以R情况为例，R上连续正定函式ƒ与M(R)(R上有界波莱尔测度所构成的对合巴拿赫代数)上连续正泛函
(4)
是一一对应的。此外，正定函式在调和分析中的地位也十分突出。交换群上的调和分析中的许多基本事实的建立都得力于正定函式这个概念。例如，傅立叶逆转定理便叙述为
式中∧表示傅立叶变换，∨表示傅立叶逆变换，弿表示G的对偶群。又如，普朗歇尔定理（它说，傅立叶变换是L2(G)到L2(弿)上的一个等距同构）的一个证明便利用了上述逆转定理以及如下事实
参考书目
E.Hewitt and K.A.Ross，abstract harmonic Analysis，Vol.2， 2nd ed.， Springer-Verlag， Berlin，1970.
J.Stewart， Positive Definite Functions and Generalizations， An Historical Survey，The Rocky Mountain Journal of Mathematics， Vol.6， pp.409～434， 1976.
