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

良定义(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),接着再看更方便。

相关小说

抱歉,徒弟有点多 连载中
抱歉,徒弟有点多
浔眠Dorment
【修仙+大女主+狗血+打脸】江予瑾X玄苍五百年过去了,以为死对头终于死了打脸,江予瑾好不容易决定从山上下来逛逛,结果处处受阻……没关系,我有......
0.3万字3个月前
虚假的象牙塔 连载中
虚假的象牙塔
趁醉眠
“当我让他的画享誉世界时,我将取走他的生命——毕竟伟大的作品,是不可再生的,不是吗?”这是理想的象牙塔,也可以是一本充满欲望的故事书贪婪的饕......
0.3万字3个月前
梦回山海 连载中
梦回山海
要献便献吻_37211257035372
本是青梅竹马,却了天意弄人。梦回过去。你还会做出同样的选择?
3.1万字2个月前
荆棘本无意 连载中
荆棘本无意
是你喵总
这是荆棘家离开后的故事,莱洛拉受伤被两位老人家救了,却意外害死了这两位老人家。后来,她化名为温溪并认识了阿鹤,结伴与羽逾等人一起去寻找莱洛拉......
2.1万字2个月前
胡说,她才不是坏女人 连载中
胡说,她才不是坏女人
杜光连
江思雨从混沌中醒来就没有了记忆,是333带她来到了小世界中。系统333说只要让他的主人拥有了情欲,那江思雨就会恢复记忆,离开混沌,找回自由,......
7.2万字1个月前
大我七岁的邻居小叔成了我的老公 连载中
大我七岁的邻居小叔成了我的老公
198***310_9541083763
女主是名小说漫画家,男主是国外回来创业的高冷但不霸道的总裁,两人从小是邻居,因男主是邻居爷爷的老来得子,又比女主年长七岁,按辈分成了女主的小......
0.4万字6天前