- ベストアンサー
広義一様収束の定義がいまいちわかりません
広義一様収束の定義がいまいちわかりません。 『ρはいくらrに近くとってもよいが定数である』と記載されているのですが ρをいくらでもrに近くとっていいなら一様収束半径と広義一様収束半径は一致するのではと思うのですが、、、 どのように解釈すればいいのでしょうか? どなたか分かり易くご解説ください。
- Sakurako99
- お礼率80% (138/172)
- 数学・算数
- 回答数3
- ありがとう数3
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
広義一様収束ってのは 「任意の部分閉区間」（任意のコンパクト部分集合）での 一様収束です． 「Iで一様収束」 広義一様収束「Iの任意の部分閉区間で一様収束」というのは 違う概念であって，任意の部分閉区間で一様収束しても I全体で一様収束とは限りません． シンプルな例としては・・・ e^xのマクロリン展開は 実数R上では一様収束しないけど 広義一様収束です． ＃e^xのテイラー展開の剰余項に「x^n」があるから，そして ＃広義一様であるのは，有界閉区間に限ればこの「x^n」が有界になるから ＃証明できます．
その他の回答 (2)
- hugen
- ベストアンサー率23% (56/237)
|x|<r で一様収束しない例があるので ρをいくらでもrに近くとっていいといっても、 ρ=r とはできない。
お礼
どうも有難うございました。とても参考になりました。
- rinkun
- ベストアンサー率44% (706/1571)
詳しい説明はANo.1にあるので簡単にいうと、一様収束の程度がρの値によって変わるのです。 もう少し具体化するとε-δ論法で証明するときのδの値がεだけでなくρに依存します。 だからρを固定してしまえば一様ですが、固定しないと全体としては一様でないのです。
お礼
どうも有難うございました。とても参考になりました。
関連するQ&A
- 一様収束と広義一様収束
複素関数の冪級数展開おいて、広義一様収束と一様収束の概念があって、なぜこの使い分けをするかというと、R（a）をaにおけるべき級数展開の収束半径としたとき、特異点の近傍を含んでしまうと、前者は成り立つが後者が成り立たない場合があるから(例：1/1+ｚ、R(0)=1)だと思います。 ここからが質問なのですが、R(a)＝∞のときに、広義一様収束するが一様収束はしない例があるのでしょうか？
- ベストアンサー
- 数学・算数
- 極限の問題（収束半径、広義積分）です。
解いていて、つまずいている問題があります。どうか分かる方お力添え下さい。 （１）Σ(√(n+1)-√n)x**n の収束半径？ 補足（Σの添え字nは０から∞です） （＊＊は２乗を示しています） （√は（）の中にかかっています） ダランベールの収束判定法から 収束半径r=lim(x→∞)an/an+1にしたがって解こうとしてのですがそこで詰まりました。 （２）Σan*(x**n)とΣn*an*x**(n-1)の収束半径が同じであることを示せ。 補足（Σの添え字nは０から∞です） （＊＊は２乗を示しています） （＊はかけ算を示しています） （anは数列です） ダランベールで解こうと思ったのですがｘの肩のn-1が定理と違うのでこれ以上進みません。 （３）∫sin(1/x)dx（0<x≦1） ∫(x(x-1))**(-1/3)dx(2≦x<∞) ∫1/xdx(-1≦x≦1) は収束、発散？ 広義積分なので∫の中の関数より大きい関数で押さえれば収束が示せると思ったのですが適当な関数が見つかりません。
- ベストアンサー
- 数学・算数
- Re(s)>1,{1/n^s}が広義一様収束?
Re(s)>1, f_n(s):=1/n^sの時, 関数列{f_n(s)}が広義一様収束 となる事を示したしたいのですが どのようにすれば示せますでしょうか? 一応,広義一様収束の定義は 「D⊂C, f_n,f:D→Cとする。{f_n}がfにD上広義一様収束する ⇔ ∀D'∈{D';D⊃D'は有界閉集合}, lim_{n→∞}sup{|f_n(z)-f(z)|∈R;z∈D'}=0」 だと思います。
- ベストアンサー
- 数学・算数
- 「収束」を定義すれば、位相も定義できる？
位相空間では、点列の収束という概念が定義されていると思います。手元に適当な本がないので、不確かな記憶ですが、 位相空間Ｘの点列(a_n)がαに収束する ⇔αを含む任意の開集合Ｏについて、あるＮが存在して、ｎ≧Ｎならばa_n∈Ｏである という雰囲気の定義だったと思います。(ｎは自然数のような離散的な値ではなくてもよいはずですが、自然数と考えて問題ありません) さて、ある空間Ｘ上の点列(a_n)に対して「収束(極限)」の概念を定義したとしたとします。 この時、空間Ｘに適当な位相構造を入れてやる事で、位相空間Ｘにおける収束と、ここで定義した収束が一致するようにする事は可能でしょうか？(もし、必要なら、Ｘはベクトル空間としても構いません) そもそも何を「収束」と呼ぶべきかすら分からないですが、一般的な定義あるのであればその定義と考えて差し支えありません。(ないのであれば、困ってしまうのですが、きっとあるでしょう) 具体的な例としては、ヒルベルト空間の線型演算子には、「弱収束」や「強収束」と言った概念がありますよね。これらの意味の収束を与える位相は存在するのか、という事です。(具体的にどう構成するのかは知りませんが、「弱位相」とか「強位相」と呼ばれる位相があったと思います)
- ベストアンサー
- 数学・算数
- 収束半径なんですが…
次の収束半径を求めてみたんですが、合っているのか心配です。 合っていなければ、答えだけでもいいので教えてください。 Σ{３^ｎ＋(－３)^ｎ}ｘ^ｎ (Σの上に∞付いてます) 自分の答えは、収束半径 Ｒ＝∞ （n=2k ただし、k=1,2,3,…） n=2k+1のときは定義できない？ となりました。 ちなみに、おとといの微積の試験問題でした。
- 締切済み
- 数学・算数
- 広義積分、極限の性質について
広義積分∫(1→∞) sinx/x dxは収束することを示す ∫(1→r) sinx/x dx =∫(1→r)(-cosx)'/xdx =[-cosx/x]_(1→r)-∫[1→r](cosx)/(x^2)dx -(cosr)/rはr→∞のとき収束 ∫[1→r](cosx)/(x^2)dxも ∫|cosx|/(x^2)dx≦∫1/x^2dx が収束するので収束する。 初歩的な質問なのですが、∫1/x^2dxが収束する時なぜ∫(1→r) sinx/x dxも収束するのですか？詳しく教えてください。
- ベストアンサー
- 数学・算数
- 収束半径について教えてください。
収束半径について教えてください。 今、数学を勉強しています。 この(1)～(2)についての途中式と答えを教えてください。何の公式を使うなどのちょっとした解説をしてくださると助かります。 疑問だらけですがよろしくお願いします。
- 締切済み
- 数学・算数
お礼
> 広義一様収束ってのは > 「任意の部分閉区間」（任意のコンパクト部分集合）での > 一様収束です． 『(X,T)と(Y,S)を位相空間とし,f∈Map(N,Map(X,Y))とする時, X⊃∀Aはコンパクト部分集合に対して {f_n}はAで一様収束する ⇔(def) {f_n}はX全体で広義一様収束する』 という定義で正しいのですね?