「微分積分学I」(三村征雄 著、岩波全書、1980年度版)のP56 定理25 の証明が分かりません。
この定理25 は上極限、下極限の定義を極限の定義と類似の形ですることができることを示すものです。
定理25 lim sup a(n), n→+∞、=α∈Rであるためには、ε>0が任意に与えられたとき、
殆どすべてのnに対し、 a(n)<α+ε (8)
無限に多くのnに対し、αーε<a(n) (9)
となることが、必要十分である。 (以下省略)
注記: a(n)はa にインデックスのn がついたものです。
というところなのですが、P57の証明では次のようになっています。
lim sup a(n)=α、すなわちlim a(n)バー(aの頭に横棒)
=αとすれば、ε>0が与えられたとき、
殆どすべてのn に対し、αーε<a(n)(aの頭に横棒)<α+ε
となる。a(n)≦a(n)バー であるから、まず(8)が成り立
つ。
ここまでは分かるのですが、
つぎからはさっぱりです。(『・・・』に包んでおきます。)
『つぎに、αーε<a(n) バー=sup{a(m); m≧n}であることか
ら、αーε<a(m(n))∈{a(m); m≧n}であるようなm(n)が存在し、
これらのm(n)のなかには重複するものがあるかもしれないが、
m(n)≧nであるから、重複するものを除いても、無限に多くの
ものが残る。すなわち(9)が成り立つ。』
注記: a(m(n))はa にインデックスm がつき、そのmにさらにインデックスnがついたものです。
あれこれ考えているうちに、次のような証明を思いつきました。
<<・・・>>で包んでおきます。
<<数列a(n)を作っている数の集合をA と表す。
もし、αーε<a(n) を満たすAの要素a(n)が有限個し
かないと仮定する。そのようなa(n)のインデックスnには
最大値が存在する.それをNとすると、
αーε<a(N) 、a(N+1)≦αーε、a(N+2)≦αーε、・・・となる。
よって、A(N)={a(N), a(N+1), ...}, A(N+1)={a(N+1),
a(N+2), ...}, ・・・・・とすると、
(これは上極限、下極限を定義するときの表現と同じです)
これらのどの要素もインデックスが N+1かそれより大きいので、
A(N+1)、A(N+2)、...のどの要素もαーεより大きくなることは
ないのでsupの定義とa(n)バー が単調減少数列になることから、
・・・≦a(N+2)バー ≦a(N+1)バー ≦αーε
これはα≦a(n)バー と矛盾する。故に(9)が成り立つ。>>
以上よりお願いが二つあります。
1.『・・・』について、理解のヒントを教えてもらえるとありがたいです。
2. <<・・・>>について、私の証明を検証してもらえるとありがたいです。
勝手ながらよろしくお願いいたします。
No.1ベストアンサー
- 回答日時:
>『つぎに、αーε<a(n) バー=sup{a(m); m≧n}であることか
ら、αーε<a(m(n))∈{a(m); m≧n}であるようなm(n)が存在し、
ーーーーーーーーーーーーーーー
基本事項です。
αーεは、{a(m); m≧n}の上界ではないということです。
この回答への補足
上限と下限がミックスしていてここの勉強ではいつも頭が足りない気がします。自分の証明の検証についてどなたからもコメントがなかったのが残念ですが、ご回答を手がかりにもう一度始めから定理に取り組んでみたいと思いました。
どうもありがとうございました。
確かに,『αーεは、{a(m); m≧n}の上界ではないということです。』ですね。この観点をうっかりしておりました。どうもありがとうございました。自分の証明の検証とか、件の本の読み直しとかでお礼が大変遅くなりまして申し訳ありませんでした。
今後ともよろしくお願いいたします。
重ねて、お礼申し上げます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 三角関数の極限を「はさみうちの原理」で考える時の不等号について 1 2022/07/22 01:13
- 数学 複素関数にロピタルの定理を使おうとしている回答者は、複素関数論はおろか微積分学もよく分かっていない、 5 2022/12/28 18:02
- 数学 無理数の数字の組み合わせ。無限の意味について 5 2022/05/28 22:53
- 数学 『数は実在するのか』 6 2023/06/04 15:15
- 数学 有限な値を取るための条件って一般化できるのでしょうか 6 2022/08/25 15:45
- 物理学 宇宙は無限か有限か? 4 2023/05/28 13:35
- 物理学 電磁気学での質問です。 電荷のない空間ではポテンシャルの極大点, 極小点が存在しないことを証明せよ. 3 2023/05/12 22:39
- 数学 高3の微分についての質問です。 ある説明に「数学IIで扱ったのは多項式関数で、この時極限値は必ず存在 6 2023/07/02 10:04
- 数学 円周角の定理の「円周角の大きさはその弧に対する中心角の半分である」ということの証明には3つのパターン 5 2023/06/24 17:03
- 哲学 物語における「魔法」は「実現可能性」というくびきがなく、作者がそれ故に恣意的に設定を決めることができ 2 2022/08/20 17:04
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
【遊びのピタゴラスイッチはな...
-
内田伏一著「集合と位相」裳華...
-
ニーベン・インケリの定理につ...
-
大学の記述入試で外積は使えま...
-
det(AB)=det(A)+det(B)
-
内心と外接円
-
至上最難問の数学がとけた
-
Sku
-
定理と法則の違い
-
ロピタルの証明
-
Perron-Frobeniusの定理につい...
-
点Pが円の内外にあるかによって...
-
過去に 「ii) f(z)=1/(z^2-1) r...
-
素数
-
ほうべき(方巾)の定理について
-
位数15以下の郡は可解である と...
-
(中3数学) AD=2、BC=3のとき、C...
-
何時間 何分 何秒を記号で表...
-
不完全微分であることの証明
-
数学Aの整数の性質について質問...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
過去に 「ii) f(z)=1/(z^2-1) r...
-
【遊びのピタゴラスイッチはな...
-
直角三角形じゃないのに三平方...
-
大学の記述入試で外積は使えま...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
定理と法則の違い
-
至上最難問の数学がとけた
-
実数の整列化について
-
十分性の確認について
-
AとBはn次正方行列とする。 積A...
-
ほうべき(方巾)の定理について
-
ファルコンの定理は解かれまし...
-
パップスギュルダンの定理について
-
オイラーの多面体定理の拡張
-
微分形式,微分幾何学の参考書
-
ディリクレ指標について( mod=5...
-
x^100を(x+1)^2で割ったときの...
-
nを整数とする。このとき、n^2...
-
大学数学 解答
-
4.6.8で割るとあまりはそれぞれ...
おすすめ情報