一维空间中的结构.docVIP

一维空间中的结构 学生:张玲梅 指导教师:王文霞 （太原师范学院 数学系 14014班 山西·太原 030012） 内容提要: 在学习了诸如n维欧氏空间,度量空间,线性赋范空间等一些空间的基础上,我们对最简单的一维空间进行分析,看看一维空间上的结构是怎样的. 关键词: 一维空间 距离结构 线性结构 范数结构 内积结构 拓扑结构 序结构 在数学分析中，我们学过导数，它是这样定义的：设函数在点的某个邻域内有定义，对当=时，有，即存在时，则称函数在点可导．在这个定义中涉及到空间中的两个结构：一个是距离结构，即另一个是线性结构，即．在这两种结构的保证下导数才得以定义．那么空间中都有一些什么结构呢？本文以抽象空间的理论为依据来分析 一维空间的结构. 一、度量结构 定义1[2]：设是一个非空集合，是一个在上的实值函数，即对于，对于 实数．若对于，满足： ⑴ ≥， =当且仅当 （非负性） ⑵ = （对称性） ⑶ ≤+ （三角不等式性） 则称为上的度量(metric)或称为距离函数(distance function)，称为度量空间．对于给定的，称为与的距离． 定义2[4]：设，若，使得，则称序列是收敛的．称为的极限，记为. 定义3[4]：设是中的序列． ⑴ 若存在，使得，则称依范数收敛于． ⑵ 若对，存在正整数，使得对一切，都有，则称是中的Cauchy序列． 定义4[4]：在度量空间中，若每一个Cauchy序列都收敛，则称是完备的．Banach空间是完备的赋范空间． 设为实数集，在上定义映射如下： 显而易见，它满足度量空间定义的非负性，对称性和三角不等式性．证明如下：，有： ⑴ ≥ ⑵ = ⑶ ≤ 在上述定义下，是一个度量,从而为度量空间． 度量结构有对称性，即和的距离与和的距离相同，用字母表示即是且对距离具有下面的性质:任意的有: ≤ 下面给出证明.由≤≤,则有上式 左边=≤=右边.□ 由度量空间中收敛序列的定义，在中，实数列收敛于的定义为：对，，使得对一切的，总有成立．显然，在此度量结构下的收敛即与数学分析中的数列收敛的定义是一致的． 是Banach空间． 二、线性结构 定义5[4]：设是一个非空集合，是数域（实数域或复数域）．若定义中两元素的加法运算以及数与中的元素之间的数乘运算并且满足下面的条件： 加法运算“+”，即这样一个×到的映射，使得对每一个，对应于，满足下列条件： ⑴ ⑵ ⑶ 存在,使得对于一切,有．（称为零元素） ⑷ 对于任意,存在的加法逆元素,使得 数乘运算“·”，即这样一个到的映射，使得对每个，对应于，满足下列条件： ⑸ ⑹ ⑺ ⑻ 则称为数域上的线性空间(linear space)．当时，称为实线性空间．上的加法运算和数乘运算统称为线性运算． 设．若关系式，其中，仅当时才成立，则称为是线性无关的．(linearly independent)．若不是线性无关的，则称为是线性相关的(linearly independent)．当线性相关时，必存在一组不全为零的数使得上述式子成立． 线性空间称为是有限维的(finite dimensional)，若存在一个正整数n，使得 ⑴ 包含一个由n个元素组成的线性无关集． ⑵ 任何多于或等于n+1个元素组成的集都是线性相关的． 这时，正整数称为的维数(dimension)，记为dim=n. 设是上任意三点,是任意两个实数，加法定义为普通数的加法，乘法定义为一般意义下数的乘法，而这样的定义满足线性空间的八个条件: ⑴ ⑵ ⑶ 存在,使得对于一切,有.这里 ⑷ 对于任意,存在的加法逆元素,使得 ⑸ ⑹ ⑺ ⑻ 不难看出，零元素和上的任何元素的逆元素都是唯一的． 是一维空间，线性无关组为任一非零实数． 上具有的线性结构这些性质的运算不难看出，就是我们在中小学所学到过的一般意义上的加 法和乘法的交换律，结合律等基本的加乘法则．但是在这里，它已经上升到了一个线性空间的结构—中的线性结构． 三、拓扑结构 定义6[4]：设是非空集合的子集为元素的一个集族，满足： ⑴ ； ⑵ 任意多个中元素的并仍是中的元素，即若，则 ⑶ 有限多个中元素的交仍是中的元素，即若，则． 则称为集上的一个拓扑，称为拓扑空间． 定义7[7]：设是拓扑空间．若对于存在与的开邻域使得则称为Hausdorff空间(Hausdorff space). 定义8[7]：设为拓扑空间的子集，若的闭包等于（即），则称为的稠密子集．有可数稠密子