同伦群和上同调群的上乘积

<正> 在[1]中,作者研究了一个(N—1)维连通空间的同伦群和同调群的密切关系,那里所考虑的同伦群的维数是在(2N—2)以内,本文可以看成[1]的继续,我偿将考虑维数在(2N—1)以上而又在(3N—3)以下的同伦群,Betti 数;和上乘积的密切关系.我们     

答《关于Epimenides悖论》一文

莫绍揆教授在[2]中一开始罗列了如下三个命题: (*) Epimcnides(克里特岛人)说:凡克里特岛人都说慌。 (1) 现在我说一句假话(Eubulides)。 (2) (再添附下列“事实”):而克里特岛人其余的话的确都是慌话(Russell)。 然后莫教授接着指出:‘最近朱梧檟志在两篇文章[1]、[2]中强调了(*)与(1)(2)的区别,指出前者并非真正的悖论,而现在仍然有人把前者当作悖论来对待,朱同志认为“是一种误解或疏忽”。其实朱同志还忽略了另一种情况。当提到古代相传的悖论时,不能不提到该悖论的原形(*),而在作描述性的谈论中(不作详细的严格推导),没有必要把条     

由渠道设计问题引出的有向图上最小树形图问题的解法

在[1]中首先提出求一般有向图的最小树形图的计算方法。以后,在[2]中,对于一类特殊的有向图,即等双回路图,指出了[1]中的方法可以改进,使得计算的速度可以加快。 在最小树形图的实际应用中,渠道设计问题是一个重要的方面,[1]与[2]中都以此问题作为最小树形图问题的实际背景之一。本文将指出,对于由渠道设计问题引出的有向图上求最小树形图问题,可以用一种更简单的、推广起来也可能是更容易的方法来解决。     

肖克莱方程及其局限性

本文讨论了文献[1]所提出的p-n结问题.认为蔡树棠[1]指出肖克莱(Shockley)方程[2]不能适用于一般情况的观点可以成立,但不能因此而认为肖克莱对这一问题的处理方法及其结论都是错误的.文中指出了肖克莱方程所描述的仅仅是理想p-n结模型.     

试用数学思想方法讨论研究逻辑问题——中学数学教学中若干有争议的逻辑问题辨析

文[1]、文[2]和文[3]等文章确实指出了我们在教学中经常遇到的一些有争议的逻辑问题,而且指出并纠正了一部分逻辑思维方法上的严重错误.……     

一个奇型非线性Sturm-Liouville问题及有关的分枝现象

<正> 在文[1]我们曾指出,研究变系数(即有外场的)非线性 Schr(?)dinger 方程的孤立子解及定态解时,会遇到无穷区间上的非线性 Sturm-Liouville 问题(问题的导出也可见[2])     

对称性非负本原阵的本原指标估计

关于n阶非负阵优势比估计问题,文[1]是目前最好的结果。对于本原阵的子类,文[1]指出改进优势比估计的关键之一是本原指标的估计。对称性非负本原阵是一类常见的重要子类(记为N)。目前仅知道它的本原指标不大于2n-2[2]。众所周知,本原指标不依赖于矩阵元素值的大小,仅依赖于正元素的分布。因此,本文提出一个对N类阵本原指标估计的图论方法,着重研究了N中一些子类的本原指标,并指出仅仅一个很小的子类本原指标是2n-2,对Ⅳ中其余子类的本原指标,本文得到一些更加精确的估计,从而可以很好的改进这些阵的优势比估计。     

模糊值函数在模糊数积分区间[,]上的NL公式

文 [1 ]给出模糊值函数在普通区间 [a,b]上的 N— L公式。本文在文 [1 ]的基础上进一步给出模糊值函数在模糊数区间 [A～ ,B～ ]上的积分。这个积分是 型模糊集。文 [3]已经指出( F2 [0 ,1 ],∪ ,∩ ,c)不是软代数 ,但这个积分是一个特殊 型模糊集仍具有许多良好的代数性质 ,并存在着 N—L公式     

复多项式族鲁棒稳定性的边界定理

依据文献[1]的思想和理论,我们曾得出了复系数多项式值映射,D等价等概念和边界定理,棱边定理等结论,这些结论是可以改进的.本文利用文献[1]的思想和方法给出了多项式边界定理的一般形式,改进了文献[2]中的某些结果.利用这一边界定理可以给出已有的关于多项式族鲁棒稳定性定理简洁的证明,同时为有关问题的进一步研究提供了有效的工具.     

悖论与数学基础问题(补充二)

如文(Ⅰ)所述,“抛球问题”是由西方数理哲学家作为zeno悖论的引伸而提出来的(见本刊1982年第三期)。很明显,如果把时间连续统的数学模型取成标准实数集R的话,则该问题将无从产生,也就谈不上有何悖论,原因是抛球运动对时点t=1并无定义。 另一方面,如果把时间连续统的数学模型取成为非标准实数连续统R,则时点t的变域将包括半开区间[0,1)内一切非标准的与标准的实数点。于是“时间t到达1”的含义可解释为“时点t按其标准部份(standard part)取到标准实数1”。这就是说,“时点     

强拟线性椭园型方程的解的边界估计

在[1]中我们研究了强非线性变分问题,在[2]中我们已经指出此变分问题的Euler方程显然是如下形式的系数具有强增长性的散度型拟线性椭园型方程:     

整规划和混合规划的总极值问题

一、问题 假设 f(I)=f(i_1,i_2,…,i_N) 是N元整变量,S是N元整变量集,考虑下列整最优化问题 我们不打算在这里讨论极小的存在性问题,而假设它是存在的。 本文是工作[1]～[4]的引伸。     

关于半离散Galerkin近似解的L_∞估计的一个注记

在《计算数学》和《高等学校计算数学学报》上最近发表的文章[1]和[2]中,分别讨论了抛物和二阶双曲方程半离散Galerkin近似解(分片线性函数情形)的L_∞估计。文章作者采用正则Green函数方法证明了阶为h~2ln(1/h)的误差估计式。值得指出,[1]和[2]中所给出的估计式的一个不足之处就是它们所需要的精确解的正则性过于强。在这个注记里,我们将说明如下事实,利用熟知的半离散Galerkin近似解的超收敛估计和有限元函数空间的一个弱嵌入性质,可以证明得到阶也是h~2ln(1/h)的误差估计式,然而对解的正则性的要求则较[1]和[2]中估计式所需要的弱得多。 先讨论抛物问题,文[1]讨论的是热传导问题     

关于“拉特马吼级数表示的函数”一文中一个定理的简单证明和推广

王斯雷在[1]中建立了下述定理1。但是他的证明似乎太长,本文指出,这个定理只需用初等微积分的方法就可以很简单地证明出来。用新证明的类似方法我们还可以得到定理2及定理3。定理2将原定理中F(x)连续的条件减弱为近似连续,定理3又在定理2的基础上把定理1进一步推广。定理1.设F(x)是[0,1]上的连续函数,级数     

关于算子方程AXB=X

<正> 设N_1,N_2,X是Hilbert空间H上线性有界算子,并且N_1,N_2是正常的.如果N_1X=XN_2,则N_1X=XN_2.这是熟知的Putnam-Fuglede定理.它有许多推广(参见[2]).我们在文[2]中也曾讨论它的一些推广,特别,在[2]中我们讨论了如下的一种形式:设A,B,X为Hilbert空间H上线性有界算子,如果AXB=X,那么,在适当的条件下(例如对A,B,X加上某些限制),必有AXB=X.在文[2]中还给出了AXB=X,AXB=X同时成立的一个充要条件.本文是[2]的继续,继续讨论这类问题.     

关于哥德巴赫问题的一点注记

<正> 通过文章[1]、[2]、[6]对L-函数零点分布及算术数列中素数分布两问题的研究,在1989年我们证明了:每一个奇数N≥exp(exp(11.503))都能够表示成为三个素数之和。在此我们将对这些结果的论证作一点修改和说明.我们将沿用文[1]、[2]、[6]中的记号。 (一)主要是由于第二作者的疏忽,在文[2]定理的陈述和证明中出现了一些缺陷.这就是在应用文[2]的引理10来证明定理时,在文[2]的“三、定理的证明”(第857—858     

悖论与数学基础问题(补充)

在我们的文章(Ⅲ)中,曾从认识论角度讨论了悖论的成因。这里还可进一步指出,单侧面的抽象概念思维(单相性抽象巴维)和超限度的概念思维(无限制扩张式的抽象思维)往往是导致推理形式矛盾的基本原因。 从反映论观点看,凡是客观上具有某种对立统一的结构属性的对象(例如兼具有潜无限与实无限双重性质的无限性对象,兼具有‘连续性’与‘点积性’双重环节的时间连续统与直线连续统等等),在数学的单相性抽象形式思维里,均可能导致形式推理上的悖论。事实上,每一个数学概念都要求确定性和纯一性,它只能一意地反映客体对象中本来相互     

有限传输设备系统的Feinstein引理

<正> 本文研究有限传输设备系统的统一编码问题,给出了类似[1]中 Feinstein 引理的结果.这个结果看来与[2]中问题 XLIX 有关,而可以用来加强那里列举的情况1.本文的前半部分讨论了在抽象变量场合下半信息稳定的 Feinstein 引理.本文的基本思想类似[3].而其中基本引理是[4]中定理1的推广(我们称它为Shannon 引理).本文的叙述方式类似[1],沿用[1]中符号时不多加说明.     

从連分数推导斐波那契数的几个性貭

在[5]中指出了斐波那契数与連分数有着一定的联系。木文在叙述在一联系后将应用連分数的陸貭推导出斐波那契数的几个性貭。文中所引用的連分数的性质及符号均可在[3]中找到。数列 1,1,2,3,5,8,13,21,34,55,……叫做斐波那契数列,設其一般項用u_N表示,它們有关系式 u_1=u_2=1,u_(N+2)=u_(N+1)+u_N, N=1,2,…。从这个关系式,运用輾轉相除法可以将u_(N+2)/u_(N+1)化为連分数的形式:     

影子价格与企业管理决策

本文利用线性规划与非线性规划模型，讨论了目标函数增量，影子价格及相应的常数项增量的特征区间之间的关系，从理论上对文[1]、[2]、[3]中的问题作出了解释。我们还给出了线性规划与非线性规划发生悖论的充要条件，对文[5]、[7]中的结果进行了推广。