德摩根代数上的理想.pdfVIP

模糊集理论与应用 ～_ 德摩根代数上的理想 r 、一碧≯飞噶 。茹蠖 j p 陈学友 山东I程学院数理系 淄博255012 擅要本文在德摩根代数上提出了理想的定义，讨论了极大理想、素理想等，研究了理想 的收敛性，以及理想与完全分配律、滤子、拟原子网的关系。 关键词f理想德摩根代数，滤子拟原子网，素理i， 7一 澉≮ 一 引 言 在研究布尔格时，经常用到理想，其定义如：J￡L，，≠圣，如果J满足：①l每 I(2)a，b∈J口V 随着对模糊拓扑的深入研究，许多学者在具有逆序对合对应的完全分配的完备格上构 a 造拓扑结构，以期达到统一研究模糊拓扑和经典拓扑的目的。在研究中，由于aV 7=1在 模糊集上不成立，所以提出理想的如下定义： 定义1 假定(L．≤)是具有逆序对合对应的完备格，非空集f[L称为理想，如果j 满足：(1)n∈j辛n7占j(2)a，b∈I寺nVb∈I(3)n∈I，b≤n净b∈』。 引理l 1矗I 证明 反证法，如果l∈I，那么Vn∈L，n≠0，“≤1，n7≤l都成立，由定义1(3) 知，有a∈I，t2EI．这与定义1(1)矛盾。 c 定义2 J L称为某一理想的基，如果①口∈J≥口7在J(2)V口，b∈，，存在c∈ J，使口Vb≤f成立。 由引理l可知，当L为布尔格时，定义2与经典定义相一致。 一、理想与完全分配律 假设(L，≤)是具有逆序对合对应的完备格，首先引入定义3(见[1]) 定义3 6--#甘VAcL，VA=n。那么存在C∈A，满足b≤f。 V 命鹿1 a∈L，n：≠0，令Mo=}bb—n，b7≤a}，则Mn是(L。≤)上的一个理 想。 证明 由定义1可知。 命题2 Mo就是n的最大的极小族．在文[5]中记为p(n)。 证明 由Mo的定义及e5]中定义1可知 从而可以得到命题3： 第三部分模糊代数 命题3具有逆序对合对应的完备格(L，≤)是完备分配的铮V“∈L，IVl,必存在。 一个理想M三J，都有M=J，则称j为极大理想。 如果对任意一个理想M∈I，都有M=j，则称J为极小理想。 命题4 J为极大理想甘V日EL，aEf或nEf恰有一个成立。 证明 {对a∈L，若nE c≤“7fVJ，不难 J，则命题成立；若a在j，令J。={c EJ。 验证Jo也是(L，≤)上的一个理想，且，∈Jo，由J的极大性知，应有，=Jo，从而a e显然。 容易推知，当J为极大理想时，任取。∈L，都有。^nEj成立。 命题5 f是极大理想铮对b∈L，如果任取dEj，b7毯n，则有bEJ成立。 n nE 证明 事实上，对b∈L，VEf，b7惑n等价于67告J。若存在b∈L，VI，b 《n，但是6Ef，则对