广义Smash积和广义Smash余积的Maschke形式定理

利用积分映射给出广义smash积的一个Maschke形式定理:假设H是有限维半单Hopf代数,并且存在一个代数满同态的积分映射φ:H→B.如果A是半单的,那么A#B也是半单的.对偶地,给出广义smash余积的一个Maschke形式定理.

论充足理由律的意义及其形式定理

本文认为逻辑思维的基本特征是确定性和论证性。反映思维确定性的逻辑基本规律是同一律、矛盾律和排中律。反映思维论证性的逻辑基本规律是充足理由律 ,而且充足理由律是逻辑思维的第一位的基本规律 ,其形式语言表达式 (形式定理 )是MP规则 (即分离规则 )

余项形式定理的一个注记

引理1 设函数f(x)在区间[a,b]上有n+1阶导数,x_0∈(a,b),令:f(x)=~f(k)(x_0)/k!(x-x_0)~k+R_n(x) (1) 任取x∈(a,b),不妨设x>x_0,设函数g(x)在[x_0,x]上连续,在(x_0,x)内可导,且当t∈(x_0,x)时,有g′(t)≠0,则存在ξ∈(x_0,x),使:R_n(x)=f^(n+1)(ξ)/n! g′(ξ)(n-ξ)~n[g(x)—g(x_0)] (2) 若取g(t)=(x—t)^(n+1),就得拉格朗日余项:R_n(x)=f^(n+1)(ξ)/(n+1)!(x-x_0)^(n+1) (3)称此为余项形式定理。

多维函数形式的单调类定理

推广了最常用的一个一维函数形式的单调类定理,获得了多维函数形式的单调类定理,并将其用于向量随机积分,使得相关问题的证明更简洁,思路更清晰。

_(λ++)的相容性及其加强形式的停止定理

本文给出了分割线σ─域r＋＋的定义，讨论了λ＋＋、相容性的几个等价条件，得到了关于λ＋＋的加强形式的停止定理，并推广了加强形式的停止定理。

一个新的函数形式单调类定理

定义了C-族的概念,给出了C-族的函数形式单调类定理.

一个新的函数形式单调类定理及其推广

定义了^w-族的概念,给出了^w-族的函数形式单调类定理,并且将其推广.

一个新的函数形式的单调类定理

定义了集类的m-类和α-类的概念,给出了m-类的单调类定理,并在此基础上给出了新的函数形式的单调类定理.

叠加定理形式的唯一性证明

有关利用叠加定理分析含有受控源的线性电阻电路的问题,在国内、外的教材和广大教师中,存在两种不同看法:其一为将受控源作负载处理,它不能单独作用于电路;其二为将受控源作电源处理,它可以单独作用于电路。本文从多侧面探讨受控源在叠加定理中的地位问题和叠加定理的形式问题,以请教于诸同仁。

一类新的多维函数新式的单调类定理

本文研究了多维函数形式的单调类定理问题.利用类比的方法,定义了多维函数形式的λ族,单调族,获得了相应的多维函数形式的单调类定理,推广了λ族,单调族的一维函数形式的单调类定理,并将其用于可选过程,从而建立了对应的单调类定理.

中介命题系统MP推理规则的简化

对中介逻辑命题演算系统 MP的 1 8条推理规则作了简化 ,从中删除了 5条不独立的推理规则 ,构成与原推理规则集 S等价的形式推理规则集 S1。

一类分数阶微分方程边值问题解的存在性研究

利用锥拉伸与锥压缩不动点定理的范数形式,通过定义合适的锥和算子,研究了一类非线性分数阶微分方程边值问题解的存在性.

代数体函数第二基本定理精简形式的推广

主要研究了代数体函数第二基本定理精简形式的推广问题,通过对建立的关于多项式代数体函数的第二基本定理(引理2.1)中N(r)的估计,得到了代数体函数关于多项式的第二基本定理的精简形式,推广了相关文献的结论.

一类非线性三阶微分方程周期正解的存在性与多重性

研究如下形式的一类非线性三阶微分方程■周期正解的存在性与多重性,这里α>0,β<0,f(t,u)∈C(R^2,R),f(t+2π,u)=f(t,u),利用范数形式的锥拉伸、锥压缩的不动点定理得到了上述非线性三阶微分方程的周期正解的存在性与多重性,并给出了一些应用例子.