No.2ベストアンサー
- 回答日時:
対偶を使えばいいでしょ。
つまり(**)の否定から(*)の否定を導けば良い。(**)を略記なしに書くと、
∀ε((ε∈R∧0<ε)⇒∃m(m∈N∧∀k((k∈N∧m<k)⇒|a_k-1|<ε)))
であり、その否定は
∃ε((ε∈R∧0<ε)∧∀m(m∈N⇒∃k((k∈N∧m<k)∧((a_k-1)≧ε∨-(a_k-1)≧ε)))
です。質問者さん流に書けば
0<∃ε∈R,∀m∈N, m<∃k∈N;((a_k-1)≧ε∨-(a_k-1)≧ε)…~(**)
とでもなりますか。すると(*)の否定は
0<∃ε'∈R,∀m∈N, m<∃k∈N;((a_k-1)/(a_k+1)≧ε'∨-(a_k-1)/(a_k+1)≧ε')…~(*)
となりましょう。
で、~(**)⇒~(*)を証明すりゃ良い。まず~(**)だとすると、ε, m, kを固定したとき、
[1] (a_k-1)≧εの場合、(ANo.1の計算を利用すると)
(a_k-1)/(a_k+1) = 1-2/(a_k +1)≧1-2/(2+ε)>0
[2] -(a_k-1)≧εの場合も同様に、
-(a_k-1)/(a_k+1) = -(1-2/(a_k +1))≧2/(2-ε)-1>0
です。
さてここで、
0<ε'∧((a_k-1)/(a_k+1)≧ε'∨-(a_k-1)/(a_k+1)≧ε')
が成り立つようなε'(ただしε'は、m, kに依らずεだけで決まる)の具体例をひとつ構成すれば良いわけです。
詳細なご説明有難うございます。
> です。質問者さん流に書けば
> 0<∃ε∈R,∀m∈N, m<∃k∈N;((a_k-1)≧ε∨-(a_k-1)≧ε)…~(**)
> とでもなりますか。
否定は
0<∃ε∈R,∀m∈N, m<∃k∈N;偽=[|a_k-1|<ε]…~(**)
じゃないですかね。これを書き換えると
0<∃ε∈R,∀m∈N, m<∃k∈N;偽=[-ε<a_k-1∧a_k-1<ε]…~(**)
だから
0<∃ε∈R,∀m∈N, m<∃k∈N;真=[(a_k-1)≧-ε∨(a_k-1)≦ε]…~(**)
つまり、
0<∃ε∈R,∀m∈N, m<∃k∈N;(a_k-1)≧-ε∨(a_k-1)≦ε…~(**)
と思うのですが、、、勘違いしてますでしょうか??
No.4
- 回答日時:
ANo.2へのコメントについてです。
> 0<∃ε∈R,∀m∈N, m<∃k∈N;(a_k-1)≧-ε∨(a_k-1)≦ε…~(**)
>と思うのですが、、、勘違いしてますでしょうか??
はい、勘違いです。
(a_k-1)≧-ε∨(a_k-1)≦εってところは|a_k-1|<εの否定になってなくちゃいけないでしょ?でも、例えばε=2, (a_k-1)=-1としてみると、|a_k-1|<εは真で(a_k-1)≧-ε∨(a_k-1)≦εも真。否定になってません。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 工学 res(f(z),a)=1/(k-1)! lim[z->a](d/dz)^(k-1)(z-a)^kf 1 2022/12/01 23:05
- 数学 画像のa(n)の式から 1/(n+1)! lim[z->a](d/dz)^(n+1)(z-π/2)t 23 2022/08/02 02:01
- 数学 質問14 i)0<r<2かつn≧-1かつ(0<r<2を考慮した上で)r=lz-1lであるため、z=→ 26 2022/08/17 23:40
- 数学 三角関数の極限を「はさみうちの原理」で考える時の不等号について 1 2022/07/22 01:13
- 数学 写真の式についてですが、いくつか質問があります。 ①赤丸部分と青丸部分についてですが、 f(g(x+ 1 2023/05/11 17:31
- 数学 res(f(z),a)=1/(k-1)! lim[z->a](d/dz)^(k-1)(z-a)^kf 13 2022/12/18 01:23
- 数学 ガチ急ぎです!【大学数学】【解析】 有界な数列{a_n}について、k>0として ①lim sup k 1 2022/11/25 07:45
- 数学 res(f(z),a)=1/(k-1)! lim[z->a](d/dz)^(k-1)(z-a)^kf 38 2022/08/24 02:41
- 工学 制御工学についてです。 1巡伝達関数Lが L=k/(s+1)(s+2)(s+3) である。kをゲイン 2 2023/01/31 09:28
- 数学 lim[n→∞] n! {1-log(Σ[k=0→n]1/k!)} はどうやって求めるのでしょうか? 5 2022/03/26 10:41
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
【数学】3で割ると1余り、7で割...
-
点P(x,y)が平面上の領域|x|+|y|...
-
0を移項したら、+?ー?どっち?...
-
小学生の逆算、および移項が分...
-
100点換算の仕方について教えて...
-
50点満点の6割は何点ですか?
-
数Iの問題です。 90°<θ<180°と...
-
赤で囲んだ問題で、右に書いた...
-
高校数学の質問です 文字を消去...
-
四元一次連立方程式の解き方
-
2つのベクトル→a=(2.1.-3)と→b=...
-
文章の書き方について(言葉の...
-
9でわると4あまり、12でわ...
-
論文校正についてです。 先日編...
-
0<m<1とする。0≦x≦1の範囲で...
-
9x +6X +1の因数分解の解き方教...
-
この問題の意味と解き方全くわ...
-
4元連立方程式について
-
いまSPIの参考書を解いているの...
-
二次方程式
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
【数学】3で割ると1余り、7で割...
-
小学生の逆算、および移項が分...
-
2の100乗を9で割ったときの余り
-
中2です!謎だらけで困っています…
-
物理の問題です (2)(a)の途中式...
-
点P(x,y)が平面上の領域|x|+|y|...
-
2次方程式で
-
数学的帰納法 1²+3²+5²+・...
-
0を移項したら、+?ー?どっち?...
-
税率5%の税抜きと、5%割引の違い
-
陰関数のパラメータ表示について
-
高校数学
-
因数分解と解の公式と2次方程式
-
移項の計算式のやり方がイマイ...
-
xが何乗のとき係数が最大になり...
-
水分計算
-
平面ベクトル(内積を使う問題で)
-
計算方法分かりません
-
X(個)がはいってる計算
-
数学問題を聞きたいです
おすすめ情報