如果两个集合[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]和[tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex]均为可列集，试证明[tex=2.786x1.143]OnufVaMPYi7ZvmoBR8NXeA==[/tex]也是可列的.
举一反三
- 证明: 设 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 与 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 都是可列集,证明 [tex=2.643x1.0]nnfU3ueC7heOntsosOPpjA==[/tex] 也是可列集.
- 两个集合[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]与 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 之间如果存在一一对应, 则称集合 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 与 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 等势. 例如,设 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 是正奇数集合, [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 是正偶数集合, 如果定义从 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 到 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 的映射[tex=7.786x1.357]WfReJ6er2t9fA/rAahwwbhcqf6oz8pvDgXrgk2aZKbQ=[/tex],其中 [tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex] 为任一自然数,则[tex=0.786x1.0]kggd+lPl22ZsM3uxh5D+rA==[/tex] 是 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 与 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 之间的一一对应,因此这两个集合等势. 试说明下列数集是等势的:整数集合[tex=0.714x1.0]RRR4SYyCqv01G5bWEEMPdw==[/tex] 与自然数集[tex=0.857x1.0]+NBI8Pm2vVS+bGgOpHKyOA==[/tex].
- 两个集合[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]与 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 之间如果存在一一对应, 则称集合 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 与 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 等势. 例如,设 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 是正奇数集合, [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 是正偶数集合, 如果定义从 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 到 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 的映射[tex=7.786x1.357]WfReJ6er2t9fA/rAahwwbhcqf6oz8pvDgXrgk2aZKbQ=[/tex],其中 [tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex] 为任一自然数,则[tex=0.786x1.0]kggd+lPl22ZsM3uxh5D+rA==[/tex] 是 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 与 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 之间的一一对应,因此这两个集合等势. 试说明下列数集是等势的:区间(1,2)与区间(3,5).
- 证明：两个矩阵[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]与[tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex]的乘积的第[tex=0.357x1.0]O88k7AtkDgTC9kv/8dY0lg==[/tex]行等于[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]的第[tex=0.357x1.0]O88k7AtkDgTC9kv/8dY0lg==[/tex]行右乘以 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex]，第[tex=0.429x1.214]rmIPPJrP+tFN2kAYPlU/4g==[/tex]列等于[tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex]的第[tex=0.429x1.214]rmIPPJrP+tFN2kAYPlU/4g==[/tex]列左乘以[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]。
- 设[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]与[tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex]为同阶方阵，若[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]与[tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex]相似，证明： [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]与[tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex]有相同的特征值。