ツイッタ「ε-δ論法が難しいわけないだろ」 (223レス)
上下前次1-新
抽出解除 レス栞
91(2): 2024/12/31(火)18:08 ID:xeRxaJy4(23/37) AAS
>>61
>(∀ε∃N∀n>N |an-a|<ε)∧(∀ε∃N'∀n>N' |an-a|<ε)
>は
>∀ε∃N,N'∀n>N,N' |an-a|<ε∧ |bn-b|<ε
>を導きますよと
ここは
(∀ε∃N∀n (n>N→|an-a|<ε))∧(∀ε∃N'∀n (n>N'→|bn-b|<ε))
=
∀ε(∃N∀n (n>N→|an-a|<ε))∧(∃N'∀n (n>N'→|bn-b|<ε))
=
∀ε∃N,N'(∀n (n>N→|an-a|<ε))∧(∀n (n>N'→|bn-b|<ε))
=
∀ε∃N,N'∀n (n>N→|an-a|<ε)∧(n>N'→|bn-b|<ε)
→
∀ε∃N,N'∀n ((n>N∧n>N')→(|an-a|<ε∧|bn-b|<ε))
て感じの自明な論理展開ね
107: 2024/12/31(火)18:51 ID:xeRxaJy4(32/37) AAS
>>101
だからさ>>61,91,104
112(2): 2024/12/31(火)19:20 ID:xeRxaJy4(35/37) AAS
>>110
まあ
君の考え方はわかったからあとは好きにしていいよ
>>61,91,104
に思いを致してくれるといいとは思ってるよ
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 0.016s