正线性泛函的自动连续性

本文给出了Frechet-代数上正线性泛函自动连续的充分条件,并且得到了P-可换Banach-代数上正线性泛函连续的一些结果。     

幂级数Banach代数与自动连续性

本文引入了 Banach 代数上的幂级数 Banach 代数,研究了它本身的性质并给出了有关同态的自动连续性及其一般形式,得到 Banach 代数范畴上两个正合协变函子;从而获得构造交换根 Banach 代数的一种方法.     

Banach代数上同态的自动连续性

本文引入了具有性质OUDP的Banach代数A,证明了从A到任一Banach代数的任一同态自动连续.对有单位的Banach代数A,证明了从A到任一Banach代数的满同态自动连续当且仅当从矩阵代数M_n(A)到任一Banach代数的满同态自动连续.同时还证明:若从A(M_n(A))的任一闭双理想出发的同态自动连续,则从M_n(A)(A)的任一闭双理想出发的满同态的分离空间由拟幂零元组成.     

实Banach*-代数泛函的刻划

作者曾给出了实实Banach-代数的一般理论，对于任意的实实Banach-代数描绘甚少。这里刻划了任意实实Banach-代数的一类泛函，这类泛函对刻划一般实实Banach-代数将起到重要作用。     

算子代数上Hermitian双线性泛函表示

在紧支集无穷次可微函数空间,或急速下降无穷次可微函数空间上,给出取值算子代数中的Ｈｅｒｍｉｔｉａｎ双线性泛函的表示,为算子代数上的广义函数提供有用的工具。     

线性随机泛函的连续性与有界性

研究了随机赋范空间上线性随机泛函的连续性与有界性的关系，举例说明连续性线随机泛函无界性并给出了有界的充分条件。     

幂数级代数与导子的自动连续性

本文研究以Banach代数A上的幂级数拓扑代数A[[X]]及A上的幂级数Banach代数ф_A为定义域的导子的自动连续性,同时也给出了有关导子的一般形式.     

Hilbert C^＊—模中导子的自动连续性

本文首次引入Ｈｉｌｂｅｒｔ Ｃ＾＊－模中导子的概念，证明了Ｈｉｌｂｅｒｔ Ｃ＾＊－模的每个导子均是自动连续的。     

同态与导子的自动连续性

本文讨论了半素Banach代数上同态与导子的自动连续性问题及其充分条件和必要条件。     

Riemann积分与Lebesgue积分的本质区别

指出Riemann积分与Lebesgue积分的本质区别在于：区间[a,b]上所有Riemann可积函数所生成的空间是不完备的，而所有Lebesgue可积函数所生成的空间是完备的。     

主题连续方式作为交谈语体次分类的功能标准

首先列举了汉语中的几种主要的主题连续方式,并根据主题连续方式的不同分布,将交谈语体基本上分为两类下位语体:闲谈体和谈判体,并对闲谈体和谈判体之间的交叉和渗透现象做了进一步的探讨。最后在现代语言学的背景下,简单地讨论了本文的研究对于现代汉语语体研究的价值。     

复Banach代数上内导子的一些性质

对于区域Ω上的解析函数f及含单位元的复Banach代数A中的元素a(σ(a) Ω),利用极限引入A上的有界线性算子Df(a),给出了算子Df(a)的积分表示及范数与谱半径的估计;研究了算子Df(a)与内导子δa的关系,证明了δf(a)=Df(a)δa=δaDf(a);讨论了映射αa:f｜→Df(a)的性质,证明了映射αa是从交换Banach代数H(Ω)到算子代数B(A)中的有界线性映射.     

可导函数的一致连续性判别

函数的一致连续性是一个重要的数学概念,关于函数一致连续性的判别通常是利用定义、Cantor定理及函数在区间端点的极限是否存在等方法,适用范围窄.在常用的判别法基础上,通过对可导函数进行研究,给出了一系列判别可导函数一致连续性的判别定理,特别是建立了函数一致连续性的比较判别法,使很多比较复杂的函数通过与一致连续性已知的函数进行比较,就可以判别出是否一致连续,扩大了判别范围,填补了函数一致连续性理论上的空白.     

函数一致连续性的教学探究

函数的一致连续性是数学分析中最重要,且高度抽象的概念之一,在数学分析和相关专业课的后继学习与研究中起着十分重要的作用。为了帮助学生深刻理解一致连续性的概念,首先,从连续的概念出发,形象直观地阐述一致连续性的概念;其次,从非一致连续的角度出发,进一步认识一致连续性;最后,通过揭示导函数与一致连续性的关系,深刻理解一致连续性。     

空间网格结构的自动成形

依据形式代数（ｆｏｒｍｅｘａｌｇｅｂｒａ）理论，用ＦＯＲＴＲＡＮ语言编制了实用程序，使外形比较复杂的球面网壳、椭球形网壳、双曲抛物面形及筒壳等形式的网格结构能够利用计算机自动成形，避免了以往冗长、单调且易于出错的结构成形工作，与计算机辅助图形相结合，既直观又便于修改和检查．通过工程实例来说明形式代数在空间网格结构自动成形中的优越性和很强的实用性．     

复合泛函方程的稳定性

研究了复合泛函方程T(T(x)-T(y))=T(x+y)+T(x-y)-T(x)-T(y)在泛函Φ(x,y)限制下的稳定性问题.证明了:若E为Banach空间,泛函Φ:E×E→[0,∞)连续使得级数Φ(x)d=sum (2-j-1Φ(2jx,2jx)) from j=1 to ∞在E的任一有界子集上一致收敛,F:E→E是连续映射且满足‖F(F(x)-F(y))-F(x+y)-F(x-y)+F(x)+F(y)‖≤Φ(x,y)(■x、y∈E),则存在唯一的连续2-齐次映射T:E→E满足以上复合泛函方程且‖T(x)-F(x)‖≤Φ(x),■x∈E.     

一个新的模糊谓词演算形式系统

首先，在模糊逻辑命题演算形式系统Ω^*的基础上，讨论了相应的谓词演算理论，建立了一阶形式系统K^*，基于R0代数的基本理论，给出了系统K^*的若干语义概念，包括M－解释I，I－赋值，公式的值，真，M－逻辑有效性等，从而形成了模糊谓词演算一种新的语构与语义体系。其次，研究了系统K^*的基本性质，指出了系统Ω^*的定理都是系统K^*的定理，给出了系统K^*与量词有关的一些重要定理，证明了系统Ω^*的重言式在系统K^*中的代换实例都是系统K^*中的定理关于任何R0链也是逻辑有效的；系统K^*的强可靠性定理也成立，即系统K^*在任何理论T下的定理关于任何R0链也是逻辑有效的。最后给出并证明了系统K^*的一种新的演绎定理，一阶系统K^*及其重要的性质，为模糊推理提供了一种更为合理的逻辑框架。