证明集合[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]是可数集，如果存在一个从[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]到正整数集的函数使得只要当[tex=0.429x1.214]adIpAOtu2Zm0WIyZC7drnQ==[/tex]是一个正整数时[tex=2.786x1.5]ab9dW0kpVzdVanViF3iAVA==[/tex]是可数的。
举一反三
- 证明如果[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]是基数为[tex=0.929x0.786]D9maNLyVVGrC3QbL9jjRWg==[/tex]的集合，[tex=0.929x0.786]D9maNLyVVGrC3QbL9jjRWg==[/tex]为正整数，则在集合[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]与集合[tex=5.786x1.357]8qNI+4A+Dkxx07cBdC1LPv8EKLAzxKDiJ02BVQsOihI=[/tex]之间存在一个一一对应函数。
- 证明如果[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]、[tex=0.643x1.0]awBC2UvU2WxG45VihksPuw==[/tex]均为基数为[tex=0.929x0.786]D9maNLyVVGrC3QbL9jjRWg==[/tex]的集合，[tex=0.929x0.786]D9maNLyVVGrC3QbL9jjRWg==[/tex]为正整数，则在集合[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]与集合[tex=0.786x1.0]TkWiaIfselaE0uOF2JDYag==[/tex]之间存在一个一一对应函数。
- 令[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]是数域[tex=0.643x1.0]J+LW/0i6Fe+lWEmBUgT8zg==[/tex]上向量空间[tex=0.643x1.0]SW0o8G0GHsmLXldwnq7xKg==[/tex]的一些线性变换所成的集合.[tex=0.643x1.0]SW0o8G0GHsmLXldwnq7xKg==[/tex]的一个子空间[tex=1.0x1.0]0e+76hgEqXhGRszRQWFSzQ==[/tex]如果在[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]中每一线性变换之下不变，那么就说[tex=1.0x1.0]0e+76hgEqXhGRszRQWFSzQ==[/tex]是[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]的一个不变子空间.如果[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]在[tex=0.643x1.0]SW0o8G0GHsmLXldwnq7xKg==[/tex]中没有非平凡的不变子空间，则是不可约的，设[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]不可约，而[tex=0.714x1.0]OqF+/h/mAb1/2XhJuj27xg==[/tex]是[tex=0.643x1.0]SW0o8G0GHsmLXldwnq7xKg==[/tex]的一个线性变换，它与[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]中每一线性变换可交换.证明[tex=0.714x1.0]OqF+/h/mAb1/2XhJuj27xg==[/tex]或者是零变换，或者是可逆变换.
- 设[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]是一任意集合，[tex=2.286x1.214]n4UPT3fPQF8LGaTSsyfoVw==[/tex]。定义[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]是从[tex=7.214x1.357]taUXvsH3ruVlBiAfiJJff59SBVeSKn4gGlHJV6UmC60=[/tex]到[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]的所有映射的集合，定义[tex=0.643x1.0]awBC2UvU2WxG45VihksPuw==[/tex]是[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]的元素的所有[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]重组集合。[tex=14.0x1.357]w7+RnDZOWfmefwWU8p6ib0FQCKuY2hseoVfD30pop5jYwGgCIxViT5TKmlwNzGnhtZNthwLo4/1+l3Z7AFPuOPw151jF51+B8lBwgf3Ml5yh28lk0xBpLrccEzOPqGMy[/tex]，证明存在一从[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]到[tex=0.643x1.0]awBC2UvU2WxG45VihksPuw==[/tex]的双射函数。(由于这个双射函数，有的书上符号[tex=1.214x1.0]tDNj5aoJETJiravoifVs8Q==[/tex]既用于表示[tex=0.643x1.0]awBC2UvU2WxG45VihksPuw==[/tex]，又用于表示[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]，即用[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]表示集合[tex=8.214x1.357]UHHN19pBVvWVmKuVCXi+91fsnyglX8sW+cwyUx96nqU=[/tex]。)
- 令[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]为全集[tex=0.714x1.0]UsTt0JMISB2vmq9eVGUHdA==[/tex]的子集。[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]的特征函数[tex=0.857x1.214]dexC+Q+qIUz30hSMtIz1vw==[/tex]是从[tex=0.714x1.0]UsTt0JMISB2vmq9eVGUHdA==[/tex]到集合[tex=2.5x1.357]z399E0W6ABOUvfUkupgaCQ==[/tex]的函数，使得如果[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]属于[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]则[tex=3.5x1.357]IscH+XN1qp8MkvnvlC20JA==[/tex]，如果[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]不属于[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]则[tex=3.5x1.357]kdH4k/6kTnQmqgp1gcwVPw==[/tex]。令[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]、[tex=0.786x1.0]ri6gmnf1+J9dGqG5/1sV6A==[/tex]为集合。证明对于所有[tex=1.929x1.071]EC7JfiXcA5onR/5rDgRgoQ==[/tex]有[tex=9.643x1.357]b7dO9qpunjkvU6ztNkZf+prTyPJE+400Qqpqh+/klUVlJJxA1/Q8wI5RDBAD9Ifr[/tex]