スレタイ箱入り無数目を語る部屋16

スレタイ箱入り無数目を語る部屋16at MATH

スレタイ箱入り無数目を語る部屋16 - 暇つぶし2ch792:１３２人目の素数さん
24/03/04 12:21:31.97 p/poHKx1.net
空でない集合の空でない族の直積集合は空でない
つまり各集合からそれぞれの元を選ぶ選択関数が少なくともひとつは存在するという主張だね
箱入り無数目の場合、空でない集合＝R^N/～の要素＝尻尾同値類、空でない族＝尻尾同値類全体の族、直積集合の元＝完全代表系　だね

次ページ

続きを表示

1を表示