L集诱导的L关系性质的研究.pdfVIP

2010年 12月 伊犁师范学院学报 (自然科学版) Dec．201O 第4期 JournalofYiliNormalUniversity (NaturalScienceEdition) No．4 集诱导的 关系性质的研究 耿 俊，汤建钢 (伊犁师范学院 数学系，新疆 伊宁 835000) 摘 要：引入了￡集的概念，给出了L集诱导的L关系的定义，进一步研究了L关系具有的 性质． 关键词：L集；L映射： 关系 中图分类号：O154．1 文献标识码：A 文章编号：1673--999X (2010)04—00O4—O3 1 引言 1965年，美国控制论专家ZadehL．A．开创性地引入了Fuzzy集的概念 【¨，受到了广泛的重视，迄今已 形成了一个较为完善的数学分支，且HⅣ。()在很多领域中得到了应用．鉴于LawyerF．W_引入的变量集 合范Topos的真值集是Heyting代数口1，而Fuzzy集的真值集为区间[0，1]，它是一个完备的Heytiny代数， 这促使我们将Zadeh的Fuzzy集理论进一步提升为以完备的Heyting代数Local3【】为真值集的L集合． 基于以上背景，本文引入了以完备的Heyting代数Local为真值集的￡集的概念，并给出了L集诱导的 ￡关系的定义，进一步研究了L关系所具有的性质． 2 关系及其性质 定义2．1 设 是非空集合，￡为完备的Heyting代数，映射A：X ￡称为 的格值子集，或称为 一 Fuzzy集；偶序(，)称为c集， 称为论域， 称为真值集． 注2．1：(1)V ∈￡，={1∈，A(x) }称为A的 截集；(2)若取￡=0【，1】，则上述定义即为 Zadeh的朴素模糊集． ． 定义2．2设(，)为L集合，Va，b∈ ，若令 =V{∈Ll口∈ ，，b∈ ，}，则映射 ．【，】·：× L，(口，b) =蚵 【口≈b】 称为￡集诱导的L关系． 定理2．1设(，A)为c集合，-【】·为(，A)诱导的￡关系，则Va，b，c∈ ，下列命题成立： (so[o≈b】=b【≈口】；(2)【口≈6】^6【≈c】 【≈c】． 证 明： (S1)显然成立 ； (2)设[口≈6】= ，6【≈c】= ，则口∈ 且6∈ ，同时6∈ RceAp，于是口∈ 且c∈ 卢， 收稿 日期：2o09—O3一 I9 基金项 目：新疆 自然科学基金资助项 目(2010211A38)；伊犁师范学院2009年度大学生科研计划课题 (2009XS|2)． 作者简介：耿俊 (1984一 )，男，伊犁师范学院数学系在读硕士研 究生，研究方向：代数与序结构；汤建钢 (195I卜)， 男，教授，博士，硕士研究生导师，研究方向：拓扑与序结构，代数与序结构，经典与非经典计算理论． 第4期 耿俊，汤建钢：c集诱导的墨 墨： 堑 从而[口≈c】 ^=[口≈b】A[b≈c]． 定理2．2设(，A)为．c集合，．【≈．]为(，A)诱导的c关系，则Va，b∈X，有[口口】=v [口b】． 证明：由 定义知[≈口】：v[≈口】，F)／AVb∈X，当6=口时，口【≈口】=V [口≈6】． 定理2．3设(，)为￡集合，．【≈．】为(x，A)诱导的r．Y~A，~,UVa，b∈ ，有 【口≈口】^【口≈6】=口【≈6】． 证明：令口【≈6】= ，则 ∈ ，即 (口) ，又因为[口≈口】= (口)，所以口【口】^[口≈6】= ≈6】． 推论2．1设(，)为￡集合，．【≈．】为(，A)诱导的￡关系，~,UVa，b∈ ，有 【≈口】^口【≈6】^6【b】 = 【≈b]． 3 映射作用后 ．~『．1具有的性质 定义3．1设(，)，(J，，B)为￡集合，若映射f： Y满足 ∈X，A(x)= (／())，则称f是(，A) 到(J，，B)的￡映射，记作f：(，A) (Y，B)． 定义3．2 设(X，)，(J，，B)为 集合，且存在￡映射f：(，) (】，，B)，则映射 【·≈】·：YxX ￡； (6，口) [6≈厂(