Führer f在不同环中分解的理论(Ⅰ)

<正> 本文发展了 H.Grell 的工作.H.Grell 曾作过如下的研究:设 o 是含有么元的整区,且满足理想约束极小条件,(?)是含有与 o 相同么元的一个整区,且又设(?)是代数整封闭的,设 Q(?)与 Q(o)分别是(?)及 o 的商体,Grell 限制Q(?)=Q(?),那末在此情况下由 Grell 的一般保持定理知道,任一介于 o 与(?)之间的     

K-q.c.的一些偏差性质和Mori常数的改进值

本文首先建立了 K～q.c.的一个新的角偏差定理;然后,用分析的方法,在单位圆盘到自身上且固定原点的 K-q.c.族中建立了一个 H(?)lder 连续性定理,它是关于 K-q.c.的 H(?)lder 连续性的 Mori 定理的加强.运用此定理,Mori 常数之现有估值得到了改进.在最后一部分,本文揭示了该族的另外一些偏差性质.     

初等几何定理机器证明的基本原理

1976与1977之交,我发现了一个初等几何定理证明的机械化方法,见文献[4].这一方法适用于各种无序的但满足 Pascal 公理的初等几何,或各种初等几何中不牵涉次序关系的那类定理.本文§4叙述了这一方法所依据的基本原理并给出了详细证明.在§2与§3中则阐述了基本原理所依赖的关于多项式组的整序理论与代数簇的构造性理论.二者俱源出 Ritt 的著作,见文献[2,3].最后在§5中以 Morley 定理与我所发现的Pascal 锥线定理为例,说明这一方法在计算机上实施的具体情况.     

关于中值定理“中间点”的渐近性

<正> 中值定理在数学分析中的重要意义是众所周知的.无论微分中值定理(包括泰勒定理)或积分中值定理,实际上都是适合特定等式的某区间内的“中间点”的存在定理.中值定理虽能肯定“中间点”的存在性,但却没有给出确定“中间点”位置的方法,诚然,这种不确定性并不影响中值定理有着多方面的应用.     

Lyndon字在PI-代数的Kypoш问题和半群的Burnside问题中的应用

本文用Lyndon字和组合方法改进了的关于~°P1-代数的问题的一个定理.用类似的方法可以改进A.Restivo的关于半群的Burnside问题的一个定理.     

任意剖分下的多元样条分析

本文采用代数几何的方法,研究了在任意剖分下多元样条函数的各种性质.定理2—4给出了一个函数S(υ,ν)是多元参数型样条的充分必要条件.定理1指出了多元样条函数具有“解析延拓”的特征性质.文中得到在任意剖分下多元样条的一般表达形式(定理9和10)和多元样条插值的一般理论.文中也讨论了多元有理样条函数.     

张量积VD逼近与凸插值的几个结果

<正> 本文包括三个结果.定理2.1将[4]中的结果推广到一般m×n阶的情形;定理2.2将[2]、[3]中的结果推广到张量积空间;最后定理3.1利用VD样条逼近方法解决了对于任意严格凸离散点组的光滑凸插值问题.     

p-q-Laplace系统周期解的存在性

利用临界点理论研究了p-q-Laplace系统的周期边值问题.首先定义p-q-Laplace系统的弱周期解;其次给出一些引理;然后用临界点理论中的极小极大方法得到关于p-q-Laplace系统弱周期解的一个存在性定理;最后讨论了p-q-Laplace系统的相关问题.本文使用的主要方法是临界点理论中的环绕定理.     

本刊外文版5卷1期文章简介

<正> 利用经典的圆法可以得到Goldbach问题的“主项”,即偶数表为两个素数之和的表法个数的主要部分.作者利用一个十分不同的初等方法得出了同样的结果,令人惊奇的是这里仅需用到素数定理这样深度的一些知识.而用不到解析数论中的高深的定理,例如Siegel-Walfisz定理.     

算子方法在单叶函数中的应用

<正> 随着对单叶函数偏差定理研究的深入,人们越来越深刻地认识到偏差定理在解决单叶函数的各种极值问题,特别在系数估计中的重要作用.因此有不少作者从事这方面的研究.最近在[10]中,用连续函数空间上的线性泛函分析的方法研究偏差定理,获得了相当深刻的结果.     

关于闭包保持和定理

<正> R.E.Hodel在总结前人成果的基础上首先给出了拓扑空间的局部有限和的一般性定理.M.K.Singal及S.P.Arya改进了上述结果,给出了更一般性的局部有限和定理.Singal-Arya就遗传性闭包保持和的情况给出了更一般性的和定理.本文也就遗传性闭包保持和的情况给出更一般性的和定理(定理1、2)以改进[4]中的相应结果,并给出了使可数遗传性闭包保持、局部可数闭和定理成立的一般性条件(定理3).     

二维Brouwer不动点定理的改进

<正> Brouwer不动点定理是拓扑学中一个著名的定理.特别,二维Brouwer不动点定理断言:若f是单位闭圆盘到自身的连续映射,则f必有不动点.即存在z∈,使得f(z)=z. 原条件不变,本文用较初等的方法将二维Brouwer不动点定理的结论改进为:对任     

空间直线与平面

本单元知识点及重要方法知识点 :直线与平面的位置关系 ;直线与平面平行、垂直的判定与性质 ;平面的垂线段和斜线段长定理 ;直线与平面所成的角 ;三垂线定理及其逆定理 ;其中运用直线和平面的平行与垂直关系的性质及判定进行论证和解决有关问题是本节的重点 ,三垂线定理及其逆定理的应用是难点 .重要方法 :1)各定理的证明思路 ,尤其是直线与平面垂直的判定定理的证明思路 .2 )线线与线面关系的相互转化及适当添加辅助线、面的方法 .3)有关距离与角度的求法及将立体几何问题转化成平面几何问题的方法 .习　　题选择题1　下列命题不正确的是 (…     

连分数与类数及其他

本文用连分数给出虚二次域的类数公式,见文中的定理4.结合Hirzebruch和zagier的结果(定理5),就完全了用连分数给出虚二次域的类数公式的结果.另外还讨论了一类虚二次域类数的可除性,即有 定理6.设l,q均为正整数,且q≥2.如0>△=1-4q^l为无平方因子整数,则l除尽虚二次域(Q(△^1/2)的类数. 文献[6]中,用了代数几何方法证明了当l为奇素数时的情形,本文只用初等方法.最后,文中给出了一个实二次域类数的初等公式.     

关于李雅普诺夫方法的若干定理

<正> 大家知道,李雅普诺夫直接方法是解决运动稳定性问题的有效方法.它的可靠性,已为一系列工作(如[2—6]等)所肯定.然而对稍复杂的系统,要建立这个方法中的李雅普诺夫函数,并不是容易的事.因此推广这个方法中的定理,使它们具广泛的形式,对实践来说是有好处的.这方面的推广工作很多,诸如文[2,3,6,7—9]等.本文推广了这个方法中的若干定理,其中有些定理由于利用了解对初值的连续依赖性,而减弱了对李雅普诺     

严格π正则半群的构造

称π正则半群S为严格π正则的,若其正则元集RegS是S的理想且为完全正则半群.本文给出了这类半群的一个结构定理.由该定理可推出文献[3,6]的两个结构定理并可简化文献[7]的一个结构定理.     

格林公式杂谈

<正> 格林定理,高斯定理、斯托克斯定理,又都俗称公式.是多元函数积分学的基本定理.它们的内容和意义与一元函数中的牛顿——莱布尼兹公式相似,都刻划了函数在某种几何形体上的总体性质和在边界上的性质之间的关系. 就它们之间而言.格林定理是高斯定理的特殊情形,而斯托克斯定理则是格林定理的推广.本文主要内     

几何规划(Ⅱ)

<正> 二、正项几何规划的强对偶理论在前一部分中,通过第一、第二对偶定理或即定理1.6.3与定理1.8.1,初步地看到了正项几何规划与它的对偶规划之间的关系.这些定理,Duffin,Peterson,Zener 等人称之为弱对偶定理.在这一部分中,我们将研究不一定更实用的但却更为深刻的对偶理论.我们将放宽定理1.6.3的条件,建立相应的定理并考虑逆型定理,还对几何规划进行分类.     

关于A3中仿射Weingarten曲面的一个结果

关于A³中曲面的H-定理和K-定理是众所周知的了. 该文在此基础上对Weingarten曲面作进一步的研究,得到一个更为广泛的定理.     

一个临界点定理和应用

<正> 本文的目的是体现临界点定理和映象度理论的结合.利用 Leray-Schauder 映象度,本文把 A.Castro 的临界点定理([3],[4])作了推广,该定理是本文定理1中映象度=(-1)~k 的特殊情况.定理2是定理1的一个应用.作为定理2的应用,我们举出常微分方程两点边值问题解的存在性的例子.以前的结果(例如[1—4])不能证明这问题解的存在性.