漫步数理统计二——集合论

对象集合的概念通常还未定义，然而可以描述特定的集合使得我们考虑的对象集合没有歧义。例如前10个正整数的集合就非常清楚，$\frac{3}{4},14$均不在这个集合中，而3在这个集合中。如果对象属于这个集合，我们就说它是集合的元素，例如如果$C$表示$0\leq x\leq 1$的$x$集合，那么$\frac{3}{4}$就是集合$C$的一个元素，$\frac{3}{4}$是集合$C$的一个元素这个事实可以写成$\frac{3}{4}\in C$，更一般得，$c\in C$意味着$c$是集合$C$的一个元素。

我们关注的集合大部分都是数集，然而，点集的语言比数集稍微方便点。因此，我们简要说明我们如何使用这个术语。 解析几何中比较重视的事实是对于一条线上的每个点（原点和单位点已经选出来了）有且只有一个数与之对应，假设为$x$；并且对于每个数$x$，在直线上有且只有一个点与之对应。在不产生歧义的情况下，这个数与点之间一一对应关系使得我们说点$x$而不是数$x$，更进一步，在平面矩形坐标系中，对于每个符号$(x,y)$，平面中有且仅有一个点与之对应；对于平面中的每个点，有且仅有一个这样的符号。因此我们可以说点$(x,y)$，这就意味着有序数对$x,y$。当我们讨论三维或更高维空间的矩形坐标系时经常用这种语言，因此点$(x_1,x_2,\ldots,x_n)$意味着有序状态的数$x_1,x_2,\ldots,x_n$。所以在描述集合时，我们经常用点集(元素都是点的集合)进行描述，符号$C=\{x:0\leq x\leq 1\}$表示$C$是$x$的一维集合，其中$0\leq x\leq 1$，同样得，$C=\{(x,y):0\leq x\leq 1,0\leq y\leq 1\}$表示$C$是点$(x,y)$的二维集合。现在我们给出一些定义，有他们导出集合的基本代数。

$\textbf{定义1：}$如果集合$C_1$的每个元素也是集合$C_2$的一个元素，那么集合$C_1$称为集合$C_2$的一个子集，我们写成$C_1\subset C_2$。如果$C_1\subset C_2$且$C_2\subset C_1$，那么这两个集合有相同的元素，我们写成$C_1=C_2$。

$\textbf{例1：}$令$C_1=\{x:0\leq x\leq 1\},C_2=\{x:-1\leq x\leq 2\}$，这里一维集合$C_1$看成一维集合$C_2$的一个子集；即$C_1\subset C_2$。以后在集合维数清楚的情况下，我们就不再具体的提及了。

$\textbf{例2：}$定义两个集合$C_1=\{(x,y):0\leq x=y\leq 1\},C_2=\{(x,y):0\leq x\leq 1,0\leq y\leq 1\}$，因为$C_1$的元素位于方形对角线上，所以$C_1\subset C_2$。

$\textbf{定义2：}$如果集合$C$没有元素，那么称$C$为空集，写作$C=\phi$。

$\textbf{定义3：}$至少属于$C_1,C_2$中一个集合的所有元素构成的集合称为$C_1,C_2$的并，写作$C_1\cup C_2$。集合$C_1,C_2,C_3,\ldots$的并由至少属于一个集合元素构成，表示为$C_1\cup C_2\cup C_3\cup\cdots$，当集合是有限个时写成$C_1\cup C_2\cup\cdots C_k$。

$\textbf{例3：}$定义集合$C_1=\{x:x=8,9,10,11,or\ 11<x\leq 12\},C_2=\{x:x=0,1,\ldots,10\}$，那么

$$\begin{align*} C_1\cup C_2 &=\{x:x=0,1,\ldots,8,9,10,11,or\ 11<x\leq 12\}\\ &=\{x:x=0,1,\ldots,8,9,10,or\ 11\leq x\leq 12\} \end{align*}$$

$\textbf{例4：}$$C_1,C_2$定义如例2，那么$C_1\cup C_2=C_2$。

$\textbf{例5：}$令$C_2=\phi$，那么对于所有的$C_1,C_1\cup C_2=C_1$。

$\textbf{例6：}$对每个集合$C,C\cup C=C$。

$\textbf{例7：}$令

$$C_k=\{x:\frac{1}{k+1}\leq x\leq 1\},k=1,2,3,\ldots$$

那么$C_1\cup C_2\cup C_3\cup\cdots=\{x:0<x\leq 1\}$，注意零不在这个集合中，因为任何一个$C_1,C_2,C_3,\ldots$中都没有零。

$\textbf{定义4：}$同时属于$C_1,C_2$的所有集合称为$C_1,C_2$的交，$C_1,C_2$的交写作$C_1\cap C_2$，集合$C_1,C_2,C_3,\ldots$的交是属于$C_1,C_2,C_3,\ldots$的所有元素，表示成$C_1\cap C_2\cap C_3\cap\cdots$，如果集合是有限多个的，那表示成$C_1\cap C_2\cap\cdot\cap C_k$。

$\textbf{例8：}$令$C_1=\{(0,0),(0,1),(1,1)\},C_2=\{(1,1),(1,2),(2,1)\}$，那么$C_1\cap C_2=\{(1,1)\}$。

$\textbf{例9：}$令$C_1=\{(x,y):0\leq x+y\leq 1\},C_2=\{(x,y):1<x+y\}$，那么$C_1,C_2$没有公共点，即$C_1\cap C_2=\phi$。

$\textbf{例10：}$对于每个集合$C,C\cap C=C,C\cap\phi=\phi$。

$\textbf{例11：}$令

$$C_k=\{x:0<x<\frac{1}{k}\},k=1,2,3,\ldots$$
那么 $C_1\cap C_2\cap C_3\cap\cdots$是空集，因为没有一个点属于集合 $C_1\cap C_2\cap C_3\cap\cdots$。

$\textbf{例12：}$令$C_1,C_2$分别表示由两个相交的圆围成的点集，那么集合$C_1\cup C_2,C_1\cap C_2$可以用如图$\ref{fig:1}$ 所示的维纳图表示。

图1

$\textbf{例13：}$令$C_1,C_2,C_3$分别表示三个相交的圆围成的点，那么集合$(C_1\cup C_2)\cap C_3,(C_1\cap C_2)\cup C_3$如图$\ref{fig:2}$所示。

图2

$\textbf{定义5：}$在某些讨论中，可能需要描述讨论的所有元素，考虑的所有元素组成的集合我们称之为空间，惊心啊过用字母$\textbf{C,D}$表示。

$\textbf{例14：}$掷四次硬币，头朝上的次数记为$x$，这个值可能为0,1,2,3,4，这里的空间就是集合$\textbf{C}=\{0,1,2,3,4\}$。

$\textbf{例15：}$考虑底为$x$高为$y$的非退化矩形，为了有意义$x,y$都为正值，那么这个空间就是$\textbf{C}=\{(x,y):x>0,y>0\}$。

$\textbf{定义6：}$令$\textbf{C}$表示空间，$C$是集合$\textbf{C}$的一个子集，属于$\textbf{C}$但不属于$C$的集合称为$C$的补给，用$C^c$表示，特别地$\textbf{C}^c=\phi$。

$\textbf{例16：}$$\textbf{C}$与例14一样，令$C=\{0,1\}$，那么$C$的补是$C^c=\{2,3,4\}$。

$\textbf{例17：}$给定$C\subset\textbf{C}$，那么$C\cup C^c=\textbf{C},C\cap C^c=\phi,C\cup\textbf{C}=\textbf{C},C\cap\textbf{C}=C,(C^c)^c=C$。

$\textbf{例18：}$(德摩根定律)令$\textbf{C}$表示一个空间，$C_i\subset\textbf{C},i=1,2$，那么

$$\begin{align*} &(C_1\cap C_2)^c=C_1^c\cup C_2^c\\ &(C_1\cup C_2)^c=C_1^c\cap C_2^c \end{align*}$$

在微积分中，像函数

$$f(x)=2x,\quad -\infty<x<\infty$$

或者

$$g(x,y)= \begin{cases} e^{-x-y}&0<x<\infty,0<y<\infty\\ 0&elsewhere \end{cases}$$

再或者

$$h(x_1,x_2,\ldots,x_n)= \begin{cases} 3x_1x_2\ldots x_n&0\leq x_i\leq 1,i=1,2,\ldots,n\\ 0&elsewhere \end{cases}$$

经常出现，$f(x)$在点$x=1$处的值为$f(1)=2$；$g(x,y)$在点$(-1,3)$处的值为$g(-1,3)=0$；$h(x_1,x_2,\ldots,x_n)$在点$(1,1,\ldots,1)$处的值为3。像这样的函数称为一个点的函数，或者简单点为点函数，因为他们是由指定空间中的某点处进行估计的。

如果他们有用的话，我们没必要只在一个点处进行估计，而是考虑整个点集。这样的函数自然成为集合函数，接下来我们给出集合函数的实例以及对某些简单的集合进行估计。

$\textbf{例19：}$令$C$是一维空间的集合，$Q(C)$等于$C$ 中正整数的总数，那么$Q(C)$是集合$C$的一个函数，因此，如果$C=\{x:0<x<5\}$，那么$Q(C)=4$；如果$C=\{-2,-1\}$，那么$Q(C)=0$；如果$C=\{x:-\infty<x<6\}$，那么$Q(C)=5$。

$\textbf{例20：}$令$C$是二维空间的一个集合，如果$C$的面积是有限的，那么令$Q(C)$是$C$的面积；否则$Q(C)$未定义。因此，如果$C=\{(x,y):x^2+y^2\leq 1\}$，那么$Q(C)=\pi$；如果$C=\{(0,0),(1,1),(0,1)\}$，那么$Q(C)=0$；如果$C=\{(x,y):0\leq x,0\leq y,x+y\leq 1\}$，那么$Q(C)=\frac{1}{2}$。

$\textbf{例21：}$令$C$是三维空间的一个集合，如果$C$的体积是有限的，那么令$Q(C)$是$C$的体积；否则$Q(C)$未定义。因此，如果$C=\{(x,y,z):0\leq x\leq 2,0\leq y\leq 1,0\leq z\leq 3\}$，那么$Q(C)=6$；如果$C=\{(x,y,z):x^2+y^2+z^2\geq 1\}$，那么$Q(C)$未定义。

现在我们引入下面的符号，

$$\int_C f(x)dx$$
表示 $f(x)$在一维空间集合 $C$上的(黎曼)积分；
$$\iint_C g(x,y)dxdy$$
表示 $g(x,y)$在二维空间集合 $C$上的黎曼积分，等等。除非集合$C$，函数 $f(x),g(x,y)$认真选取，否则一般都无法进行积分。同样的，
$$\sum_C f(x)$$
表示在整个 $x\in C$上的和；
$$\sum\sum_C g(x,y)$$
表示在整个 $(x,y)\in C$上的和；等等。

$\textbf{例22：}$令$C$是一维空间中的集合，$Q(C)=\Sigma_C f(x)$，其中

$$f(x)= \begin{cases} (\frac{1}{2})^x&x=1,2,3,\ldots\\ 0&elsewhere \end{cases}$$
如果 $C=\{x:0\leq x\leq 3\}$，那么
$$Q(C)=\frac{1}{2}+(\frac{1}{2})^2+(\frac{1}{2})^3=\frac{7}{8}$$

$\textbf{例23：}$令$Q(C)=\Sigma_C f(x)$，其中

$$f(x)= \begin{cases} p^x(1-p)^(1-x)&x=0,1\\ 0&elsewhere \end{cases}$$
如果 $C=\{0\}$，那么
$$Q(C)=\sum_(x=0)^0p^x(1-p)^{1-x}=1-p$$
如果 $C=\{x:1\leq x\leq 2\}$，那么 $Q(C)=f(1)=p$。

$\textbf{例24：}$令$C$是一维集合，

$$Q(C)=\int_C e^{-x}dx$$
那么如果$C=\{x:0\leq x\leq\infty\}$，那么

$$Q(C)=\int_0^\infty e^{-x}dx=1$$
如果 $C=\{x:1\leq x\leq 2\}$，那么
$$Q(C)=\int_1^2 e^{-x}dx=e^{-1}-e^{-2}$$
如果 $C_1=\{x:0\leq x\leq 1\},C_2=\{x:1<x\leq 3\}$，那么
$$\begin{align*} Q(C_1\cup C_2) &=\int_0^3 e^{-x}dx\\ &=\int_0^1 e^{-x}dx+\int_1^3 e^{-x}dx\\ &=Q(C_1)+Q(C_2) \end{align*}$$
如果 $C=C_1\cup C_2$，其中 $C_1=\{x:0\leq x\leq 2\},C_2=\{x:1\leq x\leq 3\}$，那么
$$\begin{align*} Q(C)=Q(C_1\cup C_2) &=\int_0^3 e^{-x}dx\\ &=\int_0^2 e^{-x}dx+\int_1^3 e^{-x}dx-\int_1^2 e^{-x}dx\\ &=Q(C_1)+Q(C_2)-Q(C_1\cap C_2) \end{align*}$$

$\textbf{例25：}$令$C$是$n$维空间的集合，

$$Q(C)=\int\cdots\int_Cdx_1dx_2\cdots dx_n$$

如果$C=\{(x_1,x_2,\ldots,x_n):0\leq x_1\leq x_2\leq\cdots\leq x_n\leq 1\}$，那么

$$\begin{align*} Q(C) &=\int_0^1\int_0^{x_n}\cdots\int_0^{x_3}\int_0^{x_2}dx_1dx_2\ldots dx_{n-1}dx_n\\ &=\frac{1}{n!} \end{align*}$$

其中$n!=n(n-1)\cdots3\cdot2\cdot1$。