1) fuzzifying super-filter
不分明化超滤子
1.
Meanwhile,we give the definitions of fuzzifying super-filter and super-net and prove the equal relations of limit piont sets and adhere point sets of super-filter with the semantics.
本文在[1]的不分明化拓扑新定义基础上,给出了不分明化滤子的定义,并且用逻辑的语义方法讨论了它的若干性质;之后讨论了子网和网的关系;最后给出了不分明化超滤子与超网的定义,同时用逻辑的语义方法证明了超滤子的极限点集与附贴集的等价关系。
2) fuzzifying filter
不分明化滤子
1.
In this paper,we give the definition of fuzzifying filter, and study its properities with the semantics and the relations between subnet and net.
本文在[1]的不分明化拓扑新定义基础上,给出了不分明化滤子的定义,并且用逻辑的语义方法讨论了它的若干性质;之后讨论了子网和网的关系;最后给出了不分明化超滤子与超网的定义,同时用逻辑的语义方法证明了超滤子的极限点集与附贴集的等价关系。
3) fuzzifying proximity filter
不分明化近性滤子
4) fuzzifying super-net
不分明化超网
5) fuzzifying subalgebra
不分明化子代数
6) fuzzifying rings
不分明化环
1.
Fuzzifying Rings Based on Continuous Valued Logic;
基于连续值逻辑上的不分明化环
2.
In this paper, we use the semantic method of continuous valued logic which has been proposed by professor Mingsheng Ying in early 1990 s to introduce the so called fuzzifying rings concept, and discuss some of its algebraic properties.
运用应明生教授于 90年代早期提出的连续值逻辑语义的方法引入了不分明化环的概念 ,并且讨论了它的若干性
补充资料：超滤子
超滤子
ultrafllter
超滤子〔吐r川.ter:”‘lp呻。二‘Tp」 在下述意义下的一个极大滤子(欣er):包含该滤子的所有滤子都与它相同.超滤子可以用满足如下三条的子集系定义:l)不包括空集;2)集系中两个子集之交仍属于它;3)任何子集，或者其自身，或者其补集属于该集系. 所有超滤子被分成两类:平凡超滤子(或固定超滤子，或主超滤子)及自由超滤子.超滤子称为平凡(trl访al)或主(pnnciPal)超滤子，如果它是包含给定点的所有子集组成的集系;这样的超滤子也称为固定于该点的超滤子.超滤子称为自由(斤ce)超滤子，如果它的所有元素之交为空集，换言之，它在任何点都不是固定的.自由超滤子的存在性，不利用选择公理(~m of choice)就无法证明. 对任何滤子都存在一个包含它的超滤子;进而，任何滤子恰为包含它的所有超滤子的交.【补注】在一般拓扑学和数理逻辑中，超滤子是重要的理论部分.对于拓扑学家，它们乃是自由紧空间的元素，即离散空间D的st。一亡eeh紧化(stone一趋e-eh compaet诉eation)刀D的元素.刀D是生成元的集合D上的白由紧Hausdorff空间，就象是生成元的集合上的一个自山群;它的特征是，从集合D到紧Hau-sdorff空问X的任何映射f，可唯一扩张成连续映射刀/:刀D卜X. 鉴于自由超滤子很难描述，考察将N的每个子集A对应于区伯l[o，z]中一个数x，=艺。。，2一的映射，若“是N中自由超滤子，则集合{x月:A任u}是不可测的. 对于逻辑学家，超滤子乃是在它上面构成超积(ult几preducts)的加标结构.在模型论中一些简单而重要的存在性结论，都是用颇为一致的方法证明的:为了建立语句S的无穷集上的模型，对S的任意大有限子集建立模型(这种可能性常常容易证明)，并取它们的任意超积.为了更好地控制构造，可以使用加限制的超滤子，例如，好超滤子(g以对ultlafi】ters)或一致超滤子(uniform ultrafilters)，见【All. 关于不用自由超滤子的集合论模型的讨论见【A8]， 集合上超滤子的同构型，有两个重要的偏序，它们始见于【All]二定义在任意集合D上的Rudin一Kei-sler序(Rudin一Keisler order)以及仅定义在可数集田上的RIJdin .Frolik序(Rudin .Frolik order).D上两个超滤子p，q，即刀D的两个点，如果存在映射f:D，DC=刀D，使得刀f(q)=p，就认为在R切din-Keisler序中有p簇q.若p簇q且q(p，就说p，q同型.关系p簇q导出型的一个偏序.可类似定义。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条