Banach空间二阶非线性微分方程的弱Carathéodory解

本文定义了二阶微分方程的弱 Carathéodory解 ,在不涉及紧型条件的情形下 ,直接用迭代法证明了 Banach空间二阶非线性常微分方程两点边值问题存在唯一解 ,并给出逼近解迭代序列的误差估计 ,对周期边值问题得到类似的结果     

Banach空间中优化问题的最优性条件

首先在Contingent切锥意义下界定了Banach空间中非空集合的伪切锥和伪凸性的概念，并讨论了相应的性质，然后针对可微优化问题，在广义凸性假设下，建立了最优性条件。     

蕴涵代数与BCK代数

系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数     

自入射代数的不可分解模由其合成因子决定的充分必要条件

本文利用有限表示型自入射代数的分类理论和覆盖方法,得到了自入射代数的不可分解模由合成因子决定的充分必要条件.     

一道解析几何题的多种解法

解析几何是用代数方法研究几何问题的数学分支，其中的题目可涉及到函数，三角，不等式等各种数学知识，这就决定了一个解析几何问题可能有多种不同的解法。解析几何的一题多解可以提高思维的灵活性，拓展人的思路，进而可以提高解决数学综合问题的能力。下面就以一道解析几何题给出几种不同的解法。     

Application of Hilbert＇s Projective Metric on Symmetric Cones

Let Ω be a symmetric cone. In this note, we introduce Hilbert＇s projective metric on Ω in terms of Jordan algebras and we apply it to prove that, given a linear invertible transformation g such that g（Ω） = Ω and a real number p, ｜p｜ 〉 1, there exists a unique element x ∈ Ω satisfying g（x） = x^p.     

无穷矩阵拓扑代数的理想(Ⅰ)(英文)

本文给出了所有弱紧算子 ,强紧算子 ,Mackey紧算子 ,构成无穷矩阵拓扑下相同紧集的特征的刻画 .     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

一类无穷下三角矩阵的代数性质

修正了 [4,5]中的 Jabotinsky矩阵,得到并证明了一类无穷下三角矩阵T（f）的一些性质,最后,导出了一些与导数相关的反演关系和组合恒等式.