非标准分析简介.docVIP

非标准分析简介 A.Voros 非标准分析是新兴的一数学分支,通过它能对有关分析和拓扑的概念进行富有魅力和高度浓缩地公式化表达.我们相信在不久的将来,这种新语言在物理学上会得到广泛的应用.这篇文章里将会呈现一些实例,但其主要的目的是把这个科目简要地介绍给物理学家们.因而,虽然我们忽略了技术上的严谨,但是必须假定读者知道集合论、代数和拓扑的相关的基本事实和符号.若要看更详尽的物理学应用，请看参考书[3]. 1.非标准实数 十七世纪的数学分析思想认为无限小(在绝对值上)是小于任意一个正实数的,在一个无限地缩小的等价上仍具有所有实数的性质.虽然这种直觉上的观点对创作分析是有用的,但是它后来由于柯西所描述的矛盾性而被抛弃了.这个理论再一次呈现在这里, Robinson教授的工作为这个直觉方法提供了一个一致的背景. 我们以实数集来构建一个放大的集合为开始,也即集合即包含了实数集又有称为无限小量和无限大量的数量;此外, 满足实数集所有的代数和序关系（除了阿基米德性）.在这个框架下，通常的实数被称着为标准的（记为：），而在中“平常”的数称为非标准（）.因此限定词“非标准”不能被理解为“标准”的否定而是它的一般化.我们也称是的非标准扩充.我们想强调是这里的与中的以拓扑方法描述的无限大点集的各种各样紧集是丝毫无关的. 非标准实数域的构造 我们应该以柯西有关无限小量或无限大量的概念为开端，作为再一次呈现实函数极限的性质的一种方法.一个最简单的此类例子是在学习数列当时，这带来的结果是：构造的特殊目的，除此之外没有必要的. 令为所有的实数列集，通过逐项地按位相加和相乘运算使之成交换环.如果存在，则对任意的，我们想有一个非标准数：以表示与之对应，这样的话，在某种意义上是对的渐进描述.我们施以以下规则： (1) 是一个交换环，映射：是从到的环同构. (2) 是作为一个子环包含于，对数它在下的原象是常数列. (3)若对某个， ，则有成立. 接下来的方法，被称着超滤子构造，它赋予有形的实现：具备了额外的性质和一样成为一个完备序域. 在上选择一个自由超滤子（见附录），并为，定义关系： （“几乎处处”） 由测度论知（）是一个等价关系，且商集是一个环.我们定义： 和=的等价类. 这仅意味着与一致当且仅当.这个定义满足规则(1)至(3). 更进一步，是个域，任意，都有一个逆元. 证明 对某个，，且[附录中的性质在这里是重要的]. 几乎处处可定义且，是由于. 在如下关系是有序的: 强调一下：在证明完备时，性质是至关重要的，也就是说对任意的都是可比较的. B. 的结构和特性 我们只看到是完备域，如. 此外，是的一个子集，且它的序域结构是自然的限制. 所有的代数规则在都保有，且记法是同样的. 例如，“绝对值”也将在上表示相同功能的函数: ，如果；其他情况， 定义：是标准的当且仅当；是有限的当且仅当. 由有限数集组成的集合形成一个环，记作.否则，是无限的当且仅当.例如，，，，其中都是标准数；；，都是有限数. 是无限小当且仅当，有成立. 例如，（其中是标准的，是整数）是无限小数中一个有名的分数. 由无限小数组成的集合形成一个环，记作. 我们有包含式：；. 是无限接近的当且仅当，这个关系记作：. 对任意的标准数，我们定义中的一个子集，称为的单子： 定理 每个属于的有限数位于一个（只有一个）标准数的单子里，，称为的标准部分.映射是一个在核上环同态.证明请看参考书第56页. 的直觉结构在图-1中展示.从出发，在标准数的周围我们加入无限接近非标准数（单子）的群集.在这个方法下我们得到了所有的有限数. 然后，在消极和积极的一面，我们增加了无限大数.这里介绍一些上的运算规则： 无限小数：如果，，则，.（是环上的理想） 如果都是标准数且，则和不交，对任意中的数都小于中的数. 无限大数： (1)如果是无限大，，则和都是无限量（除非）. 这是一个确切的表述中的著名的“规则”: “”，“”，但读者必须认识到，一般，，，是因为代数规则仍然有效. (2)如果和都是正无限大数，则和都是正无限大数.但是可取遍中的任意一个数. 这是一个对“”精确的诠释上的不确定性；当然，在中的演绎中，的值是被完全确定的（通过和的值），它的计算将不确定性加与标准的微积分上. 其他规则可由读者演算出，他们总是使运算规则在有效. C.有关的放大 我们可以发挥同样超滤子结构建设作为不同情况下变的序列. 如果，我们得到非标准复数域，它和具有与一样的联系. 如果（给定且有限），则得到在数域上非标准向量空间.显然，它就是空间的次直和，即. 如果（整数集合），则有得到非标准整数集，显然包含于.的结构在图-2展示.有限整数集合（）和标准整数集是一致的，因为没有无限小整数存在. 中剩下的都是无限大数（正或在是负的）；它们也被称