これは何?
補題5.13の行間(?)が気になって、結局2日ぐらい考えたら分かったので書く。引用は全て丸善出版「ポストモダン解析学 原書第3版 J.ヨスト著」から。引用中の赤字強調は全てashiato45による。
問題
状況設定
証明しようとしているもの
本題
証明から問題の箇所を引用します。
となるすべてのでとおく。なので、Aは空集合ではない。とおく。fの連続性よりであり…(略)
というのが本文なのだが、「fの連続性」からどうしてが出るのか分からなかった。cがここに書いてある条件を満たしているのかとも思ったのだが、この直後にそのものから
を導いているのでそうではないっぽい。
「fの連続性より」で何がおこったのか。
かいとう
登場人物が多くて大変なので、問題と直接の関わりがあるかは分からないがとりあえずいろいろ調べてみる。状況をなんとか目視しやすくしてみる。
まず、Aの定義からしてでならなことがわかる。*2よって、Aはぶちぶち途中で千切れたりせず、かのどちらかであることが分かる。
図の下の青字にあるように、AがだろうがだろうがAの任意の点で
がなりたつ。なぜなら、cはAの上限なので、cがAに属するとすればAの定義そのままで言え、cがAに属さなかったとしても、cよりちょっとだけ小さい点を十分小さい正数εで表わせばこれはAに属するので、任意の正数εと任意のについて
がなりたち、結局同じことになる。証明おわり。なんなら、一方の点を一個とって、それが他方に入ることを言ってもいい。
ではAから出てしまったらどうなるのかというと、それはとの大小はどちらだか分からなくなってしまう。先程言ったように、「千切れて」とびとびにがなりたっているかもしれないし、ひょっとしたらそんな区間はないのかもしれない。
してみると、cは「aからここまでは確実にと言える」という右端の限界だということになる。そしてこれが大事なのだが、緑字で書いたとおり「右端の限界」ということは、その(cの)ちょっと右ではという風に否定が確実に成りたつということが分かる。
以上をまとめてみると、青字の情報を特殊化してとりだして、「cのちょっと左までは(不等号が小なりイコール)」が言え、緑字より「cのちょっと右までは(不等号が大なり)」が言える。連続性めいてきた。
不等号の両端に式を書くのが面倒なので、以下
と定義する。すると、先程のは「cのちょっと左まではFは0以下」で「cのちょっと右まではFは正」ということが言える。
今は簡単のために、このcの左右ちょっとの範囲では定数であるとする。*3すると、fは連続関数であること、Fはfの足し引き定数倍であること、連続関数の足し引き定数倍は連続関数となることより、Fが連続関数であることが言える。連続関数Fが、cのちょっと左まで0以下、ちょっと右まで正なので、が言えた。
最後に、「cの左右ちょっとの範囲では定数である」の仮定を外す。心配なのは、「cのちょっと左まではFは0以下だったのに、不連続性をつかってぴょんとcで0でない正になってしまうのでは」ということだが、が単調増加であることから、この項はFを減少させる方向にしか寄与しない。したがって不連続性を使って「増える」ことは絶対にできない。おわり。
ところで
Dで区切られた区間の各々について、千切れない区間での有限増分の定理をつかって、それを足しあわせるんじゃだめなんですか。