ベストアンサー

※ ChatGPTを利用し、要約された質問です（原文：分布関数の証明　（確率））

分布関数の証明　（確率）

2007/03/17 00:27

このQ&Aのポイント

分布関数の証明（確率）について説明します。
証明過程では、Lim F(x-ε) = F(x) - P(X=x) ε → 0+ を示すことを目指しています。
具体的な証明手順や結果についても触れています。

torukorice
お礼率18% (7/38)

数学・算数
回答数1
ありがとう数0

みんなの回答 （1）
専門家の回答

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

ベストアンサー

zk43
ベストアンサー率53% (253/470)

2007/03/17 01:58 回答No.1

Xは離散型の確率変数とします。 P(X=x)=P(X≦x)-P(X<x)=F(x)-lim(ε→+0)P(X≦x-ε) =F(x)-lim(ε→+0)F(x-ε) ではだめですか？ {X<x}=∪(ε>0){X≦x-ε}は簡単にわかると思うので。また、ε→+0のとき、{X≦x-ε}↑{X<x}なので。

関連するQ&A

確率変数

明日試験ですので、ぜひお願いします。確率変数X1,X2,...Xnは互いに独立で、分布は P(Xi=x)＝｜ｘ｜/12　　　　x＝－1,1,－2,2,－3,3 に従うとする。このとき lim 1/(n*n)E{f(X1+X2+...+Xn)}（ｎが無限大のとき）を求めよ。ただし、f(x)＝ｘ＾４　　　(x＞＝0) 　　　　　　　ｘ＾２　　　（x＜0）とする。
極限の関数の連続性

関数が連続になる理由がわからないので質問します。 (1) aは0でない定数とする。x≧0のとき f(x)=lim(n→∞){x^2n+1 +(a-1)x^n -1}/{x^2n -ax^n -1}を求めよ。 (2)関数f(x)がx≧0において連続となるように,aの値を求めよ。 (1)は解けました。(2)がわかりません。解答では (1)より x>1のときf(x)=lim(n→∞){x +(a-1)/x^n -1/x^2n}/{1 -a/x^n -1/x^2n}=x 　　 x=1のときf(x)=lim(n→∞){1^2n+1 +(a-1)1^n -1}/{1^2n -a1^n -1}=(1-a)/a 0≦x＜1のときf(x)=lim(n→∞){0+0-1}/{0-0-1}＝1 分からない１文は、f(x)は 0≦x＜1,x>1においてそれぞれ連続である。連続になる理由は、x≧0においてグラフが描けるからでしょうか？定義域の確認などは必要ないのでしょうか。このあと、x≧0において連続になるためには、x=1で連続になることが必要十分条件であるとして、lim(x→1-0)f(x)とlim(x→1+0)f(x)がともに1になるので、 1=(1-a)/aからa=1/2として答えをだしています。どなたかf(x)=x,f(x)=1などがx≧0で連続になる理由を教えてください。
関数f(x)がC∞-級関数であることの証明

(1)f(x)が連続関数で、ｘ≠0で微分可能かつ lim[x→+0]f'(x)=lim[x→-0]f'(x)=A (Aは実数) ならば、f(x)はx=0でも微分可能でf'(0)=Aとなることを示せ。 (2) f(x)=0 (x≦0のとき) f(x)=e^(-1/x) (x>0のとき) とするとき、f(x)はC∞-級関数であることを示せ。＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊という問題で、(1)についてはロピタルの定理から簡単に示せるので、分からない点はありません。 (2)なんですが、x>0のとき任意のｎ=1,2,3,・・・に対し、{f(x)}^(n)は Σ[k=0→2n]{{a【k】}*e^(-1/x)}/x^kの形に表せます。 ∀rについてCr-級をｒに関する帰納法で示したいです。 r=1のときf'(x)={e^(-1/x)}/x^2 だから１回微分可能。また、lim[x→0]f'(x)=0=f'(0)よりf'(x)は連続。よってr=1のときにCr-級であることが証明されました。この後、どうやっていいかわからないので教えてください。
ある専門書の確率問題です。

最大値xが得られまでには何箇所の領域について調べる事になるかを考える。その数をＮとすると、その確率Ｐ（Ｎ）は初めから（Ｎ－１）箇所まで最大値ａより小さい確率がF(x）であるから、（Ｎ－１）箇所すべてにおいて、最大値xより小さい確率はＦ(x)｝Ｎ－１である。Ｎ番目の領域でxより大である確率は｛１－Ｆ(x)｝である。よって、　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　Ｐ（Ｎ）＝｛１－Ｆ(x)｝・｛Ｆ(x)｝＾（Ｎ－１）・・・・１）　　　　　　　　　　　　　　　　　　　　＿この確率を用いてＮの期待値（Ｎ）を求めると、　　＿　　　∞ Ｎ＝ΣN=1　Ｎ・Ｐ（Ｎ）＝Ｎ・{1-F(x)｝・Ｆ(x）｝＾（Ｎ－１）・・・・２）　　　　　　　　　　　　　＿　　　∞ Ｎ＝ΣN=1 　{Ｆ(x）}＾（Ｎ－１）＝lim　｛1-Ｆ(x）Ｎ　｝/｛1-Ｆ(x）｝　・・・・３）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　N→∞ ここで、累積分布F(x)＜1であるため式３）は次式で示される。　＿ ∴Ｎ＝１/｛１－Ｆ(x)｝・・・・４）　とあるのですが、２）式から３）式および４）式への展開が理解できません。　何方か判りやすく説明して頂けないでしょうか。また、これらの式の展開は正しいのでしょうか。もし、間違っているなら、正解を教えて下さい。　　　宜しくお願い致します。　　　　　　　　　　　　　　　　　　　　　　　　　　　　
確率（ルベーグ）

またも問題の意味が分かりません。頭のめぐりは悪くて恐縮ですが、お願いします。 ( (0,1), (0,1)∧β1, P)をルベーグ空間とする。（β1はおそらく一次元ボレル集合体） ∀ω∈(0,1)に対して、ωの2進法展開を考える。すなわち、　　　ω＝Σ[n=1, ∞]　ωn / 2^n 　(ωn = 0 or 1) ルール：展開が一意的でないときは1が無限回でる表現を採用する。　　　　∀n ∈ N に対して、確率変数Xn：( 0,1) → {0,1} を　　　　Xn(W) = ωn　(W=Σ[n=1, ∞]　ωn / 2^n) (1)∀n∈N　{W∈(0,1): Xn(W)=0} = (0, 1 / 2^n)∨(2 / 2^n)∨・・・∨（1- 2/ 2^n,1- 1/ 2^n）　　となることの証明 (2) P(Xn=0)=P(Xn=1)=1/2 となることの証明 (3)∀n∈N　に対してX1,X2,・・・,Xn　は独立であることの証明 (4)E(Xn),V(Xn)を求めよ (5)　X:(0,1) →　R をX(W)=Σ[n=1,∞] Xn(W) /2^n (W∈(0,1)) と定義した時　　P(X^-1 (a)) (a∈R)　を計算せよという問題で、ωnが分からないとωが出ないし、ωが分からないとωnが出ないので出しようがない気がするのですが、問題なく解けるのでしょうか？　特に(2)のように1/2のような確率が出る保障があると思えないのですが・・・
関数が連続

f(x)=lim[n→∞]{x^(n+1) +(x^2 -1)sinax}/(x^n +x^2 -1)がx=1で連続となる条件を求めよ f(x)がx=aで連続⇔lim[x→a±0]f(x)=f(a)だからx=1ではlim[x→1±0]f(x)=f(1)よりsina=1となっているのですが、極限は代入したようなものだからlim[x→1±0]f(x)もf(1)も同じ1になりませんか？何故sinaが出てくるのでしょうか教えてください！
数列の証明について

数列の証明について質問です。 lim(n→∞){2(a_n+1)-a_n}=A・・・(1) ならば、lim(n→∞)a_n=Aが成り立つことを示せという問題です。私はlim(n→∞)a_n=Bとおいて lim(n→∞)a_n+1=lim(n→∞)a_n　という事を使い、 (1)の左辺がBとなることより B=Aを示しました。しかし、私の回答では、lim(n→∞)a_nが収束する事を証明してないので、lim(n→∞)a_n=Bと置くのはダメみたいです。 (1)が成り立つとき、lim(n→∞)a_nが収束することの証明をお願いします。
指数関数の定義と性質における証明問題について。

大学数学における「指数関数の定義と性質」に関する証明問題の解法についてお聞きしたいです。全ての番号の問いに答えて頂かなくても構いませんので、わかる範囲だけでもよろしくお願いします。「a>1として以下の(1)～(7)のそれぞれの問いに対する証明を考える。 (1)任意の自然数pに対して、x^p=aを満たすx(1<x)が、唯一つ存在する(このxをa^(1/p)と表す)。 (2)正の有理数rが、r=q/p=q'/p'(p,q,p',q'は自然数)と表されるとき、a^(q/p)=a^(q'/p')>1がなりたつ(この値をa^rで表す)。 (3)正の有理数r,sに対して、a^ra^s=a^(r+s)が成り立つ。 (4)正の有理数の列{Rn}がlim(n→∞)Rn=0を満たすならば、lim(n→∞)a^Rn=1となる。 (5)正数xに対して、{Rn}および{Rn'}をxに収束する単調増加な有理数の列とするとき、数列{a^Rn}および{a^Rn'}は収束して、 lim(n→∞)a^Rn=lim(n→∞)a^Rn'>1 が成り立つ(この値をa^xと表す)。 (6)正数x,yに対して、a^xa^y=a^(x+y)が成り立つ。 (7)関数f(x)=a^x(x>0)は連続関数である。」以上の証明方法を教えて頂きたいと思います。分かりづらい点もあるかも知れませんが、よろしくお願い致します。
関数の極限

f(x) =lim {x^(2n-1)+ax^2+bx}/{x^(2n)+1} ↑はn→∞ これについて、x=1のとき lim f(x)=lim f(x)=f(1) x→1+0 x→1-0 が成り立っています。つまりf(x)はx=1で連続です。このとき、上の関係から、 1=a+b=(1+a+b)/2 が成り立つようなのですが、真ん中のa+bがどこからでてきたのか分かりません。どなたか説明をお願いします。
積分の定義式を証明する問題ができません

下記の証明問題についてです。 f(x)を[a,b]で単調増加とする。自然数nに対し,h=(b-a)/nとし,分割P(n)={x(0),x(1),…x(n)}をk=0,1,…,n, x(k)=a+kh、U(P(n),f(x))=Σ[i=1..n]M(i)・Δx(i) (M(i)=sup{f(x);x(i-1)≦x≦x(i)})とする時, (1) 0≦U(P(n),f(x))-∫[a to b]f(x)dx≦(b-a)(f(a)-f(b))/n が成立する事を示せ。 (2) ∫[a to b]f(x)dx=lim[n→∞]U(P(n),f(x)) という問題なのですがどうやって示せばいいのでしょうか?
数列の極限の証明

「a1=a,b1=b,(a＞b＞0) a(n＋1)=(an＋bn)/2 b（n＋1）=anbn^1/2 で定まる二つの数列｛an｝,{bn}は同じ極限値を持つことを示せ。」という問題を解いていて、このリンクの証明を見たのですが、 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1463528674 証明の最後で、a_n+1=ka_n を満たす1より小さい正の実数kが存在することから、 a_n=k^(n-1)*a1 として、n→∞でa_n→0としていましたが、 a_n=f(n)として、f(x)が単調減少関数でf(n+1)=k_n(fn) (k_nはnによって変化する1より小さいある正の定数)となっても、 k_nはnに依存するので、必ずしもx（またはn)→∞でf(x)(またはf(n))→0になるとは限らないのではないのでしょうか。（ex. k_n→1 (n→∞), f(x)=(1/x)+(1/2)) その可能性はないのでしょうか？以下がリンク先の証明の全文です。与えられた漸化式と0＜a＜bより帰納的に0＜an,0＜bnとなる。すると相加・相乗平均の関係より a(n+1)/b(n+1)=(an+bn)/2√(anbn) =(1/2){√(an/bn)+√(bn/an)}≧(1/2)*2*√(an/bn)*√(bn/an) =1 ∴b(n+1)≦a(n+1)となる。ここで等号が成り立つとすると bn=anより a(n+1)=(1/2)(an+bn)=(1/2)*2an=an となり an=a(n-1)=…=a1=a=b1=b となりa＜bに矛盾する。よって等号は成立しないので b(n+1)＜a(n+1) となり、したがって bn＜an…(*) となる。すると an+bn＜2anより a(n+1)=(1/2)(an+bn)＜(1/2)*2an=an となる。したがって0＜anより a(n+1)=k*an を満たす1より小さい正の実数kが存在する。すると an=k*a(n-1)=k^2*a(n-2)=…=k^(n-1)*a1=k^(n-1)*a となるから lim[n→∞]an=a*lim[n→∞]k^(n-1)=0…(**) となる。すると(*)と0＜bnより 0＜bn＜an だから(**)からはさみうちの原理により lim[n→∞]bn=0 となる。よって lim[n→∞]an=lim[n→∞]bn=0 となる。
確率分布

確率分布の問題です。自分なりに考えてみました。間違いがあればご指摘ください。 p.d.f.p(x)が p(x)=a(x-1) (-1≦x≦1) 0 (x<-1,1<x)　で与えられている (1)aの値を求めよ (2)P(0≦X)を求めよ (3)Xの分布関数を求めよ (1)∫(-1～1)a(x-1)=1よりa=-1/2 (2)P(0≦X)=∫(-∞～-1)p(t)dt+∫(-1～0)p(t)dt=3/4 (3)F(x)=0　(x<-1) 　F(x)=∫(-∞～-1)p(t)dt+=∫(-1～x)p(t)dt 　　　=(-x^2/4)+(x/2)-3/4　　(-1≦x≦1) 　F(x)=1　　(1<x)
数列・関数の極限について

俗に言う「はさみうちの原理」とその周辺に関して質問があります。数学IIIの教科書によると，すべての自然数nに対し a_n ≦ b_n ≦ c_nのとき lim{n→∞}a_n = lim{n→∞}c_n = α（定数）　⇒　lim_{n→∞}b_n = α lim{x→∞}f(x) = lim{x→∞}h(x) = α（定数）とする。十分大きいxに対し，f(x) ≦ g(x) ≦ h(x)　⇒　lim_{x→∞}g(x) = α となっております。 (1)limを登場させる順番がなぜ違うのか？　　数列の極限の方ではまず不等式を記し，関数の極限の方ではlimから記しています。 (2)「すべての」と「十分大きい」の部分は数列の極限と関数の極限で異なるか？　　数列の極限の方でも「十分大きい自然数nに対し」でもよいような気がするのですが…。以上、よろしくお願いします。
関数の連続と同値な命題

以下の問題の教えてください。 (i)⇒(ii)はできたので、(ii)⇒(i)のみでも構いません。 I⊂Rを区間,f:I→R, a∈lとする、以下の2つが同値であることを示せ。 (i) fはaで連続 (ii) lim(n→∞)x(n)=a と∀n ∈ N, x(n)∈Iを満たす任意の数列{x(n)}に対して lim(n→∞)f(x(n)) = f(a)が成り立つ。
ノルムでは収束するが、各点では収束しない関数

空でない集合Xに対して、測度μを導入します。集合X上の可測関数fであって、|f(x)|^pが可積分であるような関数、つまり、 ∫_X |f(x)|^p dμ(x) が有限である関数全体を考えます(p乗可積分な関数)。この集合(ベクトル空間)をL^p(X,dμ)と書く事にします。 f∈L^p(X,dμ)のノルム||・||_pを ||f||_p = (∫_X |f(x)|^p dμ(x) )^(1/p)　(1≦p<∞) ||f||_∞ = ess.sup|f(x)| で定義します。ess.supは、ある測度ゼロの集合Nを除いた,X＼N上をxが動いた時の|f(x)|の上限(本質的上限)です。 ※このノルムに関してL^p(X,dμ)は完備になります。したががって、バナッハ空間です。 (必要なことは全て書いたつもりですが、必要なら補足します) ・質問１ lim[p→∞] ||f||_p=||f||_∞ でしょうか？ (有限次元の)普通のノルムの類推から成り立ちそうですが、何とも書かれていないので、気になります。 ※証明が複雑なら、結果だけで構いません。・質問２定理 1≦p<∞,f,f[n]∈L^p(X,dμ)の時、 ||f[n]-f||_p→0ならば、部分列{n_k}が存在してlim[k→∞]f[n_k](x) = f(x)がほとんどいたるところのxで成り立つ。この定理で、『部分列{n_k}が存在して』は不可欠でしょうか？つまり、 ||f[n]-f||_p→0ならば、lim[n→∞]f[n](x)=f(x)がほとんどいたるところで・・・ではいけないのでしょうか？まぁ、この定理の直ぐ後の箇所で「部分列」が強調されているので、成り立たないのだとは思います。具体的に、どのような反例があるでしょうか？こちらも詳細な証明は不要ですが、簡単な説明(イメージ的なことでいいです)をしていただけると嬉しいです。なお、X,μは何でもいいのですが、できるだけ分かりやすい例がいいので、例えばX=[0,1],μ:ルベーグ測度などとしてください(別のでも構いませんが)。 pは一般の方がいいですが、面倒なら特別なp(例えばp=2)で構いません。
ガンマ関数

a>0として、x→+0のとき、Γ(ax)/Γ(x)→1/aになると思うのですが、証明として、ガウスの積公式 Γ(x)=lim(n→∞)n^x・n！/x(x+1)(x+2)…(x+n) を使って、Γ(ax)とΓ(x)の極限の中身を割り算して、先にx→+0として、後からn→∞にすれば良いと思ったのですが、n^xのところがインチキ臭く、証明としてはだめなのかなと思ってしまいました。ガンマ関数の積分での定義式とか、ガウスの乗法公式とかで考えてみてもわかりませんでした。何かすっきり証明できる方法がありましたらお教え願います。（このサイトの質問からふと疑問に思ったものです。）
Xn=X+(1+1/n)^nは確率収束するかしないか。

Xn=X+(1+1/n)^nは確率収束するかしないか。 εをε>0の任意の数として lim[n→∞]p(|Xn-X|<ε)=lim[n→∞]p{(1+1/n)^n<ε} lim[n→∞](1+1/n)^n=eなので p(e<ε)、故に確率収束しない。という答え方でよろしいでしょうか？お手数をお掛けします。
数列

問１　数列｛A(n)｝を A(n):＝Σ1/k=1+1/2+1/3+…+1/n で定める。このとき次式が成り立つことを証明せよ。 (1)|A(2n)-A(n)|≧1/2 (∀n∈N) (2)lim(n→∞)A(n)=+∞ 問2 lim(x→a)f(x)=αならば、ある整数δが存在して0＜｜x-a｜＜δを満たす任意の実数xに対して1/2|α|≦|f(x)|≦|α|＋1となることを示せ。問3　　次の定理を証明せよ lim(x→a)f(X)＝α、lim(x→a)＝βとすると、 (1) lim(x→a)(f(x)+g(x))=α+β(=lim(x→a)f(x)+lim(x→a)g(x)) (2) lim(x→a)f(x)g(x)=αβ(=lim(x→a)f(x)×lim(x→a)g(x)) g(x)≠0 β≠0とする (3) lim(x→a)f(x)/g(x)=α/β(=lim(x→a)f(x)/lim(x→a)g(x)) 上の定理において極限x→aをx→a±0あるいはx→±∞に変えてもよい大学の数学が全然ついていけません。明日出さなければならないレポートが出来なくて困っています。どなたか解法を教えてはいただけないでしょうか？
デルタ関数

http://fujimac.t.u-tokyo.ac.jp/fujiwara/Mathematics-2/Sec5.pdf のpdfファイルのページ数で5-6ページ、pdfの下部に振られている番号で77-78ページ、に書かれていることについて質問です。 δ_n(x)=(√(n/π))e^(-nx^2) とし、δ(x)=lim[n→∞]δ_n(x) とする。 1つめ。関数f(x) を無限回連続微分可能で、かつ|x|→∞にした時、任意のNで定義される|x|^(-N) より早く0 になる関数(急減少関数) であるとする。例えば|x|の充分大きいところでexp(-x^2) の様に振る舞うと考えればよい。この時 ∫[-∞→∞]f(x)δ (x)dx＝lim[n→∞]∫[-∞→∞]f(x)δ_n (x)dx＝f(0) であることが示される。と、記載されているのですが、何故このように言えるのでしょうか？ 2つめ。充分大きいn について、 δ_n(x) はx = 0 を中心とした非常にせまい範囲内でのみ0 でない値をとる。したがってf(x) はx≒0付近での値だけが寄与して ∫[-∞→∞]f(x)δ_n (x)dx≒f(0)∫[-∞→∞]δ_n (x)dx＝f(0) となるからである。と記載されていますが、何故 ∫[-∞→∞]f(x)δ_n (x)dx≒f(0)∫[-∞→∞]δ_n (x)dx のような、式変形が可能なのでしょうか？ 3つめ。もう少し厳密な形で書くなら次のように示せばよい: 　|∫[-∞→∞]f(x)(√(n/π))e^(-nx^2)dx-f(0)| ＝|∫[-∞→∞]{f(x)-f(0)}(√(n/π))e^(-nx^2)dx| ≦Max|f^(1)(x)|∫[-∞→∞]|x|(√(n/π))e^(-nx^2)dx と、記載されていますが、何故、 |∫[-∞→∞]{f(x)-f(0)}(√(n/π))e^(-nx^2)dx|≦Max|f^(1)(x)|∫[-∞→∞]|x|(√(n/π))e^(-nx^2)dx と、言えるのでしょうか？宜しくお願いします。
大学の数列、極限について質問です！

大学の講義で出た問題がわかりません。問一 a（n）>0、lim（n→無限）a（n＋1）/a（n）=r<1ならば、数列a（n）はある項から先は有界な減少列となる事を示せ。問二 lim（n→無限）a（n）=0を示せ。問三 lim（n→無限）x^n/n!（x>0）を求めよ。問二は問一が出来たら簡単に書ける事はわかるんですが、問一と問三がさっぱりわからないです。わかる人教えてくれませんか。

分布関数の証明　（確率）

分布関数の証明　（確率）

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

関連するQ&A

確率変数

極限の関数の連続性

関数f(x)がC∞-級関数であることの証明

ある専門書の確率問題です。

確率（ルベーグ）

関数が連続

数列の証明について

指数関数の定義と性質における証明問題について。

関数の極限

積分の定義式を証明する問題ができません

数列の極限の証明

確率分布

数列・関数の極限について

関数の連続と同値な命題

ノルムでは収束するが、各点では収束しない関数

ガンマ関数

Xn=X+(1+1/n)^nは確率収束するかしないか。

数列

デルタ関数

大学の数列、極限について質問です！

注目のQ&A

カテゴリ
一覧

専門家に質問してみよう
専門家登録

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

分布関数の証明 （確率）

分布関数の証明 （確率）

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

関連するQ&A

確率変数

極限の関数の連続性

関数f(x)がC∞-級関数であることの証明

ある専門書の確率問題です。

確率（ルベーグ）

関数が連続

数列の証明について

指数関数の定義と性質における証明問題について。

関数の極限

積分の定義式を証明する問題ができません

数列の極限の証明

確率分布

数列・関数の極限について

関数の連続と同値な命題

ノルムでは収束するが、各点では収束しない関数

ガンマ関数

Xn=X+(1+1/n)^nは確率収束するかしないか。

数列

デルタ関数

大学の数列、極限について質問です！

注目のQ&A

カテゴリ 一覧

専門家に質問してみよう 専門家登録

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

分布関数の証明　（確率）

分布関数の証明　（確率）

カテゴリ
一覧

専門家に質問してみよう
専門家登録