球面型空间中的度量平均Ξ.PDF

第17卷第3期 数 学 研 究 与 评 论 . 17 . 3 V o l N o 1 9 9 7 年 8 月 JOU RNAL O F M A TH EM A T ICAL R ESEA RCH AND EXPO S IT ION A ug . 1 9 9 7 球面型空间中的度量平均 郭　曙　光 (盐城师专数学系, 江苏224002) 摘　要　本文首先建立球面型空间中度量平均的概念, 其次讨论度量平均过程中一 些几何不变量之间的关系, 最后举例说明度量平均在解决球面型空间中几何极值问题时的应 用. 关键词　球面型空间, 度量平均, 几何极值. 分类号　 ( 1991) 51 05 184 AM S K CCL O 1　引　言 ( ) R. A lexan der 在文[1, 2 ] 中引入了希尔伯特空间 含欧氏空间 中度量平均的概念, 并以 大量的例子说明了度量平均的方法在解决某些几何极值问题时是卓有成效的. 杨路、张景中在 文[3, 4 ] 中对希尔伯特空间中的度量平均又做了深入的研究, 使度量平均方法在解决某些几 何极值问题时更为有效. 本文在球面型空间做了相应的工作, 试图建立球面型空间中度量平均的基本理论, 首先引 进球面型空间中度量平均的概念, 其次讨论度量平均过程中一些几何不变量的变化关系, 最后 举例说明度量平均在解决球面型空间中几何极值问题时的应用. 专著[5 ] 是距离几何之经典, 文中将直接引用其中的一些结论, 恕不一一列出. 2　 球面型空间中度量平均的概念 S d - 1 记曲率为K ( 0) 的d - 1 维球面型空间, 对于x ∈S d - 1 , y ∈S d - 1 , g (x , y ) 记x , y 间的距离, 对S d - 1 中的点列= {p 1 , p 2 , …, p d }, 简记co s ( K g (p i , p j ) ) 为p ij ( 1 ≤i, j ≤d ) , 并类似可得下面 ( ) t 的简记符号. 定理 1　 设( ) ( ) ( ) ( ) ∈T 为S d - 1 中点列构成的单参数族, 为T t = {p 1 t , p 2 t , …, p d t }, t 的子集上的概率测度, 则S d - 1 中存在点列 = {p 1 , p 2 , …, p d } 使得 ( ( ) ) ( ( ( ) ( ) ) ) ( ) ( ) co s K g p i , p j = co s K g p i t , p j t d t 1 ≤ i, j ≤d . ∫ 证明　 取集合 = {p 1 , p 2 , …, p d }, 定义 × 上的函数 1994年12月9 日收到. —441 — © 1995-2005 Tsinghua Tongfang Optical Disc Co., Ltd. All rights reserved