-PR-
締切済み

離散数学の証明

  • すぐに回答を!
  • 質問No.42319
  • 閲覧数481
  • ありがとう数6
  • 気になる数0
  • 回答数3
  • コメント数0

お礼率 0% (0/3)

1.関数f:A->Bが可逆であるのは、fが全射でかつ単射な関数であるときに限ること。
2.有限集合A上の関数f:A->Aに関して、fが単射であるための必要十分条件はfが全射であること。
の、どちらかの証明を教えてください。
全射とは、上への関数
単射とは、1対1関数のことです。
通報する
  • 回答数3
  • 気になる
    質問をブックマークします。
    マイページでまとめて確認できます。

回答 (全3件)

  • 回答No.3
レベル14

ベストアンサー率 57% (1014/1775)

全射・単射・可逆の概念は決して難しくない。これらをよく理解するために是非、絵を描いてみると良いと思います。Aの要素aからBの要素bへ矢印を描いて、これがf(a)=bを表す、と考える。 あるいはイメージしやすい文章題にしてみるのはいかがでしょう。 1.の方は、Aをひとの集まり、Bを番号札だと思って、f(a)=bはaさんがb番の札を持っている、という意味。f:A->Bなので全員が札を持っています ...続きを読む
全射・単射・可逆の概念は決して難しくない。これらをよく理解するために是非、絵を描いてみると良いと思います。Aの要素aからBの要素bへ矢印を描いて、これがf(a)=bを表す、と考える。

あるいはイメージしやすい文章題にしてみるのはいかがでしょう。
1.の方は、Aをひとの集まり、Bを番号札だと思って、f(a)=bはaさんがb番の札を持っている、という意味。f:A->Bなので全員が札を持っています。
番号をどれでもひとつ呼んだとき、必ず丁度一人のひとが「ハーイ」と返事するようにするには?
人数が無限の場合はどうでしょうか。

2. 沢山のひとAが自分のパンツ(名前入り)を脱いで、パンツを混ぜ合わせます。このパンツの山は集合Aと同一視できますね。さて、みんなかってにパンツを取って穿きます。誰aのパンツを誰bが穿いているか、がf(a)=bです。これが単射であるとは、誰もパンツを二枚以上重ねて穿いていない、ということ。全射であるとは、全員にパンツが行き渡ったということ。
人数が無限の場合、a番目のひとが2a番目のひとのパンツを穿くことにすると、パンツが大量に余りますから、無限集合では成り立たないですね。

あんまりリアリティがない?すいません。
関連するQ&A


  • 回答No.1
レベル11

ベストアンサー率 67% (126/186)

時節がらレポートのようなので完全回答はしません。残りは自分で補って 数学的にきちんとした証明を仕上げて下さい。 1.関数f:A->Bが可逆であるのは、fが全射でかつ単射な関数であるときに限ること。 fに対する逆写像 f^{-1}:B->A が作れることを示せば良い。 fは全射だから任意のy ∈ Bに対して f^{-1}(y) の候補となるx∈A が少なくとも1つはある。 さら ...続きを読む
時節がらレポートのようなので完全回答はしません。残りは自分で補って
数学的にきちんとした証明を仕上げて下さい。

1.関数f:A->Bが可逆であるのは、fが全射でかつ単射な関数であるときに限ること。

fに対する逆写像 f^{-1}:B->A が作れることを示せば良い。
fは全射だから任意のy ∈ Bに対して f^{-1}(y) の候補となるx∈A が少なくとも1つはある。
さらにfが単射であることを使って、このxが一意的であることが示せる。
  • 回答No.2
レベル11

ベストアンサー率 67% (126/186)

2.有限集合A上の関数f:A->Aに関して、fが単射であるための必要十分条件はfが全射で あること。 全射→単射:A={a_1,a_2,…,a_n}(Aの要素数はn)とする。 fは全射だから f(A)={f(a_1),f(a_2),…,f(a_n)} = A すなわち f(a_1),f(a_2),…,f(a_n)がそれぞれ a_1,a_2,…,a_n のどれか ...続きを読む
2.有限集合A上の関数f:A->Aに関して、fが単射であるための必要十分条件はfが全射で
あること。

全射→単射:A={a_1,a_2,…,a_n}(Aの要素数はn)とする。
fは全射だから f(A)={f(a_1),f(a_2),…,f(a_n)} = A
すなわち f(a_1),f(a_2),…,f(a_n)がそれぞれ a_1,a_2,…,a_n のどれかに
対応している。{f(a_1),f(a_2),…,f(a_n)}も{ a_1,a_2,…,a_n}も要素数は
同じだからその対応は1対1でなくてはならない。

単射→全射: fは単射だからa_i≠a_jならf(a_i)≠f(a_j)。
そこでf(A)はAのn個の異なる要素からなる集合である。そのようなものはA自身しかない。


なおこの問題はAが有限集合であることが本質で、無限集合ではどちらも正しくない。
証明のどこに有限性が効いているのか、また無限集合の場合に成立しない例を
挙げておけばポイントが高いかも知れません。
このQ&Aで解決しましたか?
関連するQ&A
-PR-
-PR-
このQ&Aにこう思った!同じようなことあった!感想や体験を書こう
このQ&Aにはまだコメントがありません。
あなたの思ったこと、知っていることをここにコメントしてみましょう。

その他の関連するQ&A、テーマをキーワードで探す

キーワードでQ&A、テーマを検索する
-PR-
-PR-
-PR-

特集


新大学生・新社会人のパソコンの悩みを解決!

いま みんなが気になるQ&A

関連するQ&A

-PR-

ピックアップ

-PR-
ページ先頭へ