高等几何中的调和共轭

调和共轭是高等几何中最重要的概念之一,有关平面图形与二次曲线的许多重要概念和性质都与此密切相关。它是联系高等几何中各主要概念的一条主线。本文系统讨论调和共轭概念在高等几何中的重要应用。     

环R上的矩阵环Mn(R)的理想

设R是环,Z是整数环,F是除环或域.讨论了Mn(R)与R的理想、主理想和极大理想之间的对应关系,给出了Mn(Z)和Mn(F)的全部理想.     

用球面多项式最佳逼近阶刻画Besov空间

设Ｅｎ（ｆ）ｐ表示ｆ∷Ｌ＾ｐ的ｎ次最佳逼近,Ｅｎ（ｆ）ｐ＝ｄｉｓｔ（ｆ;ｎ,Ｌ＾ｐ）－ｉｎｆ＾ｈｎ∈ｎ｜｜ｆ－ｈｎ｜｜ｐ,Ｄ＾ｐ．ｒ表示序列型子空间,则在球面函数的Ｈｏｌｄｅｒ范数下,Ｄ＾ｐ．ｒ为Ｂａｎａｃｈ空间,且有结论：若ｆ∈Ｌ＾ｐ（１≤ｐ〈∞）以及ｒ,ｎ∈Ｎ,则有Ｅｎ（ｆ）≤ｃｏｎｓｔＫ．（ｆ,ｎ＾－ｒ,Ｌ＾ｐ,Ｄ＾ｐ．ｒ）。又用球面函数的Ｈｏｌｄｅｒ范数,定义了一类Ｂｅｓｏｖ空间,用球面最     

分部积分公式的推广及其应用

给出了分部积分公式的推广形式,并讨论了分部积分过程的形式化。     

RL型蕴涵与Fuzzy推理的三I算法

引入了RL型蕴涵与正则RL型蕴涵的概念，系统地讨论了基于RL型蕴涵的三I算法、三IMT算法及其还原性，得到了这些算法的一般表达式，指出基于正则RL型蕴涵的三I算法与三IMT算法的表达式具有对偶形式；证明了当P表示条件{B(y)|y∈Y}真包含{A(X)|X∈X}时，基于RL型蕴涵的三I算法为P-还原算法，当P表示条件{A(x)|x∈X}真包含{B(y)|y∈Y}时，基于RL型蕴涵的三IMT算法为P-还原算法．     

蕴涵格、弱Ro代数与正则剩余格

讨论了蕴涵格、弱Ro代数以及正则剩余格之间的相互关系,证明了以下结论:(1) 弱Ro代数既是蕴涵格又是正则剩余格;(2) 蕴涵格L是正则剩余格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→(y→z)=y→(x→z);(3) 正则剩余格L是蕴涵格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→y∨z=(x→y)∨(x→z).     

RL型蕴涵与Fuzzy推理的三Ⅰ算法

引入了RL型蕴涵与正则RL型蕴涵的概念,系统地讨论了基于RL型蕴涵的三Ⅰ算法、三I MT算法及其还原性,得到了这些算法的一般表达式,指出基于正则RL型蕴涵的三Ⅰ算法与三ⅠMT算法的表达式具有对偶形式;证明了当P表示条件{B(y)| y∈Y}(∩){A(x)| x∈X}时,基于RL型蕴涵的三I算法为P-还原算法,当P表示条件{A(x)| x∈X}(∩){B(y)| y∈Y}时,基于RL型蕴涵的三I MT算法为P-还原算法.     

Heyting代数与剩余格

证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。     

积拓扑与箱拓扑的比较

积拓扑与箱拓扑是在拓扑空间族的笛卡儿积上引进的2种不同的拓扑，它们都是有限积拓扑的推广，对这2种拓扑作以比较是有益的。系统地讨论了积拓扑与箱拓扑的概念、性质，并对它们之间的差异作了比较。     

单叶双曲面的直母线的性质

给出并证明了单叶双曲面的直母线的若干性质，讨论了单叶双曲面与其渐近锥面的直母线之间的关系。