随机变量X的分布函数详解：定义、性质、离散型和连续型

随机变量X的分布函数是指在给定的概率空间中，X取任意实数x时，X≤x的概率。通俗地说，分布函数就是描述X取值的概率分布情况的函数。

分布函数的定义式为：

F(x) = P(X ≤ x)

其中，F(x)是随机变量X的分布函数，P(X ≤ x)是X小于等于x的概率。

通过分布函数，可以计算出X在区间[a,b]内的概率为：

P(a ≤ X ≤ b) = F(b) - F(a)

分布函数有以下几个特点：

1. F(x)是单调不减的函数，即随着x的增大，F(x)的值不会减小。

2. F(x)的取值范围是[0,1]，即X的取值概率在0到1之间。

3. F(x)在x处的导数等于X在x处的概率密度函数f(x)，即：

f(x) = dF(x)/dx

4. F(x)是右连续的函数，即F(x+) = F(x)，即右极限等于函数值。

随机变量X的分布函数可以分为离散型和连续型两种情况。

如果X是离散型随机变量，其分布函数可以表示为：

F(x) = P(X ≤ x) = ΣP(X = xi)

其中，P(X = xi)是X取值为xi的概率。

如果X是连续型随机变量，其分布函数可以表示为：

F(x) = P(X ≤ x) = ∫f(t)dt (t从负无穷到x)

其中，f(x)是X的概率密度函数，表示X在x处取值的概率密度。

总之，随机变量X的分布函数是描述X取值概率分布情况的重要函数。在统计学和概率论中，分布函数是计算各种统计量和推断的基础。