球形( 二 )


球形

文章插图
,双阶乘
球形

文章插图
定义为
球形

文章插图
一般度量空间里的球形令
球形

文章插图
为一度量空间,即具有度量(距离函式)
球形

文章插图
的集合
球形

文章插图
。中心为
球形

文章插图
内的点
球形

文章插图
,半径为
球形

文章插图
的开球,通常标计为
球形

文章插图

球形

文章插图
,定义为
球形

文章插图
其闭球,可标计为
球形

文章插图

球形

文章插图
,则定义为
球形

文章插图
请特别注意,一个球(无论开放或封闭)总会包含点
球形

文章插图
,因为依定义,
球形

文章插图
。开球的闭包通常标记为
球形

文章插图
。虽然
球形

文章插图

球形

文章插图
总是成立的,但
球形

文章插图
则不一定总是为真 。举例来说,在一个具离散度量的度量空间
球形

文章插图
里,对每个
球形

文章插图
内的
球形

文章插图
而言,{
球形

文章插图
,但
球形

文章插图
。一个(开或闭)单位球为一半径为 1 的球 。度量空间的子集是有界的,若该子集包含于某个球内 。一个集合是全有界的,若给定一正值半径,该集合可被有限多个具该半径的球所覆盖 。度量空间里的开球为拓扑空间里的基,其中所有的开集合均为某些(有限或无限个)开球的联集 。该拓扑空间被称为由度量
球形

文章插图
导出之拓扑 。赋范向量空间里的球每个具範数 |·| 的赋范向量空间亦为一度量空间,其中度量
球形

文章插图
。在此类空间里,每个球
球形

文章插图