数酸

数学に関して書き留めておこうと思ったものを気まぐれに。

2018-05-03から1日間の記事一覧

ベルンシュタインの定理のイメージ優先証明

ベルンシュタインの定理 集合から集合への単射およびからへの単射が存在するならばからへの全単射が存在する。 この定理の証明はイメージ的にはかなり素朴だと思うので、そちらを優先して冗長に説明してみます。 まず一般論から。 集合と単射があるとき上に…