实数轴上原点存在左右邻点马昕东内容摘要本文借助一个单调递减.docVIP

实数轴上原点存在左右邻点 马昕东 内容摘要：本文借助一个单调递减函数的性质证明了实数轴上原点的左右邻点是存在的，同时也就证明了函数的极限公式 关 键 词：单调函数 定义域 值域 引 言：在传统数学理论中，无论是在《几何基础》还是在《公理集合论》中，都认为在实数集合中不存在最小的正实数，这是从逻辑推理的角度来讲的。事实上如果我们从集合的元素的存在意义特别是从直观性来讲：对于在实数轴上的原点0，总存在一个点是它的右邻点，或者是说，存在最小的正实数。现在只要证明在实数轴的原点0存在右邻点，那么我们就可以证明实数集中任何一个点都存在邻点。 数轴原点的邻点存在定理：实数轴的原点左右邻点是存在。 证明（一） 如果我们能够证明实数轴的原点的左右邻点存在，那么我们就可以运用相同方法证明实数集中的任何一个实数都存在相邻的点。 设函数，取函数的定义域为；则函数的值域为 又设一列非负等差递增等差数列，且，，则我们可以得到 同时满足 而当函数的定义域依次为时， 则函数的值域依次为 , 并且有 ； 由于，即，又因为任何的正数的倒数一定为正数，所以 现在的问题是：如果设是一非负递增数列，当时，，，那么最终等于什么？或者说的极限等于什么? 我们令：当时，，的极限是，则一定满足 下面通过寻找的范围来求得的范围，从而来求得的值。 现在我们借助函数来寻找的范围 当函数的定义域为 时 则函数的值域为 并且有 在这里 对于函数的定义域 当时，，则函数的定义域变为 也就是 当函数的定义域为 则函数的值域为 取函数定义域是时，则函数的值域是 而函数的定义域 又因为同一个函数对应同一个定义域的函数的值域也只有一个，即 所以 即 这说明 ，即 对于正数列，无论为任何自然数时，下式是恒成立的 即当，，在的极限状态下上式依然成立，也就是 则 由于恒为正数，所以也一定为正数，即下式一定成立 所以有 这说明在0与不存在任何数。 又因为 所以 是最小的正数，即是实数轴原点0的右邻点。 同理可以证得是最大的负实数，或者说是0的左邻点 所以在实数轴上原点的左右邻点存在。 证毕 证明（二）设函数，函数的定义域为；则函数的值域为，又设一列非负等差递增等差数列，且，，则我们可以得到 同时满足 而当函数的定义域依次为时， 则函数的值域依次为 , 且 ； 由于，即，所以 又因为任何的正数的倒数一定为正数，所以只能大于0而不能等于0。 现在的问题是：如果设是一非负递增数列，当时，，，那么最终等于什么？或者说的极限等于什么？ 我们令：当时，，的极限是，现在通过来讨论来研究的值 我们借用函数来讨论 如果我们把作为函数的值域，那么它所对应的定义域是什么？ 因为我们令，，时的极限为 应该注意此时，也就是说，当函数的值域为时，对应函数值域的函数定义域一定为。 对于同一个函数，和都是以为定义域的值域。同一个函数的一个定义域所对应的值域只有一个，所以 由于恒为正数，所以也一定为正数，即下式一定成立。 即得 从公式 我们可以得到 也就是 而从公式 可以得知在0与和之间不存在任何实数（或在原点0和正数所对应的点之间不存在任何点），所以说是最小的正实数（或是原点0的右邻点） 同理可证是最大的负实数，或者说是0的左邻点。 证毕 上面的证明也可以表述成下面的定理 最小正实数存在定理：在实数集中，最小的正实数是存在的。 最大负实数存在定理：在实数集中，最大的负实数是存在的。 实数集合邻点存在定理：实数轴（实数集）上的任何一点都存在邻点。 证明：对于实数轴上任意一点，只要重复上一个定理的证明过程就可以得到此定理的证明。 证毕 由此我们可以得到下面更为一般的定理 线序集合邻点存在定理：非单点线序集合中的任何一个元素都存在邻点。 从直观的意义上来说：数轴是由点构成的，那么一定有一个点的原点0的右邻点。 在此我们还可以得到两个公式 和 或者 和 我们称这两个公式为极限公式。 现在我们来解释数列极限的概念，首先由于自然数能大到什么程度，也就决定了它的倒数小到什么程度，因此我们从两个角度说明： 首先我们来看自然数能大到什么程度 取, 并且都除以就得到。在这里我们看到无论取多大时，总等于1，其他的点分布