《离散数学及其应用》【张清华版】第四章习题总结_离散数学及其应用张清华答案-CSDN博客

本文链接：https://blog.csdn.net/LeungSr/article/details/121305085

本文详尽证明了集合上关系的逆、交、并运算的性质，以及自反、反自反、对称、反对称和传递性的相关结论。通过反证法和构造映射展示了关系的子集在这些性质上的保持性，同时阐述了可数集合的并集和对偶运算的可数性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

文章目录

8. 设 $R_1、R_2$ 为集合A上的关系，证明:
- 8.1
- 8.2
12. 设 $R_1,R_2$ 为集合A上的任意两个关系，判断下列结论是否成立，若成立，请证明之，若不成立，请举反例说明
- 12.1
- 12.2
- 12.3
- 12.4
- 12.5
15. 设 $R_1,R_2$ 为集合A上的两个关系，且 $R_1 \subseteq R_2$ ，试证:
33. 设A，B都是可数集合，证明:
- 33.1
- 33.2
写在最后

8. 设 $R_1、R_2$ 为集合A上的关系，证明:

$(R_1\cup R_2)^{-1} = R_1^{-1}\cup R_2^{-1}$
$(R_1 \cap R_2)^{-1} = R_1^{-1} \cap R_2^{-1}$

解答:

8.1

$\begin{array}{l} \forall <x,y> \in (R_1\cup R_2)^{-1} \\ \Leftrightarrow <y,x> \in R_1 \cup R_2 \\ \Leftrightarrow <y,x> \in R_1 \lor <y,x> \in R_2\\ \Leftrightarrow <x,y> \in R_1^{-1} \lor <x,y> \in R_2 ^{-1}\\ \Leftrightarrow<x,y> \in R_1^{-1} \cup R_2^{-1} \end{array}$

8.2

$\begin{array}{l} \forall <x,y> \in (R_1\cap R_2)^{-1} \\ \Leftrightarrow <y,x> \in R_1 \cap R_2 \\ \Leftrightarrow <y,x> \in R_1 \land <y,x> \in R_2\\ \Leftrightarrow <x,y> \in R_1^{-1} \land <x,y> \in R_2 ^{-1}\\ \Leftrightarrow<x,y> \in R_1^{-1} \cap R_2^{-1} \end{array}$

12. 设 $R_1,R_2$ 为集合A上的任意两个关系，判断下列结论是否成立，若成立，请证明之，若不成立，请举反例说明

若 $R_1、R_2$ 自反，则 $R_1 \cap R_2$ 也自反
若 $R_1、R_2$ 反自反，则 $R_1\cup R_2$ 也反自反
若 $R_1、R_2$ 对称，则 $R_1 - R_2$ 也对称
若 $R_1、R_2$ 反对称，则 $R_1 - R_2$ 也反对称
若 $R_1、R_2$ 传递，则 $R_1 \circ R_2$ 也传递

解答:

12.1

$\begin{array}{l} \because \\ \forall x \in A 且 R_1反自反 \Leftrightarrow \forall <x,x> \in R_1\\ \forall x \in A 且 R_2反自反 \Leftrightarrow \forall <x,x> \in R_2 \\ \therefore \forall <x,x> \in R_1 \cap R_2\\ \therefore R_1 \cap R_2自反 \end{array}$

12.2

反证法
$\begin{array}{l} 若\exists x \in A, 有 \\ s.t. <x,x> \in R_1 \cup R_2 \\ \Rightarrow <x,x> \in R_1 \lor <x,x> \in R_2 \\ 与R_1,R_2反自反相矛盾 \\ 故可证: \\ R_1、R_2反自反，则R_1\cup R_2也反自反 \end{array}$

12.3

$\begin{array}{l} <x,y> \in R_1 - R_2 \\ \Rightarrow <x,y>\in R_1 \land <x,y> \notin R_2 \\ \Rightarrow <y,x> \in R_1 \land <y,x> \notin R_2 (R_1、R_2对称)\\ \Rightarrow <y,x> \in R_1 - R_2 \end{array}$

12.4

12.3,12.4举一反例证明即可

$\begin{array}{l} R_1 = \{< 1, 2> , < 3, 4>\}(反对称)\\ R_2 = \{<2,3>,<4,1>\}(反对称)\\ R_1 \circ R_2 = \{<1,3>,<3,1>\}(对称)\\ 故结论不成立 \end{array}$

12.5

$\begin{array}{l} R_1 = \{< 1, 2> , < 3, 4>\}(传递)\\ R_2 = \{<2,3>,<4,1>\}(传递)\\ R_1 \circ R_2 = \{<1,3>,<3,1>\}(非传递)\\ 故结论不成立 \end{array}$

15. 设 $R_1,R_2$ 为集合A上的两个关系，且 $R_1 \subseteq R_2$ ，试证:

$r(R_1) \subseteq r(R_2)$
$s(R_1) \subseteq s(R_2)$
$t(R_1) \subseteq t(R_2)$

解答:

15.1

$\begin{array}{l} r(R_1) = R_1 \cup I_A \subseteq R_2 \cap I_A = r (R_2) \end{array}$

15.2

$\begin{array}{l} R_1 \subseteq R_2 \\ \Rightarrow R_1^{-1} \subseteq R_2^{-1}\\ \Rightarrow R_1 \cup R_1^{-1} \subseteq R_2 \cup R_2^{-1} \\ \Rightarrow s(R_1) \subseteq s(R_2) \end{array}$

15.3

$\begin{array}{l} t\left( R_1 \right) \,\,=\,\,\bigcup_{i\,\,=\,\,0}^{\infty}{R_{1}^{i}} \\ \Rightarrow \forall<x,y> \in R_{1}^{i} = R_{1}^{i-1} \circ R_1 \\ \Rightarrow \exists t_1 \in A \quad s.t. <x_1, t_1> \in R_{1}^{i-1} \land <t_1, y> \in R_1 \\ \Rightarrow \exists t_1,t_2 \in A \quad s.t. <x_1, t_1> \in R_{1}^{i-2} \land <t_1, t_2> \in R_1 \land <t_2, y> \in R_1 \\ \Rightarrow \exists t_1,t_2,t_3...t_{i-1} \in A \quad s.t. <x_1, t_1> \in R_{1} \land <t_1, t_2> \in R_1 \land <t_2, t_3> \in R_1 \land ... <t_{i-1}, y> \in R_1 (共i项) \\ \\ \because R_1 \subseteq R_2 , \quad t\left( R_2 \right) \,\,=\,\,\bigcup_{i\,\,=\,\,0}^{\infty}{R_{2}^{i}} \\ \\ \Rightarrow \exists t_1,t_2,t_3...t_{i-1} \in A \quad s.t. <x_1, t_1> \in R_{2} \land <t_1, t_2> \in R_2 \land <t_2, t_3> \in R_2 \land ... <t_{i-1}, y> \in R_2 (共i项) \\ \Rightarrow <x,y> \in R_{2}^{i} \\ \Rightarrow R_{1}^{i} \subseteq R_{2}^{i} \\ \Rightarrow t(R_1) \subseteq t(R_2) \\ \\ \\ \end{array}$

33. 设A，B都是可数集合，证明:

$\cup B$ 是可数集合
$\oplus B$ 是可数集合

解答:

33.1

$\begin{array}{l} 设 A= \{a_1,a_2, a_3 ...\} 为可数集合\\ \because B 是可数集合\\ 且 \quad 可数集合的子集亦是可数集\\ \therefore B - A = \{b_1, b_2, b_3, ...\} 为可数集合\\ \therefore A\cup B = A \cup(B-A) 为可数集合\\ \\ 下面构造A\cup B到自然数集N的映射:\\ \\ \because A\cup B\,\,=\,\,\begin{cases} a_1, a_2, a_3, ...\\ b_1, b_2, b_3, ...\\ \end{cases}\\ \\ 我们构造f将a_i映射到自然数集中的奇数，将b_i映射到自然数集中的偶数，则有:\\ \\ f\left( x \right) \,\,=\,\,\begin{cases} 2i\,\,-\,\,1, x\,\,=\,\,a_i\\ 2i\,\,-\,\,2, x\,\,=\,\,b_i\\ \end{cases}\,\,, \left( i\in N^* \right) \\ \\ 可构造 f:A\cup B\rightarrow N\\ A\cup B 为可数集合 \end{array}$