离散型随机变量 (Discrete Random Variables)
在概率论中,如果一个随机变量 的所有可能取值是有限个或可列无穷个,则称 为 离散型随机变量。
1. 概率分布 (Probability Distribution)
对于离散型随机变量 ,其概率分布可以用 概率质量函数 (Probability Mass Function, PMF) 来描述: 且满足:
常见离散分布
- 单点分布 (Degenerate Distribution): 。
- 两点分布 (Bernoulli Distribution): 。
- 二项分布 (Binomial Distribution): ,。
- 泊松分布 (Poisson Distribution): ,。
- 几何分布 (Geometric Distribution): ,。
- 负二项分布 (Negative Binomial): ,第 次成功所需的试验次数。
- 超几何分布 (Hypergeometric): ,不放回抽样中的成功次数。
2. 数字特征 (Numerical Characteristics)
数学期望 (Expectation)
离散型随机变量 的数学期望定义为: (要求级数绝对收敛)。
方差 (Variance)
方差描述随机变量取值的离散程度:
3. 经典例题
:::info 例题 1 设随机变量 ,求 和 。 :::
查看解析
利用二项式定理或指标随机变量法:
- 期望: 。
- 方差: 。
推导简述: 设 ,其中 是第 次试验成功的指标随机变量,。 则 ,。 由于试验独立,,。
:::info 例题 2 若 ,证明 。 :::
查看解析
令 ,则:
4. 分布间的关系
泊松分布 P(λ)
↑
二项分布 B(n,p) ←——→ 超几何分布 H(N,M,n)
↓ (不放回)
n=1 时为两点分布 B(1,p)
↓
几何分布 G(p)
↓
负二项分布 NB(r,p)
重要极限关系:当 , 且 时,二项分布收敛于泊松分布:
5. 计算验证:C++ 蒙特卡洛模拟
以下代码通过随机模拟验证泊松分布的期望和方差。
点击查看 C++ 验证代码
#include <iostream>
#include <random>
#include <vector>
#include <cmath>
#include <iomanip>
using namespace std;
// 生成泊松分布随机数 (使用 std::poisson_distribution)
void test_poisson(double lambda, int trials) {
random_device rd;
mt19937 gen(rd());
poisson_distribution<> d(lambda);
vector<long long> counts(20, 0);
double sum = 0, sum_sq = 0;
for (int i = 0; i < trials; ++i) {
int x = d(gen);
if (x < 20) counts[x]++;
sum += x;
sum_sq += x * x;
}
double mean = sum / trials;
double variance = sum_sq / trials - mean * mean;
cout << fixed << setprecision(4);
cout << "λ = " << lambda << ", 试验次数 = " << trials << endl;
cout << "样本均值: " << mean << " (理论值: " << lambda << ")" << endl;
cout << "样本方差: " << variance << " (理论值: " << lambda << ")" << endl;
cout << "\n频率分布 vs 理论概率:" << endl;
for (int k = 0; k < 10; ++k) {
double freq = (double)counts[k] / trials;
double theory = exp(-lambda) * pow(lambda, k) / tgamma(k + 1);
cout << "P(X=" << k << "): 模拟=" << freq << " 理论=" << theory << endl;
}
}
int main() {
test_poisson(3.0, 100000);
return 0;
}
本章节由 SolKnow 系统根据标准教材重写。