说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 超MP滤子
1)  ultra MP-filter
超MP滤子
1.
The relations between prime filter and maximum MP-filter are studied, an equivalent condition for a MP-filter to be ultra MP-filter is obtained, and a mistake result about ultra MP-filter is pointed out.
通过反例指出了关于超MP滤子的一个错误结论,给出超MP滤子的一个充分必要条件。
2)  MP filter
MP滤子
1.
The MP Filter Lattices of R_0 Algebras;
R_0代数上的MP滤子格
2.
In this paper,MP filters in some kinds of n-valued logic systems are obtained,which are n-valued Lukasiewicz logic system,n-valued Gdel logic sysetem G_n,n-valued product logic system P_n,n-valued standard sequence logic system S_n,and n-valued L~* logic system Wn.
给出了n值Lukasiewicz逻辑系统Ln,n值G del逻辑系统Gn,n值乘积逻辑系统Pn,n值标准序列逻辑系统Sn和n值L*逻辑系统Wn中的MP滤子的分布情况,并讨论了这些MP滤子与格滤子的关系。
3.
The properties of MTL algebra are discussed,and the concept MP filters,prime MP filters,and Boolean filters are introduced into the MTL algebra.
讨论了MTL代数的性质,并在其上引入了MP滤子、素MP滤子、布尔滤子的概念;刻画了包含F及a的最小MP滤子的结构;讨论了极大MP滤子与素MP滤子的关系;证明了当F是布尔滤子时,M/~F成为布尔代数。
3)  prime MP filter
素MP滤子
1.
The properties of MTL algebra are discussed,and the concept MP filters,prime MP filters,and Boolean filters are introduced into the MTL algebra.
讨论了MTL代数的性质,并在其上引入了MP滤子、素MP滤子、布尔滤子的概念;刻画了包含F及a的最小MP滤子的结构;讨论了极大MP滤子与素MP滤子的关系;证明了当F是布尔滤子时,M/~F成为布尔代数。
4)  proper MP filter
真MP滤子
5)  MP-filter
MP-滤子
1.
Firstly the concepts of MP-filters and prime filter in NML algebras are introduced,and then topological structure of the set of all prime filters of NML algebras are discussed.
首先在NML代数上引入MP-滤子与素滤子的概念,进而讨论了滤子和素滤子的基本性质,最后在全体素滤子之集上建立了拓扑结构。
2.
The concepts of MP-filters (MP-ideal) and Boolean MP-filters (ideals) in NML algebras are introduced in this paper,and by using MP-filters,the structure of NML algebras are establi.
讨论了NML代数的性质,并且在NML代数上引入MP-滤子与MP-理想以及布尔MP-滤子的概念,并利用布尔MP-滤子建立了NML代数的结构:若F是布尔滤子,则M/~_F是布尔代数,即NML代数的商代数是布尔代数。
6)  MP-filter
MP滤子
1.
Characterizations of MP-filters of (regular) FI-algebra;
FI代数中MP滤子的等价刻画
2.
MP-filters of Fuzzy Implication Algebras
Fuzzy蕴涵代数的MP滤子
3.
An example was given,it show that all the Boolean element of R-algebra generally can t form MP-filter.
并给出一个反例说明:R0代数的所有布尔元一般不能构成MP滤子。
补充资料:超滤子


超滤子
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导出型的一个偏序.可类似定义。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条