19/01/26 16:38:00.86 sayuR5HK.net
>>83
>「完全代表系を作るところのみで、選択公理が使われている」と錯覚していたんだ
錯覚ではなく、事実として、（完全）代表系を作るところでのみ、選択公理が使われています
>１）R^Nから同値類の非可算無限族を構築するところと
>２）できた同値類の非可算無限族から、なんでも良いから、たった１つ代表を取り出す
>この二つの比較で、
>１）は、同値類の非可算無限族と、R^Nの全ての元を、ヒモ付けした。
>つまり、関数を構築したと
19/01/26 16:38:00.86 sayuR5HK.net
>>83
>「完全代表系を作るところのみで、選択公理が使われている」と錯覚していたんだ
錯覚ではなく、事実として、（完全）代表系を作るところでのみ、選択公理が使われています
>１）R^Nから同値類の非可算無限族を構築するところと
>２）できた同値類の非可算無限族から、なんでも良いから、たった１つ代表を取り出す
>この二つの比較で、
>１）は、同値類の非可算無限族と、R^Nの全ての元を、ヒモ付けした。
>つまり、関数を構築したと