拟伪补Ockham代数的同余与核理想

拟伪补Ockham代数,是一个具有类型〈2,2,1,1,0,0〉的代数(L;∧,∨,f,*,0,1)其中(L;∧,∨,f,0,1)是Ockham代数,(L;∧,∨,*,0,1)是拟伪补格,而且运算f和*可交换,即f(x*)=[f(x)]*.本文主要讨论了该代数上的核理想的性质,并且对其同余关系的特征进行了刻画.     

关于格蕴涵代数

讨论了拟格蕴涵代数的基本性质,由此得到：拟格蕴涵代数X为格蕴涵代数当且仅当≤L与≤F一致等若干充要条件.这里,X（X,V,∧,`,→,0,1）为拟格蕴涵代数,≤L为格（X,∨,∧）上的自然偏序关系,≤F为由蕴涵算子→、诱导的偏序关系.     

双重拟伪补MS-代数的同余特征

依双重拟伪补MS-代数是一个具有2,2,1,1,0,0类型的代数(L;∧,∨,°,*,+,0,1).其中(L;°)是一个MS-代数,(L;*,+)是一个双重拟伪补代数,且一元运算°,*和+之间由下面的等式联系起来:(1)x°*=x°°=x°+;(2)x*°=x*+=x**;(3)x+。=x+*=x++.本文中,我们介绍了这类代数的同余特征.特别地,我们证明了次直不可约的双重拟伪补MS-代数的同余格是一个二元素链或一个三元素链.     

关于格蕴涵代数

讨论了拟格蕴涵代数的基本性质．由此得到：拟格蕴涵代数X为格蕴涵代数当且仅当≤L与≤r一致等若干充要条件，这里．X=（X．V．A．′．→．0，1）为拟格蕴涵代数1≤L为格(X，V，A)上的自然偏序关系．≤r为由蕴涵算子→诱导的偏序关系。     

关于一类拟线性椭圆方程正解的存在性问题

讨论了拟线性椭圆方程-u″＋u-k（u^2）″u=f（x,u）,x∈R（＊）,其中k〉0是常数,f（x,u）是一个关于“的超线性和次临界函数,且f（x,0）=0．在函数f（x,u）满足某些条件下,通过变分法证明了方程（＊）至少存在一个正解．     

拟伪补Ockham代数的同余与核理想

拟伪补0ckham代数,是一个具有类型<2,2,1,1,0,0>的代数(L;∧,V,f,*,0,1)其中(L;∧,V,f,0,1)是0ckham代数,(L;∧,V,*,0,1)是拟伪补格,而且运算f和*可交换,即f(X*)=[f(X)]*.本文主要讨论了该代数上的核理想的性质,并且对其同余关系的特征进行了刻画.     

细嚼一道导数习题

人教社实验教材A版选修2—2第34页B组题1：利用函数的单调性,证明下列不等式,并通过函数图象直观验证（1）sinx〈x,x∈（0,π）;（2）x—x^2〉0,x∈（0,1）;（3）e^＊〉1＋x,x≠0;（4）lnx〈x〈e^x．x〉0．     

关于四种弱BCI-代数及其可分配性

引入比BCI-代数条件更弱的四种弱BCI-代数,讨论它们的等价条件,并给出弱BCI-代数的一种二元运算“＋”：x＊y=x＋（x＊y）,讨论了与这种运算相关的可分配性,进而四种弱BCI-代数在可分配下得到统一．     

2011年高考数学模拟试题（8）

一、选择题1．“x∈（0,1]”,是“x∈[0,1]”的（）（A）充分不必要条件．     

差代数的伴随代数

研究了差代数（Ｘ；＊，≤，０）以及广义结合差代数的伴随代数；指出了一个差代数（Ｘ；＊，≤，０）的所有伴随代数都是同构的；广义结合差代数的伴随代数是同构的．     

余星n模的推广

如果一个模余自小和无穷拟内射称其为余星无穷模.研究了其性质及等价刻画.当一个模为余星无穷模时,函子HomRU（-,U）在Copres∞（U）中正合.一个模是余星无穷模当且仅当U余自小,对任意的正合列0→M→UI→N→0满足M∈Copres∞（U）且I是一个集合,N∈Copres∞（U）等价于ExtR1（N,U）→Ext1R（UI,U）是一个单同态当且仅当U余自小并且对于任意的正合列0→L→M→N→0满足L,N∈Copres∞（U）,N∈Copres∞（U）等价于导出的列0→Δ（N）→Δ（M）→Δ（L）→0是正合的当且仅当U通过函子ΔUS和ΔRU导出了子范畴⊥US和Copres∞（U）之间的对偶.并且证明了一个模为余星n模当且仅当它是余星无穷模且Copres∞（U）=Copresn（U）.     

对称的完全二部有向图的T_（1,K）-因子分解

Km,n^＊表示对称的完全二部有向图,T^→1,k表示有向树。Km,n＊的T^→1,k-因子是它一个生成子图F,其中F的每个分支都同构于T^→1,k。如果Km,n^＊的有向弧集可以划分为Km,n^＊的T^→1,k-因子的和,则称Km,n^＊存在T^→1,k-因子分解。文章讨论了当m=n时,Kn,n^＊的T^→1,k-因子分解存在性问题,运用构造法证明了对称的完全二部有向图Kn,n^＊存在T^→1,k-因子分解的充分必要条件：n≡0（mod（k＋1）（k＋2））。     

一类四阶两点边值问题解的存在性的上下解方法

讨论了四阶两点常微分方程边值问题{x^（4）（t）-λx^m（t）=f（t,x（t）,x″（t）） x（0）=x（1）=x″（0）=x″（1）=0’的解的存在性,其中f：[0,1]×R→R连续,λ〉0为常数。利用上下解方法给出了解的存在性结果。     

一类具有条件X=B（X）∪L（X）的BCH-代数

在BCH-代数中引入了伴随半群的概念,证明了对于具有条件X=B（X）UL（X）的BCH-代数有M（X）=M（B（X））∪M（L（X））成立,并证明了具有条件X=B（X）∪L（X）的偏序BCH-代数的两个性质。     

B（H）上的广义零点Lie可导映射

设B（H）是维数大于2的复可分Hilbert空间,B（H）代表H上所有有界线性算子全体,假设线性映射Ф：B（H）→B（H）满足对所有A,B∈B（H）,[A^A.,B]=0时,有[Ф（A）^Ф（A）.,B]＋[A^A.,Ф（B）]=0.文中运用可交换迹双线性映射对Ф进行了刻画,证明了存在实数c∈R,算子T∈B（H）且T^＊＋T=cI,使得对任意X∈B（H）,有Ф（X）=XT＋T^＊X．     

一般Orlicz序列空间中kp＊,kp＊＊的一点注记

在赋P—Amemiya（1≤p≤∞）范数的一般Orliez序列空间lM．p中,给出并证明了满足2x=y＋z（y,z=∈B（lMp）／{O}）的单位球面S（lM,p）上的点x的可达区间右端点kp＊＊（x）的有限性与y,z可达区间左端点kp＊（y）,kp＊（z）的有限性的一个命题.     

一类二阶非线性微分方程同宿解的存在性

本文研究一类非线性微分方程x″+a(t)x′+g(x)=0的同宿解的存在性.通过构造Lyapunov函数,使用微分不等式的方法找到这类方程的的一类有界解x:R→R满足x(t)t→±∞=x(′t)t→±∞=0,给出了同宿解存在的充分条件.     

关于两类算子的研究

本文给出了用算子Dλf(z)=z(1-z)λ+1*f(z)判别函数为单叶函数的两条判别法则,其中f(z)=z+∑∞k=2akzk,实数λ>-1,符号*为Hadamard卷积,并讨论了两类算子Dλ与Dn间的关系,这里算子Dn定义为D0f(z)=f(z),D1f(z)=Df(z)=zf′(z),Dnf(z)=D(Dn-1f(z)),n∈N.     

非线性2m阶微分方程边值问题解的存在性和多重性

利用强单调映象原理和临界点理论讨论2m阶微分方程边值问题{（-1）^m·u^（2m）（t）=f（t,u（t））,t∈[0.1] u^（2i）（0）=u^（2i）（1）=0 （i=0,1…,m-1）,其中f：[0,1]xR^1→R^1连续,得到其解的存在性和多重性．     

求常微分方程积分因子的一般方法

给出了一阶常微分方程P（x,y）dx＋Q（x,y）dy=0具有形如μ=μ（φ（x,y））的积分因子的充要条件,同时也考虑了一些常见特殊形式,如形为μ=（（fx）＋h（y））和μ（（fx）＊h（y））等,并将之应用于实例。