中介逻辑的谓词演算系统（Ⅱ）

本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF的形式定理。定理10 MF:[1]x～A(x)～xA(x),[2]～xA(x)x～A(x)[3]～xA(x)x～A(x). 定理11 F:[1]x[A(x)→B(x)],xA(x)xB(x),[2]x[A(x)→B(x)],～xA(x)xB(x),[3]x[A(x)→B(x)],x～A(x)(x)B(x),[4]x[A(x)→B(x)],xA(x)xB(x),[5]x[A(x)→B(x)],x～A(x)xB(x),[6]x[A(x)→B(x)],xA(x)xB(x). 定理12 MF:[1]xA(x)∧Bx[A(x)∧B],x不在B中出现,[2]xA(x)∧BxA(x)∧B],x不在B中出现.[3]xA(x)∨Bx[A(x)∨B],x不在B中出现.[4]xA(x)∨Bx[A(x)∨B],x不在B中出现. 定理14 MF:[1]xA(x)∧xB(x)x[A(x)∧B(x)],[2]xA(x)∨xB(x)x[A(x)∨B(x)],[3]xA(x)∨xB(x)x[A(x)∨B(x)],[4]x[A(x)∧B(x)]xA(x)∧xB(x). 定理17 MF:[1]x[A(x)B(x)],x[B(x)C(x)x[A(x)C(x)],[2]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∧A_2(x)B_1(x)∧B_2(x)],[3]x[A_1(x) B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∨A_2(x)B_1(x)∨B_2(x)].     

PIMD上一元多项式环的素理想分类

设R是主理想整环,若R有无穷多个极大理想,则称R是Principal Ideal Maximal Domain,简称为PIMD.设x是PIMD上的未定元,R[x]是R上的一元多项式环.依据整环的基本理论和唯一分解环的结构理论,研究R[x]的素理想和极大理想,推证了R[x]的任一主理想都不是极大理想,给出了构造R[x]的极大理想的一种方法,得到了R[x]的素理想是极大理想的条件,最终给出R[x]的素理想分类定理.     

非线性方程的极限环问题

本文首先研究非线性方程x=φ(y)-F(x),y=-g(x)的极限环存在问题,放弃了φ(±∞)=±∞的条件,包含了[3—7]的有关定理。然后对形如x F(x,x) g(x)h(x)=0的二阶非线性方程,利用[8]及本文§1的结果,给出了若干存在极限环的条件,包含了[9]的定理2及[10]p.374的Reissig定理。     

关于函数的二级绝对连续函数

F.N.Huggins在[1]中研究了f(x)∈AC[a,b]、及f(x)∈Li(m,p,[a,b]),本文研究f(x)∈AC 2[a,b]g及f(x)∈Li_2(m,1,(a,b])及其关系,其目的是推广[2]中的f(x)∈AC_2[a,b]及[3]中的f(x)∈Li_2(x,1,[a,b]),且得到了它们之间的关系及与二级全变差、二级囿变函数之间的联系。     

方程+f(X,)+g(X)=0的极限环

书[1]对84年以前国内外有关极限环理论的重要成果作了总结和介绍,文[2]和文[3]是纳入[1]的两个定理,分别给出了方程+f(x,)+g(x)=0和方程+F()+G(x)=0存在稳定极限环的充分条件。本文给出更加广泛的二阶非线性方程+f(x,)+g(x)=0存在稳定极限环的一组充分条件。文[2]对f(x,)所加条件主要是针对x给出,本文则主要针对给出,且估值方法有所不同。而文[3]可认为是本文定理的特例或推论,文[3]的方法较繁。     

再论多项式的Hensel提升

R是有限链环,M是其极大理想,K=R/M;则建立了K[x]中一类多项式在R[x]中的Hensel提升;证明了多项式的Hensel提升不依赖于n的选择,证明了K[x]中任一首一多项式f(x)在R[x]中具有Hensel提升的充要条件是f(0)≠0且f(x)在其分裂域中无重根。     

关于[x]的几个不等式

在本文内,我们得到了关于[x]的几个不等式(1)[x]+[y]+2[x+y]≤[3x]+[3y](2)[x]+[y]+[2x+y]+[x+2y]≤[4x]+[4y](3)[x]+[y]+[3x+y]+[x+3y]≤[5x]+[5y]这里[x]代表不超过x的最大整数.     

不定方程x2+my2=z2在多项式环中的正本原解

利用不定方程本原解的概念,多项式环的有关性质,研究了不定方程x2 my2=z2在多项式环R[x]中的本原解,得到了在多项式环R[x]中,任意首项系数为正数的多项式f(x),必有R[x]中首项系数为正数的多项式g(x),h(x),使得f(x)=g(x)2 m·h(x)2,其中m为正整数.     

几个不动点定理

本文推广了MAU-USIANG SHIH与CHEH-CHIH YEN在文[1]中定理2,CHI SONG WONG在文[2]中定理1,Banach不动点原理,CHI SONG WONG文[3]中公共不动点定理.定理1 设x是紧致度量空间,f是x到x的连续映射,p代表正整数,若对x,y∈x,x≠y满足下面条件     

关于u(x)f(x) v(x)g(x)=d(x)中的u(x),v(x)的几点讨论

在高等代数的多项式理论中有一个定理“对于p[x]中任意两个多项式f(x),g(x),在p[x]中存在一个最大公因式d(x),且d(x)可以表成f(x),g(x)的一个组合,即有p[x]中多项式u(x),v(x)使     

多项式环R[x,x-1]里的因子分解

设R是一个整环 ,F是R[x]的商域 ,则R[x ,x- 1 ]是F的子环 .本文证明 :若R是域 ,则R[x,x- 1 ]是欧氏环 .若R是一个唯一分解环 ,则R[x ,x- 1 ]是唯一分解环 .     

关于多项式环的根的若干注记

本文就任意环R与R上多项式环R[x]的根之间的关系作了讨论,得到了一些根性质的特征性质,并给出定理β(R[x])=β(R)[x]=(β(R[x])∩ R)[x]的新证明,其中β是Baer下诣零根。     

整型多项式下三角函数矩阵

（n+1）×（n+1）阶矩阵Pn[x]定义为:　　　　　　　　,如果i相似文献   

关于含[x]的不等式与恒等式的探讨

对含[x]的不等式 [2x]+[2y]≥[x]+[y]+[x+y]在不同方向上推广,本文得到了两个结果。此外,对Tom.M.Apostol的一个问题作了进一步的探讨。     

用SOR法解区间线性方程组收敛的充分条件

本文用[·]表示区间量,区间矩阵(向量)是实的且为n阶(维)。其他符号含义见[1]。 设[A]=([αij])为区间阵且[αii]不含有0,[b]与[x]为区间向量,作[A]=[D]+[L]+[U],其中[D]=diag[A],[L]和[U]分别为严格下和严格上三角阵,则方程组[A][x]=[b]的SOR法迭代公式为:其中 定义 设　　　,若δ>0,则称[A]为严格对角占优阵。 定理 设[A]为严格对角占优阵,令则当 α<ω<β时,(1)式对任意初值[x(0z)]都收敛于唯一解[x*],且[x*] 当ω=1时,(1)式即为Gauss-Seidel迭代。 推论　 设 [A]为严格对角占优阵,则对任意初值[x(0)],Gauss-Seidel迭代收敛于唯…     

对《一道习题的证法及其演变》的补充

文[1]对一道习题给出了四种证法,本文给出一种更为简洁的证法。设y(x)在[0,+∞)上可微,且lim[y′(x)+y(x)]=0,求证limy(x)=0.证明:由洛必大法则(见[2]第185页),     

一类非线性系统解的有界性和零解的全局渐近稳定性

对非线性系统 :dxdt =p(y) - φ(x) ,dydt =-q(y)f(x) -g(x)k(y)解的有界性和零解的全局渐近稳定性进行了讨论 ,运用并发展了文 [1]、[2 ]的方法 ,得到了该系统所有解有界和零解的全局渐近稳定的新充分条件 ,推广了文 [3]、[4 ]的部分结果。     

有限链环上的双λ-常循环码

设R是一个指数为2且极大理想为γ()的有限链环.设λ是R的一个单位.R上码长为r(,s)的一个双λ-常循环码是划分为两部分的一个集合,并且对这两部分进行λ-常循环移位保持码不变.这些码可以看作是R[x]/(xr-λ)×R[x]/(xs-λ)的R[x]-子模.本文确定了R[x]/(xr-λ)×R[x]/(xs-λ)的R[x]-子模这类码的生成多项式,给出了R[x]/(xr-λ)×R[x]/(xs-λ)的R[x]-子模这类码的极小生成元集.举例表明了通过这类码可以得到有限域上一些比较好的线性码.     

拓广的两类特殊广义RICCATI方程的解法

本文给出了拓广的两类特殊广义Riccati方程的求解法,并提供了通积分的表达式。 文[1]、[2]、[3]、[4]指出Liouville(刘继尔)已证明Riccati(黎卡提)方程 y~1=P(x)y~2+g(x)y+f(x)在一般情况下,不能用初等积分法求解。 我们仿照文[3]的方法,主要指出了两类特殊的广义Riccati方程是可积的,并给出了通积分的表达式,文中所得的定理及推论推广了文[1]、[2]、[3]、[4]的有关结果,对文献中的某些方程的求解显得更加简捷了。     

关于积分变上限函数列一致收敛性的讨论

本文讨论了积分变上限函数列Fn(x)=φn∫(x)af(t)dt及Fn(x)=φ(∫x)afn(t)dt的一致收敛性。得出了当{fn(x)}在[a,b]上一致收敛于可积函数f(x)时,如果φ(x)有界;或{φn(x)}在[a,b]上一致收敛于φ(x),且φ(x),f(x)有界,那么{Fn(x)}在[a,b]上一致收敛的结论。