15/12/31 18:21:43.88 DJ4l0EHl.net
>>555
バカなの？証明は既に終わってるじゃんｗ
そこまで丁寧に書かないと分からないのか？ｗ
証明
R^N/～ が R^N と同一視できるなら、R^N/～ は何も類別してないことになる(>>552)。
すなわち、R^N/～ の各元は1点集合となる。しかし、R^N/～ は非自明な類別であり、
各元は1点集合ではない。よって、R^N/～ は R^N と同一視できない。
15/12/31 18:21:43.88 DJ4l0EHl.net
>>555
バカなの？証明は既に終わってるじゃんｗ
そこまで丁寧に書かないと分からないのか？ｗ
証明
R^N/～ が R^N と同一視できるなら、R^N/～ は何も類別してないことになる(>>552)。
すなわち、R^N/～ の各元は1点集合となる。しかし、R^N/～ は非自明な類別であり、
各元は1点集合ではない。よって、R^N/～ は R^N と同一視できない。