2019-02-21から1日間の記事一覧
(内輪向けのメモです。)選択公理のステートメントの流儀(1)「非交叉族・選択集合」流と(2)「族・選択関数」流とが同値であることを示す。●(2)→(1)の証明: 空集合を持たず、どの2要素(集合)も交わらない族\(\mathcal{F}\)を任意にとり、その…
(内輪向けのメモです。)選択公理のステートメントの流儀(1)「非交叉族・選択集合」流と(2)「族・選択関数」流とが同値であることを示す。●(2)→(1)の証明: 空集合を持たず、どの2要素(集合)も交わらない族\(\mathcal{F}\)を任意にとり、その…