12/01/09 12:54:10.25
>>780
杉浦の定義からもいくつか継承的集合の例を作れば、
n ∈ N ⇒ n + 1 ∈ N は明らかだから、自明にしたかったけど、
>>558はもっと細かいことを指摘してるんじゃなかろうかと思ったのよね。
実際、証明したら少々苦戦したし、面倒だったし・・・
もしかしたら、対偶とか使えば楽に証明できそうな気もするが、考えてないｗ
12/01/09 12:54:10.25
>>780
杉浦の定義からもいくつか継承的集合の例を作れば、
n ∈ N ⇒ n + 1 ∈ N は明らかだから、自明にしたかったけど、
>>558はもっと細かいことを指摘してるんじゃなかろうかと思ったのよね。
実際、証明したら少々苦戦したし、面倒だったし・・・
もしかしたら、対偶とか使えば楽に証明できそうな気もするが、考えてないｗ