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