证明具有正的无穷小测度的直线元素的存在性.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