数学联邦政治世界观
超小超大

良定义(well-defined)

一般我们是在讨论一个函数的时候关注“良定义”(well-defined),为什么呢?假设我们讨论一个关系 R(x,y)⊆A×A (出于简便我们只考察二元关系),我们不用担心是否有 ∀x∃!yRxy 或者其它别的要求,因为任意 P⊆A×A 都是一个关系。但函数就不一样了,我们需要知道 R 到底是不是一个函数,即它是否满足 ∀x∃!yRxy 。

1.1.3设R是W上的二元关系。在例1.2中,我们定义R的自反闭包为R∪{(u,u)|u ∈ W}. 但我们也可以给出类似于这些的定义

1.2模态语言

定义1.6中的R⁺和R*,即它是W上包含R的最小自反关系:

RΓ=∩{R'|R'是W & R ⊆ R'上的自反二元关系}.

解释为什么这个新定义(以及R⁺和R*的定义)是好定义的,证明了自反闭包的两个定义的等价性。最后,证明了R⁺uυ当仅当有一列元素序列u=ω₀,ω₁,. . .,ωₙ=υ 使得对于i<n我们有Rωᵢωᵢ₊₁,给出了自反传递闭包的相似序列定义。

在问题1.1.3中,作者要求我们判断“反射闭包”这个概念是不是良定义的。我们称 S 是 R 的反射闭包,当且仅当 S⊇R 且 ∀x∈dom(S),(x,x)∈S 。作者采用了如下定义方式:

S=⋂{P:P⊇R∧P是反射闭包} ,注意到这个定义方式本身就是定义了从 R 到 S 的函数: R↦S ,因此我们的任务就转化为“ R↦S 这个映射是不是一个函数?”换言之,“是否满足 ∀R∃!S(R↦S) ?”

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

想要竹马甜甜的~ 连载中
想要竹马甜甜的~
九-儿
明明人家的时而霸道,时而温顺,可盐可甜,为什么我的竹马不一样?!在线等!急啊!!!
1.7万字6个月前
天天暴富APP 连载中
天天暴富APP
奈斯木拉
(已签约+万华镜文社)暴富第一天,到账500万。暴富第二天,到账魔方手表一枚。暴富第三天,到账海城别墅一套。暴富第四天,到账无限额卡一张。…......
39.2万字5个月前
没有原因的爱 连载中
没有原因的爱
清风吹晓梦
因为儿时的一次偶然,江田喜欢上了顾辰,经历了多年的努力终于和顾辰分到一个班,并且是同桌,开始江田却没有勇气告白,终于在这这一天江田将自己的心......
2.2万字2个月前
普朗克尺度 连载中
普朗克尺度
Muriel昭
次要:【双男主】【救赎文】人鱼*机器人卓奈*万西(角色复杂,就这样概括着吧)主要:【未来科幻】【群众*战争】越往后越迷惑,作者属于是已经“疯......
5.4万字2个月前
天皇下凡历劫记 连载中
天皇下凡历劫记
月下棠花
[天地仙魔文]魔幻多彩,令人迷叹。丨慕君之情,如晚春风扬,棠花依旧丨丨如沐晚风,棠花初开丨慕晚棠,天仙之皇,下凡历劫恢复记忆,只因无穷无尽的......
2.3万字1个月前
她不是疯子 连载中
她不是疯子
墨玉菏
特点:生性自在散漫,不愿受世俗约束,道德感比较模糊,遇好人则菩萨心肠,遇坏人则sha人如麻不是小人,也不愿做道貌岸然的君
0.9万字2周前