证明具有正无穷小测度直线元素存在性.docVIP

证明具有正无穷小测度直线元素存在性 　　摘要：本文的第一节对Skolem 的非标准自然数集合N 用序列的表示法进行了通俗的解释。第二节将Skolem 的非标准自然数集合N 扩大为一个特别的非标准的有理数集合Q。在第三节中作者在Q中证明存在具有正的无穷小的测度的标准的直线元素。 　　关键词：Skolem 的非标准自然数集合N；特别的非标准的有理数集合Q；具有正的无穷小的测度的标准的直线元素；右单子；Zorn 引理。 　　中图分类号：O143 文献标识码：A 文章编号：1673-8500（2013）05-0118-02 　　第1节 对Skolem 的一个特殊的非标准自然数集合N’的通俗解释 　　本文将在Skolem [1]的一个特殊的非标准自然数集合N的基础上，引进一个特别的非标准的有理数集合Q，然后在Q中证明在标准数学中存在具有正的无穷小测度的直线元素。首先应该介绍一些与本文有关的在Skolem [1]中有关这个特殊的非标准自然数集合N的一些内容。 　　挪威逻辑学家 Skolem 在1934年创立了非标准数学。在[1]中Skolem 的标准自然数系是N=?1，2，3，...，n，......?，它的每个元素都是正的。他的非标准自然数系是用N*表示。此外，他还有一个特殊的模型用N表示。N是一个多项式的集合，其中的多项式表示如下 　　方程式 （1） f（t）=antn+...+a0 所有的ar为整数，t∈N 　　其中所有的ar0，和an0，但当n=0时，a00。当n=0时具体化为： f00（t）=0， f10（t） 1，ff20=2，f，30=3，...，fn0=2（t）=n，...。而当n1时，成立ar0，和an0，其中包括一次单项式f01（t）=t，和一次的二项式f11（t）=t+1等。它们的序列表达式如下： 　　方程式 （2） 　　f00（t）=0←→*0=（0，0，0...，0，...，...）； 　　f10（t）=1←→*1=（1，1，1...，1，...，...）； 　　f20（t）=2←→*2=（2，2，2...，2，...，...）； 　　ff30（t）=3←→*3=（3，3，3...，3，...，...）；...； 　　fn0（t）=n←→*n=（n，n，n...，n，...，...）；...； 　　f01（t）=t←→t=v0=（1，2，3...，n，...，...）； 　　和f11（t）=t+1←→v0+*1=（2，3，4...，n+1，...，...），等等，其中t∈N。 　　而且在N中成立不等式 　　方程式 （3） *0f00（t）=0，对t∈N成立。对N+的每个多项式f（t），它的倒数为有理式■。假设fp（t）和fq（t）∈N+. N， 它们的倒数分别是有理式■和■。假设p和q分别为fp（t）和fq（t）的序列表示，p =（p1，p2，p3...，pn，...，...）， 　　q=（q1，q2，q3...，qn，...，...其中p1，p2，p3...，pn，...，...q1，q2，q3...，qn，...，...是正的标准的自然数，则fp（t）和fq（t）分别是p和q的生成多项式。又由于p和q的生成多项式分别为 fp（t）和fq（t），则它们的倒数■和■的生成有理式分别为■和■。它们的序列表示分别是■=（■，■，■...，■，...，...）：和 ■=（■，■，■...，■，...，...）。特别，注意到■的生成有理式为■， 所以■的序列表示为■=（1，■，■...，■，...，...），并成立以下等式： 　　方程式 （4） ■×v0 =（1×1，■×2，■×3...，■×n，...，...）=*1=（1，1，1...，1，...） 　　定义正的非标准有理数集合Q+。如上假设n∈N， 对任意两个p， q∈N+， 定义除法： 　　方程式 （5） ■= ■×p=（■×p1，■×p2，■×p3...，■×pn，...，...） 　　定义：如此的元素■的全体组成一个特别的非标准的正的有理数集合Q+。 　　定义非标准有理数集合Q+.。 　　首先注意到N*中的零元素是f00（t），它的序列表示如下： 　　方程式 （6） *0=（0，0，0...，0，...，...）， *0的生成多项式是单项式f00（t）=0 　　对每个a = ■. ∈Q+而言，其生成有理式为■，由于同时成立fp（t）0和fq（t）0，所以成立0 　　现在假设*n=（n，n，n，...n，...，...）是N+中任意一个有穷的自然数，则它的倒数是 　　方程式 （9） ■=（，■，■■...，■，...，...） 　　则成立等式 　　方程式 （10） ■-■（■-1，■-■，■-■...，■-■，■-■...，...） 　　当n+10，按照Sk