Ch1 概率论基础知识

原目录:概率论与数理统计

查看语雀原文

1. 常用性质

\[\begin{aligned} P(A\bar{B})=&P(A)-P(AB)=P(A-B)\\ P(A\cup B)=&P(A)+P(B)-P(AB)\\ P(A\cup B\cup C)=&P(A)+P(B)+P(C)-P(AB)-P(AC)-P(BC)+P(ABC) \end{aligned}\]


2. 等可能概型

等可能概型适用于"有限个等可能性结果的随机试验"

Ch1 概率论基础知识思维导图
Ch1 概率论基础知识思维导图

古典概率

\(P(A)=\frac{k}{n}=\frac{A中样本总数}{\Omega中样本点总数}\)

超几何概率

假设袋子中N个球,m个红球,其余白球,则以此取出n个求,从中恰好取出k个红球的概率为

\(p_k=\frac{C^k_m C^{m-k}_{N-m}}{C^n_N},k=0,1,2...\)

几何概率

\(\Omega\)作为一般的欧氏区域,m(A)作为A的度量(一维下长度,二维下面接,三维下体积...),可得几何概型下时间A的概率

\(P(A)=\frac{m(A)}{m(\Omega)}\)


3. 条件概率和三个派生公式

条件概率

AB为同一试验下两事件,如下表示了事件B发生情况下A发生的条件概率

\(P(A|B)=\frac{P(AB)}{P(B)}\)

乘法公式

\(P(AB)=P(A|B)P(B)=P(B|A)P(A)\)

全概率公式

\(A_1,A_2...A_n\)为样本空间的一个完备事件组,则

\(P(B)=\sum_{i=1}^nP(A_i)P(B|A_i)\)

贝叶斯公式

\(A_1,A_2...A_n\)为样本空间\(\Omega\)的一个完备事件组,则

\(P(A_i|B)=\frac{P(A_i)P(B|A_i)}{P(B)}=\frac{P(A_i)P(B|A_i)}{\sum_{j=1}^nP(A_j)P(B|A_j)},i=1,2...n\)


4. 事件独立性和伯努利概型

事件独立

事件A和B之间的发生并不影响另一个的发生时,二者独立,即

\(P(AB)=P(A)P(B)\)

事件独立和事件互斥是不同概念,前者针对概率,后者针对事件:互斥一定不独立,独立一定不互斥

伯努利概型

n重独立试验中,每次试验结果只有"发生"和"不发生"两种,这样的试验为n重伯努利试验,对应伯努利概型

Ch1 概率论基础知识思维导图
Ch1 概率论基础知识思维导图

二项概率

n次伯努利试验中,假设\(p=P(A)\),则A恰好发生k次的概率为

\(P_n(k)=C^k_np^k(1-p)^{n-k}\)

因为上式恰为二项式\([p+(1-p)]^n\)展开式的第k+1项,因此称为二项概率

多项概率

n次伯努利试验中,每次试验结果是\(A_1,A_2...A_k\),对应发生概率为\(p_i=P(A_i)\),则\(A_1,A_2...A_k\)在n次试验中各发生\(r_1,r_2...r_k\)的概率为

\(C^{r_1}_nC^{r_2}_{n-r_1}...C^{r_k}_{n-(r_1+...r_{k-1})}p^{r_1}_1p^{r_2}_2...p^{r_k}_k=\frac{n!}{r_1!r_2!...r_k!}p^{r_1}_1p^{r_2}_2...p^{r_k}_k\)


5. 扩展:贝叶斯原理

参考链接: 小白之通俗易懂的贝叶斯定理(Bayes' Theorem) - 地平线下面的土豆的文章 - 知乎

贝叶斯原理是机器学习和数据科学中的基石,是关于随机事件A和B的条件概率的一则定理

\(P(A|B)=\frac{P(A)P(B|A)}{P(B)}\)

  • P(A|B)是已知B发生后A的条件概率,由于得自B的取值也被称为A的后验概率(Posterior)
  • P(A)是A的先验概率(Prior)或者边缘概率,因为他不考虑任何B方面的因素
  • P(B|A)/P(B)有时称为标准似然度(standardised likelihood)

按照术语,贝叶斯定理表述为

\(后验概率=先验概率*标准似然度\)

通俗理解:

先验概率是我们对A事件发生概率的初始主观判断,我们未曾考虑事件B可以带来的新信息;而标准似然度就是一个"可能性函数",作为一个调整因子,事件B传输了新的信息,就发生调整,使得先验概率更接近真实概率

  • 如果"可能性函数"P(B|A)/P(B)>1,意味着"先验概率"被增强,事件A的发生的可能性变大;
  • 如果"可能性函数"=1,意味着B事件无助于判断事件A的可能性;
  • 如果"可能性函数"<1,意味着"先验概率"被削弱,事件A的可能性变小


直接使用上面链接知乎答主总结的:

贝叶斯的底层思想就是:

如果我能掌握一个事情的全部信息,我当然能计算出一个客观概率(古典概率、正向概率)

可是生活中绝大多数决策面临的信息都是不全的,我们手中只有有限的信息。既然无法得到全面的信息,我们就在信息有限的情况下,尽可能做出一个好的预测。也就是,在主观判断的基础上,可以先估计一个值(先验概率),然后根据观察的新信息不断修正(可能性函数)


6. 例题

贝叶斯原理:假阳性问题

一种检验50岁以上人群关节炎患病情况的检验法:

(1)对于确实患有关节炎的病人有85%的概率检验结果为患有关节炎

(2)对于未患有关节炎的病人有4%的概率检验结果认为患有关节炎

已知50以上人群有10%概率患有关节炎,求一个检验者经检验没有关节炎,实际患有关节炎的概率


\[\begin{aligned} &设A:实际患有关节炎,B:检验认为患有关节炎\\ &易得P(B|A)=0.85,P(B|\bar A)=0.04,P(A)=0.1,求P(A|\bar B)\\ &则P(\bar B|A)=0.15,P(\bar B|\bar A)=0.96\\ &P(A|\bar B)=\frac{P(A)P(\bar B|A)}{P(\bar B)}=\frac{P(A)P(\bar B|A)}{P(\bar A)P(\bar B|\bar A)+P(A)P(\bar B|A)}=\frac{0.1*0.15}{0.9*0.96+0.1*0.15}≈0.017 \end{aligned}\]








Ch2 随机变量及其分布

原目录:概率论与数理统计

查看语雀原文

1. 随机变量及其分布函数

首先区分三个概念:

  • 随机变量:随机变量用于说明随机试验可能结果与数之间的关系,毕竟随机试验需要和数学先建立联系

\(在样本空间\Omega中,每个样本\omega\in\Omega,规定实数X(\omega),则函数X=X(\omega)为随机变量\)

  • 随机变量的概率分布:概率分布是随机变量所有可能结果及其相应概率的列表

在下面的离散和连续型随机变量中他们的概率分布意义有所不同:

(1)离散型:概率分布(概率质量函数),也叫分布律,其对应某个x的输出结果就是P(X=x)

(2)连续:概率密度函数,但是其结果不等于概率,概率必须要求fx的区间积分

  • 分布函数F(x):函数允许我们简洁地定义一个概率分布,避免了列表的繁琐

\(F(x)=P(X\leq x),x\in R\)

随机变量分布函数的性质

  1. \(单调不减,x_1<x_2,则F(x_1)<F(x_2)\)
  2. \(F(-∞)=P(x\leq-∞)=0,F(+∞)=P(x\leq+∞)=1 \)
  3. \(右连续,即F(x)=F(x+0)\)
  4. \(对任意x_0,P(X=x_0)=F(x_0)-F(x_0-0)\)

2. 离散型随机变量及分布

对于离散概率分布,我们关心的是取得一个特定数值的概率。例如抛硬币正面向上的概率为:p(x=正面)=1/2

概率分布(概率质量函数)

离散型随机变量的概率分布主要有三种形式,都描述了随机变量取某个离散值时的概率:

\(\begin{cases} P_k=P(X=x_k),k=1,2...\\或 \begin{array}{c|c|c}X & x_1 & x_2 & ... \\ \hline p_k & p_1 & p_1 & ... \end{array}\\ 或X\sim \begin{pmatrix} x_1 & x_2 & ... & x_n \\ p_1 & p_2 & ... & p_n \end{pmatrix} \end{cases}\)

分布函数

概率分布函数是一个普通的实函数,用于表示"X取值不超过x的概率"

\(F(x)=P(X\leq x)=\sum_{x_k\leq x} p_k\)

常见离散型分布

当统计学家们开始研究概率分布时,有几种形状反复出现,于是就研究他们的规律,根据这些规律来解决特定条件下的问题,这就是为什么会产生许多知名的随机变量分布

分布

表示

概率分布

分布函数

实际应用

几何分布




可列重伯努利试验中,事件A首次发生在第k次的概率

超几何分布

N个球的袋中,其中m个红球,求一次性模n个小球,里面有恰好k个红球的概率

二项分布

n重伯努利试验中,事件A发生k次的概率: N个球的袋中,其中m个红球,摸n次,每次1个球,摸完放回,求n次后恰好摸出k次红球概率

0-1分布

n=1的n重伯努利试验,此时X只能取0,1两个值

泊松分布

当n≥50,p≤0.1时,二项分布概率近似等于泊松分布概率


3. 连续随机变量及分布

而对于连续概率分布来说,我们无法给出每一个数值的概率,因为我们不可能列举每一个精确数值,我们关注给定变量范围的概率

概率密度函数

\(随机变量X的分布函数为F(x),若存在非负函数f(x),使对x\in R,有:\\ F(x)=\int_{-∞}^{x} f(t)\, dt\\ 则X为连续型随机变量,f(x)为X的概率密度函数/密度函数/密度\)


和概率质量函数不同,概率密度函数的输出不是概率值,这是一个极为重要的差别

实际上给定密度函数f(x)后,对f(x)在某一区间的积分才是真正的概率,此时尝试对某一点积分的结果为0:连续概率分布重要的一个性质是随机变量取得特定结果的概率为0

如下图的阴影面积就是\(P(0<x<1)=P(0≤x<1)=P(0<x≤1)=P(0≤x≤1)\)

笔记配图



分布函数

通过求密度函数在某一区间的积分得到给定变量范围的概率

\(F(x)=\int_{-∞}^{x} f(t)\, dt\\\)

重要性质

密度函数

  • ,概率之和一定为1,该条常用来求未知参数

分布函数

常见连续型分布

分布

表示

密度函数

分布函数

实际应用

均匀分布

等可能的再区间[a,b]中取值的随机变量,虽然每点被取到的概率相等,但绝不是1/b-a,再次说明连续随机变量取得特定结果的概率为0,求区间积分才能得到概率,其fx和Fx图像如下
                

指数分布

指数分布常描述元器件寿命,但其时唯一具有无记忆性的连续型分布:

Γ(Gamma)分布

,有以下性质:

Γ分布常描述元器件或系统寿命,当0<α<1时,失效概率随时间下降,当α>1相反


4. 随机变量函数的分布

一句话:已知X是某个随机变量分布,则y=f(x)的分布就是随机变量函数的分布

离散型

\(已知Y=g(x),x有概率分布p_k=P(X=x_k),k=1,2...时, P(Y=y_k)=\sum_{g(x_k)=y_j}p_k\)

比如已知\(X\sim \begin{pmatrix} -1 & 0 & 1 & 2 \\ 0.2 & 0.3 & 0.3 & 0.2 \end{pmatrix},Y=X^2\),则Y的概率分布为\(Y\sim \begin{pmatrix} 0 & 1 & 4 \\ 0.3 & 0.5 & 0.2 \end{pmatrix}\)

连续型

求连续随机变量函数Y的密度函数流程如下:

已知\(f_X(x),Y=g(X)\)

  1. \(根据X取值范围,求出g(X)值域R(Y),即Y的取值区间\)
  2. \(对y\in R(Y): F_Y(y)=P(Y\leq y)=P(g(X)\leq y)=P(X\in G(y))=\int_{G(y)}f_X(x)dx\)

5. 例题

例题1: 一维连续随机变量函数的分布

\(随机变量X有密度函数f(x)= \begin{cases} \frac14|x|,-2\leq x <0\\ x, 0\leq x \leq 1\\ 0, 其他 \end{cases}, Y=X^2,求f_Y(y)\)



\[\begin{aligned} &R(Y)=[0,4],则对y\in[0,4]有:\\ &F_Y(y)=P(Y\leq y)=P(-\sqrt{y}\leq X\leq \sqrt{y})\\ &当y\in[0,1]\\ &F_Y(y)=\int_{-\sqrt{y}}^{\sqrt{y}}f_X(x)dx=\int_{-\sqrt{y}}^{0}-\frac14xdx+\int_{0}^{\sqrt{y}}xdx=\frac58y\\ &当y\in(0,4]\\ &F_Y(y)=\int_{-\sqrt{y}}^1f_X(x)dx=\int_{-\sqrt{y}}^0\frac14xdx+\int_0^1xdx=\frac{y}8+\frac12\\ &综上f_Y(y)=F'_Y(y)= \begin{cases} \frac58,0\leq y\leq 1\\ \frac18,1<y\leq 4\\ 0, 其他 \end{cases}

\end{aligned}]




Ch3 二维随机变量及其分布

原目录:概率论与数理统计

查看语雀原文

1. 二维随机变量及其分布函数

二维随机变量分布函数F(x)

\(设(X,Y)是二维随机变量,对任意实数x,y,称F(x,y)=P(X\leq x, Y\leq y)称为二维分布函数/联合分布函数\)

1.1 离散型

类似一维时,概率分布即为随机变量(X,Y)取特定值时的概率;二维分布函数可通过概率分布求和得到

联合概率分布/联合质量函数

\(p_{ij}=P(X=x_i,Y=y_j),i,j=1,2...\)

联合分布函数

\(F(x,y)=\sum_{x_i\leq x}\sum_{y_i\leq y}p_{ij}\)

常见二维离散型分布

三项分布

表示

联合概率分布

联合分布函数

实际应用

n重独立试验中,每次试验有三个结果,令X和Y表示n次试验中发生的次数则,X和Y有联合概率分布


1.2 连续

二维概率密度函数/联合密度函数

\(对二维随机变量(X,Y),有二元非负函数f(x,y),使得对任意实数x,y,有F(x,y)=\int^x_{-∞}\int^y_{-∞}f(u,v)dudv,称f(x,y)为(X,Y)的联合密度函数\)

二维分布函数

\(F(x,y)=\int^x_{-∞}\int^y_{-∞}f(u,v)dudv\)


如何理解二维分布函数:首先既然是二重积分,就大致是曲顶柱体体积,根据宋浩老师的说法,大致是一个"草帽",F(x)就是草帽给定区间的体积

二位分布.png

联合密度函数f(x,y)就是上面这层曲顶对应的函数

常见二维连续型分布

均匀分布

表示

联合概率分布

联合分布函数

实际应用

描述(X,Y)等可能落入区域G中的随机点(对比一维均匀分布是落入区间[a,b])


2. 边缘分布及随机变量的独立性

二维变量(X,Y)中某一维分布函数\(F_X(x),F_Y(y)\)相对于二维分布函数\(F(x,y)\)被称为边缘分布函数

边缘分布函数

\(F_X(x)=F(y,+∞),x\in R\\ F_Y(y)=F(+∞,y),y\in R \)

独立性

\(对任意x,y,当F(x,y)=F_X(x)F_Y(y),则X与Y相互独立\)

2.1 离散型

边缘概率分布/边缘质量函数

二维离散型随机变量边缘分布可通过联合概率分布求出

\(pi.=\sum_jpij,其中i=1,2...(同行相加)\\ p.j=\sum_ipij,其中j=1,2...(同列相加)\\ \)

参考例题1: 二维离散,可以简要叙述边缘概率分布的意义:

  • pi.:当考虑Y取得所有可能结果时,X分别等于xi时的概率
  • p.j:当考虑X取得所有可能结果时,y分别等于yj时的概率

独立性

\(当X与Y独立\iff p_{ij}=p_{i.}p_{.j}\)

2.2 连续型

边缘密度函数

\(f_X(x)=\int^{+∞}_{-∞}f(x,y)dy\\ f_Y(y)=\int^{+∞}_{-∞}f(x,y)dx\)


如何理解边缘密度函数:一重积分就是面积:

  • 对边缘密度函数\(f_X(x)\)来说就是给定某个x,此时曲顶对应一条曲线,把曲线投影到YOZ平面后的面积,因此对R上的y积分
  • 对边缘密度函数\(f_Y(y)\)来说就是给定某个y,此时曲顶对应一条曲线,把曲线投影到XOZ平面后的面积,因此对R上的x积分

边缘分布.png

独立性

\(当X与Y独立\iff f(x,y)=f_X(x)f_Y(y)\)


3. 条件分布和条件密度

条件分布函数(通用)

\(F_{X|Y}(x|y)=P(X\leq x|Y=y),x\in R\)

3.1 离散型

条件分布

\(Y=y_i条件下X的条件概分布P(X=x_i|Y=y_j)=\frac{p_{ij}}{p_{.j}},\, i=1,2...\\ X=x_j条件下Y的条件概分布P(Y=y_i|X=x_j)=\frac{p_{ij}}{p_{i.}},\, j=1,2...\\\)

条件分布函数

\(F_{X|Y}(x|y_j)=P(X\leq x|Y=y_j)=\sum_{x_i\leq x}\frac{p_{ij}}{p_{.j}}\\ F_{Y|X}(y|x_i)=P(Y\leq y|X=x_i)=\sum_{y_j\leq y}\frac{p_{ij}}{p_{i.}}\\\)

3.2 连续型

条件密度函数

\(f_{X|Y}(x|y)=\frac{f(x,y)}{f_Y{(y)}}\\ f_{Y|X}(y|x)=\frac{f(x,y)}{f_X{(x)}}\)

条件分布函数


\(F_{X|Y}(x|y)=P(X\leq x|Y=y)=\int^x_{-∞}\frac{f(u,y)}{f_Y{(y)}}du\\ F_{Y|X}(y|x)=P(Y\leq y|X=x )=\int^y_{-∞}\frac{f(x,v)}{f_X{(x)}}dv \)


上述结论的证明有点技巧,首先\(F_{X|Y}(x|y)=\frac{P(X\leq x,Y=y)}{P(Y=y)}\),对于连续随机变量,某点的概率取值为0,因此分母直接为0,有点反直觉,其证明如下(不清楚可看宋老师视频24min处):

\[\begin{aligned} F_{X|Y}(x|y)&=\frac{P(X\leq x,Y=y)}{P(Y=y)}\\ &=\lim_{\epsilon\to0}\frac{P(X\leq x,y\leq Y\leq y+\epsilon )}{P(y\leq Y\leq y+\epsilon )}\\ &=\lim_{\epsilon\to0}\frac{\int^x_{-∞}\int^{y+\epsilon}_{y}f(u,v)dudv}{\int^{y+\epsilon}_{y}f_Y(v)dv}\\ &=\lim_{\epsilon\to0}\frac{\cfrac{1}{\epsilon}\int^x_{-∞}\int^{y+\epsilon}_{y}f(u,v)dudv}{\cfrac{1}{\epsilon}\int^{y+\epsilon}_{y}f_Y(v)dv}\\ \end{aligned}\]

时使用积分中值定理,在区间[y,y+ε]中可找到ξ使得\(\cfrac{1}{\epsilon}\int^{y+\epsilon}_{y}f_Y(v)dv=\cfrac{1}{\epsilon}f_Y(\xi)(y+\epsilon-y)=f_Y(\xi),又\xi\in[y,y+\epsilon](\epsilon\to0),则f_Y(\xi)=f_Y(y)\)

则分母变成常数,分子同样使用中值定理得到\(\cfrac{1}{\epsilon}\int^x_{-∞}\int^{y+\epsilon}_{y}f(u,v)dudv=\int^x_{-∞}f(u,y)du\)

综上\(F_{X|Y}(x|y)=\int^x_{-∞}\frac{f(u,y)}{f_Y{(y)}}du\)


在做题中,通常有两种问法

  1. \(P(X\leq \frac12|Y=\frac14)\)

此时为条件分布知识,使用\(F_{X|Y}(\frac12|\frac14)=P(X\leq \frac12|Y=\frac14)=\int^\frac12_{-∞}\frac{f(u,\frac14)}{f_Y{(\frac14)}}du\)

  1. \(P(X\leq \frac12|Y\leq \frac14)\)

此时非条件分布:

分子为一般二维分布函数\(F(\frac12,\frac14)=P(X\leq \frac12,Y\leq \frac14)=\int^\frac12_{-∞}\int^\frac14_{-∞}f(x,y)dydx\)

分母为边缘分布函数\(F_Y(\frac14)=\int^{\frac14}_{-∞}f_Y(y)dy\)



4. 二维随机变量函数的分布

4.1 离散型

\(P(Z=z_k)=\sum_{g(x_i,y_j)=z_k}p_{ij}\)

4.2 连续型

\(f_Z(z)\)的一般方法:

  1. \(确定R(Z) \)
  2. \(对任意z\in R(Z): F_Z(z)=P(Z\leq z)=P(g(X,Y)\leq z)=P((X,Y)\in G(z))=\int\int_{G(z)}f(x,y)dxdy\)















Ch3 例题

原目录:概率论与数理统计 / Ch3 二维随机变量及其分布

查看语雀原文

例题1:二维离散

生物群体t=0时只有一个个体,t=1时要么分裂为两个独立个体,要么死亡;t=2时两个个体独立演化.假设分裂与死亡概率同为1/2,X,Y分别表示t=1和t=2时个体数,则:

(1) t=2时,群体灭绝概率(Y=0)

(2) t=2时群体灭绝的条件下,求t=1时未灭绝概率

(3) 求(X,Y)概率分布

(4) 求X,Y的边缘分布,判断是否独立


  1. \(Y=0,则可能t=1时灭绝,可能t=2时灭绝:P(Y=0)=\frac12+\frac12C_2^2(\frac12)^2=\frac58\)

  1. \[\begin{aligned} &设A:t=2时灭绝,B:t=1时灭绝\\ &P(B|A)=\frac{P(AB)}{P(A)}=\frac{\frac12C_2^2(\frac12)^2}{\frac58}=\frac15 \end{aligned}\]

  1. \[\begin{aligned} &\begin{array}{|c|c|c|c|} x/y & 0 & 1 & 2\\ \hline 0&\frac12&/&/\\ 1&\frac18&\frac14&\frac18\\ \end{array} \\ &P(X=Y=0)=\frac12\\ &P(X=1,Y=0)=\frac12C_2^2(\frac12)^2=\frac18\\ &P(X=1,Y=1)=\frac12C_2^1\frac12\frac12=\frac14\\ &P(X=1,Y=2)=\frac12C_2^2(\frac12)^2=\frac18\\ \end{aligned}\]

  1. \[\begin{aligned} &\begin{array}{|c|c|c|c|c|} x/y & 0 & 1 & 2 & p_{i.}\\ \hline 0&\frac12&/&/&\frac12\\ 1&\frac18&\frac14&\frac18&\frac12\\ \hline p_{.j}&\frac58&\frac14&\frac18&1\\ \end{array} &p12=\frac18 \ne p_{1.}p_{.2}=\frac{1}{16},则XY不独立 \end{aligned}\]



例题2:二维连续+边缘分布+条件分布

设G(X,Y)为G上的均匀分布,G={(X,Y)|0≤y≤1,-y≤x≤y}

(1) 求XY的边缘密度函数\(f_X(x)和f_Y(y)\),并判断独立性

(2) 求\(P(X\leq 0|Y=\frac12)和P(X\leq 0|Y\leq \frac12)\)

(3) 若Z=X+Y,求Z的密度函数\(f_Z(z)\)


  1. \[\begin{aligned} &由已知,f(x,y)= \begin{cases} \dfrac1{m(G)},(x,y)\in G\\ 0,其他 \end{cases}= \begin{cases} 1,0\leq y\leq 1,-y\leq x\leq y\\ 0,其他 \end{cases}\\ &X:\\ &当x\in[-1,0]时,f_X(x)=\int_{-x}^11dy=1+x \ (红线)\\ &当x\in(0,1]时,f_X(x)=\int_{x}^11dy=1-x\\ &Y:\\ &y\in [0,1]时,f_Y(y)=\int_{-y}^{y}1dx=2y \ (蓝线)\\ &综上:\\ &f_X(x)= \begin{cases} 1+x,-1\leq x\leq 0\\ 1-x,0< x\leq 1\\ 0,其他 \end{cases} \ f_Y(y)= \begin{cases} 2y,0\leq y \leq 1\\ 0,其他 \end{cases} \end{aligned}\]
       例2(1).png


  1. \[\begin{aligned} &当0\leq y\leq 1,-y\leq x\leq y,f_{X|Y}(x|y)=\frac{f(x,y)}{f_Y(y)}=\frac{1}{2y}\\ &当y=\frac12,-\frac12\leq x\leq \frac12,f_{X|Y}(x|\frac12)=1,求X的分布函数\\ &F_{X|Y}(x|\frac12)=\int_{-∞}^xf_{X|Y}(u|\frac12)du= \begin{cases} 0,x<-\frac{1}{2}\\ \int_{-\frac{1}{2}}^x1dx, -\frac12\leq x\leq \frac12\\ 1,x>\frac12 \end{cases}\ = \begin{cases} 0,x<-\frac{1}{2}\\ x+\frac12, -\frac12\leq x\leq \frac12\\ 1,x>\frac12 \end{cases}\\ &则\\ &P(X\leq 0|Y=\frac12)=F_{X|Y}(0|\frac12)=\frac12\\ &P(X\leq 0|Y\leq \frac12)=\frac{P(X\leq 0,Y\leq \frac12)}{P(Y\leq \frac12)}=\frac{\int_0^{\frac12}dy\int_{-y}^01dx}{\int_0^{\frac12}2ydy}=\frac{\frac18}{\frac14}=\frac12

    \end{align} )


不同于一重积分,在二重积分中,画图只是为了确定积分上下限,此图像的面积和积分结果无关

  1. \(\begin{align} &Z=X+Y,R(Z)=[0,2]\\ &P(Z\leq z)\\ &=P(X+Y\leq z)\\ &=\int\int_{X+Y\leq z}f(x,y)dxdy\\ &=\int_0^{\frac{z}{2}}dy\int_{-y}^{y}1dx+\int_{\frac{z}{2}}^{1}dy\int_{-y}^{z-y}1dx(红线分为两部分求积分)\\ &=z-\frac{z^2}{4}\\ \therefore\ &F_Z(z)= \begin{cases} 0,z<0\\ z-\dfrac{z^2}{4},0\leq z\leq 2\\ 1,z>2 \end{cases}\\ \therefore\ &f_Z(z)=F_Z'(z)= \begin{cases} 1-\frac12z,0\leq z\leq 2\\ 0,其他 \end{cases}

    \end{aligned}]