第四次数学危机(Ⅰ)——总述

1900年,希尔伯特第一问题提出:连续统能否良序?每一个数学家都会说:“它已在1904年被Zermelo的良序定理所解决”。本文建立了集合三分法,严格证明了一个良序集一定是一个可数集。同时揭露了良序定理及其它一些定理中证明的错误。因此,现代数学存在着第四次数学危机。     

连续统与Turing度

令Ｄ为所有Ｔｕｒｉｎｇ度的集合，≤为Ｄ上的图林化归关系．一函数ｆ：Ｄ→Ｄ称为前进函数如果对任何ａ∈Ｄ，ａ≤ｆ（ａ）。对于一个前进函数ｆ，我们说Ｄ中的两个度ａ，ｂ是ｆ－不可比较的，如果ａ≮ｆ（ｂ）且ｂ ≮ｆ（ａ），否则是ｆ－可比较的．本文的一个主要结果是：在ＺＦＣ中连续统假设成立当且仅当存在一个前进函数ｆ：Ｄ→Ｄ使得Ｄ中任何两个度都是ｆ－可比较的.     

在GCH之下Banach空间的拓扑同构

本文在广义连续统假设2^N_α=N_α+1(简记为GCH)下,给出Banach空间的一个拓扑同构定理。     

对教材中一道例题的变式推广

新课标教材高中数学B版·数学4第103页有一道例2:已知A、B是直线l上任意两点,O是l外一点,求证:对直线l上任一点P,存在实数t,使→OP关于基底{→OA,→OB}的分解式为→OP=(1-t)→OA+t→OB(*),并且满足(*)的点一定在l上.……     

解题研究要注意学生的可受性

读完张乃贵老师发表在数学通讯2011年第10期上半月(学生)44页的文章《一个最值问题的探究》(以下简称文[1]),受益匪浅.张老师按照特殊化→调整→简解→推广的思路示范了一个最值问题的探究思路,但是,令笔者感到忧虑的是:这样的探究方式学生能接受吗?     

分裂空间的一个性质

设Ｘ为一个拓扑空间，对于任意的Ａ∈Ｘ。存在可分度量空间Ｍ及连续映射ｆ：Ｘ→Ｍ，使得ｆ（Ｘ）＝Ｍ，Ａ＝ｆ＾－１（ｆ（Ａ）），则Ｘ称为分裂空间。本文证明了分裂空间Ｘ在广义连续统假设下：（１）若ｄ（Ｘ）≥２＾ω，则ｄ（Ｘ）＝｜Ｘ｜。（２）若（Ｘ）≤２＾ω，则对角线集△ｘ为Ｇδ集。并且（１）中的条件不能减弱。     

第四次数学危机（1）——总述

１９００年，希尔伯特第一问题提出：连续统能否良序？第一个数学家都会说：“它已在１９０４年被Ｚｅｒｍｅｌｏ的良序定理所解决”，本文建立了集合三分法，严格证明了一个良序集一定是一个可数集，同时揭露了良序定理及其它一些定理中证明的错误，因此，现代数学存在着第四次数学危机。     

具有参数的一般的连续统假设与选择公理

<正> 本文解决了所有的具有参数为自:然数以及Aleph的一般的连续统假设GCH(u,v)之间以及与选择公理AC之间相互关系的问题.     

两因素随机效应模型下平均暴露量的检验

通过两因素随机效应模型来研究某一工厂的平均暴露(exposure)水平．利用广义检验变量和广义枢轴量分别给出了相关假设检验问题的广义p-值．证明了由广义p-值所确定的拒绝域的概率在原假设下取上确界等于在原假设和备择假设的公共边界上取上确界,且进一步证明了当参数趋于原假设和备择假设的公共边界的边界时,犯第一类错误的概率趋于名义显著性水平,并在公共边界的内部做了模拟研究．结果表明,用广义p-值的方法来解决此类问题可得到令人满意的结果．     

一道联赛模拟试题的别解

《中学生数学》2004年第8期(上)第19页所刊《2004年全国高中数学联赛模拟试卷》第一试中的第14题是:已知x、y、z∈R,求证:     

广义紧向量场

本文是[1]的继续,主要研究固定的有界连续映象经紧连续映象摄动以后得到的广义紧向量场。我们沿用[1]的符号和术语,特别,采用如下基本假设: 设X、Z为线性赋范空间,Ω为Χ中有界开集。设I:→Z为确定的连续映象,且 设F:→Z紧连续,表f(x)=I(x)-F(x)。 首先建立广义紧向量场f(x)的平凡性和本质性判别法,特别是其中某些平凡性判别法,即使对Leray—Schauder映象而言,也是新结果。     

关于Euler公式的推广

本刊83年11期22页孙燮华所给的定理1.1中连续性条件可去掉,从而得到:定理:假设函数f(x)是区间[1,∞)上单调递减的正值函数,a_n=f(n)→0(n→∞)那么存     

介绍广义二项式系数

1　前言《应用数学进展》 (《Advances in AppliedMathematics》最近一期 ,即第 2 1卷第 2期 ( 1998年 8月 ) ,2 2 8页至 2 40页上刊登了 John Konvali-na的一篇论文 ,题目叫《广义二项式系数和子集-子空间问题》.在这篇论文中 ,Konvalina定义了两种广义二项式系数 ,从而组合地把二项式系数 ,Gauss系数 ,和 Stirling数的基本性质统一起来 .我很喜欢这篇论文 ,认为值得介绍给我国数学界 .这篇论文上印有“1998年 4月 8日 (编辑部 )收到 ,1998年 5月 5日被接受”,可见《应用数学进展》编辑部很喜欢也很重视这篇论文 .2　广义二项式系数设 …     

对一道习题答案的思考

高中数学课本 (试验修订本 )第一册 (下 )第 10 3页第 7题 :已知向量ａ→ ,ｂ→ ,求作向量ｃ→ ,使得ａ→ +ｂ→ +ｃ→=0 →,表示ａ→ ,ｂ→ ,ｃ→ 的有向线段能构成三角形吗 ?教参给出的答案是可以构成三角形 ,严格地说 ,答案是错误的 .图 1　辨析用图如图 ,令ＯＡ =ａ→ ,ＡＢ→=ｂ→ ,ＢＯ→ =ｃ→ .此时向量ａ→ ,ｂ→ ,ｃ→ 共线 ,虽然满足ａ→ +ｂ→ +ｃ→=ＯＡ +ＡＢ +ＢＯ =0 →,但显然有向线段ＯＡ ,ＡＢ ,ＢＯ不能构成三角形 ,所以答案应该是不一定构成三角形 .那么若表示ａ→ ,ｂ→ ,ｃ→ 的有向线段能构成三角形 ,图 2　辨析用…     

关于 Baker 假设的证明

1983年 K.Baker 发现:在代数簇 V(M_3)中存在任意长的代数投射,因而是不可定义的.但在保持主同余类结构不变的意义下,V(M_3)中任何一个代数投射都可以由若干个长度小于6的代数投射所代替.他将后面这个性质称为有穷主长度性质.由于 V(M_3)是一个同余分配簇,他问:是否所有由有穷代数生成的同余分配簇都具有有穷主长度性质?他认为答案是肯定的.这就是Baker 假设.(参见[1])本文将此问题作了理论化处理,并在泛代数领域中首先引入了所谓“最小板块”的概念.在此基础上,本文给出 Baker 假设的一个完整的证明.     

对“球面三角学”的几点意见(续)

(5)第7页第七行末尾起:“极是垂直于极线的大圆的交点.假设 A_2,A_3或其它的点在 P点的极线上,则 A_2P=90°,但 A_2自己又在 A_1点的极线 PA_2P_1上,所以大圆 PB_2A_2P_1 以及PB_4A_4P_1等和极线互相垂直”.其中“极是垂     

只有单调函数才有反函数吗

《高中代数疑难解析》(河南教育出版社)在第27页中给出“判定函数是否存在反函数”的一种方法是:若给定函数y=f(x)是从定义域到值域的单调函数,则y=f(x)在其定义域上存在着函数;否则,y=f(x)在其定义城上不存在反函数”。《高中代数》(上海科技出版社)在第130页中也说:“只有当函数y=f(x)在整个定义域内是单调函数时,这     

结合广义Armijo步长搜索的超记忆梯度算法及其收敛特征

对无约束规划 ( P) :minx∈ Rnf ( x) ,其中 f ( x)是 Rn→ R1上的一阶连续可微函数 ,设计了一个超记忆梯度求解算法 ,并在去掉迭代点列 { xk}有界和广义 Armijo步长搜索下 ,讨论了算法的全局的收敛性 ,证明了算法具有较强的收敛性质     

离散数学教材中传递闭包的两个问题

设R和F是有限集合X上的两个关系.借助关系图的概念,本文确定了分别满足t(R∪F)=t(R)∪t(F),t(s(R))=s(t(R))的R和F的充分必要条件,解决了耿素云、曲婉玲和王捍贫2002年编著的《离散数学教程》第40页和44页中的两个遗留问题.     

关于连续函数导数不存在的定义及分类

一、引言“高等数学”教材中 ,函数导数的不存在性 ,一般仅在给出函数导数存在的定义之后 ,用一两句话带过。如 :同济大学的《高等数学》(第四版 ) ,在第 98页有这样一句话 :“如果极限 (4)不存在 ,就说函数 y=f (x)在点 x0 处不可导 ,如果不可导的原因是由于Δx→ 0时 ,比式 ΔyΔx→∞ ,为了方便起见 ,往往也说函数 y=f(x)在点 x0 处的导数为无穷大。”学生在学习时 ,容易产生这样的疑问 :到底函数不可导是如何定义的 ?它会出现哪些不同的情况 ?不连续必不可导这是大家熟知的 ,本文讨论了连续函数导数的不存在的定义及其分类 ,希望能解答…