设[tex=0.643x1.286]+RQz+inOZSqc5WvKyEpD0Q==[/tex]为集合[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]到集合[tex=0.929x1.286]LVX5vc/W3cjHwTt0bN3vBg==[/tex]的映射,[tex=0.5x1.286]xchkYdkyGsHZyvcALOmunw==[/tex]为集合[tex=0.714x1.286]DukDxHxPOc44nPzii5M3Bw==[/tex]到集合[tex=0.929x1.286]pklyOURbfRZ+EzHdcW+s8g==[/tex]的映射,证明:(1)如果[tex=1.143x1.286]cw/xj2Um4/EiSYeHVKBxNw==[/tex]为单映射,则[tex=0.643x1.286]+RQz+inOZSqc5WvKyEpD0Q==[/tex]为单映射;(2)如果为[tex=1.143x1.286]cw/xj2Um4/EiSYeHVKBxNw==[/tex]满映射,则[tex=0.5x1.286]xchkYdkyGsHZyvcALOmunw==[/tex]为满映射。
设[tex=0.643x1.286]+RQz+inOZSqc5WvKyEpD0Q==[/tex]为集合[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]到集合[tex=0.929x1.286]LVX5vc/W3cjHwTt0bN3vBg==[/tex]的映射,[tex=0.5x1.286]xchkYdkyGsHZyvcALOmunw==[/tex]为集合[tex=0.714x1.286]DukDxHxPOc44nPzii5M3Bw==[/tex]到集合[tex=0.929x1.286]pklyOURbfRZ+EzHdcW+s8g==[/tex]的映射,证明:(1)如果[tex=1.143x1.286]cw/xj2Um4/EiSYeHVKBxNw==[/tex]为单映射,则[tex=0.643x1.286]+RQz+inOZSqc5WvKyEpD0Q==[/tex]为单映射;(2)如果为[tex=1.143x1.286]cw/xj2Um4/EiSYeHVKBxNw==[/tex]满映射,则[tex=0.5x1.286]xchkYdkyGsHZyvcALOmunw==[/tex]为满映射。
设[tex=0.643x1.286]+RQz+inOZSqc5WvKyEpD0Q==[/tex]为集合[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]到集合[tex=0.929x1.286]LVX5vc/W3cjHwTt0bN3vBg==[/tex]的可逆映射,[tex=0.5x1.286]xchkYdkyGsHZyvcALOmunw==[/tex]为集合[tex=0.929x1.286]LVX5vc/W3cjHwTt0bN3vBg==[/tex]到集合[tex=1.143x1.286]X6m2nVM7944E1/vM23HDBw==[/tex]的可逆映射,则[tex=1.143x1.286]cw/xj2Um4/EiSYeHVKBxNw==[/tex]为集合[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]到集合[tex=1.143x1.286]X6m2nVM7944E1/vM23HDBw==[/tex]的可逆映射,且[tex=7.286x1.286]N/0j7ORzcADxrTTXuyNptdZGiW3q1HAQwRc6ffOoXaU=[/tex]。
设[tex=0.643x1.286]+RQz+inOZSqc5WvKyEpD0Q==[/tex]为集合[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]到集合[tex=0.929x1.286]LVX5vc/W3cjHwTt0bN3vBg==[/tex]的可逆映射,[tex=0.5x1.286]xchkYdkyGsHZyvcALOmunw==[/tex]为集合[tex=0.929x1.286]LVX5vc/W3cjHwTt0bN3vBg==[/tex]到集合[tex=1.143x1.286]X6m2nVM7944E1/vM23HDBw==[/tex]的可逆映射,则[tex=1.143x1.286]cw/xj2Um4/EiSYeHVKBxNw==[/tex]为集合[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]到集合[tex=1.143x1.286]X6m2nVM7944E1/vM23HDBw==[/tex]的可逆映射,且[tex=7.286x1.286]N/0j7ORzcADxrTTXuyNptdZGiW3q1HAQwRc6ffOoXaU=[/tex]。