非标准包在构造空间的完备化中的应用.pdfVIP

西 安 工 程 大 学 学 报 JournalofXi’anPolytechnicUniversity 第24卷第4期(总 104期) 2010年8月 Vo1．24，No．4(Sum．No．104) 文章编号：1674-649X(2010)04-0543-03 非标准包在构造空间的完备化中的应用 靳永军 ，翟美娟 (1．西安工业大学 数理系，陕西 西安710032；2．西安建筑科技大学 理学院，陕西 西安710055) 摘要：在饱和模型下，从一般的拓扑空间出发，利用非标准包方法，将拓扑学中的理想元素构造 出来，使其完备化，并给出3种常见空间的完备化构造方法．由赋范代数出发，给出内积代数的定 义，构造赋范代数和 内积代数的非标准包． 关键词：非标准包；内的；有限元；完备空间 中图分类号：O141．41 文献标识码：A 完备空间具有很多好的性质，能为研究提供许多便利，但是并不是所有的空间都是完备的，这就需要 寻找空间完备化方法．文献[14]研究了如何寻找理想元素，使空间完备化．但是大多数方法在构造理想元 素方面比较麻烦．非标准分析可以被看作是获得理想元素的一般方法，例如，一个无穷小量是理想化的 “充分小的数”，一个超有限集是一个 “非常大的有限集”的理想看法等．本文由文献[5]中的非标准包出 发，利用非标准分析方法，将空问中的理想元素构造出来，使其完备化，并由赋范代数引申给出内积代数定 义，并给出了由一般的赋范代数和内积代数出发构造 Banach代数和hilbert代数的方法．本文所讨论问题 均在饱和模型下，设 是一非空集合 ，令 包含在标准全域U的个体集中，’是 的扩大，于是有 c ‘ 1 预备知识 定义 1 设(，d)是一标准度量空间，称元 ∈ X是有限的，如对于某一个 口∈X，d(，口)是有 限的．记 中所有有限元之集为Fin(’)，即 Fin(’)= { ∈X：是有限的}． 定义2 定义Fin(’)上的等价关系 一：一y，若’d(，)，) 0．令 =Fin(x)／～，称 为 的非标准包． 在 上有一个自然度量 ：a(未，多)=st(’ar(x，)，))，其中 ∈ ，YE多． ． 注 1 st(d(，，，))指 d(，)，)的标准部分，详见文献[63． 定理 1 ’X的非标准包 是完备的度量空间． 证明 由上述定义可知(，a)是度量空间，故只需证明完备性．设 {} 是一个Cauchy序列，在每 一 个等价类 中挑选元素 ，则存在内序列 {} ．是{茹} 的扩张；因为{} 是Cauchy序列，则 Vm ∈N，存在一个元ⅣmEN，使得 Vn∈N，当乃≥Ⅳm时，有 收稿 日期：2010-04-21 基金项目：陕西省教育厅专项科研基金项 目(09JK494) 通讯作者：靳永军 (1979·)，男，陕西省西安市人，西安工业大学助教．Em·ail：jyj90579@163．tom 西 安 工 程 大 学 学 报 第24卷 、 d(．】v， )1／m (1) 成立．由上溢原理知，存在无限元 ，使得 V凡，Ⅳm≤ ≤H ，式 (1)成立． 设A = {kE N：U ≤k≤ }，则集族 {A }具有有限交性质，故存在无限数 日小于所有的 ，所 以{互} 收敛于 ．完备性证毕． 定义3 设 为赋范空间，lI·II为 上的范数， 是 的扩大， lI·Il是 上的范数，若P ∈’X， }JPJl∞，则称P为 中的有限元 (即P的范数是 ’ 中的有限元)．全体有限元之集记为 nn( )： fin(X)= {P∈ ： IlPll∞}． 定义fin( )上的等价关系 一：— 舒’ 一Yl1 0．令 ：fin(x)／～，称 为 的非标准包