• 2022-10-30
    设[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]是集合。确定偏序集[tex=4.214x1.357]Q3QdiC21NsdoQNeEjW73NpNelYSUyN+kf9U71bG0HMI=[/tex]中是否存在最大元与最小元。
  • 解:最小元是空集, 因为对于[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]的任何子集[tex=0.786x1.0]TkWiaIfselaE0uOF2JDYag==[/tex],有[tex=2.929x1.143]LfTI9tseguYgL5gO2Hojojb1sqmGRkTPNm1WYtWJzBo=[/tex]。集合[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]是这个偏序集的最大元,因为只要[tex=0.786x1.0]TkWiaIfselaE0uOF2JDYag==[/tex]是[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]的子集,就有[tex=2.5x1.143]uHt8R2SooeNdkr+f5ivw4ZuGm7g6PXOZpoa2NChnReU=[/tex]。

    举一反三

    内容

    • 0

      证明如果[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]之间存在一个一一对应函数。

    • 1

      证明如果[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]之间存在一个一一对应函数。

    • 2

      证明集合[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]是可数集,如果存在一个从[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]到正整数集的函数使得只要当[tex=0.429x1.214]adIpAOtu2Zm0WIyZC7drnQ==[/tex]是一个正整数时[tex=2.786x1.5]ab9dW0kpVzdVanViF3iAVA==[/tex]是可数的。

    • 3

      设[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]和[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]均为含幺环, [tex=4.929x1.286]i/qcPsD1vRQLSn0RZoXrsgLjKM36B3W2jm4OmIlwfLk=[/tex]为环的满同态. 则[tex=4.357x1.357]0MeSHITGwH3ynUj9KdJsC+nZLrBHEPG0LGFtYnVMB/0=[/tex].

    • 4

      设R是集合A={a,b,c,d,e}上的二元关系,[tex=15.286x1.357]ZGL3KzREn/IOOOckBRdf8am5LWGchC94kkYNerFqPpFvJPRClirlM+NEv+GgY9uYcJVoWpYPYQmxxnR3boB8cdrae0Mxco97/rg8mi5uI8UX58nV/KSsDocOVgiZReDErP7x6UY+N5xo2l5AyrE/Bg==[/tex][tex=20.786x1.357]mZn9KqItxFRmvDIzfUoU1tj42hiquUkoO54P7D3IEJWuOsec/PBSG7VAaSh5Phha83mNlvnOPBw8bZB9PEgph0Ma0LRqtQCMlaTa7t9VeC/7SUAcmW/tlL9k7D4CAnoY0O5EAzgNnY7kDXZsZT8kWOID6jfqzOIK+JCD1o3ppvQG3ntc6JrSrgP7iAfTyKDtvDA5abE8TElyiQgBdoaFulUCeZOrfrS2bhIOacj2+1w=[/tex],验证<A,R>是偏序集,并画出哈斯图。