レス数が1スレッドの最大レス数(1000件)を超えています。残念ながら投稿することができません。
「集合・位相入門」輪読会
-
16. Aをm個、Bをn個の元からなる有限集合とする。そのとき、AからBへの
単射が(少なくとも1つ)存在するための必要十分条件はm≦n、AからBへの
全射が(少なくとも1つ)存在するための必要十分条件はm≧nであることを
示せ。また、m=nの場合、AからBへの全射、単射、全単射の概念はすべて
一致することをたしかめよ。
まず、AからBへの単射が存在⇔m≦nを示す。
(⇒の証明)AからBへの単射が存在して、かつm>nとして矛盾を導く。
そのような単射をfとし、Aのm個の元をx_k(k=1,2,･･･,m)、Bの元y_kをf(x_k)=y_k
と定める。fは単射だから、y_kは全て異なる。よってBは少なくともm個の元を
持たなければならないが、これはm>nに反する。
(←の証明)Aの元をx_s(s=1,2,･･･,m)、Bの元をy_t(t=1,2,･･･,n)とすると、
m≦nより、g(x_s)=y_sとなるようなAからBへの写像gを定める事ができる。
このようなgは単射。
⇒の左向きになったやつはないのでしょうか？
掲示板管理者へ連絡
無料レンタル掲示板
