14.2
定义1:设 T T T为给定的正数,若集合 G G G中任意两个样本 x i , x j x_i,x_j xi,xj,有 d i j ≤ T d_{ij} \le T dij≤T,则称 G G G为一个类。
1)设 T ′ T' T′为给定的正数,取 T ′ = T T' = T T′=T,根据定义1可知,对集合 G G G的任意样本 ,一定存在 x j x_j xj,有 d i j ≤ T d_{ij} \le T dij≤T。因此可以推出定义2。
2)将G中所有的 x j ≠ x i x_j \neq x_i xj=xi对应的 d i j d_{ij} dij相加得 ∑ x j ∈ G d i j ≤ ( n G − 1 ) T \sum_{x_j \in G} d_{ij} \le (n_G - 1)T ∑xj∈Gdij≤(nG−1)T,由此可得 1 ( n G − 1 ) ∑ x j ∈ G d i j ≤ T \frac{1}{(n_G - 1)}\sum_{x_j \in G} d_{ij} \le T (nG−1)1∑xj∈Gdij≤T。因此可以推出定义3。
3)令 V = T V=T V=T,则 d i j ≤ V d_{ij} \le V dij≤V 。将 d i j ≤ T d_{ij} \le T dij≤T对任意 x i , x j x_i,x_j xi,xj进行求和,得 ∑ x i ∈ G ∑ x j ∈ G d i j ≤ n G ( n G − 1 ) T \sum_{x_i \in G}\sum_{x_j \in G} d_{ij} \le n_G(n_G - 1)T ∑xi∈G∑xj∈Gdij≤nG(nG−1)T,即 1 n G ( n G − 1 ) ∑ x i ∈ G ∑ x j ∈ G d i j ≤ T \frac{1}{n_G(n_G - 1)} \sum_{x_i \in G}\sum_{x_j \in G} d_{ij} \le T nG(nG−1)1∑xi∈G∑xj∈Gdij≤T。因此可以推出定义3。
14.3
本等式类似于证明将n个有标志的球放进k个有区别的盒子,记 A i = { 第 i 个 盒 子 是 空 的 } A_i=\{第i个盒子是空的\} Ai={第i个盒子是空的}。
所有可能的放置方案有 k n k^n kn种。
至少有1个盒子是空的: ∑ i = 1 n ∣ A i ∣ = k ( k − 1 ) n = ( k 1 ) ( k − 1 ) n \sum_{i=1}^n \mid A_i\mid = k(k-1)^n = \begin{pmatrix} k \\ 1 \\ \end{pmatrix} (k-1)^n ∑i=1n∣Ai∣=k(k−1)n=(k1)(k−1)n
至少有2个盒子是空的: ∑ i = 1 n ∑ j = i + 1 n ∣ A i ∩ A j ∣ = ( k 2 ) ( k − 2 ) n \sum_{i=1}^n \sum_{j=i+1}^n \mid A_i \cap A_j\mid = \begin{pmatrix} k \\ 2 \\ \end{pmatrix} (k-2)^n ∑i=1n∑j=i+1n∣Ai∩Aj∣=(k2)(k−2)n
至少有 l l l个盒子是空的: ∑ i i = 1 n ∑ i 2 = i 1 + 1 n … ∑ i l = i l − 1 n ∣ A i 1 ∩ A i 2 ∩ … ∩ A i l ∣ = ( k l ) ( k − l ) n \sum_{i_i=1}^n \sum_{i_2=i_1+1}^n \ldots \sum_{i_l=i_{l-1}}^n \mid A_{i_1} \cap A_{i_2} \cap \ldots \cap A_{i_l} \mid = \begin{pmatrix} k \\ l \\ \end{pmatrix} (k-l)^n ∑ii=1n∑i2=i1+1n…∑il=il−1n∣Ai1∩Ai2∩…∩Ail∣=(kl)(k−l)n
所有盒子里面均不是空盒的方案数是 ∣ A 1 ˉ ∩ A 2 ˉ ∩ … ∩ A k ˉ ∣ \mid \bar{A_1} \cap \bar{A_2} \cap \ldots \cap \bar{A_k}\mid ∣A1ˉ∩A2ˉ∩…∩Akˉ∣
= k n − ∑ i = 1 n ∣ A i ∣ + ∑ i = 1 n ∑ j = i + 1 n ∣ A i ∩ A j ∣ + … + ( − 1 ) k ∑ i i = 1 n ∑ i 2 = i 1 + 1 n … ∑ i k = i l − 1 n ∣ A i 1 ∩ A i 2 ∩ … ∩ A i k ∣ = k^n -\sum_{i=1}^n \mid A_i\mid + \sum_{i=1}^n \sum_{j=i+1}^n \mid A_i \cap A_j\mid +\ldots + (-1)^k \sum_{i_i=1}^n \sum_{i_2=i_1+1}^n \ldots \sum_{i_k=i_{l-1}}^n \mid A_{i_1} \cap A_{i_2} \cap \ldots \cap A_{i_k} \mid =kn−∑i=1n∣Ai∣+∑i=1n∑j=i+1n∣Ai∩Aj∣+…+(−1)k∑ii=1n∑i2=i1+1n…∑ik=il−1n∣Ai1∩Ai2∩…∩Aik∣ = k n − ( k 1 ) ( k − 1 ) n + ( k 2 ) ( k − 2 ) n − ⋯ + ( − 1 ) k ( k k ) ( k − k ) n = ∑ l = 0 k ( − 1 ) l ( k l ) ( k − l ) n =k^n - \begin{pmatrix} k \\ 1 \\ \end{pmatrix} (k-1)^n+ \begin{pmatrix} k \\ 2 \\ \end{pmatrix} (k-2)^n - \dots + (-1)^k \begin{pmatrix} k \\ k \\ \end{pmatrix} (k-k)^n = \sum_{l=0}^k (-1)^l \begin{pmatrix} k \\ l\\ \end{pmatrix} (k-l)^n =kn−(k1)(k−1)n+(k2)(k−2)n−⋯+(−1)k(kk)(k−k)n=∑l=0k(−1)l(kl)(k−l)n
实际上这些盒子是无区别的,所以 S ( n , k ) = 1 k ! ∑ l = 0 k ( − 1 ) l ( k l ) ( k − l ) n = 1 k ! ∑ l = 0 k − 1 ( − 1 ) l ( k l ) ( k − l ) n = 1 k ! ∑ l = 1 k ( − 1 ) k − l ( k l ) l n S(n,k) = \frac{1}{k!}\sum_{l=0}^k (-1)^l \begin{pmatrix} k \\ l\\ \end{pmatrix} (k-l)^n=\frac{1}{k!}\sum_{l=0}^{k-1} (-1)^l \begin{pmatrix} k \\ l\\ \end{pmatrix} (k-l)^n= \frac{1}{k!}\sum_{l=1}^k (-1)^{k-l} \begin{pmatrix} k \\ l\\ \end{pmatrix} l^n S(n,k)=k!1∑l=0k(−1)l(kl)(k−l)n=k!1∑l=0k−1(−1)l(kl)(k−l)n=k!1∑l=1k(−1)k−l(kl)ln
因此讲n个样本分到k类,所有可能的分法的数目是: S ( n , k ) = 1 k ! ∑ l = 1 k ( − 1 ) k − l ( k l ) l n S(n,k) = \frac{1}{k!}\sum_{l=1}^k (-1)^{k-l} \begin{pmatrix} k \\ l\\ \end{pmatrix} l^n S(n,k)=k!1∑l=1k(−1)k−l(kl)ln