跳到主要内容

東京工業大学 工学院 経営工学系 2019年8月実施 午前 数理B

Author

Miyake, 祭音Myyura

Description

題意の要約

公式問題PDF、4–5ページ

[1]

  1. 同値関係の定義を述べ、整数上で ab    5(ab)a\equiv b\iff5\mid(a-b) と定めた関係が同値関係であることを定義から示す。
  2. R3\mathbb R^3 の開集合を定義し、2つの開集合 A,BA,B の共通部分 ABA\cap B が開集合であることを定義から示す。

[2] ここで用いる確率変数の値域は有限とする。

  1. (a) 非負 YYb>0b>0 に対する P(Yb)E[Y]/bP(Y\ge b)\le E[Y]/b を用い、任意の ZZc>0c>0 について P((ZEZ)2c)V(Z)/cP((Z-EZ)^2\ge c)\le V(Z)/c を示す。(b) これから a>0a>0 に対するチェビシェフ不等式 P(XEXa)V(X)/a2P(|X-EX|\ge a)\le V(X)/a^2 を導く。
  2. (a) 確率変数 X,YX,Y の独立性を定義する。(b) 独立な場合に V(X+Y)=V(X)+V(Y)V(X+Y)=V(X)+V(Y) を示す。
  3. 公平なコインを独立に nn 回投げ、表の回数を XX とする。(a) E(X),V(X)E(X),V(X) を求める。(b) 前問の結果から P(X3n/4)2/nP(X\ge3n/4)\le2/n を示す。

题目描述

[1]

  1. 给出等价关系的定义,并从定义出发证明整数集上的关系 ab    5(ab)a\equiv b\iff5\mid(a-b) 是等价关系。
  2. 给出 R3\mathbb R^3 中开集的定义,并从定义出发证明两个开集 A,BA,B 的交集 ABA\cap B 是开集。

[2]

本问随机变量的取值集合均为有限集。

  1. (a) 利用非负随机变量 YY 的 Markov 不等式 P(Yb)E[Y]/bP(Y\ge b)\le E[Y]/bb>0b>0),对任意随机变量 ZZc>0c>0 证明
    P((ZEZ)2c)V(Z)/c.P((Z-EZ)^2\ge c)\le V(Z)/c.
    (b) 由此推出 a>0a>0 时的 Chebyshev 不等式 P(XEXa)V(X)/a2P(|X-EX|\ge a)\le V(X)/a^2
  2. (a) 定义两个随机变量 X,YX,Y 的独立性。(b) 证明独立时 V(X+Y)=V(X)+V(Y)V(X+Y)=V(X)+V(Y)
  3. 独立抛掷一枚公平硬币 nn 次,令 XX 为正面次数。(a) 求 E(X),V(X)E(X),V(X)。(b) 利用上述不等式证明 P(X3n/4)2/nP(X\ge3n/4)\le2/n

Kai

[1]

(1)

同値関係は反射律 aRaaRa、対称律 aRbbRaaRb\Rightarrow bRa、推移律 aRb, bRcaRcaRb,\ bRc\Rightarrow aRc を満たす関係である。

5(aa)5\mid(a-a) なので反射律が成り立つ。ab=5ka-b=5k なら ba=5(k)b-a=5(-k) なので対称律が成り立つ。さらに ab=5k, bc=5a-b=5k,\ b-c=5\ell なら ac=5(k+)a-c=5(k+\ell) なので推移律が成り立つ。

(2)

AR3A\subset\mathbb R^3 が開集合であるとは、各 xAx\in A に対し ε>0\varepsilon>0 が存在して開球 B(x,ε)AB(x,\varepsilon)\subset A となることである。

xABx\in A\cap B を取る。開集合の定義より B(x,rA)AB(x,r_A)\subset AB(x,rB)BB(x,r_B)\subset B となる正数 rA,rBr_A,r_B が存在する。r=min(rA,rB)>0r=\min(r_A,r_B)>0 とすれば B(x,r)ABB(x,r)\subset A\cap B である。ゆえに共通部分は開集合である。共通部分が空集合の場合も定義を満たす。

[2]

(1)

(a)

(ZE(Z))2(Z-E(Z))^2 は非負の値をとる確率変数であるから、 与えられた不等式において、 X=(ZE(Z))2,b=cX=(Z-E(Z))^2, b=c とおくと、

P((ZE(Z))2c)E((ZE(Z))2)c=V(Z)c\begin{aligned} P \left( (Z-E(Z))^2 \geq c \right) &\leq \frac{E \left( (Z-E(Z))^2 \right)}{c} \\ &= \frac{V(Z)}{c} \end{aligned}

を得る。

(b)

(a) で示した不等式を使って、次のように示せる:

P(XE(X)a)=P((XE(X))2a2)V(X)a2\begin{aligned} P \left( | X-E(X) | \geq a \right) &= P \left( ( X-E(X) )^2 \geq a^2 \right) \\ &\leq \frac{V(X)}{a^2} \end{aligned}

(2)

(a)

有限値の確率変数では、全ての値 x,yx,y について

P(X=x,Y=y)=P(X=x)P(Y=y)P(X=x,Y=y)=P(X=x)P(Y=y)

が成り立つことを独立という。これは任意の値の集合 S,TS,T に対して P(XS,YT)=P(XS)P(YT)P(X\in S,Y\in T)=P(X\in S)P(Y\in T) と同値である。

(b)

独立性と有限和より

E[XY]=x,yxyP(X=x)P(Y=y)=E[X]E[Y].E[XY]=\sum_{x,y}xyP(X=x)P(Y=y)=E[X]E[Y].

したがって Cov(X,Y)=0\operatorname{Cov}(X,Y)=0 であり、

V(X+Y)=V(X)+V(Y)+2Cov(X,Y)=V(X)+V(Y).V(X+Y)=V(X)+V(Y)+2\operatorname{Cov}(X,Y)=V(X)+V(Y).

(3)

(a)
E(X)=n2V(X)=n4 \begin{aligned} E(X) &= \frac{n}{2} \\ V(X) &= \frac{n}{4} \end{aligned}
(b)
P(X3n4)=P(Xn2n4)=12P(Xn2n4)(XBin(n,12) の対称性)12n4(n4)2        ((1)(b))=2n \begin{aligned} P \left( X \geq \frac{3n}{4} \right) &= P \left( X - \frac{n}{2} \geq \frac{n}{4} \right) \\ &= \frac{1}{2} P \left( \left| X - \frac{n}{2} \right| \geq \frac{n}{4} \right) \qquad\left(\because X\sim\operatorname{Bin}(n,\tfrac12)\text{ の対称性}\right) \\ &\leq \frac{1}{2} \frac{\frac{n}{4}}{\left( \frac{n}{4} \right)^2} \ \ \ \ \ \ \ \ ( \because (1)(b) ) \\ &= \frac{2}{n} \end{aligned}