半拓扑线性空间的子空间、乘积空间和商空间

在半拓扑线性空间的基础上,定义了半拓扑线性子空间、商半拓扑线性空间,讨论了它们的一些性质,给出在一定条件下乘积空间成为半拓扑线性空间的条件.     

有穷自动机状态极小化方法及正则语言判定优化

引入了等价性原则,定义等价关系的商集合∑*/～B,通过对商集合的有限性判断,来判定正则语言,大大简化了正则语言判定的步骤,并在有穷自动机的状态集上引入了等价关系,对等价状态进行压缩,构造出与其等价的最小有穷自动机,同时降低了有穷自动机状态的复杂性.     

商近似空间中粗糙集的研究

本文从新的角度研究粗糙集,即基于覆盖近似空间上的一种等价关系,定义了覆盖近似空间上的商近似空间和此商近似空间上的2对上下近似算子,并详细研究了这2对近似算子的性质.     

商空间映射的连续性及同胚性

商空间是构建新拓扑空间的重要方法。通过研究商空间之间映射的连续性和同胚性对于研究它们的性质有很重要的作用,所得结论可以得到更好应用。     

紧商映射与紧商拓扑

引进了紧商映射与紧商拓扑的概念，系统地讨论了它们的性质，得到若干有趣的结果。     

商空间映射的连续性及同胚性

商空间是构建新拓扑空间的重要方法.通过研究商空间之间映射的连续性和同胚性对于研究它们的性质有很重要的作用,所得结论可以得到更好应用.     

模糊商空间理论两个定理的补充

张铃等在"模糊粒度计算方法"中,核心定理证明中构造的等价关系是循环定义的,且没有证明它的截关系与商空间所对应的等价关系是相等的;模糊等价关系的粗细定义与模糊集理论的意义不一致,容易引起歧义.本文用通用的模糊数学符号和序代数理论的方法和观点对其进行修正和补充,给出两个定理的完整证明,使得相关结果的表达更简洁和规范,完善了模糊商空间理论.     

(QU)型模糊拓扑群直积的子群和商群

研究了(QU)型模糊拓扑群直积的子群及(QU)型模糊拓扑群直积的商群,证明了任意(QU)型模糊拓扑群族直积与其模糊拓扑商群的同构定理及任意(QU)型模糊拓扑群族直积与其模糊拓扑子群的同构定理.     

关于L-fuzzy拓扑向量空间的分离性(英文)

借助于正则ｆｕｚｚｙ 格的概念,研究了 Ｌ－ ｆｕｚｚｙ 拓扑向量空间的分离性,并讨论了 Ｌ－ ｆｕｚｚｙ 拓扑向量空间的商空间的分离性     

On the Separation Property of L-fuzzy Topological Vector Spaces

借助于正则fuzzy格的概念，研究了L-fuzzy拓扑向量空间的分离性，并讨论了L-fuzzy拓扑向量空间的商空间的分离性.     

Quotient space model based on algebraic structure

In the quotient space theory of granular computing,the universe structure is assumed to be a topology,therefore,its application is still limited.In this study,based on the quotient space model,the universe structure is assumed as an algebra instead of a topology.As to obtain the algebraic quotient operator,the granulation must be uniquely determined by a congruence relation,and all the congruence relations form a complete semi-order lattice,which is the theoretical basis of granularities ' completeness.When the given equivalence relation is not a congruence relation,it defines the concepts of upper quotient and lower quotient,and discusses some of their properties which demonstrate that falsity preserving principle and truth preserving principle are still valid.Finally,it presents the algorithms and example of upper quotient and lower quotient.The work extends the quotient space theory from structure,and provides theoretical basis for the combination of the quotient space theory and the algebra theory.     

商映射与商空间

系统地讨论了商映射的性质和映射成为商映射的条件,得到了若干定理和推论.     

一类由模糊理想诱导出的软商环

根据环的模糊理想定义一种等价关系把环的元素进行分类,再给出等价类的两种运算,验证等价类构成的集合对给出的两种运算构成一个环,称为商环.进一步由模糊理想诱导出一类理想化软环的软商环,并讨论这类软商环的基本性质.     

关于商映射的一个定理的推广

利用指数对应定理,将关于商映射的一个定理推广到上诱导拓扑的情形,并给出其在代数拓扑学中的若干应用.     

商集与商集的基本运算

R是A上等价关系，R的所有等价类构成了等价关系R的商集A／R，商集A／R是集合A的划分。商集是关系代数中的一个重要概念，在计算机科学和技术、信息科学和信息工程中都有广泛的应用。但是人们对商集的运算规律和运算结果的研究甚少。本文定义了等价关系的商集的两个基本运算，即商集的加法与乘法。根据商集的结构和性质，给出了商集乘法运算结果的两种表达方式。一种是用等价类通过某种运算构成的集合表示，另一种是用某些等价关系的商集表示。商集的加法运算是一个较复杂问题，加法的运算结果也较难表示。为了准确简洁地表示加法的运算结果，文中引进了不相交并集族的概念，同时也给出了加法运算结果的两种表达方式，一种是用不相交并集族表示，另一种是用某些等价关系的商集表示。     

广义半单环

定义并刻划了广义半单环，证明了当Ｇａｂｒｉｅｌ拓扑Ｇ完备时，商环ＲＧ半单等价于环Ｒ是广义半单环     

德摩根商拓扑代数的拓扑性质

探讨了德摩根商拓扑代数的连通性，可分性等一些拓扑性质，并建立了德摩根商拓扑代数为Ｔ１的一个充分必要条件。     

R0代数上的一致拓扑空间

 利用MP滤子F在R0代数M上诱导一致拓扑JF,得出了(M,JF)是不连通的、零维的、局部紧的、完全正则的第一可数空间, (M,JF)是T0空间当且仅当F=｛1｝。 证明了R0代数M中的运算′, ∨与→在(M,JF)中均连续。 最后, 讨论了商代数中一致拓扑的性质。     

The rough representation and measurement of quotient structure in algebraic quotient space model

Granular computing is a very hot research field in recent years.In our previous work an alge-braic quotient space model was proposed, where the quotient structure could not be deduced if the granulation was based on an equivalence relation.In this paper, definitions were given and formulas of the lower quotient congruence and upper quotient congruence were calculated to roughly represent the quotient structure.Then the accuracy and roughness were defined to measure the quotient struc-ture in quantification.Finally, a numerical example was given to demonstrate that the rough repre-sentation and measuring methods are efficient and applicable.The work has greatly enriched the al-gebraic quotient space model and granular computing theory.