レス数が1スレッドの最大レス数(1000件)を超えています。残念ながら投稿することができません。
「集合・位相入門」輪読会
-
すいません
>>919訂正
(#) 一意的に定まらないと仮定するとW<a>〜W'<b>,W<a>〜W'<c>となる異なる2元b,c
がとれるが、W'<b>〜W<a>,W<a>〜W'<c>よりW'<b>〜W'<c>これは補題3の後半に反する
>>920
I_WはWからWへの順序同型写像。また前半よりWからWへの順序同型写像は一意的に定まる。
したがって、Wからそれ自身への順序同型写像は、W上の恒等写像I_Wのほかにない。
掲示板管理者へ連絡
無料レンタル掲示板