第8回 一様連続 [微分積分]
第8回 一様連続
区間Iで定義された関数f(x)が次の条件を満たすとき、f(x)はIで一様連続であるという。
任意のε>0に対して、あるδ>0が存在し、である任意のx、yに関して、
例1 f(x)=xは、実数全体の集合Rで一様連続である。
何故ならば、任意のε>0に対して、δ=ε>0とすれば、
であるから。
例2 は、実数全体の集合Rで一様連続である。
となるので、任意のε>0に対して、δ=ε>0にとれば、
例3 f(x)=x²は閉区間[0,1]で一様連続である。
よって、任意のε>0に対して、δ=ε/2と定めれば、
例4 は一様連続である。
よって、任意のε>0に対して、δ=ε>0とすれば、
となり、f(x)は一様連続である。
これらの例を見ると、関数f(x)がIで連続ならば、f(x)はIで一様連続と思われるかもしれないが、これは一般に成り立たない。
関数f(x)が区間Iで一様連続の定義を論理記号を用いて表すと、
であるから、これを否定した
つまり、
あるε>0があって、δ>0をどんなに小さくしても、
となるxとyが存在する
がf(x)がIで一様連続でないことの定義である。
例5 実数全体の集合Rで定義された関数f(x)=x²はRで一様連続でない。
任意のδ>0に対して、1/n<δとなるような自然数nをひとつを定め、
とすると、
となる。
一方、
となるので、δ>0をどんなに小さくしても、2より大きな点x、yが存在する。
よって、f(x)=x²はRで一様連続でない。
例6 開区間(0,1)で定義されるf(x)は(0,1)で一様連続でない。
任意のδ>0に対して、1/n<δとなる自然数nを一つ定め、
とすると、
また、このとき、
よって、δ>0をどんなに小さくしても、1≧になる点x、yが(0,1)に存在する。
したがって、f(x)=1/xは(0,1)で一様連続でない。
具体的な関数f(x)の一様連続性を証明することは一般に難しいので、無証明で次の定理を紹介する。
定理
有界閉区間[a,b]で連続な関数f(x)は、[a,b]で一様連続である。
例4はこの例である。
定理
関数f(x)、g(x)がI上で一様連続、かつ、α、βが実数ならば、αf(x)+βg(x)はI上で一様連続である。
【証明】
α=β=0のときは明らか。
αとβがともに0でないとする。
f(x)、g(x)はI上で一様連続なので、任意のε>0に対して、あるδ₁>0、δ₂>0があって、
だから、
δ=min{δ₁、δ₂}とすると、ならば、
よって、αf(x)+βg(x)はI上で一様連続である。
(証明終)
関数の連続の時と異なり、関数f(x)、g(x)がI上で一様連続であっても、関数f(x)g(x)はI上で一様連続とは限らない。
f(x)=xは実数全体の集合Rで一様連続であるが、f(x)=g(x)=xとすると、関数f(x)g(x)=x²はRで一様連続でないことからこのことを確かめることができる。
定数K≧0が存在し、任意のx,yに対して、
が成り立つとき、関数f(x)はリプシッツ連続であるという。
問題 関数f(x)がリプシッツ連続ならば、一様連続であることを示せ。
【略解】
K=0のときは明らか。
K>0のとき、任意のε>0に対して、
とすれば、
よって、f(x)がリプシッツ連続ならば、f(x)は一様連続である。
問 次の関数はリプシッツ連続か。
お前らに質問(物理編) [お前らに質問]
物理の素朴な質問
ニュートンの万有引力の法則というものがある。
質量m、Mである2つ物体があり、2つの物体の間の距離がrとすると、
この2つの物体に働く引力の大きさFはmとMの積に比例し、距離rの2乗に逆比例する。
比例定数Gは万有引力定数とか呼ばれるものだにゃ。
ここで、お前らに質問。
地球などの実際の天体は密度は均一じゃ〜ないけれど、半径aで均一な密度ρの物質でできたネムネコ星があるとする。
もちろん、ネムネコ星は完全な球形、真球だケロ。
さて、ネムネコ星の中心(ネムネコ星の重心)における引力の大きさは幾つでしょうか。
ネムネコ星の中心(ネムネコ星の重心)との距離rが0だから、(1)から引力の大きさは無限大∞になりますかい。
それとも有限の値ですかね〜。有限だとしたら、その値はいくつになりますかね〜。
もし無限大ならば、ネムネコ星の中心には、おそらく、ブラックホールが存在するね。
そして、ネムネコ星は、ネムネコ星の中心に存在するブラックホールの膨大な重力に引き寄せられ、猛烈な速度で重力収縮し、最終的に、そこに残るのはネムネコ・ブラックボールってことになるね(^^)
有限の値であるならば、ニュートンの万有引力の法則(1)に反しやしないかい。
まっ、常識的に考えれば、
r<aのときの引力の大きさは右の図の(1)、(2)、(3)のいずれかだとは思うが、(1)〜(3)とは違う値をとるかもしれないにゃ。
さっ、お前らに答えてもらおうじゃないか。
答は、きっと、ddt³さんが送ってくれるはずだにゃ。
ネムネコが考えるに、ネムネコ星とは、きっとこんな素敵な星だと思うにゃ。