初等微分几何的机械化证明

本文系文献[1]关于初等几何机械化证明的继续,文中指出,应用同样的原理可给出一个算法,足以判定初等微分几何中一个适当的叙述是否是一真实的定理,方法是依据Riquier-Ritt-Thomas的理论^[2,3],这些理论本身就是算法性的。     

具多重符号拟微分算子的L~2有界性

本文构造了一种新的单位分解,即空间R~(m×n)上的所谓“框形”分解,并综合了文献[1,2]的方法,从而推广了[2]中关于拟微分算子的精密L~2有界性定理,即得到了文献[4]中具 S_(0,0)~(0;0)类和S_(ρ,ρ)~(0;0)类(0相似文献   

具多重符号拟微分算子的 L~2有界性

本文构造了一种新的单位分解,即空间 R~(m×n)上的所谓“框形”分解,并综合了文献[1,2]的方法,从而推广了[2]中关于拟微分算子的精密 L~2有界性定理,即得到了文献[4]中具 S_(0,0)~(0;0)类和 S_(ρ,ρ)~(0,0)类(0<ρ<1)多重符号拟微分算子的 L~2 有界性的精密结果.(见§3定理1,2和§4定理4,5).作为 L~2有界性定理的应用,本文给出了具简单符号的两个拟微分算子复合的余项的一个估计(见§3定理3).     

Orlicz空间的收敛定理和弱列紧集

本文§1利用实函数的经典理论证明了一组关于 Orlicz 空间的收敛定理。其中定理3是专著[1]第二章“具有深刻意义”的定理1.35,这里用了不同的证明方法。由于 Orlicz 空间的共轭空间过于复杂,至今未见弱列紧性的讨论。本文§2利用王廷辅的一种嵌入技巧(见[2]P.118)给出了 Orlicz 空间内子集弱列紧的充要条件。     

Fan K_y 引理的推广及其应用

§1.引言在多值映像的不动点理论中,Fan Ky 引理(见[1,引理4])是一个很简单的基本命题,它往往是证明更复杂结果的关键工具,例如见[2].本文首先要推广 Fan Ky 引理,然后再给出它的一些应用.     

关于多重赋值完全域

F.K.Schmidt曾经证明过一条定理:设域K关于二个不等价的特殊赋值都是赋值完全域,则K必然是个代数闭域(见[9],定理1)。后来,I.Kaplansky和O.F.G.Schilling又证明了:如果K关于二个不等价的特殊赋值都是Hensel域,则K必然是个可分代数闭域(见[3],定理2)。在§2和§3中我们将把这两个结果都推广到Krull赋值(即一般赋值)的情形,即当K关于二个独立的Krull赋值都是Hensel域时,K是可分代数闭域(定理1)。如果K对于其中之一是赋值完全域时,则K是个代数闭域(定理2)。这里使用的方法基本上是遵循Schmidt在[9]中所使用的方法。在§4中我们就有限阶赋值的情形     

几何学机械化方法Ⅰ.初等几何

依据多项式组的 Rilt 原理以及0点分解定理, (见[R 1,2]与[WU 4,5]),作者提出了几何学的一种机械化方法。除应用于解高次联立代数方程组外。本文以初等几何为限,指出如何依据这一机械化方法以建立构造性的代数几何学,以及如何应用于几何定理的机器证明与机器发明。在下一文中,将推广这一机械化方法于微分几何。     

利用导数证明不等式

读了贵刊今年第3期上刊登的“证明不等式的初等方法”等文章受益不浅。这几篇文章结合一些具体实例从各个不同角度对用初等方法证明不等式进行了较系统地归纳和总结,于教于学都是大有裨益的。但有些不等式运用微分法来进行证明思路清晰、方法简便、具有独到之处,而从近年来全国高考及各地高考予选情况来看,对于这方面的知识学生掌握得并不理想,本文试图就统编高中数学课本第四册“导数和微分的应用”一章对用导数证明不等式的方法作点归纳。一用微分中值定理证不等式定理1 如果函数f(x)在闭区间〔a,b〕上连续,在开区间(a,b)内可导,那么在(a,b)内至少有一点§,使得 f′§=(f(b)-f(a))/(b-a)。(见教材P114) 根据这个定理,我们可以依导函数f′(x)的变化范围(如有界等)及a<§相似文献   

利用特征为2有限域上伪辛几何中（2,1）型子空间构作PBIB设计

§1.引言 关于结合方案和PBIB设计的定义及所用的有关符号见文献[1].有关的工作见[2-4]。 设F_q为特征2的有限域.我们将用F_q上的对称阵     

Radon-Nikodym定理的一个初等证明

<正> 这篇论文的目的是探讨Radon-Nikodym 定理的一个初等证明.这个证明给出了一个与另外著名方法相类似的方法,但又有一个额外的不小曲解,它似乎简化了算法,并且显然地无人所知.我们所用的主要工具如下:(i)抽象积分的基本性质(见文献[2]Rudin 第一章);