0172132人目の素数さん
2018/05/03(木) 21:05:19.06ID:PQNVo0sNCauchyの理論にそって考えるなら
(仮定)
∀e>0 ∃A B ∀s s' ; t t' a<s,s'<A B<t,t'<b ⇒ |p(s) + q(t) - p(s') - q(t')| < e…(*)
これを利用して
∀e>0 ∃A ∀s s' ; a<s,s'<A ⇒ |p(s) - p(s')| < e…(**)
を示したい。
e>0が与えられた。見つけないといけないのは(**)のA。使えるのは(*)。