分からない問題はここに書いてね 472 (974ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
631(1): 02/09(日)02:12 ID:BnvKFdb2(1/3) AAS
斎藤毅著『集合と位相』
自然数 N の元を
0 := ∅
1 := P(0)
2 := P(P(0))
3 := 2 ∪ {2}
4 := 3 ∪ {3}
省9
632: 02/09(日)02:31 ID:BnvKFdb2(2/3) AAS
自然数 m, n に関する条件 m ⊂ n ∨ n ⊂ m を C(m, n) で表し、自然数 n に関する条件 ∀m ∈ N C(m, n) を C(n) で表す。
すべての自然数 n に対して C(n) がなりたつことを、 n に関する帰納法で示す。
n = ∅ ならば任意の自然数に対し ∅ ⊂ m である。
よって、 C(0) がなりたつ。
633: 02/09(日)02:31 ID:BnvKFdb2(3/3) AAS
C(n) がなりたつとして、すべての自然数 m に対し C(m, n + 1) がなりたつことを、 m に関する帰納法で示す。
m = ∅ のときはよい。
C(m, n + 1) がなりたつとして、 C(m + 1, n + 1) がなりたつことを示す。
C(n) がなりたつから、 C(m + 1, n) もなりたつ。
n + 1 ⊂ m なら n + 1 ⊂ m ⊂ m + 1 であり、 m + 1 ⊂ n なら m + 1 ⊂ n ⊂ n + 1 だから、 m ⊂ n + 1 ∧ m ≠ n + 1 ∧ n ⊂ m + 1 ∧ n ≠ m + 1 の場合に示せばよい。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s