2015-01-23から1日間の記事一覧
赤集合論p222、Zornの補題⇒濃度比較可能の証明。帰結は対称な形をしているので、証明も対称に書くことを試みた。(証明)\(X\times Y\)上の二項関係で、その任意の元\(\langle x_1,y_1\rangle,\langle x_2,y_2\rangle\)に対し\(x_1=x_2\leftrightarrow y_1=y…
赤集合論p222、Zornの補題⇒濃度比較可能の証明。帰結は対称な形をしているので、証明も対称に書くことを試みた。(証明)\(X\times Y\)上の二項関係で、その任意の元\(\langle x_1,y_1\rangle,\langle x_2,y_2\rangle\)に対し\(x_1=x_2\leftrightarrow y_1=y…