- ベストアンサー
ファトーの補題について。
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
そもそも≦は<または=を意味するので、必ずしも等号が成り立つことを 主張するものではない。 8≦9は正しいことを理解していますか。
その他の回答 (1)
- koko_u_u
- ベストアンサー率18% (216/1139)
> この補題には等号が成立しない例が存在するのに > なぜ、等号を含めての補題となっているのでしょうか？ 等号が成立する例も存在するからじゃねえの？
お礼
ありがとうございました
関連するQ&A
- liminf の扱い方
ファトーの補題に関する質問です。 -------------- ファトーの補題 ∫_X (liminf F_n)dμ ≦ liminf(∫_X F_n dμ) で nが奇数であれば F_n = χ_E nが偶数であれば F_n = 1-χ_E とおくと、「≦」ではなく、「＜」が成立する。（「＝」とはなりえない） -------------- ということだそうですが、この場合、左辺、右辺の値はどうなるんでしょうか？ 一応、次のように考えましたが、これであっているのでしょうか。 liminf F_n = 0 で (左辺)=0, (右辺)=liminf(∫_X F_n dμ) =inf{∫_X χ_E dμ, ∫_X 1-χ_E dμ} =inf{∫_E dμ, ∫_X dμ- ∫_E dμ} =inf{μ(E), μ(X)-μ(E)} [0＜μ(E)＜μ(X)だから(?)] ＞0 (=(左辺)) どなたか、教えてください。お願いします。 元の文章は以下のとおりです。 ------------------------------------ Fatou's lemma If F_n: X→[0, ∞] is measurable, for each positive integer n, then (1) ∫_X (liminf F_n)dμ ≦ liminf ∫_X F_n dμ Strict inequality can occur in (1); see Exercise 8. Excercise 8 Put F_n = χ_E if n is odd, F_n = 1-χ_E if n is even. What is the relevance of this example to Fatou's lemma?
- ベストアンサー
- 数学・算数
- ルベーグ積分の問題です。至急お願いします！
お手数だとは思いますが お願いします。 (S,A,μ)を測度空間とする。fを非負可測関数,すなわち任意のx∈Sに対して f(x)≧0で ・∫S(f)dμ=0 (Sは下つきで積分範囲です) を満たすものとする。このときf=0がほとんどいたるところで成り立つことを以下のようにしめせ。 (1)自然数nに対して An={x∈S|f(x)≧1/n}とするとき μ(An)≦n∫S(f)dμ が成立することを示せ。 (2)μ(An)=0であることをしめせ。 (3)μ(∪An)(n≧1)=0が 成り立つことを示せ (4)fはS上ほとんど至る所0であることを示せ。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- σ加法族その他
宜しくお願いします…。 解答が分からないと勉強のしようがないので…。 問:(S,A,μ)を測度空間とする。fを非負可測関数,すなわち任意のx∈Sに対して f(x)≧0で ・∫S(f)dμ=0 (Sは下つきで積分範囲です) を満たすものとする。このときf=0がほとんどいたるところで成り立つことを以下のようにしめせ。 ①自然数nに対して An={x∈S|f(x)≧1/n}とするとき μ(An)≦n∫S(f)dμ が成立することを示せ。 ②μ(An)=0であることをしめせ。 ③μ(∪An)(n≧1)=0が 成り立つことを示せ ④fはS上ほとんど至る所0であることを示せ。
- 締切済み
- 数学・算数
- 極限操作は不等号関係を保存しますか？
今、x≦yとします。このとき、関数列{f_n}がｆ_n→f(n→∞)と収束したとします。 このとき、f_n(x)≦f_n(y)ならば、f(x)≦f(y)は一般に成り立つのでしょうか？極限操作で不等号が成立しなくなる場合ってありますか？ 回答お願いします。
- ベストアンサー
- 数学・算数
- 定積分の漸化式の問題
f(x)を[0,∞)上の連続関数 ｎ≧2なる自然数に対し、 F_n(x)=｛∫[0→x] f(u) (x-u)~(n-1) du ｝/(n-1)！ とします。 このF_n(x) の導関数を求めたいのですが、計算が煩雑になってうまく求められません。 一応答えの予想としてはd/dx(F_n(x))=F_(n-1) (x) 、つまりパラメータｎのときのFの導関数はn-1のときのFに等しい、だと考えています。
- ベストアンサー
- 数学・算数
- 一様収束
一様収束の問題をとりあえず示してみたのですが、あっているかどうか分からないので、分かる方がいたら教えてください。 ＊仮定＊ 関数列{fn}、{gn}はI上f,gに一様収束する。 １．{fn+gn}がI上f+gに一様収束する事を示す。 仮定より ∀ε1>0、∃N1（自然数） s.t. ∀x∈I、n≧N1⇒|fn(x)-f(x)|<ε1 ∀ε2>0、∃N2（自然数） s.t. ∀x∈I、n≧N2⇒|gn(x)-g(x)|<ε2 また、 |(fn(x)+gn(x))-(f(x)+g(x))|≦|fn(x)-f(x)|+|gn(x)-g(x)| なので∀ε1>0、∀ε2>0、∀x∈I、∃N1,N2（自然数） s.t. n≧max{N1,N2}⇒|(fn(x)+gn(x))-(f(x)+g(x))|≦|fn(x)-f(x)|+|gn(x)-g(x)|<ε1+ε2 ２．{fngn}がI上fgに一様収束する事を示す。 仮定より ∀ε1>0、∃N1（自然数） s.t. ∀x∈I、n≧N1⇒|fn(x)-f(x)|<ε1 ∀ε2>0、∃N2（自然数） s.t. ∀x∈I、n≧N2⇒|gn(x)-g(x)|<ε2 また、 |fn(x)gn(x)-f(x)g(x)|≦|fn(x)gn(x)-f(x)gn(x)|+|f(x)gn(x)-f(x)g(x)| ≦|gn(x)||fn(x)-f(x)|+|f(x)||gn(x)-g(x)| なので∀ε1>0、∀ε2>0、∀x∈I、∃N1,N2（自然数） s.t. n≧max{N1,N2}⇒|fn(x)gn(x)-f(x)g(x)|≦|gn(x)||fn(x)-f(x)|+|f(x)||gn(x)-g(x)|<|gn(x)|ε1+|f(x)|ε2 １．は多分問題ないと思うんですが、２．が結構不安です。 あと、ε-δ論法の証明の書き方って、こんな感じでいいんでしょうか？ そのあたりも分かる方がいたら教えてください。
- ベストアンサー
- 数学・算数
- 数列の和の問題です。
以下の２問にお答え願いますでしょうか？ かなり時間かけたんですが解答がないんで困ってます。ご協力お願いいたします。 自然数ｘに対して√ｘの整数部分をｆ（ｘ）で表す。 (1)ｋを自然数とするとき、ｆ（ｘ）＝ｋを満たす自然数ｘの個数をｋを用い て表せ。 (2)ｎを自然数とするとき、次のｎ＾２個の整数 ｆ（１），ｆ（２），ｆ（３），・・・・・・，ｆ（ｎ＾２）の和をｎを 用いて表せ。
- 締切済み
- 数学・算数
- エルデスシュトラウスの予想素数で24の倍数+1
今回は、Ｎが素数かつ24の倍数+1の場合に限って、説明をさせて貰います。それ以外はhttp://qanda.rakuten.ne.jp/qa6541074.htmlで証明済み。 エルデスシュトラウスの予想である、4／Ｎ＝1／Ｘ+1／Ｙ+1／Ｚを直すと、(1)（Ｎ／Ｘ）+(2)（Ｎ／Ｙ）+(3)（Ｎ／Ｚ）＝4です。(1)Ｎ／Ｘを出来る限り4に近づけて、2つの数字(2)(3)を加えて4にするところから始めて、次第に(2)+(3)を大きくして行きます。 Ｎ＝2×2×2×3×ｎ+1です。Ｎ+Ｔ+Ｓが8の倍数であれば、4で割りＸが出ます。その時、Ｔ+Ｓは7・15・23・31・・と（8の倍数－1＝8ｔ－1）です。出来る限り4に近いＸは、（Ｎ+7）／4＝（2×2×2×3×ｎ+1+7）／（2×2）＝2×2×2×（3×ｎ+1）／（2×2）＝2×（3×ｎ+1）です。（Ｎ+7）／（2×（3×ｎ+1））＝Ｎ／（2×（3×ｎ+1））+7／（2×（3×ｎ+1））＝Ｎ／Ｘ+Ｔ／（2×（3×ｎ+1））+Ｓ／（2×（3×ｎ+1））＝4は必ず成立します。この時、Ｔ／（2×（3×ｎ+1））とＳ／（2×（3×ｎ+1））が共に、1／自然数の形になれば予想は成立します。何故なら、（Ｎ／Ｘ）+（1／ｙ）+（1／ｚ）＝4が成立すれば、両辺に1／Ｎを掛け、（1／Ｘ）+（1／（Ｎ×ｙ））+(3)（1／（Ｎ×ｚ））＝4／Ｎとなるからです。Ｔ×Ｓが（2×（3×ｎ+1））＝Ｘの約数であれば良いのです。 ｔ＝1の時、Ｔ+Ｓ＝7です。組合せは1+6＝2+5＝3+4＝7の3通りです。Ｘ＝2×（3×ｎ+1）が、1と6、2と5、3と4いずれかの約数を持てば、成立します。2はＸの約数なので、Ｘが後3、3と2、3と5の内1組でも約数として持てば成立します。 成立しない時、ｔ＝2に移ります。Ｔ+Ｓ＝15です。Ｔ+Ｓの組合せは、1+14＝2+13＝3+12＝4+11＝5+10＝6+9＝7+8＝15の7通りです。Ｘは、（Ｎ+15）／4＝（2×2×2×3×ｎ+1+15）／（2×2）＝2×2×2×（3×ｎ+2）／（2×2）＝2×（3×ｎ+2）です。Ｘ＝2×（3×ｎ+2）は、2を既に約数に持つので、後7、13、2と2と3、2と11、5と5、3と3と3、2と2と7何れか1組でも、約数として持てば良いのです。 成立しない時、ｔ＝3に移ります。足して23になるＴとＳの組合わせと、Ｔ×ＳをＸ＝2×（3×ｎ+3）が約数として持つか調べます。そうしてｔ＝4,5,6,7・・・と調べます。 この計算は、エクセルを使えば簡単に求められます。＝ＩＦ（ＭＯＤ（Ｘ,Ｔ×Ｓ）＝0,1,””）の算式を入力すると、ＸがＴ×Ｓを約数に持つか否か分かります。Ｎの値が大きくなる程多くのｔを使え、又Ｘの約数が増える為、成立する可能性は高まります。 Ｎ＝1873の時、Ｘ＝（1873+7）／4＝470＝2×5×47なので、2と5が約数にあるので、Ｔ＝2、Ｓ＝5です。4／1873＝（1／1873）×（1873／470）+（1／1873）×（2／470）+（1／1873）×（5／470）＝1／470+2／（470×1873）+5／（470×1873）＝1／470+2／880310+5／880310＝1／470+2／880310+5／880310＝1／470+1／440155+1／176062＝（1873+2+5）／880310＝（1873+2+5）／880310＝1880／880310＝4／1873です。 また、Ｎ＝1609の時、ｔ＝2でした。Ｘ＝（1609+15）／4＝406＝2×7×29です。2×7が約数にあるので、Ｔ＝1、Ｓ＝14の組み合わせです。4／1609＝（1／1609）×（1609／406）+（1／1609）×（1／406）+（1／1609）×（14／406）＝1／406+1／（406×1609）+14／（406×1609）＝1／406+1／653254+14／653254＝1／406+1／653254+1／46661＝（1609+1+14）／653254＝1624／653254＝4／1609でした。 Ｎ＝8641などは、ｔ＝12でした。Ｘ＝（8641+95）／4＝8736／4＝2184＝2×2×2×3×7×13です。Ｔ+Ｓ＝39+56＝95で、（1／8641）×（（8641／2184）+（39／2184）+（56／2184））＝（1／2184）+（1／483896）+（1／336999）＝（8641+39+56）／18871949＝8736／18871949＝4／8641でした。 Ｎが大きくなる程、成立する可能性はより大きくなるので、エルデスシュトラウスの予想は成立すると予想します。
- ベストアンサー
- 数学・算数
- マクローリン展開 微分 問題
マクローリン展開 微分 問題 aを正の定数、eを自然対数の底とし、f(x)=e^axとおく。 (1)自然数nに対して、f(x)のn次導関数を求めよ。 (2)f(x)のマクローリン展開を求めよ。 (3)Nを自然数とするとき、Σ[n=N～∞]（（x^n）/（n-N）！） の級数の和を求めよ。 (1) f´(x)=a・e^ax f´´(x)=a^2・e^ax よって、d^n/dx^n（f(x)）=a^n・e^ax (2) e^axのマクローリン展開は、 e^ax=1+ax+（a^2/2！）x^2+（a^3/3！）x^3+・・・+（a^n/n！）x^n と解けました。答えは合っているでしょうか？ (3)については、どのように解けばよいのか分かりません・・・ (3)の解き方を詳しく教えて頂けないでしょうか？ ご回答、よろしくお願い致します。
- ベストアンサー
- 数学・算数
お礼
ありがとうございました