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

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

相关小说

无声陪伴 连载中
无声陪伴
184***446_9133823268
十七年的陪伴最后却无能为力
0.1万字6个月前
噬月羁绊 连载中
噬月羁绊
青秋_094204047
一个背负着沉重过去的吸血鬼,他孤傲、冷漠,却在遇见纯真善良的少女芈祝后,逐渐敞开了心扉。芈祝,一个对未知世界充满好奇的普通人类,她的勇敢和坚......
1.4万字5个月前
国风之志 连载中
国风之志
东米糕
这个世界,不止存在一个国风城,而是两个一个是现代,另一个,是国风文化的汇聚所形成。多年前,这里遭受过一个恶魔的入侵……那就是崇洋魔王,好在点......
9.2万字3个月前
模仿者那些事 连载中
模仿者那些事
子芮喵喵喵喵喵
模仿者游戏
0.8万字3个月前
涅槃重生的我 连载中
涅槃重生的我
小椿吃早饭
正在连载中....
5.3万字2个月前
快穿:娇软美人是万人迷 连载中
快穿:娇软美人是万人迷
肚子里没墨水
【万人迷➕1V1➕快穿➕日久生情】1️⃣校园文里的美女学霸1号学霸男:沈清然,你看你是美女学霸,我是帅哥学霸,我们是天生一对2号创业成功男:......
3.4万字3周前