扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
宇宙、量子和人类心灵
-
>
考研数学专题练1200题
-
>
希格斯:“上帝粒子”的发明与发现
-
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁
-
>
二十四史天文志校注(上中下)
-
>
声音简史
-
>
浪漫地理学:追寻崇高景观
一致模 内容简介
本书首先考虑偏序集上简单的聚合模型三角模和三角余模，为后面讨论混合型聚合模型提供一些准备；之后阐述单位闭区间上几类特殊的一致模的特征；在此基础上研究一般格上的一致模和零模；*后将一致模和零模进行的推广得到半一致模和左(右)半一致模并探讨左(右)半一致模的构造问题。主要包括：偏序集上的三角模和三角余模以及它们诱导的模糊蕴涵和模糊余蕴涵；单位闭区间上的一致模的分类及几类特殊一致模的特征刻画；一致模和零模的构造与表示，一致模诱导的模糊蕴涵和模糊余蕴涵的特征以及相互关系；完备格上左(右)半一致模、模糊蕴涵和模糊余蕴涵的构造以及相互关系。
一致模 目录
目录
《模糊数学与系统及其应用丛书》序
前言
第1章 预备知识 1
1.1 偏序集 1
1.1.1 偏序集的概念 1
1.1.2 剩余映射和Galois关联 6
1.2 格 9
1.2.1 半格和格的概念 10
1.2.2 完备格、分配格和模格 12
1.2.3 Brouwer格和Heyting格 16
1.2.4 序半群和剩余格 17
1.2.5 FL代数和交换FLw代数 21
第2章 偏序集或格上的模糊联结词 25
2.1 三角模和三角余模 25
2.1.1 三角模和三角余模概念 25
2.1.2 三角模的直积和直积分解 33
2.1.3 [0，1]上的三角模和三角余模 41
2.2 模糊蕴涵和模糊余蕴涵 49
2.2.1 否定、模糊蕴涵和模糊余蕴涵 49
2.2.2 （S，N）蕴涵和S蕴涵 57
2.2.3 R蕴涵 60
2.2.4 三角模和三角余模诱导的QL蕴涵 67
2.2.5 上、下近似模糊蕴涵和模糊余蕴涵 70
第3章 [0，1]上的一致模 77
3.1 [0，1]上一致模及其连续性 77
3.1.1 一致模概念 77
3.1.2 ]0，1[2内连续的一致模 81
3.1.3 几乎连续的一致模 88
3.2 可表示一致模 90
3.2.1 可表示一致模的概念及性质 90
3.2.2 可表示一致模的特征 93
3.3 幂等一致模 101
3.3.1 幂等一致模的特征 101
3.3.2 具有左、右伴随性质的幂等一致模的特征 107
3.4 基础算子连续的一致模 112
3.4.1 连续阿基米德情形 112
3.4.2 A（e）上局部内部情形 118
第4章 有界格上的一致模 123
4.1 一致模的概念和结构 123
4.1.1 一致模的概念和性质 123
4.1.2 一致模的结构 133
4.2 一致模的构造及表示143
4.2.1 Umin（e）和Umax（e）中一致模的表示 143
4.2.2 构造U1min（e）和U0max（e）中一致模 153
4.2.3 构造Urmin（e）和Urmax（e）中一致模 156
4.3 一致模诱导的模糊蕴涵和模糊余蕴涵 161
4.3.1 （U，N）蕴涵和（U，N）余蕴涵 161
4.3.2 RU蕴涵和RU余蕴涵 165
4.3.3 （U，N）蕴涵、余蕴涵和RU蕴涵、余蕴涵的关系 179
4.3.4 一致模诱导的QL蕴涵和QL余蕴涵 184
第5章 完备格上的左（右）半一致模 188
5.1 左（右）半一致模 188
5.1.1 左（右）半一致模的概念 188
5.1.2 上、下近似左（右）半一致模 199
5.2 左（右）半一致模诱导的模糊蕴涵和模糊余蕴涵 211
5.2.1 左（右）半一致模的剩余蕴涵和剩余余蕴涵 212
5.2.2 上、下近似左（右）半一致模与上、下近似模糊蕴涵和模糊余蕴涵 220
参考文献 233
索引 242
《模糊数学与系统及其应用丛书》已出版书目
《模糊数学与系统及其应用丛书》序
前言
第1章 预备知识 1
1.1 偏序集 1
1.1.1 偏序集的概念 1
1.1.2 剩余映射和Galois关联 6
1.2 格 9
1.2.1 半格和格的概念 10
1.2.2 完备格、分配格和模格 12
1.2.3 Brouwer格和Heyting格 16
1.2.4 序半群和剩余格 17
1.2.5 FL代数和交换FLw代数 21
第2章 偏序集或格上的模糊联结词 25
2.1 三角模和三角余模 25
2.1.1 三角模和三角余模概念 25
2.1.2 三角模的直积和直积分解 33
2.1.3 [0，1]上的三角模和三角余模 41
2.2 模糊蕴涵和模糊余蕴涵 49
2.2.1 否定、模糊蕴涵和模糊余蕴涵 49
2.2.2 （S，N）蕴涵和S蕴涵 57
2.2.3 R蕴涵 60
2.2.4 三角模和三角余模诱导的QL蕴涵 67
2.2.5 上、下近似模糊蕴涵和模糊余蕴涵 70
第3章 [0，1]上的一致模 77
3.1 [0，1]上一致模及其连续性 77
3.1.1 一致模概念 77
3.1.2 ]0，1[2内连续的一致模 81
3.1.3 几乎连续的一致模 88
3.2 可表示一致模 90
3.2.1 可表示一致模的概念及性质 90
3.2.2 可表示一致模的特征 93
3.3 幂等一致模 101
3.3.1 幂等一致模的特征 101
3.3.2 具有左、右伴随性质的幂等一致模的特征 107
3.4 基础算子连续的一致模 112
3.4.1 连续阿基米德情形 112
3.4.2 A（e）上局部内部情形 118
第4章 有界格上的一致模 123
4.1 一致模的概念和结构 123
4.1.1 一致模的概念和性质 123
4.1.2 一致模的结构 133
4.2 一致模的构造及表示143
4.2.1 Umin（e）和Umax（e）中一致模的表示 143
4.2.2 构造U1min（e）和U0max（e）中一致模 153
4.2.3 构造Urmin（e）和Urmax（e）中一致模 156
4.3 一致模诱导的模糊蕴涵和模糊余蕴涵 161
4.3.1 （U，N）蕴涵和（U，N）余蕴涵 161
4.3.2 RU蕴涵和RU余蕴涵 165
4.3.3 （U，N）蕴涵、余蕴涵和RU蕴涵、余蕴涵的关系 179
4.3.4 一致模诱导的QL蕴涵和QL余蕴涵 184
第5章 完备格上的左（右）半一致模 188
5.1 左（右）半一致模 188
5.1.1 左（右）半一致模的概念 188
5.1.2 上、下近似左（右）半一致模 199
5.2 左（右）半一致模诱导的模糊蕴涵和模糊余蕴涵 211
5.2.1 左（右）半一致模的剩余蕴涵和剩余余蕴涵 212
5.2.2 上、下近似左（右）半一致模与上、下近似模糊蕴涵和模糊余蕴涵 220
参考文献 233
索引 242
《模糊数学与系统及其应用丛书》已出版书目
展开全部
一致模 节选
第1章预备知识 本章介绍序代数理论中偏序集、剩余映射、关联映射、序半群和剩余格等知识，为后面讨论各种聚合模型和多值逻辑中联结词之间的关系做些必要的准备工作.只要读者熟悉有关集合与代数(可参见文献[1])中的一些基本概念即可阅读本章. 1.1偏序集 本节首先引入偏序集的概念，接着定义和讨论剩余映射和关联映射，为后面讨论多值逻辑中联结词之间的关联性做些必要的准备工作. 1.1.1偏序集的概念 定义1.1.1[2.4]设E是一个非空集合，.是E上的一个二元关系.若具有 (1)自反性，即 (2)反对称性，即 (3)传递性，即 则称为偏序关系，并称关于构成偏序集，或者称为偏序集，不致混淆时，简称为偏序集. 设是偏序集，任意给定x，y∈E.若，则称x小于或者等于y.若与至少有一个成立，则称x与y是可比的;否则称x与y是不可比的，记作.若且，则称x小于y，记作x<> 仍设是偏序集. 对于任意给定的a∈E，我们将E中与元素a不可比的所有元素组成的集合记作Ia，即. 设X是E的一个非空子集.若X中任意两个元素都是可比的，则称X为链.特别地，当E是一个链时，称.为全序关系(或线序关系)，并称为全序集(相应地，线序集).若X中任意两个不同元素都是不可比的，则称X为中的一个反链. 例1.1.1设E={a，b，c}是三元集.我们定义E上的二元关系和如下: 再定义E上的二元关系如下:对于任意的，或者x=b且y=b，或者x=b且y=c，或者x=y=c.显然和都是偏序关系. 例1.1.2不难验证:任何一个集合X的幂集P(X)关于X的子集之间的包含关系.构成偏序集.正整数集N关于整除关系|(m|n是指m整除n)构成偏序集.实数集R以及其中的各个区间关于实数之间平常的“小于或等于”关系.都构成全序集，实数集R的任何非空子集关于实数之间平常的“小于或等于”关系.也都构成全序集. 本书中，不致混淆时，[0，1]总表示实数集R的子集，其中0和1都是实数.每当我们提及[0，1]上的偏序关系时，总是表示实数之间平常的大小关系. 有限集上的偏序关系可以用Hasse图来表示:用圆圈或点表示元素.当时，把y画在较x高些的位置，并用线段将x和y连接起来. 例如，令E1={1，2，3，4，6，12}，则(E1，|)是偏序集，其中|表示E1中各个数之间的整除关系.图1.1就是偏序关系|的Hasse图.又如，设{a，b，c}是三元集(即由三个不同元素a，b，c组成的集合)，令E2=P({a，b，c})，则(E2，.)为偏序集，其中.表示{a，b，c}的子集之间的包含关系.图1.2就是偏序关系.的Hasse图. 这里我们特别强调一下:对于任意给定的偏序集和，只有在E1=E2并且和是相同的偏序关系时，我们才认为和是同一个偏序集.换句话说，即使E1=E2，只要和不是同一个偏序关系，我们就认为和不是同一个偏序集.其次，在同时谈论多个偏序关系时，一般地说，对于不同的偏序关系应该采用不同的名称和记号来称呼和表示它们，以示区别.但是，对于不同集合上的偏序关系，只要不会引起混淆，也允许用相同的名称和记号(例如.)来称呼和表示它们. 定义1.1.2[5]设(E，.)是偏序集，X为E的一个子集，a∈E.若对于任意的x∈X总有，则称a为X的一个下界(相应地，上界).若a为X的一个下界(上界)，并且对于X的每个下界(相应地，上界)b总有(相应地，)，则称a为X的下确界(相应地，上确界). 显而易见，当E的一个非空子集X有下确界(上确界)时，其下确界(相应地，上确界)是唯一的.当E的一个非空子集X有下确界(上确界)时，我们将其下确界(相应地，上确界)记作infX(相应地，supX).特别地，当E有下确界时，称(E，.)为下有界的，并且称infE为E的*小元，不致混淆时记作0;当E有上确界时，称(E，.)为上有界的，并且称supE为E的*大元，不致混淆时记作1. 容易看出:E中任意元素都是E的空子集的下界(上界).这样，E的空子集的下确界(上确界)存在当且仅当E有*大元(相应地，*小元).因此我们约定，上有界偏序集的空子集的下确界inf为1，下有界偏序集的空子集的上确界sup为0. 若(E，.)既下有界又上有界，则称(E，.)为有界偏序集. 利用已知偏序集构造新偏序集，不仅是寻求新偏序集的一个途径，而且对我们剖析偏序集的结构很有帮助.构造偏序集的“直积”是*常用的一种构造新偏序集的方法. 现在设{(Eα，.)}α∈A是一簇偏序集.定义集族{Eα}α∈A的直积上的二元关系.如下:对于任意的 则(E，.)是偏序集.这个偏序集称为偏序集族{(Eα，.)}α∈A的直积. 特别地，当A={1，2}时，将集族的直积记作E1×E2.它是形如(x，y)(其中x∈E1，y∈E2)的有序二元组全体组成的集合，即 我们现在介绍一下对偶原理. 设是任意一个偏序集.定义E上的二元关系如下: 容易验证，.d也是偏序关系.我们称.d为.的对偶关系，并称的对偶偏序集. 显然，若偏序集有*小元0(*大元1)，则偏序集有*大元0(相应地，*小元1). 我们称P是关于偏序集(E，.)的一个命题，就是指它是用“.”，“.”，“=”以及括号等符号将E中的一些元素按一定规则连接起来而构成的一个具有明确内涵的陈述句.将命题P中所有的“.”和“.”都分别换成“.d”和“.d”(其余部分不变)后所构成的新命题称为命题P的对偶命题，记作Pd.如果命题P对任意偏序集(E，.)都成立，那么命题P对偏序集(E，.d)当然成立，即命题P的对偶命题Pd成立.根据定义，“.d”就是“.”，“.d”就是“.”.所以我们有 对偶原理(关于偏序集)如果关于偏序集的一个命题P对任意的偏序集都成立，那么将命题P中所有的“.”和“.”都分别换成“.”和“.”后所构成的新命题也成立. 映射是现代数学中一个永恒的话题，我们讨论偏序集时将一直围绕着这个话题. 定义1.1.3设(E，.)和(F，.)都是偏序集，φ是E到F的映射.若φ满足条件: 则称φ为(E，.)到(F，.)的保序映射，不致混淆时，简称φ为E到F的保序映射，有时也称φ是E到F的单调递增映射.若φ满足条件: 则称φ为(E，.)到(F，.)的反序映射，不致混淆时，简称φ为E到F的反序映射，有时也称φ是E到F的单调递减映射. 显而易见，对于任意的偏序集(E，.)和(F，.)，总存在E到F的保序映射.例如，任取a∈F，规定φ(x)=a，.x∈E，则φ为E到F的保序映射.又如，集合E的恒等映射1E是E到E的保序映射. 设(E，.)，(F，.)和(G，.)都是偏序集，φ是E到F的映射，并且.是F到G的映射.若φ和.都是保序映射，或者都是反序映射，则 φ是保序映射;若φ和.中一个是保序映射，而另一个是反序映射，则 φ是反序映射. 定义1.1.4设(E，.)和(F，.)都是偏序集，φ1和φ2都是E到F的映射.若对于E中每个元素x总有φ1(x).φ2(x)，则称φ1小于或等于φ2，记作φ1.φ2;也可以称φ2大于或等于φ1，记作φ2.φ1. 显然，定义1.1.4所界定的E到F的映射之间的“小于或等于”关系.也是偏序关系.对于E到F的任意给定的两个映射φ1和φ2，到底“φ1.φ2”成立与否，不仅与φ1和φ2本身有关，还与E和F上的具体偏序关系有关. 命题1.1.1设(E，.)，(F，.)和(G，.)都是偏序集，φ1和φ2都是E到F的映射，.1和.2都是F到G的映射.则下列断言成立: (1)若.1 2，则.1.φ1 2.φ1. (2)若φ1.φ2并且.1是保序映射，则.1.φ1 1.φ2. (3)若φ1.φ2，.1 2，并且.1或.2是保序映射，则.1.φ1 2.φ2. 证明直接验证.□ 注意，断言(3)中前提“.1或.2是保序映射”不能删去，否则结论不再普遍成立. 定义1.1.5设(E，.)是偏序集，D是E的非空子集.若D满足条件: 则称D为的下集，不致混淆时简称为E的下集.若D满足条件: 则称D为的上集，不致混淆时简称为E的上集. 我们约定，空集既是(E，.)的下集，又是(E，.)的上集. 定义1.1.6[5]设(E，.)是一个偏序集，y∈E.集合{x∈E|x.y}称为(E，.)的主下集，简称为E的主下集，记作↓y.集合{x∈E|x.y}称为(E，.)的主上集，简称为E的主上集，记作↑y. 由于下集和上集是一对对偶的概念，因此根据对偶原理关于下集所得到的结论都可以转换成关于上集的结论;反之亦然. 例1.1.3设X={a，b，c}是三元集，E=P(X)，.表示X的子集之间的包含关系.由例1.1.2知，(E，.)是偏序集.根据下集的定义，(E，.)的全部下集如下: 例1.1.4用Q+表示正有理数组成的集合，则D={q∈Q+|q2.2}是全序集Q+的下集，但它不是Q+的主下集. 下面的命题用下集的概念来刻画保序映射. 命题1.1.2设(E，.)和(F，.)都是偏序集，φ是E到F的映射.则下列断言成立: (1)φ是E到F的保序映射，当且仅当F的每个主下集在φ之下的原像都是E的下集，当且仅当F的每个主上集在φ之下的原像都是E的上集. (2)φ是E到F的反序映射，当且仅当F的每个主下集在φ之下的原像都是E的上集，当且仅当F的每个主上集在φ之下的原像都是E的下集. 证明 这里只证明断言(1)中**个结论成立. 设φ是E到F的保序映射.考察F的任意一个主下集↓b:若φ.1(↓b)=.，则φ.1(↓b)是E的下集.现在假设φ.1(↓b).= 任取y∈φ.1(↓b).假设x∈E使得x.y.由于φ是E到F的保序映射，因此φ(x).φ(y)=b.根据↓b的定义，φ(x)∈↓b，从而，x∈φ.1(↓b).由于y∈φ.1(↓b)的任意性，这就表明F的主下集↓b在φ之下的原像φ.1(↓b)是E的下集. 假设φ不是保序映射，即存在x，y∈E，使得x.y，但是φ(x).φ(y)不成立.令φ(x)=a，φ(y)=b.则y∈φ.1(↓b)，a=φ(x)/∈↓b，从而x/∈φ.1(↓b)，因此φ.1(↓b)不是E的下集.□ 1.1.2剩余映射和Galois关联 定义1.1.7[5]设和都是偏序集，φ是E到F的映射.若存在F到E的映射，使得 (1.1.1) 则称φ为到(F，.)的剩余映射(residuated mapping)，不致混淆时，简称φ为E到F的剩余映射.称二元组为一个剩余对，称.为φ的右伴随，φ为.的左伴随.偏序集到自己的剩余映射又称E上的剩余映射. 定理1.1.1设和都是偏序集，φ是E到F的映射.则下列三个断言是等价的. (1)φ是E到F的剩余映射. (2)F的每一个主下集在φ之下的逆像是E的主下集. (3)φ是保序映射，并且存在保序映射:F→E，使得 (1.1.2) 证明 若φ为E到F的剩余映射，则存在F到E的映射，使得(1.1.1)式成立.这样对于F的任意一个主下集↓b，其中b∈F，都有
书友推荐
- >
罗庸西南联大授课录
罗庸西南联大授课录
¥13.8¥32.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥15.5¥39.8 - >
莉莉和章鱼
莉莉和章鱼
¥16.4¥42.0 - >
史学评论
史学评论
¥13.4¥42.0 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥9.3¥19.0 - >
二体千字文
二体千字文
¥16.8¥40.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0
本类畅销
-
普林斯顿微积分读本-(修订版)
¥69.3¥99 -
怎样解题
¥17.2¥29 -
数学-应用与思考
¥16.1¥32.8 -
高等代数思想方法分析及应用研究
¥25.3¥76 -
高等代数典型问题研究与实例探析
¥30.4¥92 -
数字唬人:用常识看穿无所不在的数字陷阱
¥16¥36.8
