切换科目
重点科目
主要科目
次要科目
科数网
首页
刷题
学习
VIP会员
赞助
组卷
集合
教材
VIP
写作
游客,
登录
注册
在线学习
离散数学
第二章 集合论与二元关系
关系的运算
最后
更新:
2025-01-22 08:28
查看:
84
次
反馈
能力测评
会员8.2元/月
赞助
关系的运算
从 $A$ 到 $B$ 的二元关系是 $A \times B$ 的子集。因为关系也是一个集合,所以有关集合的并,交,差,补运算以及相应的性质同样适用于关系。定义二元关系的运算如下。 定义2.6 设 $R_1$ 和 $R_2$ 是从 $A$ 到 $B$ 的两个二元关系,对于 $a \in A, b \in B$ ,定义: $$ \begin{aligned} & R_1 \cup R_2:(a, b) \in R_1 \cup R_2 \text { 当且仅当 }(a, b) \in R_1 \text { 或 }(a, b) \in R_2 ; \\ & R_1 \cap R_2:(a, b) \in R_1 \cap R_2 \text { 当且仅当 }(a, b) \in R_1 \text { 且 }(a, b) \in R_2 ; \\ & R_1-R_2:(a, b) \in\left(R_1-R_2\right) \text { 当且仅当 }(a, b) \in R_1 \text { 且 }(a, b) \notin R_2^{\prime} ; \\ & \left.\overline{R_1}: a \overline{R_1} b \text { 当且仅当 }(a, b) \notin R_1 \text { (其中 } \overline{R_1}=(A \times B)-R\right) \end{aligned} $$ 然而,二元关系又是一种特殊的集合,构成关系的元素是有序对。所以下面又定义关系的另一些运算,通过这些运算可以由已知关系产生新的关系。 逆运算 对于表 2.1,\{(李洋,程序设计),(苏展,数学),(王净晶,程序设计),(李洋,政治), (徐智婷,物理)$\}$ 反映了学生选课情况,而 \{(程序设计,李洋),(数学,苏展),(程序设计,王净晶),(政治,李洋),(物理,徐智婷)\} 则反映了课程被学生选修的情况。这样通过关系的逆运算,由给定关系产生其逆关系。 定义2.7 设 $R$ 是从 $A$ 到 $B$ 的二元关系,则从 $B$ 到 $A$ 的二元关系记为 $R^{-1}$ ,定义为:$R^{-1}=\{(b, a)(a$ , b)$\in R$ \} 称为 $R$ 的逆关系。 例如,$R=\{(1,2),(2,3),(1,3)\}$ ,则 $R^{-1}=\{(2,1),(3,2),(3,1)\}$ 。 定理 2.1 设 $R, R_1, R_2$ 是从 $A$ 到 $B$ 的二元关系,则 (1)$\left(R^{-1}\right)^{-1}=R_{\circ}$ (2)$\left(R_1 \cup R_2\right)^{-1}=R_1^{-1} \cup R_2{ }^{-1}$ 。 (3)$\left(R_1 \cap R_2\right)^{-1}=R_1^{-1} \cap R_2{ }^{-1}$ 。 (4)$(A \times B)^{-1}=B \times A$ 。 (5)$\varnothing^{-1}=\varnothing$ 。 (6) $\bar{R}^{-1}=\overline{R^{-1}}$ 。 (7)$\left(R_1-R_2\right)^{-1}=R_1^{-1}-R_2^{-1}$ 。 (8)若 $R_1 \subseteq R_2$ 则 $R_1^{-1} \subseteq R_2^{-1}$ 。 证明:(1)$(a, b) \in R \Leftrightarrow(b, a) \in R^{-1} \Leftrightarrow(a, b) \in\left(R^{-1}\right)^{-1}$ ,则 $\left(R^{-1}\right)^{-1}=R$ 。 (2)$(a, b) \in\left(R_1 \cup R_2\right)^{-1} \Leftrightarrow(b, a) \in R_1 \cup R_2 \Leftrightarrow(b, a) \in R_1$ 或者 $(b, a) \in R_2 \Leftrightarrow(a, b) \in R_1^{-1}$ 或者 $(a$ , b)$\in R_2^{-1} \Leftrightarrow(a, b) \in R_1^{-1} \cup R_2^{-1}$ ;因此 $\left(R_1 \cup R_2\right)^{-
免费注册看余下 70%
非VIP会员每天5篇文章,开通VIP 无限制查看
《高等数学》难点解析
高数教程
泰勒公式
切线与法线
切平面与法平面
驻点·拐点·极值点·零点
间断点
渐进线
瑕积分
欧拉方程
伯努利方程
Abel 收敛定理
偏导数的几何意义
偏导数的几何意义
梯度
数量场与向量场
多元函数极值
拉格朗日算子
通量与散度
环流量与旋度
格林公式
高斯公式
斯托克斯公式
三大公式比较
傅里叶级数
极坐标微元
点法式方程
变上限定积分
X型计算面积
Y型计算面积
微分的意义
渐近线
间断点
y''+py'+qy=f(x)方程
高斯
黎曼
傅里叶变换(复数)
拉普拉斯变换(复数)
高等数学测评
函数与极限
一元函数微分学
一元函数积分学
微分方程
空间向量与代数
多元微分学
多元积分学
无穷级数
《线性代数》难点解析
线代教程
近世代数对数学的整体思考
线性的意义
矩阵乘法(列视角)
矩阵乘法(行视角)
矩阵左乘
矩阵右乘
逆矩阵求解方程组
阶梯形矩阵的求法
方程组解的判定
四阶行列式的计算
线性变换的意义
线性空间
向量组的等价
线性空间的几何意义
基础解系的求法
施密特正交化
特征值与特征向量的意义
矩阵相似的几何意义
矩阵可对角化的理解
秩的意义(向量版)
秩的意义(方程版)
二次型的意义
线性代数测评
行列式
矩阵
向量空间
《概率论与数理统计》难点解析
概率教程
置信区间与上a分位数
概率中的“取”与“放”
贝叶斯公式
全概率公式
泊松分布
指数分布
伽玛分布
二维密度图的意义
卷积的意义
相关系数的意义
k阶矩是与矩母函数
卡方分布的作用
单正态区间估计理解
假设检验理解
切比雪夫不等式
中心极限定理
概率统计测评
事件与概率
一维随机变量与事件
多维随机变量与事件
随机变量的数字特征
大数定律与中心极限定理
统计量与抽样分布
参数估计
假设检验
上一篇:
关系的矩阵表示与图表示
下一篇:
关系数据库的一个实例
本文对您是否有用?
有用
(
0
)
无用
(
0
)
更多
学习首页
数学试卷
同步训练
投稿
会议预约系统
数学公式
关于
Mathhub
赞助我们
科数网是专业专业的数学网站 版权所有
本站部分教程采用AI制作,请读者自行判别内容是否一定准确
如果页面无法显示请联系 18155261033 或 983506039@qq.com