正則な複素関数の有界性について
- 正則な複素関数の有界性について疑問があります。
- 複素関数f(z)が開円板内で正則であるとすると、その関数は有界と言えます。
- 正則な関数は連続であり、積分路に沿って一周する積分の値はゼロです。よって、関数f(ζ)は有界です。
- ベストアンサー
正則だから、有界?
今日は。複素関数を独学中ですが、次の教科書の記載文中で分からない箇所が有りますので教えて下さい。 いま関数f(z)が開円板|z-α|<ρで正則であるとする。 zをこの開円板の点とし、rを|z-α|<r<ρなる任意の正の数、Cを円周|ζ-α|=rを正の方向に進む道とする。この後の記載は少し省略させて頂きまして、次の f(ζ)はC上で正則だから、有界であって、C上でつねに |f(ζ)|<M となるような正の数Mが存在し、…とあります。 疑問点は、「f(ζ)はC上で正則だから、有界であって」の箇所です。私としては、 f(ζ)はρ内およびC上で連続でCに沿って一周する積分路をとると∫_cf(ζ)dζ=0であるからf(ζ)は有界である。のかと考えてみたのですがすっきりしません。 なぜ正則だと有界といえるのか分かり易く教えていただけたら幸いです。
- torahuzuku
- お礼率74% (41/55)
- 数学・算数
- 回答数2
- ありがとう数2
- みんなの回答 (2)
- 専門家の回答
質問者が選んだベストアンサー
>正則である→微分可能→連続→f(ζ)は連続関数→有界閉集合である。の論理で良いのでしょうか? それで正しいです。 R^nはn次元ユークリッド空間のことを意味していました。
その他の回答 (1)
- ringohatimitu
- ベストアンサー率59% (111/187)
fはC上連続関数でCは有界閉集合ですから|f|の最大値が有限確定値でそれをMとしていると思われます。ここで使ってる事実はR^nやCにおける有界閉集合上の連続関数は最小値、最大値を持つということです。一般にはコンパクト集合上の連続関数は最小値、最大値を持つという事実です。
補足
今日は。早速のご回答ありがとうございます。 fはC上連続関数でCは有界閉集合ですから、Cにおける有界閉集合上の連続関数は最小値、最大値を持つというご説明なんですが、 私の使っている教科書では、正則の定義として「領域Dのすべての点でf(z)が微分可能のとき、f(z)はDで正則であるという」としか載っていません。 「C上で正則だから」の意味は前の関数f(z)が開円版|z-α|<ρで正則であるという条件と、Cは円周|ζ-α|=r<ρの条件より、「f(ζ)はC上で正則である」といえると理解しています。 正則である→微分可能→連続→f(ζ)は連続関数→有界閉集合である。の論理で良いのでしょうか?間違っているでしょうか?それと、長くなって申し訳ないのですが、 >「ここで使っている事実はR^nやCにおける有界閉集合上の…。」のR^nは何なのか解らないのですがそれについても教えていただければ嬉しいです。
関連するQ&A
- 正則性について。
--------------------------------------------------- f(z)=1/(bar(z)) z = x + iy とし z ≠ 0においてf(z)が正則であるかどうか判定せよ。 また、 R>0に対して複素積分 ∫_[|z|=R]f(z)dz の値を求めよ --------------------------------------------------- という問題なのですが、 u=x/x^2+y^2, v=u/x^2+y^2とすると、 ∂u/∂x = y^2-x^2/(x^2+y^2)^2 ∂v/∂y = x^2-y^2/(x^2+y^2)^2 となり、コーシー・リーマンの判定式を用いると、 ∂u/∂x≠∂v/∂yとなり、条件を満たさないので、 f(z)は正則ではないという結果が出ます。 f(z)が正則ではないのは、(bar(z))=0で特異点を持つためだと思うのですがこの問題の場合、z≠0で除外されていますよね? この場合、正則なのでしょうか? おそらく、特異点の捉え方がよくわかっていないのだと思います。 また、 次の問題はコーシーの積分公式で求めると思うのですが、 この公式は、bar(z)の場合にもそのまま当てはめてよいのでしょうか? ご指導ご鞭撻の程、宜しくお願い致します。
- 締切済み
- 数学・算数
- 全複素平面上で正則な関数f(z)は
全複素平面上で正則な関数f(z)は lim_[r→0] ∫_Cr f(z) dz = 0 を満たすことを示せ。ただし、Cr = { r*exp(iθ) | 0≦θ≦π } (r>0の上半円周) 考えた証明の方針: 単純閉曲線C:= Cr + Cr' (ただし、Cr': = { x | -r≦θ≦r } )と定め、 まず、コーシーの積分公式を証明。すなわち、∫_C f(z) dz = 0 次に、∫_C f(z) dz = 0 に r→0として題意を示すと思いました。 しかし、∫_-r^r f(z)dz =0になることが言えなくて、つまづいています…。 どなたか知恵を貸してください。
- ベストアンサー
- 数学・算数
- この定理の名称を教えてください
以前何かの本で見かけてうる覚えなのですが多分 「∀k∈Nに対して,複素関数列f_kは開領域D(⊂C)で正則であるとする。この時, {Σ_{k=0}^n|f_k(z)|;n∈N}が有界⇒Σ_{n=0}^∞f_n(z)はDで正則」 だったと思うのですがこの定理は"有界収束定理"と呼ばれるものなのでしょうか?
- 締切済み
- 数学・算数
- 実部Realf(z)が上に有界な整関数は定数である。
実部Realf(z)が上に有界な整関数は定数である。 証明 Realf(z)<Mとすれば g(z)≡1/[2M-f(z)]は有界な整関数となり定数。よって定数と書いてあるが、 g(z)が有界な整関数はなぜですか。 宜しくお願いします
- ベストアンサー
- 数学・算数
- 実部Realf(z)が上に有界な整関数は定数である。
実部Realf(z)が上に有界な整関数は定数である。 実部Realf(z)が上に有界な整関数は定数である。 証明 Realf(z)<Mとすれば g(z)≡1/[2M-f(z)]は有界な整関数となり定数。よって定数と書いてあるが、 g(z)が有界はなぜですか。 宜しくお願いします
- ベストアンサー
- 数学・算数
お礼
重ね重ね素早いご回答ありがとうございます。 やっと自分なりに納得できる解に辿り着けほっとしています。分かり易く丁寧なご回答感謝しています。 またの質問の節も宜しくお願いします。ありがとうございました。