diff --git a/linear-algebra/exercise/5-similar/similar.pdf b/linear-algebra/exercise/5-similar/similar.pdf index 17a307e..cc6320d 100644 Binary files a/linear-algebra/exercise/5-similar/similar.pdf and b/linear-algebra/exercise/5-similar/similar.pdf differ diff --git a/linear-algebra/knowledge/5-similar/similar.pdf b/linear-algebra/knowledge/5-similar/similar.pdf index 3235da3..6ad4ceb 100644 Binary files a/linear-algebra/knowledge/5-similar/similar.pdf and b/linear-algebra/knowledge/5-similar/similar.pdf differ diff --git a/linear-algebra/knowledge/5-similar/similar.tex b/linear-algebra/knowledge/5-similar/similar.tex index 9fb7de2..7ee4028 100644 --- a/linear-algebra/knowledge/5-similar/similar.tex +++ b/linear-algebra/knowledge/5-similar/similar.tex @@ -3,6 +3,7 @@ \usepackage{color} % 使用颜色 \definecolor{orange}{RGB}{255,127,0} +\definecolor{violet}{RGB}{192,0,255} \definecolor{aqua}{RGB}{0,255,255} \usepackage{geometry} \setcounter{tocdepth}{4} @@ -165,7 +166,7 @@ $\therefore\lambda_1=-2$，$\lambda_2=1$，$\lambda=4$。 \subsubsection{定义} -设$A,B$是两个$n$阶方阵，若存在$n$阶可逆矩阵$P$，使得$P^{-1}AP=B$，则称$A$相似于$B$，记为$A\sim B$。 +\textcolor{violet}{\textbf{定义：}}设$A,B$是两个$n$阶方阵，若存在$n$阶可逆矩阵$P$，使得$P^{-1}AP=B$，则称$A$相似于$B$，记为$A\sim B$。 其实就是对矩阵进行初等变换。 @@ -192,7 +193,7 @@ $\therefore\lambda_1=-2$，$\lambda_2=1$，$\lambda=4$。 \subsubsection{定义} -设$n$阶矩阵$A$，若存在$n$阶可逆矩阵$P$，使得$P^{-1}AP=\Lambda$，其中$\Lambda$为对角矩阵（纯量阵，即对角线元素不全为0，其他元素全为0），则称$A$可\textbf{相似对角化}，记为$A\sim\Lambda$，称$\Lambda$是$A$的\textbf{相似标准形}。 +\textcolor{violet}{\textbf{定义：}}设$n$阶矩阵$A$，若存在$n$阶可逆矩阵$P$，使得$P^{-1}AP=\Lambda$，其中$\Lambda$为对角矩阵（纯量阵，即对角线元素不全为0，其他元素全为0），则称$A$可\textbf{相似对角化}，记为$A\sim\Lambda$，称$\Lambda$是$A$的\textbf{相似标准形}。 为什么要选择$\Lambda$？，因为对角矩阵计算非常简单，只需要对对角线元素进行运算就可以了。 @@ -281,7 +282,7 @@ $\therefore\lambda_1=\lambda_2=1$，$\lambda_3=10$。 \subsubsection{定义} -$A^T=A$则$A$就是对称矩阵，若$A$的元素都是实数，则$A$是实对称矩阵。 +\textcolor{violet}{\textbf{定义：}}$A^T=A$则$A$就是对称矩阵，若$A$的元素都是实数，则$A$是实对称矩阵。 \begin{itemize} \item $A$是实对称矩阵，则$A$的特征值是实数，特征向量是实向量。 diff --git a/linear-algebra/knowledge/6-quadratic-form/quadratic-form.pdf b/linear-algebra/knowledge/6-quadratic-form/quadratic-form.pdf index 5274fce..4d0567c 100644 Binary files a/linear-algebra/knowledge/6-quadratic-form/quadratic-form.pdf and b/linear-algebra/knowledge/6-quadratic-form/quadratic-form.pdf differ diff --git a/linear-algebra/knowledge/6-quadratic-form/quadratic-form.tex b/linear-algebra/knowledge/6-quadratic-form/quadratic-form.tex index 022a580..607d3e8 100644 --- a/linear-algebra/knowledge/6-quadratic-form/quadratic-form.tex +++ b/linear-algebra/knowledge/6-quadratic-form/quadratic-form.tex @@ -2,6 +2,9 @@ % UTF8编码，ctexart现实中文 \usepackage{color} % 使用颜色 +\definecolor{orange}{RGB}{255,127,0} +\definecolor{violet}{RGB}{192,0,255} +\definecolor{aqua}{RGB}{0,255,255} \usepackage{geometry} \setcounter{tocdepth}{4} \setcounter{secnumdepth}{4} @@ -75,11 +78,13 @@ $=(x_1,x_2,x_3)\left(\begin{array}{ccc} 所以可以发现二次型矩阵就是一个对称矩阵，所以只要能写出二次型的就一定存在一个对称矩阵，就一定可以相似对角化。 -\section{标准型与规范型} +\section{标准形与规范形} -\subsection{配方法} +\textcolor{violet}{\textbf{定义：}}若二次型中只含有平方项，没有混合项（交叉项，即所有交叉项的系数全部为0），形如$d_1x_1^x+d_2x_2^2+\cdots+d_nx_n^2$的二次型就是\textbf{标准形}。 -\subsection{正交变换法} +\textcolor{violet}{\textbf{定义：}}若标准形中系数$d_i$仅为1，0，-1，即形如$x_1^2+\cdots+x_p^2-x_{p+1}^2-\cdots-x_{p+q}^2$的二次型称为\textbf{规范形}。 + +其实二次型的标准形与规范形就是相似理论中的可逆矩阵相似对角化与实对称矩阵相似对角化的方法。 \subsection{合同变换} @@ -107,18 +112,288 @@ $x^TAx=y^TBy$这种改变表示方法的变换就是合同变换。 \subsubsection{定义} -二次型$f(x)$与$g(y)$的系数矩阵$A$与$B$满足$B=C^TAC$，这种关系就是\textbf{合同变换}。 +\textcolor{violet}{\textbf{定义：}}二次型$f(x)$与$g(y)$的系数矩阵$A$与$B$满足$B=C^TAC$，这种关系就是\textbf{合同变换}。 设$AB$为$n$阶实对称矩阵，若存在可逆矩阵$C$，使得$C^TAC=B$，则称$AB$\textbf{合同}，记为$A\simeq B$，此时$f(x)$与$g(x)$为\textbf{合同二次型}。 +若二次型$f(x)=x^TAx$合同与标准形$d_1x_1^2+d_2x_2^x+\cdots+d_nx_n^2$或合同于规范形$x_1^2+\cdots+x_p^2-x_{p+1}^2-\cdots-x_{p+q}^2$，则称$d_1x_1^2+d_2x_2^x+\cdots+d_nx_n^2$为$f(x)$的\textbf{合同标准形}或\textbf{合同规范形}。 + +\subsection{正交变换法} + +是对实对称矩阵相似对角化的正交变换的延申。 + +任何二次型均可通过正交变换法化为标准形，即对于任何实对称矩阵$A$，必存在正交矩阵$Q$，使得$Q^TAQ=Q^{-1}AQ=\Lambda$，其中$\Lambda=\left(\begin{array}{cccc} + \lambda_1 \\ + & \lambda_2 \\ + & & \ddots \\ + & & & \lambda_n +\end{array}\right)$。 + +二次型正交变换法基于实对称矩阵相似对角化： + +\begin{enumerate} + \item 求出$A$的所有特征值$\lambda$。 + \item 求出$A$的所有$\lambda$的特征向量$\xi$。 + \item 将$(\xi_1,\xi_2,\cdots,\xi_n)$正交化、单位化为$(\eta_1,\eta_2,\cdots,\eta_n)$。 + \item 令$Q=(\eta_1,\eta_2,\cdots,\eta_n)$，则$Q^{-1}AQ=Q^TAQ=\Lambda$。 + \item 因为$f(x)=x^TAx$，代入$x=Qy$，$(Qy)^TA(Qy)=y^TQ^TAQy=y^T\Lambda y$。 +\end{enumerate} + +如矩阵表示中所给出的一个例子。 + +\textbf{例题：}将二次型$f(x_1,x_2,x_3)=2x_1^2+5x_2^2+5x_3^2+4x_1x_2-4x_1x_3-8x_2x_3$使用正交变换法化为标准形，并求所作的正交变换。 + +已知将二次型通过矩阵表示：$=(x_1,x_2,x_3)\left(\begin{array}{ccc} + 2 & 2 & -2 \\ + 2 & 5 & -4 \\ + -2 & -4 & 5 +\end{array}\right)(x_1,x_2,x_3)^T$。\medskip + +这个矩阵跟第五章相似的实对称矩阵相似对角化的例题的矩阵一样。 + +所以直接结果：$\lambda_1=\lambda_2=1$，$\lambda_3=10$，$\eta_1'=\dfrac{\sqrt{5}}{5}(-2,1,0)^T$，$\eta_2'=\dfrac{\sqrt{5}}{15}(2,4,5)^T$，$\eta_3'=\dfrac{1}{3}(1,2,-2)^T$。 + +第五步：$f(x)=g(y)=y^T\Lambda y=(y_1,y_2,y_3)\left(\begin{array}{ccc} + 1 \\ + & 1 \\ + & & 10 +\end{array}\right)(y_1,y_2,y_3)^T=y_1^2+y_2^2+10y_3^2$ + +\subsection{配方法} + +也称为拉格朗日配方法。配方法与前面的特征值、相似、正交理论无关，是通过配方找到一个可逆的合同矩阵。 + +任何二次型均可通过配方法（做可逆线性变换）化为标准形与规范形，即对于任何实对称矩阵$A$，必存在可逆矩阵$C$，使得$C^TAC=\Lambda$，其中： + +$\Lambda=\left(\begin{array}{cccc} + d_1 \\ + & d_2 \\ + & & \ddots \\ + & & & d_n +\end{array}\right)$或$\Lambda=\left(\begin{array}{ccccccccc} + A \\ + & B \\ + & & C \\ +\end{array}\right)$，$A=\left(\begin{array}{ccc} + 1 \\ + & \ddots \\ + & & 1 \\ +\end{array}\right)$，$B=\left(\begin{array}{ccc} + -1 \\ + & \ddots \\ + & & -1 \\ +\end{array}\right)$，$C=\left(\begin{array}{ccc} + 0 \\ + & \ddots \\ + & & 0 \\ +\end{array}\right)$。\medskip + +一个二次型可以通过相似对角化来求矩阵$\lambda$和$\xi$来化成标准形或规范形，而也可以通过配方法来更简单得到。 + +配方法的核心：将某个变量的平方项与其混合项一次性配称一个完全平方。 + +\textbf{例题：}将$f(x_1,x_2,x_3)=x_1^2+2x_1x_2+2x_1x_3-x_2^2-2x_2x_3-x_3^2$化为标准形并求出作的可逆线性变换。 + +解：首先对$x_1$进行配方，因为有$x_1$因子的式子有$x_1^2+2x_1x_2+2x_1x_3$。 + +所以将$x_1,x_2,x_3$全部配在一起：$(x_1+x_2+x_3)^2=x_1^2+x_2^2+x_3^2+2x_1x_2+2x_1x_3+2x_2x_3$。 + +所以$f(x)=(x_1+x_2+x_3)^2-2x_2^2-4x_2x_3-2x_3^2$，然后继续配$x_2$。 + +因为还有$-2x_2^2-4x_2x_3$，所以配成$-2(x_2+x_3)^2$，正好全部配完了。 + +$\therefore f(x)=(x_1+x_2+x_3)^2-2(x_2+x_3)^2$。 + +\textcolor{orange}{注意：}$n$元要换成$n$个新变量，缺项要补项，系数为0。 + +令$y_1=x_1+x_2+x_3$，$y_2=x_2+x_3$，补$y_3=x_3$，$\therefore f=y_1^2-2y_2^2$。 + +$(y_1,y_2,y_3)^T=\left(\begin{array}{ccc} + 1 & 1 & 1 \\ + 0 & 1 & 1 \\ + 0 & 0 & 1 +\end{array}\right)(x_1,x_2,x_3)^T$，此时是$y=Dx$，但是我们要求的是$x=Cy$，所以$C=D^{-1}$，所以$D^{-1}$才是作出的可逆线性变换。 + +所以得到的线性变换为$\left(\begin{array}{ccc} + 1 & -1 & 0 \\ + 0 & 1 & -1 \\ + 0 & 0 & 1 +\end{array}\right)$。 + +这样方法还要重新求逆，比较麻烦。实际上我们要求的是$x=Cy$，即用$y$来表示$x$，从而直接将$y$来表示$x$就可以了。 + +首先$y_3=x_3$，所以$x_2=y_2-x_3=y_2-y_3$，$x_1=y_1-x_2-x_3=y_1-y_2+y_3-y_3=y_1-y_2$，综上$x_1=y_1-y_2$，$x_2=y_2-y_3$，$x_3=y_3$，也得到同样结果。 + +\textcolor{orange}{注意：}若二次型只有混合项没有平方项则需要二次代换创造平方项。 + +\textbf{例题：}将二次型$f(x_1,x_2,x_3)=x_1x_2+x_1x_3-x_2x_3$化为规范形，并求所用的可逆线性变换。 + +解：因为二次型中没有平方项式子，而如果进行配方一定会出现平方，就会产生冲突，所以希望把$x$代换称有平方的式子。 + +令$x_1=y_1+y_2$，$x_2=y_1-y_2$，$x_3=y_3$，代入二次型中。 + +$f=y_1^2-y_2^2+y_1y_3+y_2y_3-y_1y_3-+y_2y_3=y_1^2-y_2^2+2y_2y_3=y_1^2-y_2^2+2y_2y_3$。 + +此时由没有平方项就变成了有平方项，所以就能进行配方。 + +$=y_1^2-(y_2-y_3)^2+y_3^2$，继续之前的步骤，进行换元： + +令$z_1=y_1$，$z_2=y_2-y_3$，$z_3=y_3$，$f=z_1^2-z_2^2+z_3^2$得到标准形。 + +对于$x$与$y$：$(x_1,x_2,x_3)^T=\left(\begin{array}{ccc} + 1 & 1 & 0 \\ + 1 & -1 & 0 \\ + 0 & 0 & 1 +\end{array}\right)(y_1,y_2,y_3)^T$。$y$作为过渡变量。 + +将$y$转换为$z$：$(z_1,z_2,z_3)^T=\left(\begin{array}{ccc} + 1 & 0 & 0 \\ + 0 & 1 & -1 \\ + 0 & 0 & 1 +\end{array}\right)(y_1,y_2,y_3)^T$，我们需要$x=Cz$。 + +$(x_1,x_2,x_3)^T=\left(\begin{array}{ccc} + 1 & 1 & 0 \\ + 1 & -1 & 0 \\ + 0 & 0 & 1 +\end{array}\right)\left(\begin{array}{ccc} + 1 & 0 & 0 \\ + 0 & 1 & -1 \\ + 0 & 0 & 1 +\end{array}\right)^{-1}(z_1,z_2,z_3)^T$，从而得到$C=\left(\begin{array}{ccc} + 1 & 1 & 1 \\ + 1 & -1 & -1 \\ + 0 & 0 & 1 +\end{array}\right)$。 + \subsection{惯性定理} +\textcolor{violet}{\textbf{定义：}}无论选取什么样的可逆线性变换，将二次型化为标准形或规范形，其正项个数$p$，负项个数$q$都是不变的，$p$称为\textbf{正惯性指数}，$q$称为\textbf{负惯性指数}。 + +\textcolor{aqua}{\textbf{定理：}}若二次型的矩阵秩为$r$，则$r=p+q$，可逆线性变换不改变正负惯性指数。 + +\textcolor{aqua}{\textbf{定理：}}两个二次型或实对称矩阵合同的充要条件是有相同的正负惯性指数，或有相同的秩及正负惯性指数。 + +\textbf{例题：}设$A=\left(\begin{array}{ccc} + 1 & 2 & 0 \\ + 2 & 1 & 0 \\ + 0 & 0 & 1 +\end{array}\right)$，判断是否与$\left(\begin{array}{ccc} + 1 & 0 & 0 \\ + 0 & 1 & 0 \\ + 0 & 0 & -1 +\end{array}\right)$合同。 + +解：第一种方法使用配方法，将实对称矩阵化为二次型进行配方，得到$f=(x_1+2x_2)^2-3x_2^2+x_3^2=y_1^2-3y_2^2+y_3^2$，$p=2$，$q=1$。 + +第二种方式使用特征值法，$\vert\lambda E-A\vert=0$，得到$\lambda_1=1$，$\lambda_2=3$，$\lambda_3=-1$，令$\xi=y$，$f=\lambda_1y_1^2+\lambda_2y_2^2+\lambda_3y_3^2=y_1^2+3y_2^2-y_3^2$，$p=2$，$q=1$。 + +\textcolor{orange}{注意：}我们会发现$y$前面的系数是不一样的，因为通过配方法得到的系数不一定是特征值，而正交变换法或相似对角化的方法得到的一定是特征值。因为对于配方法，$x=Cy$，$f=(Cy)^TACy=y^TC^TACy=y^T\Lambda y$，这个$\Lambda$是合同的，不满足相似的要求，而对于正交变换$x=Qy$，$f=(Qy)^TAQy=y^TQ^TAQy=y^TQ^{-1}AQy=y^T\Lambda y$，因为$Q$选用的不仅是可逆矩阵$C$，更是正交矩阵，从而即合同又相似，从而得到的$\Lambda$是特征值。 + +因为有两个正系数1和一个负系数-1，根据惯性定理，所以与它合同。 + \section{正定二次型} \subsection{定义} +\textcolor{violet}{\textbf{定义：}}$n$元二次型$f(x_1,x_2,\cdots,x_n)=x^TAx$，若任意$x=(x_1,x_2,\cdots,x_n)^T\neq0$均有$x^TAx>0$，则称$f$为\textbf{正定二次型}，对应矩阵$A$为\textbf{正定矩阵}。 + +若令一个正定二次型等于某个正数，则对于空间就是一个封闭曲面。 + \subsection{性质} +$n$元二次型$f=x^TAx$正定的充要条件是： + +\begin{itemize} + \item 对于任意$x\neq0$，有$x^TAx>0$。（定义） + \item $f$的正惯性指数$p=n$，即所有系数全为正。 + \item 存在可逆矩阵$D$，使得$A=D^TD$。 + \item $A\simeq E$。 + \item $A$的特征值$\Lambda_i>0$（$i=1,2,\cdots,n$）。 + \item $A$的全部顺序主子式均大于0。 +\end{itemize} + +若$C^TAC=E$，则$A=(C^T)^{-1}EC^{-1}=(C^{-1})^TC^{-1}=D^TD$。 + +设$A=(a_{ij})_{n\times n}$，则$\vert A_k\vert=\left|\begin{array}{cccc} + a_{11} & a_{12} & \cdots & a_{1k} \\ + a_{21} & a_{22} & \cdots & a_{2k} \\ + \vdots & \vdots & \ddots & \vdots \\ + a_{k1} & a_{k2} & \cdots & a_{kk} +\end{array}\right|$称为$n$阶矩阵$A$的\textbf{$k$阶顺序（左上角）主子式}。 + +$n$元二次型$f=x^TAx$正定的必要条件是： + +\begin{itemize} + \item $a_{ii}>0$（$i=1,2,\cdots,n$）。 + \item $\vert A\vert>0$。 +\end{itemize} + \subsection{判定} +\subsubsection{具体型} + +\begin{enumerate} + \item 判定主子式是否全部大于0。 + \item 求特征值是否全部大于0。 + \item 配方法判定正惯性指数是否全为$n$。 + \item 定义法，证明$\forall x\neq0$，$x^TAx>0$，即$f>0$。 + \item 找到可逆矩阵$D$，使得$A=D^TD$。 +\end{enumerate} + +主要使用前面三种方法。 + +\textbf{例题：}判别二次型$f(x_1,x_2,x_3)=2x_1^2+2x_2^2+2x_3^2+2x_1x_2+2x_1x_3+2x_2x_3$的正定性。 + +解：根据题目写出二次型矩阵：$A=\left(\begin{array}{ccc} + 2 & 1 & 1 \\ + 1 & 2 & 1 \\ + 1 & 1 & 2 +\end{array}\right)$ + +第一种方法：2>0，$\left|\begin{array}{cc} + 2 & 1 \\ + 1 & 2 +\end{array}\right|>0$，$\vert A\vert>0$，所以正定。 + +第二种方法：$\vert\lambda E-A\vert=0$，所以$\lambda_1=4$，$\lambda_2=\lambda_3=1$，所以正定。 + +第三种方法：通过配方法，将$f=2\left(x_1+\dfrac{x_2}{x}+\dfrac{x_3}{2}\right)^2+\dfrac{3}{2}\left(x_2+\dfrac{1}{3}x_3\right)+\dfrac{4}{3}x_3^2$，$p=3$，所以正定。 + +第四种方法：将$f$进行配方，$f=(x_1+x_2)^2+(x_2+x_3)^2+(x_3+x_1)^2\geqslant0$，所以要证明$f>0$对于$\forall x\neq0$成立。 + +假设$f=0$，则$x_1+x_2=0$，$x_2+x_3=0$，$x_3+x_1=0$，则$x_1=x_2=x_3=0$，所以$x\neq0$时$f>0$。 + +第五种方法：将$f$进行配方，$f=(x_1+x_2)^2+(x_2+x_3)^2+(x_3+x_1)^2$ + +$=(x_1+x_2,x_2+x_3,x_3+x_1)(x_1+x_2,x_2+x_3,x_3+x_1)^T$ + +$=(x_1+x_2,x_2+x_3,x_3+x_1)\left(\begin{array}{ccc} + 1 & 0 & 1 \\ + 1 & 1 & 0 \\ + 0 & 1 & 1 +\end{array}\right)\left(\begin{array}{ccc} + 1 & 1 & 0 \\ + 0 & 1 & 1 \\ + 1 & 0 & 1 +\end{array}\right)\left(\begin{array}{c} + x_1 \\ + x_2 \\ + x_3 +\end{array}\right)=x^TD^TDx$ + +$=x^TAx$，所以找到了这个$D$，从而正定。 + +\subsubsection{抽象型} + +对于抽象型二次型正定问题，首先要表明$A$是对称的，即$A^T=A$；基本的方法就是判定特征值$\lambda$是否全部为正。 + +\textcolor{aqua}{\textbf{定理：}}若$A$正定，则充要条件是$A^T$正定，$A^{-1}$正定，充分条件是$A^*$正定，即$A$正定则$A^*$正定，但是$A^*$正定不一定$A$正定。 + +证明：$\because$对称矩阵，所以$A^T=A$，所以$AA^T$等价，所以是充要条件。 + +若$A$特征值为$\lambda>0$，则$A^{-1}$的特征值$\dfrac{1}{\lambda}$也全为正，同理也可以反推回去，从而是充要条件。 + +若$A$特征值为$\lambda>0$，则$A^*$的特征值为$\dfrac{\vert A\vert}{\lambda_i}=\dfrac{\lambda_1\cdots\lambda_n}{\lambda_i}$，若$\lambda_i$全为正则可以推出$\dfrac{\vert A\vert}{\lambda_i}$为正，但是反之若$\dfrac{\vert A\vert}{\lambda_i}$为正，不能推出$\lambda_1\cdots\lambda_n$每一个都是正的。 + \end{document} diff --git a/probability-theory-and-mathematical-statistics/exercise/1-random-events-and-probability/random-events-and-probability.pdf b/probability-theory-and-mathematical-statistics/exercise/1-random-events-and-probability/random-events-and-probability.pdf new file mode 100644 index 0000000..4551b23 Binary files /dev/null and b/probability-theory-and-mathematical-statistics/exercise/1-random-events-and-probability/random-events-and-probability.pdf differ diff --git a/probability-theory-and-mathematical-statistics/exercise/1-random-events-and-probability/random-events-and-probability.tex b/probability-theory-and-mathematical-statistics/exercise/1-random-events-and-probability/random-events-and-probability.tex new file mode 100644 index 0000000..ec4d166 --- /dev/null +++ b/probability-theory-and-mathematical-statistics/exercise/1-random-events-and-probability/random-events-and-probability.tex @@ -0,0 +1,38 @@ +\documentclass[UTF8, 12pt]{ctexart} +% UTF8编码，ctexart现实中文 +\usepackage{color} +% 使用颜色 +\usepackage{geometry} +\setcounter{tocdepth}{4} +\setcounter{secnumdepth}{4} +% 设置四级目录与标题 +\geometry{papersize={21cm,29.7cm}} +% 默认大小为A4 +\geometry{left=3.18cm,right=3.18cm,top=2.54cm,bottom=2.54cm} +% 默认页边距为1英尺与1.25英尺 +\usepackage{indentfirst} +\setlength{\parindent}{2.45em} +% 首行缩进2个中文字符 +\usepackage{setspace} +\renewcommand{\baselinestretch}{1.5} +% 1.5倍行距 +\usepackage{amssymb} +% 因为所以 +\usepackage{amsmath} +% 数学公式 +\usepackage[colorlinks,linkcolor=black,urlcolor=blue]{hyperref} +% 超链接 +\author{Didnelpsun} +\title{随机事件与概率} +\date{} +\begin{document} +\maketitle +\pagestyle{empty} +\thispagestyle{empty} +\tableofcontents +\thispagestyle{empty} +\newpage +\pagestyle{plain} +\setcounter{page}{1} +\section{} +\end{document} diff --git a/probability-theory-and-mathematical-statistics/exercise/2-random-variables-and-distribution/random-variables-and-distribution.pdf b/probability-theory-and-mathematical-statistics/exercise/2-random-variables-and-distribution/random-variables-and-distribution.pdf new file mode 100644 index 0000000..a18f264 Binary files /dev/null and b/probability-theory-and-mathematical-statistics/exercise/2-random-variables-and-distribution/random-variables-and-distribution.pdf differ diff --git a/probability-theory-and-mathematical-statistics/exercise/3-digital-features/digital-features.pdf b/probability-theory-and-mathematical-statistics/exercise/3-digital-features/digital-features.pdf new file mode 100644 index 0000000..a18f264 Binary files /dev/null and b/probability-theory-and-mathematical-statistics/exercise/3-digital-features/digital-features.pdf differ diff --git a/probability-theory-and-mathematical-statistics/exercise/4-law-of-large-numbers-and-central-limit-theorem/law-of-large-numbers-and-central-limit-theorem.pdf b/probability-theory-and-mathematical-statistics/exercise/4-law-of-large-numbers-and-central-limit-theorem/law-of-large-numbers-and-central-limit-theorem.pdf new file mode 100644 index 0000000..a18f264 Binary files /dev/null and b/probability-theory-and-mathematical-statistics/exercise/4-law-of-large-numbers-and-central-limit-theorem/law-of-large-numbers-and-central-limit-theorem.pdf differ diff --git a/probability-theory-and-mathematical-statistics/exercise/5-mathematical-statistics/mathematical-statistics.pdf b/probability-theory-and-mathematical-statistics/exercise/5-mathematical-statistics/mathematical-statistics.pdf new file mode 100644 index 0000000..a18f264 Binary files /dev/null and b/probability-theory-and-mathematical-statistics/exercise/5-mathematical-statistics/mathematical-statistics.pdf differ diff --git a/probability-theory-and-mathematical-statistics/knowledge/1-random-events-and-probability/random-events-and-probability.pdf b/probability-theory-and-mathematical-statistics/knowledge/1-random-events-and-probability/random-events-and-probability.pdf new file mode 100644 index 0000000..e635916 Binary files /dev/null and b/probability-theory-and-mathematical-statistics/knowledge/1-random-events-and-probability/random-events-and-probability.pdf differ diff --git a/probability-theory-and-mathematical-statistics/knowledge/1-random-events-and-probability/random-events-and-probability.tex b/probability-theory-and-mathematical-statistics/knowledge/1-random-events-and-probability/random-events-and-probability.tex new file mode 100644 index 0000000..960f031 --- /dev/null +++ b/probability-theory-and-mathematical-statistics/knowledge/1-random-events-and-probability/random-events-and-probability.tex @@ -0,0 +1,133 @@ +\documentclass[UTF8, 12pt]{ctexart} +% UTF8编码，ctexart现实中文 +\usepackage{color} +% 使用颜色 +\definecolor{orange}{RGB}{255,127,0} +\definecolor{violet}{RGB}{192,0,255} +\definecolor{aqua}{RGB}{0,255,255} +\usepackage{geometry} +\setcounter{tocdepth}{4} +\setcounter{secnumdepth}{4} +% 设置四级目录与标题 +\geometry{papersize={21cm,29.7cm}} +% 默认大小为A4 +\geometry{left=3.18cm,right=3.18cm,top=2.54cm,bottom=2.54cm} +% 默认页边距为1英尺与1.25英尺 +\usepackage{indentfirst} +\setlength{\parindent}{2.45em} +% 首行缩进2个中文字符 +\usepackage{setspace} +\renewcommand{\baselinestretch}{1.5} +% 1.5倍行距 +\usepackage{amssymb} +% 因为所以 +\usepackage{amsmath} +% 数学公式 +\usepackage[colorlinks,linkcolor=black,urlcolor=blue]{hyperref} +% 超链接 +\author{Didnelpsun} +\title{随机事件与概率} +\date{} +\begin{document} +\maketitle +\pagestyle{empty} +\thispagestyle{empty} +\tableofcontents +\thispagestyle{empty} +\newpage +\pagestyle{plain} +\setcounter{page}{1} +\section{基本概念} + +\subsection{随机试验} + +\textcolor{violet}{\textbf{定义：}}满足三个条件的就是随机试验： + +\begin{enumerate} + \item 试验可以在相同的条件下重复进行。 + \item 试验所以可能结果都是明确可知，且不止一个。 + \item 每次试验的结果事先不确定。 +\end{enumerate} + +随机试验也称为\textbf{试验}，并用$E_1,E_2,\cdots$来表示。 + +\subsection{随机事件} + +\textcolor{violet}{\textbf{定义：}}一次试验中可能出现也可能补出现的结果称为\textbf{随机事件}，简称\textbf{事件}，并用大写字母$A,B,\cdots$来表示。 + +必然事件\textcolor{violet}{\textbf{定义：}}每次试验中一定发生的事件，记为$\Omega$。 + +不可能事件\textcolor{violet}{\textbf{定义：}}每次试验中一定不发生的事件，记为$\varnothing$。 + +\subsection{样本空间} + +随机试验的每一个不可再分的可能结果称为\textbf{样本点}，记为$\omega$，样本点的全体组成的集合称为\textbf{样本空间}或\textbf{基本事件空间}，记为$\Omega$，即$\Omega=\{\omega\}$。 + +由一个样本点构成的事件称为\textbf{基本事件}。 + +随机事件$A$总是由若干个基本事件构成，即$A$是$\Omega$的子集。 + +样本点的个数就是基本事件的个数。 + +\section{事件} + +\subsection{关系} + +若事件$A$发生必然导致事件$B$发生，则称事件$B$\textbf{包含}事件$A$（或$A$被$B$包含），记为$A\subset B$。 + +如果$A\subset B$且$B\subset A$，则称事件$AB$\textbf{相等}，记为$A=B$，$AB$是由完全相同的一些试验结果构成，是同一事件表面上看来两个不同说法。 + +若事件在事件$A$与$B$同时发生，则称为事件$A$与$B$的\textbf{积}或\textbf{交}，记为$A\cap B$或$AB$。 + +有限个事件$A_1,A_2,\cdots,A_n$同时发生的事件为事件$A_1,A_2,\cdots,A_n$的积或交，记为$\bigcap\limits_{i=1}^nA_i$或$\bigcap\limits_{i=1}^\infty A_i$。 + +若$AB\neq\varnothing$，则称事件$AB$\textbf{相容}，否则\textbf{互不相容}或\textbf{互斥}。如果一些事件中任意两个事件都互斥，则这些事件\textbf{两两互斥}，简称互斥。 + +事件$AB$至少有一个发生的事件称为事件$AB$的\textbf{和}或\textbf{并}，记为$A\cup B$。 + +有限个事件$A_1,A_2,\cdots,A_n$至少有一个发生的事件为事件$A_1,A_2,\cdots,A_n$的和或并，记为$\bigcup\limits_{i=1}^nA_i$或$\bigcup\limits_{i=1}^\infty A_i$。 + +事件$A$发生而事件$B$不发生的事件为事件$AB$的\textbf{差}，记为$A-B$。 + +事件$A$不发生的事件为事件$A$的\textbf{逆事件}或\textbf{对立事件}，记为$\overline{A}$。 + +若$\bigcup\limits_{i=1}^nA_i$或$\bigcup\limits_{i=1}^\infty A_i=\Omega$，$A_iA_j=\varnothing$（对一切的$i\neq j$，$i,j=1,2,3,\cdots,n,\cdots$），则称有限个事件$A_1,A_2,\cdots,A_n$构成一个\textbf{完备事件组}。 + +\subsection{运算} + +定义可知：$A-B=A-AB=A\overline{B}$，$B=\overline{A}$等价于$AB=\varnothing$且$A\cup B=\Omega$。 + +\begin{enumerate} + \item 吸收律：若$A\subset B$，则$A\cup B=B$，$A\cap B=A$。 + \item 交换律：$A\cup B=B\cup A$，$A\cap B=B\cap A$。 + \item 结合律：$(A\cup B)\cup C=A\cup(B\cup C)$，$(A\cap B)\cap C=A\cap(B\cap C)$。 + \item 分配律：$A\cap(B\cup C)=(A\cap B)\cup(A\cap C)$，$A\cup(B\cap C)=(A\cup B)\cap(A\cup C)$，$A\cap(B-C)=(A\cap B)-(A\cap C)$。 + \item 对偶律（德·摩根律）：$\overline{A\cup B}=\overline{A}\cap\overline{B}$，$\overline{A\cap B}=\overline{A}\cup\overline{B}$。（长杠变短杠，开口换方向） +\end{enumerate} + +\textbf{例题：}判断$A-(B-C)=(A-B)\cup C$是否成立。 + +解：$\because A-B=A\overline{B}$，$\therefore A-(B-C)=A-B\overline{C}=A\overline{B\overline{C}}=A(\overline{B}\cup C)=A\overline{B}\cup AC=(A-B)\cup AC\neq (A-B)\cup C$。 + +\section{概率} + +\subsection{定义} + +\begin{itemize} + \item 描述性定义：将随机事件$A$发生的可能性大小的度量（非负）称为事件$A$发生的概率，记为$P(A)$。 + \item 统计性定义：在相同条件下做重复试验，事件$A$出现的次数$k$和总的试验次数$n$之比$\dfrac{k}{n}$，称为事件$A$在这$n$次试验中出现的\textbf{频率}，当$n$充分大时，频率将稳定与某常数$p$附近，$n$越大频率偏离这个常数$p$的可能性越小，这个常数$p$就是事件$A$的概率。 +\end{itemize} + +\subsection{概率模型} + +\subsubsection{古典概型} + +\subsubsection{几何概型} + +\subsection{性质} + +\subsection{公式} + +\section{独立性} + +\end{document} diff --git a/probability-theory-and-mathematical-statistics/knowledge/2-random-variables-and-distribution/random-variables-and-distribution.pdf b/probability-theory-and-mathematical-statistics/knowledge/2-random-variables-and-distribution/random-variables-and-distribution.pdf new file mode 100644 index 0000000..a18f264 Binary files /dev/null and b/probability-theory-and-mathematical-statistics/knowledge/2-random-variables-and-distribution/random-variables-and-distribution.pdf differ diff --git a/probability-theory-and-mathematical-statistics/knowledge/3-digital-features/digital-features.pdf b/probability-theory-and-mathematical-statistics/knowledge/3-digital-features/digital-features.pdf new file mode 100644 index 0000000..a18f264 Binary files /dev/null and b/probability-theory-and-mathematical-statistics/knowledge/3-digital-features/digital-features.pdf differ diff --git a/probability-theory-and-mathematical-statistics/knowledge/4-law-of-large-numbers-and-central-limit-theorem/law-of-large-numbers-and-central-limit-theorem.pdf b/probability-theory-and-mathematical-statistics/knowledge/4-law-of-large-numbers-and-central-limit-theorem/law-of-large-numbers-and-central-limit-theorem.pdf new file mode 100644 index 0000000..a18f264 Binary files /dev/null and b/probability-theory-and-mathematical-statistics/knowledge/4-law-of-large-numbers-and-central-limit-theorem/law-of-large-numbers-and-central-limit-theorem.pdf differ diff --git a/probability-theory-and-mathematical-statistics/knowledge/5-mathematical-statistics/mathematical-statistics.pdf b/probability-theory-and-mathematical-statistics/knowledge/5-mathematical-statistics/mathematical-statistics.pdf new file mode 100644 index 0000000..a18f264 Binary files /dev/null and b/probability-theory-and-mathematical-statistics/knowledge/5-mathematical-statistics/mathematical-statistics.pdf differ