离散随机变量

給定樣本空間 $(S,\mathbb {F} )$ ，如果其上的實值函數 $X:S\to \mathbb {R} $ 是 $\mathbb {F} $ (實值) 可測函數，則稱 $X$ 為（實值）**隨機變數**。初等機率論中通常不涉及到可測性的概念，而直接把任何 $X:S\to \mathbb {R} $ 的函數稱為隨機變數。

如果 $X$ 指定給機率空間 $S$ 中每一個事件 $e$ 有一個實數 $X(e)$ ，同時針對每一個實數 $r$ 都有一個事件集合 $A_{r}$ 與其相對應，其中 $A_{r}=$ { $e:X(e)$ ≤ $r$ }，那麼 $X$ 被稱作隨機變數。隨機變數一般用大寫拉丁字母或小寫希臘字母（比如 $X,Y,Z,\xi ,\eta $ ）來表示，從上面的定義注意到，**隨機變數實質上是函數**。稱其為變數是指可作為應變數。

例如，隨機擲兩個骰子，整個事件空間可以由 36 個元素組成：

　
: $S=\lbrace (i,j)|i=1,\ldots ,6,;j=1,\ldots ,6\rbrace $

這裡可以構成多個隨機變數，比如隨機變數 $X$ （獲得的兩個骰子的點數和）或者隨機變數 $Y$ （獲得的兩個骰子的點數差），隨機變數 $X$ 可以有 11 個整數值，而隨機變數 $Y$ 只有 6 個。

　
: $X(i,j):=i+j,x=2,3,\ldots ,12$

　
: $Y(i,j):=\mid i-j\mid ,y=0,1,2,3,4,5$

又比如，在一次扔硬幣事件中，如果把獲得的背面的次數作為隨機變數 $X$ ，則 $X$ 可以取兩個值，分別是 0 和 1。

如果隨機變數 $X$ 的取值是有限的或者是可數無窮盡的值

　
: $X=\lbrace x_{1},x_{2},x_{3},\ldots ,\rbrace $

則稱 $X$ 為**離散**隨機變數。
如果 $X$ 由全部實數或者由一部分區間組成，

　
: $X=\lbrace x|a\leq x\leq b\rbrace $ , $-\infty <a<b<\infty $

則稱 $X$ 為**連續**隨機變數。

## 性質

### 不確定性

隨機變數在不同的條件下由於偶然因素影響，其可能取各種隨機變數不同的值，具有不確定性和隨機性，但這些取值落在某個範圍的機率是一定的，此種變數稱為隨機變數。隨機變數可以是離散型的，也可以是連續型的。如分析測試中的測定值就是一個以機率取值的隨機變數，被測定量的取值可能在某一範圍內隨機變化，具體取什麼值在測定之前是無法確定的，但測定的結果是確定的，多次重複測定所得到的測定值具有統計規律性。隨機變數與模糊變數的不確定性的本質差別在於，後者的測定結果仍具有不確定性，即模糊性。

### 基本類型

簡單地說，隨機變數是指隨機事件的數量表現。某地若干名男性健康成人中，每人血紅蛋白量的測定值；等等。另有一些現象並不直接表現為數量，例如人口的男女性別、試驗結果的陽性或陰性等，但我們可以規定男性為 1，女性為 0，則非數量標誌也可以用數量來表示。這些例子中所提到的量，儘管它們的具體內容是各式各樣的，但從數學觀點來看，它們表現了同一種情況，這就是每個變數都可以隨機地取得不同的數值，而在進行試驗或測量之前，我們要預言這個變數將取得某個確定的數值是不可能的。
按照隨機變數可能取得的值，可以把它們分為兩種基本類型：

#### 離散型隨機變數

即在一定區間內變數取值為有限個，或數值可以一一列舉出來。例如某地區某年人口的出生數、死亡數，某藥治療某病病人的有效數、無效數等

#### 連續型隨機變數

即在一定區間內變數取值有無限個，或數值無法一一列舉出來。例如某地區男性健康成人的身長值、體重值，一批傳染性肝炎患者的血清轉氨酶測定值等。

## 詳細分析

### 表示方法

隨機試驗結果的量的表示。例如擲一顆骰子出現的點數，電話交換台在一定時間內收到的呼叫次數，隨機抽查的一個人的身高，懸浮在液體中的微粒沿某一方向的位移，等等，都是隨機變數的實例。
一個隨機試驗的可能結果（稱為基本事件）的全體組成一個基本空間 $\Omega $ （見機率）。隨機變數 $X$ 是定義於 $\Omega $ 上的函數，即對每一基本事件 $\omega \in \Omega $ ，有一數值 $X(\omega )$ 與之對應。以擲一顆骰子的隨機試驗為例，它的所有可能結果，共 6 個，分別記作 $\omega _{1}$ , $\omega _{2}$ , $\omega _{3}$ , $\omega _{4}$ , $\omega _{5}$ , $\omega _{6}$ ，這時， $\Omega =\{\omega _{1},\omega _{2},\omega _{3},\omega _{4},\omega _{5},\omega _{6}\}$ ，而出現的點數這個隨機變數 $X$ ，就是 $\Omega $ 上的函數 $X(\omega k)=k$ ， $k=1,2,\ldots ,6$ 。又如設 $\Omega =\{\omega _{1},\omega _{2},\ldots ,\omega _{n}\}$ 是要進行抽查的 $n$ 個人的全體，那麼隨意抽查其中一人的身高和體重，就構成兩個隨機變數 $X$ 和 $Y$ ，它們分別是 $\Omega $ 上的函數： $X(\omega k)=$ 「 $\omega k$ 的身高」， $Y(\omega k)=$ 「 $\omega k$ 的體重」， $k=1,2,\ldots ,n$ 。一般說來，一個隨機變數所取的值可以是離散的（如擲一顆骰子的點數隻取 1 到 6 的整數，電話台收到的呼叫次數隻取非負整數），也可以充滿一個數值區間，或整個實數軸（如液體中懸浮的微粒沿某一方向的位移）。

### 研究方法

在研究隨機變數的性質時，確定和計算它取某個數值或落入某個數值區間內的機率是特別重要的。因此，隨機變數取某個數值或落入某個數值區間這樣的基本事件的集合，應當屬於所考慮的事件域。根據這樣的直觀想法，利用機率論公理化的語言，取實數值的隨機變數的數學定義可確切地表述如下：機率空間 $(\Omega ,F,p)$ 上的隨機變數 $X$ 是定義於 $\Omega $ 上的實值可測函數，即對任意 $\omega \in \Omega $ ， $X(\omega )$ 為實數，且對任意實數 $x$ ，使 $X(\omega )\leq x$ 的一切 $\omega $ 組成的 $\Omega $ 的子集 $\{\omega :X(\omega )\leq x\}$ 是事件，也即是 $F$ 中的元素。事件 $\{\omega :X(\omega )\leq x\}$ 常簡記作 $\{X\leq x\}$ ，並稱函數 $F(x)=p(X\leq x)$ ， $-\infty <x<\infty $ ，為 $X$ 的分布函數。
設 $X$ , $Y$ 是機率空間 $(\Omega ,F,p)$ 上的兩個隨機變數，如果除去一個零機率事件外， $X(\omega )$ 與 $Y(\omega )$ 相同，則稱 $X=Y$ 以機率 1 成立，也記作 $p(X=Y)=1$ 或 $X=Y$ ,α.s.（α.s. 意即幾乎必然）。

有些隨機現象需要同時用多個隨機變數來描述。例如對地面目標射擊，彈著點的位置需要兩個坐標才能確定，因此研究它要同時考慮兩個隨機變數，一般稱同一機率空間 $(\Omega ,F,p)$ 上的 $n$ 個隨機變數構成的 $n$ 維向量 $X=(x_{1},x_{2},\ldots ,x_{n})$ 為 $n$ 維隨機向量。隨機變數可以看作一維隨機向量。稱 $n$ 元 $x_{1},x_{2},\ldots ,x_{n}$ 的函數為 $X$ 的（聯合）分布函數。又如果 $(x_{1},x_{2})$ 為二維隨機向量，則稱 $x_{1}+ix_{2}(i^{2}=-1)$ 為復隨機變數。
隨機變數的獨立性 　獨立性是機率論所獨有的一個重要概念。設 $x_{1},x_{2},\ldots ,x_{n}$ 是 $n$ 個隨機變數，如果對任何 $n$ 個實數 $x_{1},x_{2},\ldots ,x_{n}$ 都有 即它們的聯合分布函數 $F(x_{1},x_{2},\ldots ,x_{n})$ 等於它們各自的分布函數 $F1(x_{1}),F2(x_{2}),\ldots ,Fn(x_{n})$ 的乘積。則稱 $x_{1},x_{2},\ldots ,x_{n}$ 是獨立的。這一定義可以直接推廣到每一 $xk$ （ $k=1,2,\ldots ,n$ ）是隨機向量的情形。獨立性的直觀意義是： $x_{1},x_{2},\ldots ,x_{n}$ 中的任何一個取值的機率規律，並不隨其中的其他隨機變數取什麼值而改變。在實際問題中通常用它來表徵多個獨立操作的隨機試驗結果或多種有獨立來源的隨機因素的機率特性，因此它對於機率統計的應用是十分重要的。

從隨機變數（或向量） $x_{1},x_{2},\ldots ,x_{n}$ 的獨立性還可以推出：設 $Bk$ 是 $xk$ 取值的空間中的任意波萊爾集， $k=1,2,\ldots ,n$ 。設 $x_{1},x_{2},\ldots ,x_{n}$ 是獨立的，則它們中的任意個都是獨立的。但逆之即使其中任何 $n-1$ 個是獨立的，也不保證 $x_{1},x_{2},\ldots ,x_{n}$ 是獨立的。又如果 $fj(x),i=1,2,\ldots ,n$ ，是 $n$ 個連續函數或初等函數 (或更一般的波萊爾可測函數)，則從 $x_{1},x_{2},\ldots ,x_{n}$ 的獨立性可推出 $f1(x_{1}),f2(x_{2}),\ldots ,fn(x_{n})$ 也獨立。如果隨機變數 (隨機向量) 序列 $x_{1},x_{2},\ldots ,x_{n},\ldots $ 中任何有限個都獨立，則稱之為獨立隨機變數（隨機向量）序列。
關於隨機變數的動差、特徵函數、母函數及半不變數，分別見數學期望、變異數、動差及機率分布。

## 隨機變數的函數

一個新的隨機變數能被鮑萊耳 (Borel) 可測函數定義 $g\colon \mathbb {R} \rightarrow \mathbb {R} $ 來產生一個隨機變數 _$X$_ 。 _$Y$_ 的累積分布函數是：

　
: $F_{Y}(y)=\operatorname {P} (g(X)\leq y).$

如果鮑萊耳函數可逆：

　
: $F_{Y}(y)=\operatorname {P} (g(X)\leq y)={\begin{cases}\operatorname {P} (X\leq g^{-1}(y))=F_{X}(g^{-1}(y)),&{\text{if }}g^{-1}{\text{ increasing}},\\\\\operatorname {P} (X\geq g^{-1}(y))=1-F_{X}(g^{-1}(y)),&{\text{if }}g^{-1}{\text{ decreasing}}.\end{cases}}$

得到它的機率密度函數：

　
: $f_{Y}(y)=f_{X}(g^{-1}(y))\left|{\frac {dg^{-1}(y)}{dy}}\right|.$

### 例子

定義 _$X$_ 為實數，在連續性隨機變數里，讓 $Y=X^{2}$

　
: $F_{Y}(y)=\operatorname {P} (X^{2}\leq y).$

如果 $y<0$ ，那麼 $P(X^{2}\leq y)=0$

　
: $F_{Y}(y)=0\qquad {\hbox{if}}\quad y<0.$

如果 $y\geq 0$

　
: $\operatorname {P} (X^{2}\leq y)=\operatorname {P} (|X|\leq {\sqrt {y}})=\operatorname {P} (-{\sqrt {y}}\leq X\leq {\sqrt {y}}),$

可以得到：

　
: $F_{Y}(y)=F_{X}({\sqrt {y}})-F_{X}(-{\sqrt {y}})\qquad {\hbox{if}}\quad y\geq 0.$

## 參考文獻

## 外部連結

* Hazewinkel, Michiel (編), Random variable, 数学百科全书，Springer, 2001, ISBN 978-1-55608-010-4
* Zukerman, Moshe, Introduction to Queueing Theory and Stochastic Teletraffic Models (PDF), 2014 [2017-03-01], （原始內容 (PDF) 存檔於 2016-08-11）
* Zukerman, Moshe, Basic Probability Topics (PDF), 2014 [2017-03-01], （原始內容 (PDF) 存檔於 2021-04-02）

## 參見

* 機率論
* 隨機分布
* 隨機性
* 隨機向量
* 隨機函數
* 生成函數
* 算法資訊理論
* 隨機變數的收斂