• ベストアンサー

証明問題

E1 ⊂ E2 ⊂ · · · を可測集合の増加列とするとき m(∪∞n=1En) = lim m(En) n→∞ 証明: E1′ =E1,E2′ =E2\E1′,···,En′ =En\En－1 とおくとEi′∩Ej′ =∅(i̸=j)であり (2.2) En =E1′ ∪E2′ ∪···∪En′ である. よってm(En) =∑(上n下i=1) m(Ei′) であるから n → ∞ とすればよい. (2.3) ∪∞n=1En = ∪∞i=1Ei′であることに注意せよ. 1、(2.2) を示せ. 2、 (2.3) を示せ. この2問の示し方がわかりません。

質問者が選んだベストアンサー

  • ベストアンサー
回答No.1

何が分からないのかを記載してほしいところだが... 集合の一致を示す方法は、基本的に外延性公理を使うしかないです。つまり、(∀x(x∈A→x∈B) ∧ ∀y(x∈B→x∈A)) → A=B (2.2) F[n] = ∪[1≦j≦n] E' [j] とおけば F[n] = E[n]となることを示せばよい。帰納法で示す。 n=1の時は自明。 n+1の時 F[n+1] = F[n]∪E' [n+1] = E[n] ∪(E[n+1] \ E[n] ) ですが、これが E[n+1]と一致することを示せばよい。 ところで、一般に X∪Y = X∪(Y\X)であることは示せますよね？これが分かれば、今の場合 E[n]⊂E[n+1]であるから、明らか。 (2.3) ∪[1≦j< ∞] E[j]⊂∪[1≦j< ∞] E'[j] であることは、x∈∪[1≦j< ∞] E[j]をとれば、あるkが存在して x∈E[k]となるが、x∈E[k] = ∪[1≦j≦k] E'[j] ⊂∪[1≦j< ∞] E'[j]であることから言える。 逆向きの ∪[1≦j< ∞] E[j]⊃∪[1≦j< ∞] E'[j] 　は、E[j]⊃E'[j] から明らか。

rsyfivo3587
質問者

お礼

ご丁寧にありがとうございます。

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • 極限の証明問題です；；　eの定義を使うのですが.

    失礼します、早速ですが質問です。 一応略説＾＾； 質問文の中で「^」を累乗の記号とします。 「xのn乗」なら「x^n」と表記させてください＞＜ 問---- lim (1+1/n)^n = e　とするとき [n→∞] lim (1+m/n)^n = e^m　となることを証明せよ。 [n→∞] ---- という問題です。 ネットで探しても、下の式すらも公式のように書いてあったのですが、どのようにして証明するのでしょうか・・・＞＜；

  • 確率の問題が解けません.

    確率の問題を解いているのですが、途中でつまってしまい解けません。 どなたか教えてください,よろしくお願いいたします。 U(論理和） Eは適当な確率空間における任意の事象・事象列 問題は (1) P(E1 U E2 U E3 U・・・U En)はnについて単調に増加することを示せ. (2)　(1)の論理和を論理積に置き換えた式がnについて単調に減少することを示せ. 　 私の現在の考えは,,, (1)Σ[i=1からnまで]P(Ei)とおき、 　　それぞれP(E)は０から１の値をとるため単調に増加する. (2)　式をドモルガンを利用して論理和の形に直し,(1)と同じように解きたいのですが,式変形がうまくいきません. 以上のようになっています 「単調に増加する」という表現が線形に増加するという 意味でしたら（１）は間違っていると思われます.（２）については 1-Σ[i=1からnまで]P(Ei)の形に直せたような記憶がありますがうまく いってません。 ちなみにベン図などではなく公理での証明でお願いいたします. もう丸２日間考えていますがまったく分かりません、どなたかお分かりになる方教えてください、どうぞよろしくお願いいたします.

  • 極限値問題

    極限値問題 lim[x→∞]（1+(1/x)）^x=eを使って、lim[x→-∞]（1+(1/x)）^x=e を示せという問題なのですが、どのように解けば良いのでしょうか？ 以前、lim[n→0]（1+n）^(1/n)=eの証明について質問させて頂きました。 証明は理解できました。 その時、lim[n→-0]（1+n）^(1/n)=eも成り立つと言うご回答を頂きました。 (1/x)=nとおけば、lim[n→-0]（1+n）^(1/n)と出来きます。 lim[n→+0]（1+n）^(1/n)=lim[n→-0]（1+n）^(1/n)がなぜ成り立つか証明 できませんので、教えて下さい。 感覚的には分かるのですが、式変形などで成り立つことが証明できないものでしょうか？

  • デルタ関数の証明

    [δ^(n)(t)]のフーリエ変換が(iω)^nになることを示せ。 という問題で ∫(-∞,∞)δ^(n)*e^(-iωt)dt =[δ^(n-1)e^(-iωt)](-∞,∞)+iω∫(-∞,∞)δ^(n-1)*e^(-iωt)dt =iω∫(-∞,∞)δ^(n-1)*e^(-iωt)dt=・・・・・ =(iω)^(n)と計算できると思うのですが [δ^(n-1)e^(-iωt)](-∞,∞)の部分が0になるなんてどうしたら言えるのでしょうか？ それとも証明の仕方が間違っているんでしょうか？ そもそもデルタ関数の微分とはどういうものなのでしょうか？ 問題にははじめに δ(t)=lim(N→∞)g_N(t) δ'(t)=lim(N→∞)g'_N(t) g_N(t)=(N/π)^(1/2)e^(-NT^2) N=1,2,・・・・・ と与えられていますがどうもよくわかりません。 わかる方お願いします。

  • 至急、集合と写像

    至急、集合と写像 明日テストなのですが、教科書に解説が乗っていない問題のため質問させて下さい。 【1】 各n∈Nに対してEn⊂En+1であれば lim(n→∞)En=∪(n=1,∞)En 各n∈Nに対してEn⊃En+1であれば lim(n→∞)En=∩(n=1,∞)En が成り立つことを示せ。 【2】 lim(n→∞)An, lim(n→∞)Bn がともに存在すれば次の等式が成り立つことを示せ。 (1) lim(n→∞)(An∪Bn)=lim(n→∞)An∪lim(n→∞)Bn (2) lim(n→∞)(An∩Bn)=lim(n→∞)An∩lim(n→∞)Bn 【3】 A,Bを集合とし、各k∈Nに対してE2k=A, E2k-1=Bとおく。次式が成り立つことを示せ。 lim(n→∞)supEn=A∪B lim(n→∞)infEn=A∩B 自分なりに色々考えたのですが、解答がないためとても困っています。 どうか宜しくお願いします。

  • 有界な単調数列の証明（再掲）

    こちらの皆様のご指導のもと、以下の単調数列の証明問題を解いてみました。 証明が変なところがあれば、ご指導よろしくお願いします。 【問題】 数列{ 1-(1/n) }/{ 1+(1/n} }[n=1,2,3,...]は 有界な単調数列であるか？ 理由とともに、単調な場合には、 単調増加であるか単調減少であるかについても求めよ。 【証明】 まず、有界かどうかについて証明する。 n→∞とすると、 lim[n→∞] { 1-(1/n) }/{ 1+(1/n} } =lim[n→∞] (n-1+2-1)/(n+1) =lim[n→∞] 1-2/(n+1)=1 よって、有界。 つぎに単調増加について証明する。 (n-1)/(n+1) = (n+1-2)/(n+1) = 1-2/(n+1)と変形させることにより、 1より小さいことがわかる。 また、2/(n+1)は単減少であることより、-2/(n+1)は単調増加。 よって、1-2/(n+1)も単調増加であることが証明される。 ∴数列{ 1-(1/n) }/{ 1+(1/n} }[n=1,2,3,...]は、 有界な単調増加である。

  • 数学の問題がわかりません＞＜

    数学の問題がわかりません！よければ教えてください＞＜ I = [0,∞)とおく。 f , f_n ; I → R はI上で有界な関数とし、関数列{f_n}[n=1,∞]は関数 f に I 上で一様収束するとする。 (1) 各n∈Nに対してlim[x→∞]f_n(x) = a_n ∈Rが成り立つならば、数列{a_n}[n=1,∞]はCauchy列であることを示せ。 (2) (1)と同じ条件の下でlim[n→∞]a_n = A とおくとき、lim[x→∞]f(x) = Aであることを示せ。 回答よろしくお願いします！

  • 証明２

    いつもお世話になっています。今回は次の問題で質問があります。 (1+1/n)^n <= e という事実を使って次の式を求める。(<= は以下） lim (n->∞) n^n/(n!*e^n)　（＝ Xn とする） （* は掛けるです。） この問題では(A)の数列が増加（減少）してかつ上限（下限）が存在することが証明できたらあとはsqueeze theorem を使って解けると思うんですが、肝心のその証明がうまくいきません。予想では（A)は減少数式で０．０５が下限だとおもうのですが、もし合っているならどうやってそれを証明すればいいかなにかヒントをいただけないでしょうか？　やはり両側に ln をとって lnXn = ln(n^n) - ln(n!) - lne^n とでもするのでしょうか？　これを試してみましたがそれでも途中で詰まります。　なにかヒントをいただければ幸いです。

  • 解析学の問題

    解析学の試験範囲の問題なのですが解答解説がないので解説をお願いします。 １．数列{a_n},{b_n}がコーシー列ならば、{a_n+b_n}もコーシー列であることを定義にしたがって証明せよ 2.a_n>0,lim[n→∞]a_n+1/a_n=rとする I）0≦r＜１ならば、lim[n→∞]a_n=0であることを示せ II）r>1ならば、lim[n→∞]a_n=+∞であることを示せ 3.方程式mx=tan x(m>1)は閉区間(0,π/2)で少なくとも一つの解をもつことを示せ。 4.f(x)=1/1+x^2はRで一様連続であることを示せ。 回答よろしくお願いしますmm

  • コーシー列

    Q（有理数全体の集合）の2つのコーシー列｛an},{bn}について、 　 　（１）{an+bn}はQの中のコーシー列であることを証明せよ。 　（２）{an－bn}はQの中のコーシー列であることを証明せよ。 この問題の解き方がわかりません。 『{an-bn}がコーシー列』⇔m>n,lim[n→∞]{(am-bm)-(an-bn)}＝0 ⇔m>n,lim[n→∞]{(am-an)-(bm-bn)}＝0 m>n,lim[n→∞](am-an)、lim[n→∞](bm-bn)は共に収束するので、 limの分配ができて 以下、続きを教えてください。

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する