Hadamard定理的逆定理

<正> Hadamard定理是曲面整体微分几何的著名定理,是Gauss映射几何学中的经典结果。这个定理断定,卵形面的Gauss映射是微分同胚。这样在微分拓扑中,卵形面和球面属于同一个等价类。本文将证明Hadamard定理的逆定理也是正确的,从而保证了卵形面可以用     

关于线性不等式系统的一些转置定理

<正> 关于有限线性不等式系统的讨论,自Gordan建立第一个转置定理以后陆续建立了不少的转置定理。A.W.Tucker在“齐次线性关系的对偶系统”一文中,借用David Gale关于Hermann Weyl基本定理证明中的论证方法,统一了某些转置定理。但由于证明方法     

关于Banach空间中的联合最佳逼近

本文是考察联合最佳逼近的联合极小化序列,证明一些联合最佳逼近的存在定理。我们还给出了不动点定理在联合最佳逼近中的一个应用。     

关于图的直径的一个定理

学生习作本文主要讨论[1]中P197页定理10.9。这个定理是:“If G and ■ are Connected, then d(G) d(■)≤P 1”。定理中的G是p个顶点的图,■是G的补图。d(G),d(■)分别表示G和■的直径,即图的顶点的最大偏心度。该书对此定理未加证明,且在叙述了该定理后又说:“The bound is always attain.     

WOD随机变量序列加权和的完全收敛性

应用已有研究结论得到了宽相依(widely orthant dependent,WOD)随机变量序列加权和的完全收敛性定理,所用证明方法与传统证明方法有所不同,所得定理推广了已有研究结果。     

计算逻辑中的波动策略

以计算逻辑为基础,介绍了定理机器证明中一种新的启发式方法——波动方法,它是一种在证明中通过处理归纳结论来激活归纳假设的策略。     

单种群离散模型的全局稳定性

本文证明了■全局稳定的充要条件是方程无二点环.可以证明本文的结论与“C—R 定理是等价的.利用本文的结果不仅可以简化“C—R 定理”的证明,而且为推广到多个极值点的情形提供了方便的工具.     

关于W Rudin的一个证明的注记

本文指出W.Rudin关于A在C中不可补的一个证明的错误,并给出该定理的证明。     

用黎曼求和法 (R,k) 求和时的吉卜斯现象

本文指出,李经熙在1978年全国数学会上报告的题为“用黎曼求和法(R,k)求和时的吉卜斯现象”的论文中的主要定理的证明是错误的.本文纠正了他的错误,给出了新的证明方法.其次把专著[1]中的关于几乎处处(R,k)求和的定理加以推广.     

线性分组码问题研究

指出了教材《通信原理》在纠检错编码定理证明中存在的问题,应用n维空间的概念,将码字与n维空间中的点一一对应,并利用这种对应关系,对纠检错编码定理给予了新的证明,完善了差错控制编码理论．     

基于时态逻辑演算的程序验证

本文建立了时态逻辑演算。在该演算系统下,若能证明一程序抽象成的时态逻辑公式是定理,则该程序是完全正确的。     

一个与广义KKM定理等价的极小极大不等式

引进不用凸包定义的广义对角拟凹与拟凸概念,利用广义KKM定理,得到推广的Ky Fan极小极大不等式;并证明这个极小极大不等式、广义KKM定理与广义Ky Fan截口定理,三者是等价的。最后,利用不用凸包定义的广义对角锥拟凸概念,得到强向量均衡问题解的存在定理。     

关于四元数矩阵的奇异值分解

本文给出了四元数矩阵的奇异分解的一个简短证明,并且证得两个新定理(定理2、3)。     

关于亚纯函数的Nevanlinna四值定理

采用不同于以往的证明方法,进一步研究了与Nevanlinna四值定理中的有关开问题,并证明了2个唯一性定理.     

定理的自动证明与代德景问题

§1 引言定理的自动证明是新科学“人工智能”中研究的课题.由于电子计算机的速度快,不怕疲,能减轻人的脑力劳动.一些难证明的定理,难计算的问题,通过计算机的邦助,求出部分结果;于是看出要点,因而解决的问题不在少数.本文的第一个目的就是企图说明这种情况.     

交换环上赋值的完全性

对有乘法单位元的交换环上的非精简显赋值定义一种"完全性"。首先就Von Neumann正则环成为完全赋值环给出一个充分必要条件(定理1);并对正则的完全赋值环证明在它的代数扩环上也能给出完全的拓展赋值(定理2)。其次,再对另一种特殊的环给出与定理1和定理2相同的结论(定理3,4)。更多还原     

关于不动点单调原理的注记

本文证明了距离空间和局部凸拓朴向量空间中的几个公共不动点定理,它们是Taskonic不动点单调原理的推广。     

H空间中的向量极小极大定理

在H空间中,证明数值函数与向量值函数的极小极大定理,推广了一些已知的重要结果。     

一个与Hausdorff测度相关的秩零定理

利用Morse广义临界点引理和Lehesgue密度定理以及Vitali覆盖引理,证明一个与Hausdorff测度相关的秩零定理．将要解决的转化为一些公式的精细估计,并由这个秩零定理推出,当r＝o时Arthur Sard在1965年提出的一个未完全解决的推断正确,     

域Ω上的方阵分解为两个对称阵的乘积的一个定理

设Ω是一个任意域,屠伯壎先生证明了定理:域Ω上的任一方阵必可分解为个数不超过4个的、域Ω上的对称阵的乘积。本文进一步证明了定理:域Ω(特征P≠2)上的任一方阵必可分解为域Ω上的两个对称阵的乘积,且其中之一为可逆的,定理的证明是构造性的。