- ベストアンサー
偏導関数の連続性の証明について
- 偏導関数の連続性の証明について
- 記号の説明 Ball[(a,b),r):={(y,z)∈C^2;|(a,b)-(y,z)|<r}, Disc[a,r):={y∈C;|y-a|<r}。
- [Claim] Y,Z⊂Cとし,z_0∈Zとする。複素関数f∈Map(Y×Z,C)は連続とする。もし,g(y):=∃lim[z→z_0](f(y,z)-f(y,z_0))/(z-z_0)∈Map(Y,C)ならgはYで連続となる。[Proof] h(y,z):=(f(y,z)-f(y,z_0))/(z-z_0) (z≠z_0の時), g(y) (z=z_0の時)と置くと,hはY×Zで連続であるから任意のy∈Y,0<εについてh(Ball[(y,z_0),δ_{y,ε})⊂Disc[h(y,z_0),ε)なる0<δ_{y,ε}が存在する。これは任意のy∈Y,0<εについてg(Ball[(y,z_0),δ_{y,ε})⊂Disc[g(y,z_0),ε)なる0<δ_{y,ε}が存在する。よってgはYで連続となる。 (終)
- みんなの回答 (5)
- 専門家の回答
関連するQ&A
- ルベーグ可測関数であることの証明
C^2は2次元の複素数体とする。 φ≠E⊂C^2はコンパクトでEの第一射影,第二射影を夫々A:=proj_1E,B:=proj_2E(この時,E⊂A×Bとなります), f:E→Cは連続でfはBで偏導関数可能と仮定します。 この時, g(y):=sup{|(f(y,z)-f(y,z_0))/(z-z_0)|∈[0,+∞);z_0≠z∈B}と置くと,g:A→[0,+∞]はルベーグ可測関数になる事を示したいのですが, どうすればいいでしょうか? 一応,下記のように考えました。 h(y):=(f(y,z)-f(y,z_0))/(z-z_0)(∈C)と置くと,h(y)は連続なので|h(y)|も連続ですよね。 この時,g(y)も連続になる事が言えればお仕舞いだと思うのですが。。 fの連続性からg(y)も連続になりますね。 よって,任意のr∈Rに対して,もしr=inf(|h(y,z)|;(y,z)∈A×(B\{z_0})}なら {y∈A;g(y)>r}は閉集合でr>inf(|h(y,z)|;(y,z)∈A×(B\{z_0})}なら{y∈A;g(y)>r}は開集合になりますよね。 従って,gは可測関数になると思うのですがこれで正しいでしょうか?
- 締切済み
- 数学・算数
- 関数の連続性
社会人になってまた数学の勉強始めたんですが、いきなり躓いてしまいました。どなたか助けてください。「無限と連続」の数学 という本を現在やっています。 関数 y=f(x) が x=a で連続であるための必要十分条件は a に収束する任意の数列 a[n] について、数列 { f(a[n]) } が f(a) に収束することである この定理の証明なのですが、 x=a で連続である時 { f(a[n]) } が f(a) に収束することは示せたのですが、逆に { f(a[n]) } が f(a) に収束するとき x=a で連続であるというのが示せません。というか成り立たない気がするのですが… 以下、私の考え↓ f(x)を次のように定義します x=a[n] のとき a[n] x=a のとき a x=/=a かつ x=/=a[n]のとき a+3 この関数の場合 { f(a[n]) }は f(a) に収束するが、x=aが連続でないという命題が示せてしまう 任意のδ>0 s.t. 存在するx∈R |x-a|<δかつ|f(x)-f(a)|>=2 を示す どのようなδをとっても、開区間(a-δ,a+δ)のなかにはx=/=a かつ x=/=a[n] を満たす点が存在しいてしまうのでf(x)はそのxの値においてa+3の値をとり、|f(x)-f(a)|>=2をみたすので上記の命題は真になる 以上が私の考えです。ただ、ちょっと不安に思う点があります。 wikipediaの関数の連続性について書かれている記事だと(http://ja.wikipedia.org/wiki/%E3%82%A4%E3%83%97%E3%82%B7%E3%83%AD%E3%83%B3-%E3%83%87%E3%83%AB%E3%82%BF%E8%AB%96%E6%B3%95) s.t.のすぐ後に「任意のx∈R」とあります。だから連続の命題の否定は 存在するε>0 任意のδ>0 s.t. 存在するx∈R |x-a|<δかつ |f(x)-f(a)|>=ε になるのではないかと思うのですが、私の取り組んでいる本には「存在するx∈R」のような表記がありません。 私の考えはどこで間違っているのでしょうか。
- ベストアンサー
- 数学・算数
- 連続関数の逆関数の連続性の証明について
連続関数の逆関数の連続性の証明について、分らないことがあります。 検索して出てくるサイトの証明や本の証明などとは少し違った証明のやり方なのですが、どこを探して理解すればいいのかさっぱりわかりません。 f(x)の逆関数をg(y)としたとき、 limg(y+h)=limg(y+h)=g(y)が成り立つことを示す、というものです。 (この式のlimの下は、左からh→0+0,h→0-0です) ここでの記述は難しいと思いますので、参考になるサイト、もしくは本を教えていただけないでしょうか? どうしても気になるので、教えていただけると嬉しいです。
- ベストアンサー
- 数学・算数
- f(x)+g(y)+h(z)=C それぞれ定数
f(x)+g(y)+h(z)=C (C:定数) が任意のx,y,zに対して成立するとき、f(x),g(y),h(z)はそれぞれ定数であることを示し、 それらの3つの定数の間の満たすべき関係式を求めよ。 という問題があるのですが、自分は 定数a,b,cについて、f(a),g(b),h(c)はそれぞれ定数となる。 f(x)+g(y)+h(z)=Cが任意のx,y,zに対して成立するので、 f(x)=C-g(b)-h(c) g(y)=C-h(c)-f(a) h(z)=C-f(a)-g(b) も成立するので、f(x),g(y),h(z)はそれぞれ定数である。 さらにこれらの辺々を加えると、 f(x)+g(y)+h(z)=3C-2(f(a)+g(b)+h(c)) となる。 という回答を考えたのですが、これでいいのでしょうか? よろしくお願いします。
- ベストアンサー
- 数学・算数
- 連続の証明についての質問
f(x)=x^3がRで連続であることの証明は ∀y∈Rに対して、∀ε>0,∃δ>0,|x-y|<δ⇒|x^3 - y^3|<εをいえばよい ので、証明は (証明) δ = min{ε/(2|y|+1)^2,1} とおき、|x-y|<δとすれば、 |x^3-y^3|=|(x-y)|*|(x^2+xy+y^2)|≦|(x-y)|*(|x^2|+|xy|+|y^2|) <δ*(|x|+|y|)^2<δ*(|y+δ|+|y|)^2≦δ*(|2y|+δ)^2 ≦δ*(|2y|+1)^2 (δ≦1より) ≦ε (δ≦ε/(2|y|+1)^2より)■ でおそらくできていると思うのですが、f^-1:fの逆関数がRで連続である ことの証明がうまくいきません。 y=f(x)とおくと、f(x)=x^3から、f^-1(y)=x=y^1/3 (yの3分の1乗)となり、 ∀z∈Rに対して |f^-1(y)-f^-1(z)|=|y^1/3-z^1/3| …(*) (*)から先の変形がうまくいきません。どなたか、わかる方、 お教えください。
- ベストアンサー
- 数学・算数
- 写像の連続性について
(Z,d)から任意の距離空間(Y,d_Y)への任意の写像fが連続であることを証明したいです。 ただし、Zは整数全体の集合でd(x,y)=|x-y|です。 任意の写像fの連続性について証明するのでYの任意の開集合Oについてf^(-1)(O)がZの開集合であることを示そうと考えたのですが、fが任意なのでf^(-1)もどのような様子かわからず困っています。 以下、自分の回答を掲載します。間違えている点と、どのように考えるべきかを教えてください。 任意のx,y∈Zに対しf(x),f(y)が存在する。 Oは開集合なのであるε(>0)が存在し、 f(y)∈N(f(x);ε)⊂O ⇔ y∈f^(-1){N(f(x);ε)}⊂f^(-1)(O) ここまでです。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 一様連続の証明について
度々すみません。 またお世話になります。よろしくお願いします。 定理:『閉区間〔a,b〕で定義された連続関数は一様連続である。』 の証明についてです。 一様連続とは 「任意のε>0に対してδ>0が存在して、|x-y|<δを満たす区間内の 全てのx、yに対し、|f(x)ーf(y)|<εが成り立つ。」 ということですので、 背理法でこの定理を証明する場合は 「あるε>0において、どのようなδ>0に対しても|x'-y'|<δ かつ|f(x')-f(y')|≧ε x'、y'∈〔a,b〕となるx'、y'が存在する。」・・・(※) ことの矛盾を導けばよいのですが、 ここで以下のサイトの命題4、1を見てください。 http://www.google.co.jp/search?hl=ja&safe=off&q=%E4%BA%95%E4%B8%8A%E6%B7%B3%E3%80%80%E4%B8%AD%E9%96%93%E8%A9%A6%E9%A8%93%E3%80%80%E8%AC%9B%E7%BE%A9%E5%86%85%E5%AE%B9%E3%80%80%E6%96%B0%E3%81%97%E3%81%84%E5%B9%B4&btnG=%E6%A4%9C%E7%B4%A2&lr= これは私が勉強している参考書「微分積分学 難波誠著」と同じ証明方法ですが、 見て分かる通り、この証明は部分列や「ボルツァーノ・ワイヤストラスの定理」を用いたりしてとても複雑です。 ですが私には部分列などを使う必要性が理解できません。 私の考えた証明はこうです。 『あるε>0に対して、δ>0を0に近付けていくと |xーy|<δにおいて|x-y|も0に近づく。 この時閉区間〔a,b〕にある点cにx、yが共に近づく と考えてよい。(δ→0でx、y→c) そしてこの時 |f(x)ーf(y)|→|f(c)ーf(c)|=0 (δ→0) これは|f(x)ーf(y)|≧ε>0 に反するので題意の定理は証明された。』 ずいぶん簡単ですが、 おそらくどこかに誤りがあるのだと思います。 どこに誤りがあるか分かる方、いらっしゃいましたら ご指摘よろしくお願いします。
- ベストアンサー
- 数学・算数
- 多変数関数の偏導関数を教えてください。
z=f(x,y)について第2階までの偏導関数はどのようにして求めるのですか、教えてください。 1) x/y+y/z+z/x=1 2) x^2/a^2+y^2/b^2+z^2/c^2=1 3) x^x y^y z^z=1
- 締切済み
- 数学・算数
お礼
ご回答大変ありがとうございます。 つまり,下記の命題は"偽"なのですね。。。 [Claim] Y,Z⊂Cとし,z_0∈Zとする。複素関数f∈Map(Y×Z,C)は連続とする。 もし,g(y):=∃lim[z→z_0](f(y,z)-f(y,z_0))/(z-z_0)∈Map(Y,C)ならgはYで連続となる。