超级会员免费看
本文详细探讨了离散数学中的集合论概念，包括有序组的定义及其性质，如二元有序组和n元组的递归定义。通过证明展示了有序组相等的充分必要条件。接着，介绍了笛卡儿积的概念、性质及其与集合运算的关系。此外，文章还阐述了关系的基础知识，包括关系的定义、表示方法和各种运算，如并、交、差、补和逆运算，以及关系的幂运算和闭包。最后讨论了关系的特性，如自反性、对称性、反对称性和传递性，并给出了相关定理和闭包运算的性质。
离散数学之集合论【中】
一、有序组
-
有序组
〉 元素的无序性是集合的特征之一，那么元素的有序组合又该如何从集合定义？
〉 二元有序组，又称二元组(2-tuple)，或者序偶(ordered pairs)
〉 设 a,b 为任意对象，称集合族 {
{a},{a,b}} 为二元有序组，简记为 <a,b>
〉 称a为<a,b>的第一分量，b为第二分量
“有序”的含义 ？
〉 定理：对于任意序偶 <a,b>, <c,d>，<a,b>=<c,d> 当且仅当a=c且b=d
------------------------------------------------------------------------------------------------------
证明：
〉 充分性是显然的
〉 证明必要性：设<a,b>=<c,d>，也就是
〉 {
{a},{a,b}}={
{c},{c,d}}
〉
订阅专栏 解锁全文
6977
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
