数学理论(百家争鸣版).pdfVIP

Academia Arena, 2009;1(3), ISSN 1553-992X, , aarenaj@ 数学问题 李学生 山东大学副教授，理论物理教师， 中国管理科学院学术委员会特约研究员、北京相对论研究联谊 会会员，中国民主同盟盟员 xiandaiwulixue@21 摘要：1. 本文指明数学归纳法的实质在于递推，将其从正整数集逐步推广至整数集、实数集、有理数集、复数 集等集合，从普通加法运算推广至一般抽象运算，给出了一般集合上的数学归纳法，为数学命题的证明开辟了 一条新的道路，同时举例说明了其应用。 2. 本文从数集的扩展原则与扩展的必要性出发，阐明了哈密尔顿的四 元数不能作为复数集的拓广，从而将向量乘法与普通乘法区别开来。3. 本文对环的定义作了几种扩充，的出了 一些新的概念，加深了对环的认识。4. 本文从数学美的角度把不定积分定义为一元函数的负一阶导 数，将 Jacobi 行列式定义为多元函数组的导数，并指明了雅可比行列式的几何意义，最后举例 说明了其应用。 [Academia Arena, 2009;1(3):70-82]. ISSN 1553-992X. 关键词：数学归纳法、递推、整数集、实数集、抽象运算、四元数、异议、数集的扩展原则、向量 乘法、普通乘法、导数、扩充、数学美、Jacobi 行列式、不定积分。 1. 数学归纳法的拓广 数学归纳法通常是证明与正整数集有关命题的一种重要的论证方法，许多数学命题利用其 它数学方法很难证明或者根本无法证明，但利用数学归纳法很容易解决。数学归纳法的理论根 据是正整数集的序数理论，为了证明命题的需要而演变成了多种形式，同时将数学归纳法从正 整数集推广至所有良序集。 定义：设 S 是一个集合，≤是 S 中一个二元关系，满足 ① 对任何 x ∈S 有 x ≤x; ② 对任 何 x 、y ∈S 有 x ≤y 且 y ≤x 可得 x ＝y; ③对任何 x 、y 、z ∈S 有 x ≤y 且 y ≤z 可得 x ≤z ，④ 对任何 x 、y ∈S 均有 x ≤y 或 y ≤x; ⑤若 S 的任何非空子集有最小元。则称 S 是良序集。 超限归纳法原理：设（S，≤ ）是一个良序集，P （x ）是与元素 x ∈S 有关的一个命题， ①如果对于 S 中的最小元 a ，P （a ）成立；②假定对于任何x ＜a, Ｐ（ｘ）成立，可证明Ｐ(a) 0 0 也成立。则 P(x)对任何 x ∈S 都成立。 根据上面的理论，集合Ｍ＝｛n ,n +1,n +2, ······｝，n ∈ Z, 对于普通数的大小是良序的， 0 0 0 0 因此类似于正整数集也可以列出数学归纳法的各种形式．整数集与实数集对于普通数的大小不 是良序的，但可对其重新规定序使其成为良序集，不过有时给证明命题带来很大困难．倘若我 们从另一个角度审视数学归纳法会发现数学归纳法的理论根据是正整数集的序数理论，其实质 在于递推． （－）整数集上的数学归纳法原理 定义：任何一个非空集合Ｚ的元素叫做整数，如果在这个集合里的所有元素之间有两种基 本关系―＂前继＂与＂后继＂满足下面的公理：① 对任何一个数 a ，存在着且仅存在者一 个后继数 a与前继数a ；②任何数只能是一个数的后继数与另一个数的前继数；③ 存在 a ∈Ｎ， 且 a ∈Ｚ；④（归纳公理）设Z 有一个子集 M ，满足条件 Ⅰ Z0 ∈M,且 Z0 ∈Z ； Ⅱ 若 a ∈M ，有,a ∈M ，a, ∈M.则 M=Z. 1、 第一数学归纳法原理：设有一个关于整数集 Z 的命题p(Z),①若存在 Z ∈Z ，p （Z ）