単射のよくある間違い

546

概要

いくつかの参考書で間違えていた単射についての定理を解説します.

間違い

写像 $f : X \to Y$ について次は同値.

(2)から(1)は正しいですが、(1)から(2)は反例があります.

空写像 $\emptyset : \emptyset \to {\emptyset}$ は単射.
$g \circ \emptyset = {id}_{\emptyset}$ となる写像 $g : {\emptyset} \to \emptyset$ は存在しない.

修正すると、たとえば次のようになります.

写像 $f : X \to Y$ について次は同値.

少し変形したバージョンで次の間違いがあります.

間違い

集合 $X, Y$ について次は同値.
(1) 単射 $f : X \to Y$ が存在する.
(2) 全射 $g : Y \to X$ が存在する.

(2)から(1)は選択公理からわかります.
(1)から(2)の反例は定理1と同じです.

修正すると、たとえば次のようになります.

定理2は濃度の大小関係で大きな影響があります.
全射で濃度の大小関係を扱おうとすると、空集合 $\emptyset$ の扱いを別にしないといけなくなります.
さらに、選択公理を使わないと苦しい局面が多くなり、議論が複雑になりやすいです.

[1]

投稿日：2021年10月10日

高評価したユーザはいません

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

23555

コメントはありません。

読み込み中