22/08/25 20:46:44.55 rYWQEwxt.net
>>68
>選択公理は「代表系が存在する」と言ってるだけで
>「中身が見れる」なんて一言も言ってない。
s∈R^N が属す同値類を[s]と書く。s∈[s]∈R^N/～
写像φ：R^N→R^N/～ を φ(s)=[s]で定義する。
22/08/25 20:46:44.55 rYWQEwxt.net
>>68
>選択公理は「代表系が存在する」と言ってるだけで
>「中身が見れる」なんて一言も言ってない。
s∈R^N が属す同値類を[s]と書く。s∈[s]∈R^N/～
写像φ：R^N→R^N/～ を φ(s)=[s]で定義する。