Message Board

Dear readers, authors and reviewers,you can add a message on this page. We will reply to you as soon as possible!

2020 Volume 42 Issue 6
Article Contents

Yu HUANG, Zu-hua LIAO. A New Type of Anti-soft Weak-BCI-Algebras[J]. Journal of Southwest University Natural Science Edition, 2020, 42(6): 38-45. doi: 10.13718/j.cnki.xdzk.2020.06.005
Citation: Yu HUANG, Zu-hua LIAO. A New Type of Anti-soft Weak-BCI-Algebras[J]. Journal of Southwest University Natural Science Edition, 2020, 42(6): 38-45. doi: 10.13718/j.cnki.xdzk.2020.06.005

A New Type of Anti-soft Weak-BCI-Algebras

More Information
  • Corresponding author: Zu-hua LIAO
  • Received Date: 19/05/2019
    Available Online: 20/06/2020
  • MSC: O159

  • In this paper, the notions of "a new-type of anti-soft weak-BCI-algebra", "dual projection of soft sets", "soft compression of soft sets" and "dual compositional operation of soft sets" are introduced. By using OR operation, restricted union, dual projection, soft translation and soft compression on soft sets, some properties of the anti-soft weak-BCI-algebra are obtained. The equivalent characterizations of the new type of anti-soft weak-BCI-algebras are given by applying dual compositional operation, anti-dual soft sets and anti-level sets on soft sets. Finally, the properties of the anti-image and inverse image of the new-type anti-soft weak-BCI-algebra under homomorphic mappings are discussed based on the anti-extension principle of soft sets.
  • 加载中
  • [1] 刘用麟. BCK/BCI代数若干理论综述(Ⅰ)[J].武夷学院学报, 2008, 27(2):4-9.

    Google Scholar

    [2] WANG F X. T-Fuzzy-Ideals of BCH-Algebras[J].西南大学学报(自然科学版), 2011, 33(12):103-108.

    Google Scholar

    [3] 陈露, 蒲义书.亚BCI-代数及其理想[J].纯粹数学与应用数学, 2005, 21(3):250-254. doi: 10.3969/j.issn.1008-5513.2005.03.012

    CrossRef Google Scholar

    [4] NEGGERS J, AHN S S, KIM H S. On Q-Algebras[J]. International Journal of Mathematics and Mathematical Sciences, 2001, 27(12):749-757. doi: 10.1155/S0161171201006627

    CrossRef Google Scholar

    [5] 彭家寅.亚BCI-代数的模糊理想[J].模糊系统与数学, 2010, 24(5):37-41.

    Google Scholar

    [6] PENG J Y. Interval Valued (α, β]-Fuzzy Subalgebras of Q-Algebras[J].内江师范学院学报, 2011, 26(6):1-5. doi: 10.1007/s13370-011-0011-4

    CrossRef Google Scholar

    [7] PENG J Y. Fuzzy Subalgebras with Thresholds in Q-Algebras[J].内江师范学院学报, 2011, 26(8):1-5.

    Google Scholar

    [8] MOLODTSOW D. Soft Set Theory-First Results[J]. Computers and Mathematics with Applications, 1999, 37(4-5):19-31. doi: 10.1016/S0898-1221(99)00056-5

    CrossRef Google Scholar

    [9] AKTAS H, CAGMAN N. Soft Sets and Soft Groups[J]. Information Science, 2007, 177:2726-2735. doi: 10.1016/j.ins.2006.12.008

    CrossRef Google Scholar

    [10] 陈露.半群的Ⅰ-Ⅴ Fuzzy子半群[J].西南大学学报(自然科学版), 2010, 32(4):93-96.

    Google Scholar

    [11] 鲍俊颖.关于模糊软环的一点探讨[J].西南师范大学学报(自然科学版), 2016, 41(10):7-12.

    Google Scholar

    [12] JUN Y B. Soft BCK/BCI-Algebras[J]. Computers and Mathematics with Applications, 2008, 56(5):1408-1413. doi: 10.1016/j.camwa.2008.02.035

    CrossRef Google Scholar

    [13] JUN Y B, PARK C H. Applications of Soft Sets in Ideal Theory of BCK/BCI-Algebras[J]. Information Sciences, 2008, 178:2466-2475.

    Google Scholar

    [14] 伏文清, 李生刚.软BCK-代数[J].计算机工程与应用, 2010, 46(10):5-6, 10. doi: 10.3778/j.issn.1002-8331.2010.10.002

    CrossRef Google Scholar

    [15] 邵迎超, 朱振国, 秦克云.软集与软格[J].计算机工程与应用, 2013, 49(3):10-14. doi: 10.3778/j.issn.1002-8331.1206-0436

    CrossRef Google Scholar

    [16] 温永川.关于软集的研究[D].大连: 辽宁师范大学, 2008.

    Google Scholar

    [17] 张龙祥, 廖祖华, 王琪, 等.新型软域[J].智能系统学报, 2015, 10(6):858-864.

    Google Scholar

    [18] 廖翠萃, 廖祖华, 张龙祥, 等.新型软亚BCI-代数[J].计算机科学, 2016, 43(1):22-24, 60.

    Google Scholar

    [19] 李巧燕, 廖祖华, 刘维龙. (α, β)-软BCK代数[J].计算机科学与探索, 2016, 10(10):1493-1500.

    Google Scholar

    [20] BISWAS R. Fuzzy Subgroups and Anti Fuzzy Subgroups[J]. Fuzzy Sets and Systems, 1990, 35(1):121-124.

    Google Scholar

    [21] 吴修竹, 廖祖华, 刘维龙, 等.反软子半群[J].模糊系统与数学, 2015, 29(5):44-50.

    Google Scholar

    [22] 童娟, 廖祖华, 路腾, 等.反软子坡[J].吉林大学学报(理学版), 2016, 54(2):215-221.

    Google Scholar

    [23] 童娟, 廖祖华, 赵衍才, 等.格的反软理想[J].浙江大学学报(理学版), 2017, 44(1):33-39.

    Google Scholar

    [24] HUANG Y, LIAO Z H. (α, β)-Soft Ideals of Weak-BCI-Algebras[J]. Journal of Mathematical Research with Applications, 2018, 38(6):577-585.

    Google Scholar

    [25] 黄昱, 廖祖华, 李论.亚BCI-代数的新型软正关联理想[J].计算机工程与应用, 2018, 54(21):31-36. doi: 10.3778/j.issn.1002-8331.1804-0312

    CrossRef Google Scholar

    [26] 黄昱, 廖祖华, 李论.新型软亚BCI-代数的进一步研究[J].计算机工程与应用, 2018, 54(23):31-35, 67. doi: 10.3778/j.issn.1002-8331.1807-0268

    CrossRef Google Scholar

    [27] 黄昱, 廖祖华.亚BCI-代数的新型软理想[J].模糊系统与数学, 2018, 32(5):55-62.

    Google Scholar

    [28] 王国俊, 刘华文, 宋建社.三Ⅰ方法综述——它的提出、发展、应用和逻辑版本[J].模糊系统与数学, 2006, 20(6):1-14. doi: 10.3969/j.issn.1001-7402.2006.06.001

    CrossRef Google Scholar

    [29] TORRA V. Hesitant Fuzzy Sets[J]. International Journal of Intelligent Systems, 2010, 25(6):529-539.

    Google Scholar

    [30] MAJI P K, BISWAS R, ROY A R. Soft Set Theory[J]. Computers Mathematics with Applications, 2003, 45(4):555-562. doi: 10.1016/s0898-1221(03)00016-6

    CrossRef Google Scholar

    [31] ALI M I, FENG F, LIU X Y, et al. On Some New Operations in Soft Set Theory[J]. Computers and Mathematics with Applications, 2009, 57(9):1547-1553. doi: 10.1016/j.camwa.2008.11.009

    CrossRef Google Scholar

  • 加载中
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Article Metrics

Article views(4915) PDF downloads(839) Cited by(0)

Access History

Other Articles By Authors

A New Type of Anti-soft Weak-BCI-Algebras

    Corresponding author: Zu-hua LIAO

Abstract: In this paper, the notions of "a new-type of anti-soft weak-BCI-algebra", "dual projection of soft sets", "soft compression of soft sets" and "dual compositional operation of soft sets" are introduced. By using OR operation, restricted union, dual projection, soft translation and soft compression on soft sets, some properties of the anti-soft weak-BCI-algebra are obtained. The equivalent characterizations of the new type of anti-soft weak-BCI-algebras are given by applying dual compositional operation, anti-dual soft sets and anti-level sets on soft sets. Finally, the properties of the anti-image and inverse image of the new-type anti-soft weak-BCI-algebra under homomorphic mappings are discussed based on the anti-extension principle of soft sets.

  • BCK/BCI-代数是两类重要的逻辑代数,分别对应于组合逻辑中的BCK-系统和BCI-系统. BCI-代数是BCK-代数的推广. BCK/BCI-代数与量子逻辑及许多著名逻辑代数都有关联[1]. BCH-代数是BCI-代数的推广[2].文献[3]提出了亚BCI-代数及其理想的概念,国外也有相同的研究工作,称之为Q-代数[4],亚BCI-代数是BCH-代数的推广.随后,文献[5-7]分别引入了亚BCI-代数的模糊理想、Q-代数的区间值(αβ]-模糊子代数以及Q-代数中具有界限的模糊子代数的概念并研究了它们的相关性质.

    软集的概念是由文献[8]提出的,它弥补了模糊集、粗糙集等理论在处理不确定性问题时所面临的参数工具上的不足.软集理论已被应用于数据分析、近似推理、不确定性决策等诸多领域.将软集与代数系统相融合是研究的热点之一.文献[9]将软集与群论相结合,提出了软群的概念,由此开创了软集代数的研究领域.文献[10]所引进的I-V Fuzzy子半群实质上是一种特殊的软代数结构.文献[11]提出了模糊软环的概念,并研究了生成模糊软环的充要条件.文献[12-13]提出了软BCK/BCI-代数和BCK/BCI-代数的软理想概念.文献[14]进一步把软集思想应用于BCK-代数,研究了软BCK-代数的运算性质.文献[15]将软集理论与格论相结合,提出了软格和软子格的概念,并讨论了它们的基本性质.

    文献[16]将参数集赋予群的代数结构,提出了新型软群的概念.这种将参数集赋予代数结构的方法引入的软集代数可以得到更深刻的结果.文献[17-19]利用这一思想,研究了一系列新的软集代数,并通过类比反模糊代数结构[20]的思想,给出了一些反软代数的代数结构[21-23].

    本文相对于新型软亚BCI-代数的研究[24-27],提出了新型反软亚BCI-代数的新概念.因BCI-代数在推理中有重要应用,所得结果均为一个值,但软集是子集,推理取值一个范围更符合实际情况.另外,类似于模糊推理中的三Ⅰ算法的反三Ⅰ算法也在模糊推理中有用[28],于是新型反软亚BCI-代数在近似推理中也有潜在的应用价值.

1.   预备知识
  • 定义 1[3]  一个(2,0)-型代数(X,*,0)如果满足条件:∀xyzX,有

    (a) x*0=x

    (b) x*x=0;

    (c) (x*y)*z=(x*z)*y.

    则称X为一个亚BCI-代数.

    定义 2[3]  设S是亚BCI-代数X的非空子集,如果对∀xyS,有x*yS,则称SX的子代数.

    注 1  任意子代数S都包含0,因为∀xS,有0=x*xS.

    定理 1[18]  设{Ai}iI是X的一族亚BCI-子代数,I为一非空集合,则∩iIAi也是X的亚BCI-子代数.

    定义 3[8]  设U是一个初始集合,E是参数集,AEP(U)是U的幂集,设FAP(U)为一个映射,则称(FA)是U上的软集,也称FA的软集.

    定义 4[29]  设X是一个参数集,X上的犹豫模糊集定义为从X到[0, 1]幂集的一个函数,数学表示如下:

    其中hXXP([0, 1]).

    定义 5  设AB是两个非空集合,称A×B={(xy)|xAyB}为AB的笛卡尔积.

    定义 6[30]  设(H1X1),(H2X2)为U上的软集,若H(xy)=H1(x)∪H2(y),∀(xy)∈X1×X2,则称(HX1×X2)是(H1X1)与(H2X2)的或运算,记作(H1X1)∨(H2X2).

    定理 2[18]  设X1X2是两个亚BCI-代数,那么在X1×X2上规定运算*:

    则(X1×X2,*,(0,0))也是亚BCI-代数.

    定义 7[31]  设(H1X1),(H2X2)为U上的软集,若软集(HX1X2)满足:

    (a) X1X2Ø

    (b) ∀xX1X2,有H(x)=H1(x)∪H2(x).

    则称(HX1X2)是软集(H1X1)和(H2X2)的限制并,记作(HX1X2)=(H1X1)∪R(H2X2).

    定义 8[21]  设HXP(U),x   H(x)为一个软集,则称AHUP(X),u   AH(u)={x|uH(x)}为软集H的反对偶.

    AUP(X)为一个软集,则称HAXP(U),x    HA(x)={u|xA(u)}为软集A的反对偶.

    定义 9[26] 9 9设X是任一参数集,HXP(U)是一个软集,λP(U),对于∀xXHλt(x)=H(x)∪λ称为H相对于λ的一个软平移.

    定义 10[26]  设(FA)是A上的软集,(GB)是B上的软集,若满足:

    (a) AB

    (b) ∀xA,有F(x)⊆G(x).

    则称(FA)是(GB)的弱软子集,记作(FA)$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{\subseteq }$(GB).

    注 2  显然,若(FA)$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{\subseteq }$(GB)且(GB)$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{\subseteq }$(FA),则(FA)=(GB).

    定义 11  设XY是两个亚BCI-代数,映射fXY,若∀xyX,有f(x*y)=f(x)*f(y),则称fXY的同态.

    f分别是满射、单射、双射时,称f分别是满同态、单同态、同构.

    定义 12[21]  设fX1X2是一个映射,H1X1P(U),H2X2P(U)均为软集,∀x1X1x2X2,定义

    $\widetilde{f}$(H1),f-1(H2)分别是X2X1上的软集,称$\widetilde{f}$(H1)为H1的反像,f-1(H2)为H2的原像.

    定义 13[18]  设X1X2为两个集合,fX1X2X1X2的映射,H1X1上的软集,∀xyX1,当f(x)=f(y)时,有H1(x)=H1(y),则称H1是关于f不变的.

    定义 14[18]  设(FX)是亚BCI-代数X的一个软集合,若∀xXF(x)≠ØX的一个子代数,则称(FX)为通常的亚BCI-代数X上的软亚BCI-代数.

    定义 15[18]  设X是亚BCI-代数,HXP(U)是一个软集,若∀xyX,满足H(x*y)H(x)∩H(y),则称HX的一个新型软亚BCI-代数,记为(HX).

2.   新型反软亚BCI-代数
  • 将参数集赋予亚BCI-代数,得到新型反软亚BCI-代数的概念,并研究它们在软集运算下的相关性质.

    定义 16  设X是亚BCI-代数,HXP(U)是一个软集,若∀xyX,满足H(x*y)H(x)∪H(y),则称HX的一个新型反软亚BCI-代数,记为(HX)A.在不引起混淆的情况下,简称为反软亚BCI-代数,简记为(HX).

    U=[0, 1]时,相应地就得到反犹豫模糊亚BCI-代数的定义.

    定义 17  设X是亚BCI-代数,HXP([0, 1])是一个犹豫模糊集,若∀xyX,满足

    则称HX的反犹豫模糊亚BCI-代数.

    因此我们获得的反软亚BCI-代数的性质对反犹豫模糊亚BCI-代数也成立(反犹豫模糊代数到目前为止还未见研究).

    下面的例子说明新型反软亚BCI-代数的存在性.

    例 1  设有初始集合U=X={0,1,2,3},在X上*运算的定义为

    由文献[26]知(X,*,0)是亚BCI-代数.又令HXP(U),H(0)=ØH(1)={1,3},H(2)={0},H(3)={0,1,2},由定义得HX的反软亚BCI-代数.因为H(1)={1,3}不是X的子代数,所以H不是通常的软亚BCI-代数.又因为H(2*3)=H(0)=Ø不包含H(2)∩H(3)={0},所以H也不是新型软亚BCI-代数.因此反软亚BCI-代数是一个新的代数结构.

    由定义16易知,如果H是一个反软亚BCI-代数,则∀xX,有H(0)⊆H(x).

    定理3  设X1X2是亚BCI-代数X的两个子代数,H1H2分别是X1X2的反软亚BCI-代数,若(HX1X2)=(H1X1)∪R(H2X2),则HX1X2的反软亚BCI-代数.

      因X1X2是亚BCI-代数X的两个子代数,由定理1知,X1X2也是X的子代数. ∀xyX1X2,有x*yX1,则

    所以,HX1X2的反软亚BCI-代数.

    定义 18  设(FX1),(GX2)是U上的软集,X=X1×X2,且(HX)=(FX1)∨(GX2),规定:HX1X1P(U),HX1(x)=$\mathop \cap \limits_{y \in {X_2}} $H(xy),∀xX1,则称HX1为(HX)在X1上的对偶投影.同理可定义(HX)在X2上的对偶投影HX2.

    定理4  设(FX1)和(GX2)分别是亚BCI-代数X1X2上的软集,X=X1×X2,且(HX)=(FX1)∨(GX2),

    (ⅰ)如果(FX1)和(GX2)分别是X1X2上的反软亚BCI-代数,则(HX)是X上的反软亚BCI-代数;

    (ⅱ)如果(HX)是X上的反软亚BCI-代数,则(HX1X1)和(HX2X2)分别是X1X2上的反软亚BCI-代数.

      (ⅰ) X1X2是两个亚BCI-代数,由定理2知,X1×X2也是亚BCI-代数.∀xyX1×X2x=(x1x2),y=(y1y2),其中xiyiXi(i=1,2),则

    则(HX)是X上的反软亚BCI-代数.

    (ⅱ)∀xyX1,有

    所以,(HX1X1)是X1上的反软亚BCI-代数.同理可证(HX2X2)是X2上的反软亚BCI-代数.

    定义 19  设X是任一参数集,HXP(U)是一个软集,λP(U),对于∀xXHλc(x)=H(x)∩λ称为H相对于λ的一个软压缩.

    定理5  设X为亚BCI-代数,HXP(U)为一个软集,λP(U),如果HX的反软亚BCI-代数,则:

    (ⅰ) H相对于λ的软压缩HλcX的反软亚BCI-代数;

    (ⅱ) H相对于λ的软平移HλtX的反软亚BCI-代数.

       (ⅰ) ∀xyX,有

    因此,HλcX的反软亚BCI-代数.

    (ⅱ) ∀xyX,有

    因此,HλtX的反软亚BCI-代数.

    定理6  设X为亚BCI-代数,HXP(U)为一个软集,ΣH=U-$\mathop \cup \limits_{x \in X} $H(x),如果存在λΣH,使得H相对于λ的软平移HλtX的反软亚BCI-代数,则HX的反软亚BCI-代数.

      若存在λΣH,使得H相对于λ的软平移HλtX的反软亚BCI-代数,则对∀xyX,有

    zH(x*y),有zH(x*y)∪λ⊆[H(x)∪H(y)]∪λ.因为zλ,所以zH(x*y),即H(x)∩H(y)⊆H(x*y).

    因此,HX的反软亚BCI-代数.

3.   新型反软亚BCI-代数的等价刻画
  • 本节利用对偶合成运算、反对偶软集及软集的反水平集给出了新型反软亚BCI-代数的等价刻画.

    定义 20  设X是亚BCI-代数,(FX)和(GX)分别为X的两个软集.定义(F$ \circ $GX)为

    则(F$ \circ $GX)是X的软集,并称F$ \circ $G为两个软集的对偶合成.

    因∀zXz*0=z,于是X中的元素均有分解式x*y=z成立,所以定义20是合理的.

    定理 7  设X为亚BCI-代数,HXP(U)为一个软集,则HX的反软亚BCI-代数的充要条件是(H2X)=(HX).

      必要性  ∀zX,有

    又由定理1知

    故(H2X)$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{\subseteq }$(HX),由注2知(H2X)=(HX).

    充分性  若(H2X)=(HX),则∀xyX,有

    所以HX的反软亚BCI-代数.

    定理 8  设X为亚BCI-代数,则下列结论成立:

    (ⅰ) HXP(U)为X的反软亚BCI-代数的充要条件是∀uUAH(u)≠ØX的一个亚BCI-子代数;

    (ⅱ) AUP(X)是一个软集,则∀uUA(u)≠ØX的一个亚BCI-子代数的充要条件是HAX的反软亚BCI-代数.

       (ⅰ)必要性   ∀uU,若AH(u)≠Ø,则∀xyAH(u),有uH(x)且uH(y),故uH(x)∪H(y).因HXP(U)为X的反软亚BCI-代数,所以H(x*y)⊆H(x)∪H(y),故uH(x*y),即x*yAH(u),因此AH(u)是X的一个亚BCI-子代数.

    充分性  ∀xyX,当H(x)∪H(y)=U时,有H(x*y)⊆H(x)∪H(y);当H(x)∪H(y)≠U时,对∀uH(x)∪H(y),有uH(x)且uH(y),进而xAH(u)且yAH(u).由AH(u)≠ØX的一个亚BCI-子代数,所以x*yAH(u),故uH(x*y),从而H(x*y)H(x)∪H(y),因此HX的反软亚BCI-代数.

    (ⅱ)必要性  ∀xyX,当HA(x)∪HA(y)=U时,有HA(x*y)⊆HA(x)∪HA(y);当HA(x)∪HA(y)≠U时,对∀uHA(x)∪HA(y),有xA(u)且yA(u).由A(u)≠ØX的一个亚BCI-子代数,所以x*yA(u),故uHA(x*y),从而HA(x*y)⊆HA(x)∪HA(y),因此HA是X的反软亚BCI-代数.

    充分性  ∀uU,若A(u)≠Ø,则∀xyA(u),有uHA(x)且uHA(y),故uHA(x)∪HA(y).由HAX的反软亚BCI-代数,有HA(x*y)HA(x)∪HA(y),故uHA(x*y),即x*yA(u),因此A(u)是X的亚BCI-子代数.

    定理 9  设X为亚BCI-代数,HXP(U)为软集,则HX的反软亚BCI-代数的充分必要条件是H的反α-水平集${{\widetilde{H}}_{\alpha }}$={x|H(x)⊆ααP(U)}≠ØX的子代数.

      必要性  若${{\widetilde{H}}_{\alpha }}$Ø,∀xy${{\widetilde{H}}_{\alpha }}$,则H(x)⊆αH(y)⊆α.由HX的反软亚BCI-代数,则H(x*y)⊆H(x)∪H(y)⊆αα=α,即x*y${{\widetilde{H}}_{\alpha }}$,所以${{\widetilde{H}}_{\alpha }}$X的子代数.

    充分性  ∀xyX,令H(x)∪H(y)=α,有H(x)⊆αH(y)⊆α,那么x${{\widetilde{H}}_{\alpha }}$y${{\widetilde{H}}_{\alpha }}$.由${{\widetilde{H}}_{\alpha }}$ØX的子代数知x*y${{\widetilde{H}}_{\alpha }}$,则H(x*z)⊆α=H(x)∪H(y).

    因此,HX的反软亚BCI-代数.

4.   新型反软亚BCI-代数的反像与原像
  • 本节给出反软亚BCI-代数的反像与原像的性质.

    定理 10  设X1X2为两个亚BCI-代数,U是初始集合. fX1X2为同态映射,H1X1P(U),H2X2P(U)为两个软集,那么下列结论成立:

    (ⅰ)若H1X1的反软亚BCI-代数,则$\widetilde{f}$(H1)为X2的反软亚BCI-代数;

    (ⅱ)若H2X2的反软亚BCI-代数,则$\widetilde{f}$-1(H2)为X1的反软亚BCI-代数.

      (ⅰ) ∀x2y2X2,若x2y2没有原像,由反扩张原理知,$\widetilde{f}$(H1)(x2)=U$\widetilde{f}$(H1)(y2)=U,所以$\widetilde{f}$(H1)(x2)∪$\widetilde{f}$(H1)(y2)=U$\widetilde{f}$(H1)(x2*y2).若x2y2均有原像,当$\widetilde{f}$(H1)(x2)∪$\widetilde{f}$(H1)(y2)=U时,结论显然成立;当$\widetilde{f}$(H1)(x2)∪$\widetilde{f}$(H1)(y2)≠U时,∞u$\widetilde{f}$(H1)(x2)∪$\widetilde{f}$(H1)(y2),有u$\mathop \cap \limits_{f\left( x \right) = {x_2}} $ H1(x)且u$\mathop \cap \limits_{f\left( x \right) = {y_2}} $ H1(x).故存在x1X1,使得f(x1)=x2uH1(x1),且存在y1X1,使得f(y1)=y2uH1(y1),因此uH1(x1)∪H1(y1).若H1X1的反软亚BCI-代数,有H1(x1*y1)⊆H1(x1)∪H1(y1),则uH1(x1*y1).因f是同态映射,有f(x1*y1)=f(x1)*f(y1)=x2*y2,故u$\mathop \cap \limits_{f\left( {{x_1} * {y_1}} \right) = {x_2} * {y_2}} $ H1(x1*y1)=$\widetilde f$(H1)(x2*y2),即$\widetilde f$(H1)(x2*y2)⊆$\widetilde f$(H1)(x2)∪$\widetilde f$(H1)(y2).

    (ⅱ)由于H2X2的反软亚BCI-代数,所以∀x1y1X1,有

    f-1(H2)为X1的反软亚BCI-代数.

    定理 11  设X1X2为两个亚BCI-代数,fX1X2为一个满同态映射,H2X2P(U)为软集,则H2X2的反软亚BCI-代数的充要条件是f-1(H2)为X1的反软亚BCI-代数.

      必要性  由定理10(ⅱ)知结论成立.

    充分性  ∀x2y2X2,因为f是满同态映射,所以存在x1y1X1,使得x2=f(x1),y2=f(y1),且x2*y2=f(x1)*f(y1)=f(x1*y1).又因为f-1(H2)是X1的反软亚BCI-代数,所以

    H2X2的反软亚BCI-代数.

    定理 12  设X1X2为两个亚BCI-代数,U是初始集合. fX1X2为一个同态映射,H1X1P(U)为软集,且H1是关于f不变的,则H1X1的反软亚BCI -代数的充要条件是$\widetilde f$(H1)为X2的反软亚BCI-代数.

      必要性  由定理10(ⅰ)知结论成立.

    充分性  ∀x1y1X1,设f(x1)=x2f(y1)=y2,因f是同态映射,有

    由反扩张原理和H1f-不变的,有

    又因$\widetilde f$(H1)为X2的反软亚BCI-代数,所以有

    因此H1X1的反软亚BCI -代数.

5.   结论
  • 本文给出了新型反软亚BCI-代数的新的逻辑结构,运用软集的多种运算研究了它们的一系列基本性质.特别地,当U=[0, 1]时,得到了反犹豫模糊亚BCI-代数的定义及性质,是对当前犹豫模糊代数相应结果的推广.进一步将研究亚BCI-代数的其它新型反软理想.

Reference (31)

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return