2014-09-27から1日間の記事一覧
前エントリの証明を、\(A\rightarrow B\)でなく\(A\rightarrow g[B]\)の全単射を構成する方法に変えただけの証明。\(g^{-1}\)が登場しないのでちょっとだけ簡明かもしれない。【定理】(Bernsteinの定理) 集合\(A,B\)について、単射\(f:A\rightarrow B\)と…
前エントリの証明を、\(A\rightarrow B\)でなく\(A\rightarrow g[B]\)の全単射を構成する方法に変えただけの証明。\(g^{-1}\)が登場しないのでちょっとだけ簡明かもしれない。【定理】(Bernsteinの定理) 集合\(A,B\)について、単射\(f:A\rightarrow B\)と…