ガランガラのブログ

数学や好きな音楽について書くことが多いです。

2023-02-03から1日間の記事一覧

A ⊂ B かつ A と B の間に全単射があるなら A=B か?

今回は かつ と の間に全単射が存在するなら か? を考えます. 以下では, 集合 に対して で の濃度(元の個数)を表すとします. まず, 有限集合においては次が成り立ちます. 命題 1. を有限集合とし, とする. このとき, と の間に全単射が存在するならば であ…