📄 content-4-3-1.htm
字号:
<html>
<head>
<title>bibao</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
</head>
<body bgcolor="#FFFFFF" background="IMAGE/di.gif">
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr>
<td>
<p style="line-height: 200%" align="center"><b><font size="5">关系的闭包</font></b> </p>
<p style="line-height: 200%"><b>一、概念</b> </p>
<p style="line-height: 200%"> 闭包分成:自反闭包、对称闭包、传递闭包 </p>
<p style="line-height: 200%"><b>1、自反闭包</b> </p>
<p style="line-height: 200%"> 设R为集合A上的二元关系,如果另一个关系R'满足下列条件<br>
(1) R'是自反的<br>
(2)
R <img border="0" src="image/baohan.gif" width="11" height="10">
R'<br>
(3) 对于任意A上的自反关系R",若R
<img border="0" src="image/baohan.gif" width="11" height="10">
R",必有R'<img border="0" src="image/baohan.gif" width="11" height="10">
R",<br>
则称R'为R的自反闭包,记为 R'=r(R). </p>
<p style="line-height: 200%"><b>2、对称闭包</b> </p>
<p style="line-height: 200%"> 设R为集合A上的二元关系,如果另一个关系R'满足下列条件<br>
(1) R'是<b>对称</b>的<br>
(2)
R <img border="0" src="image/baohan.gif" width="11" height="10">
R'<br>
(3) 对于任意A上的<b>对称</b>关系R",若R
<img border="0" src="image/baohan.gif" width="11" height="10">
R",必有R'<img border="0" src="image/baohan.gif" width="11" height="10">
R",<br>
则称R'为R的<b>对称</b>闭包,记为 R'=s(R). </p>
<p style="line-height: 200%"><b>3、传递闭包</b> </p>
<p style="line-height: 200%"> 设R为集合A上的二元关系,如果另一个关系R'满足下列条件<br>
(1) R'是<b>传递</b>的<br>
(2)
R <img border="0" src="image/baohan.gif" width="11" height="10">
R'<br>
(3) 对于任意A上的<b>传递</b>关系R",若
R <img border="0" src="image/baohan.gif" width="11" height="10">
R",必有R'<img border="0" src="image/baohan.gif" width="11" height="10">
R",<br>
则称R'为R的<b>传递</b>闭包,记为 R'=t(R). </p>
<p style="line-height: 200%"><b>小结: </b> </p>
<ul>
<li>
<p style="line-height: 200%">R的<b>自反</b>比包是具有<b>自反性</b>有包含R的最小的关系.</li>
<li>
<p style="line-height: 200%">R的<b>对称</b>比包是具有<b>对称性</b>有包含R的最小的关系.</li>
<li>
<p style="line-height: 200%">R的<b>传递</b>比包是具有<b>可传递</b>有包含R的最小的关系.</li>
</ul>
<p style="line-height: 200%"><b>例:</b></p>
<p style="line-height: 200%"> 设 A={a,b,c,d} R={<a,b>,<b,c>,<c,a>}<br>
则:<br>
r(R)=<font color="#FFFFFF">{<a,a>,<b,b>,<c,c>,<d,d>,<a,b>,<b,c>,<c,a>}</font><br>
s(R)=<font color="#FFFFFF">{<a,b>,<b,c>,<c,a>,<b,a>,<c,b>,<a,c>}</font><br>
t(R)=<font color="#FFFFFF">{<a,b>,<b,c>,<c,a>,<b,a>,<c,b>,<a,c>,<a,a>,<b,b>,<c,c>}</font></p>
<p style="line-height: 200%">关系图:(略)</p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
</td>
</tr>
</table>
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr>
<td>
<div align="center">
<p style="line-height: 200%"> <img src="IMAGE/yuancheng_2.gif" width="100" height="69"></div>
</td>
</tr>
</table>
<p style="line-height: 200%" align="center"> </p>
<p style="line-height: 150%"> </p><p align="right"><b><a href="contentFrame-mulu.htm"><<back</a></b>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -