第一章集合2.docVIP

§3 中的开集，闭集和Borel集 一. 中的距离、邻域、区间 定义1 设X是一个集合，若对X中的任意两个元素x与y由一个确定的实数与之对应，记为 ,它满足下述三条性质： （1） ； （2） ； （3） ）， 则称在X中定义了距离d，并称(X,d)为距离空间. 定义2 设.任意, ，定义 . 容易证明对任何满足： （1） ； （2） ； （3） 则d为与的距离，是一个距离空间，也称为n维欧氏空间. 定义3 设E是中点集，令 称为点集E的直径. 若＜∞，则称E为有界集. 显然，集合E是有界的充分必要条件是存在M＞0,使一切. 定义4 设 ，称 为以为中心，为半径的开球，记为；称 为以为中心，为半径的闭球，记；称 为以为中心，为半径的球面，记为. 特别地，在中， . 在中， 是以为中心,以为半径的圆;是以为中心,以为半径的闭圆； 是以为中心，以为半径的圆周. 定义5 设 均为实数，且,称点集 为中开区间. 类似地，分别称 为中闭区间及半开半闭区间，称 为区间的边长. 开区间、闭区间、半开半闭区间通称为区间. 区间常用符号等表示，其体积用等表示. 若，则 ， . 特别地，在中开区间是开矩形，闭区间是闭