设A是一任意集合,n∈I+。定义S是从{0,1,2,···,n-1}到A的所有映射的集合,定义T是A的元素的所有n重
证明存在一从S到T的双射函数。(由于这个双射函数,有的书上符号An既用于表示T,又用于表示S,即用n表示集合{0,1,2,···,n-1})
证明存在一从S到T的双射函数。(由于这个双射函数,有的书上符号An既用于表示T,又用于表示S,即用n表示集合{0,1,2,···,n-1})
第1题
设R是集合S上的关系,S'是S的子集,定义S'.上的关系R'如下:R'=R∩(S'
×S'),确定下述每一断言是真还是假。
a)如果R在S上是传递的,那么R'在S'上是传递的。
b)如果R是S上的偏序关系,那么R'是S'上的偏序关系。
c)如果R是S上的拟序关系,那么R'是S'上的拟序关系。
d)如果R是S上的线序关系,那么R'是S'.上的线序关系。
e)如果R是S上的良序关系,那么R'是S'上的良序关系。
第2题
设两个格为在集合L和S中,对应于保交和保联运算的偏序关系分别是≤和≤’。f是L到S的双射,则是的格构,当且仅当对任意的a,b∈L,有.
第4题
设F是本节定义的分数集合,证明关系上的同余关系,这里第一个“-”号是二元减法运算,第二个“-”号代表一元减,(注意:首先必须证明~是一等价关系。)
第6题
设f1,f2,f3,f4是从N到N的下述函数:
设Ei是函数fi诱导出的等价关系。
(a)画出一有向图代表下述偏序集合:
<{N/E1,N/E2,N/E3,N/E4},细分>
(b)对每一i,找出在从N到N/Ei的规范映射下3的象。
第8题
(1)所有计算机专业二年级的学生在学离散数学课.
(2)这些且只有这些学离散数学课的学生或者星期一晚上去听音乐会的学生在星期一晚上很迟才睡觉.
(3)听离散数学课的学生都没参加星期一晚上的音乐会.
(4)这个音乐会只有大学一、二年级的学生参加.
(5)除去数学专业和计算机专业以外的二年级学生都去参加了音乐会