2018-11-16から1日間の記事一覧
Zornの補題と同値な命題の中でも、特にZornの補題と形が似ているものの同値性を証明する。 $X$を集合とする。 $C$を$X$の部分集合に関する性質とする。 $C$は有限的な性質 $:\Leftrightarrow$ $\all Y \subset X \left[\; Y \rm{は性質} C \rm{を持つ} \;\Le…
Zornの補題と同値な命題の中でも、特にZornの補題と形が似ているものの同値性を証明する。 $X$を集合とする。 $C$を$X$の部分集合に関する性質とする。 $C$は有限的な性質 $:\Leftrightarrow$ $\all Y \subset X \left[\; Y \rm{は性質} C \rm{を持つ} \;\Le…