查看“︁随机变量”︁的源代码

{{NoteTA
|T=zh-tw:隨機變數;zh-cn:随机变量
|G1=Math
|G2=IT
|1=zh-hans:矩; zh-tw:動差;zh-hant:矩
|2=zh-hans:变量; zh-tw:變數;zh-hant:變量;zh-hk=變數
}}
{{Probability fundamentals}}
'''随机变量'''是一種[[数学]]概念，用来表示[[随机试验]]结果的[[变量]]。

{{各地漢字名
|t=1
|名詞=random variable
|cn= 随机变量
|hk=隨機變數
|tw=隨機變數
|where=日本
|other={{lang|ja|確率変数}}
|where2=韓國
|other2={{lang|ko|確率變數}}
}}

== 簡介 ==
随机变量通常用大写字母<math>X</math>、<math>Y</math>表示。在各种随机试验中，每一个[[随机事件]]都可以用一个变量代替任何一个数值。例如擲[[骰子]]時擲出的点数是1,2,..,6中的一个，其中的任意一个点数都可以用变量<math>X</math>来表示，<math>X</math>可以=1，=2....=6，又例如在产品的抽查中，抽到正品可以用“<math>X</math>=1”来表示，抽到次品可以用“<math>X</math>=0”来表示，这样<math>X</math>又可以=1也可以=0。<ref>刘明忠，王雪，周陈焱主编,大学应用数学,重庆大学出版社,2021.11,第248页</ref>，'''随机变量实质上是函数'''。称其为[[变量]]是指可作为[[自变量和因变量|因变量]]。

== 正式定義 ==
{{math_theorem
|name=随机变量的定義
|math_statement=
<math>X:S \to \R</math> 是一個定義在[[样本空间]] <math>S</math> 上的[[实数|实]][[函数]]，而 <math>\mathcal{E} \subseteq \mathcal{P}(S)</math> 為 <math>S</math> 的某[[Σ-代数|事件族]]，若對任意實數 <math>r \in \R</math> ，有：

: <math>\{s \in S \, |\,
X(s) \leq r
\}
\in \mathcal{E}    </math>
: （也就是說，<math>X(s) \leq r   </math> 必為一個事件）

則稱函數 <math>X</math> 為一個（在 <math>\mathcal{E}</math> 的意義下）定義在 <math>S</math> 上的'''随机变量'''。
}}

直觀上，随机变量為一種特殊的實函數，其值不大於某數的狀況都是[[事件 (概率论)|事件]]。所以一個函數是不是隨機變量也跟「怎樣的子[[集合 (数学)|集合]]算事件」有密不可分的關係。

如果随机变量 <math>X</math> 的取值是有限的或者是[[可数]]无穷尽的值：
:<math>X(S) = \{ x_1, x_2, x_3, \ldots, \} \cong \N</math>
则称 <math>X</math> 为'''离散'''随机变量。如果 <math>X</math> 的取值遍布一区间甚至是整個數線：（<math>a,\,b\in\R</math>）
:<math>X(S) = [a,\,b]</math>
则称<math>X</math>为'''连续'''随机变量。

=== 與可測函數的關係 ===
如果取 <math>\mathcal{I}</math> 為所有實開[[區間]]所構成的集合：
:<math>\mathcal{I} = \bigg\{ A \in \mathcal{P}(\R)
\,\bigg|\,
    (\exists a)(\exists b)\left[\,
        (a,\,b \in \R) \wedge
        (A = (a,\,b))
    \,\right]
\bigg\}</math>
则可以把[[博雷爾集|博雷爾代數]] <math>\mathcal{B}</math> 定義為包含 <math>\mathcal{I}</math> 的最小[[Σ-代数]]：
:<math>\mathcal{B}
:= \sigma(\mathcal{I})
= \bigcap \bigg\{ \Sigma
\,\bigg|\,
    (\Sigma\text{ is a sigma algebra.}) \wedge
    (\mathcal{I} \subseteq \Sigma)
\bigg\}</math>
則根據[[阿基米德性質]]，對任意實數 <math>r \in \R</math> ，<math>(-\infty,\,r ] \in \mathcal{B}</math>，有以下的關係：
:<math>(r,\,\infty ) =
\bigcup \left\{ A \in \mathcal{I}
\,\bigg|\,
(\exist n \in \N)\left[A = (r,\,n)\right]
\right\}       </math>
:<math>(-\infty,\,r ] =
\R - (r,\,\infty)        </math>
反之，也可以用類似的方法，由任意的 <math>(-\infty,\,r ]</math> ，透過[[并集]]和[[补集]]組合出 <math>(a,\,b)</math>：
:<math>(-\infty,\,b ) =
\bigcup \left\{ A \in \mathcal{P}(\R)
\,\bigg|\,
(\exist n \in \N)\left[A = (-\infty,\,b - \frac{1}{n}]\right]
\right\}         </math>
:<math>(a,\,b ) =
\left(
\R - (-\infty,\, a]
\right) \cup (-\infty, b)        </math>
這樣的話，任意的 <math>r \in \R</math> 都有<math>\{s \in S \, |\,
X(s) \leq r
\}
\in \mathcal{E}    </math> ，等價於對任意的 <math>a,\,b \in \R</math> 都有 <math>\{s \in S \, |\,
a < X(s) < b
\}
\in \mathcal{E}     </math>，這樣根據[[可测函数#可测函数的性质|可测函数性质]]的定理(2)，上小節定義的 <math>X</math> ，就是一個 <math>\mathcal{E}</math> - <math>\mathcal{B}</math> [[可测函数]]，換句話說，'''随机变量是可測函數的一種特例'''。

=== 範例 ===
[[File:zufall.png|thumb|center|500 px|实数坐标轴上的随机变量示意图]]

随机掷两个骰子，整个[[样本空间]]由36个元素组成：
:<math>S = \left\{ ( i, j ) \in \N^2 | (i \leq 6) \wedge (j \leq 6) \right\}</math>
然後可以簡單地把 <math>S</math> 的任意[[子集合]]都視為事件，換句話說，把[[Σ-代数|事件族]] <math>\mathcal{E}  </math> 取成 <math>S</math> 的[[冪集]]：
:<math>\mathcal{E} = \mathcal{P}(S)  </math>
這樣的話，可以構造出許多定義在 <math>S</math> 上的随机变量，比如 <math>X</math> 可以定義為「两个骰子的点数和」；者 <math>Y</math> 可以定義為「两个骰子的点数差」：
:<math>X ( i, j ) := i+j</math>
:<math>Y ( i, j ) := | i-j |  </math>
因為「两个骰子的点数和不大於 <math>r</math>」和「两个骰子的点数差不大於 <math>r</math>」的樣本點所構成的集合，都是 <math>S</math> 的[[子集合]]，所以 <math>X</math> 和 <math>Y</math> 都是（在 <math>\mathcal{E} = \mathcal{P}(S)  </math> 的意義下）定義在 <math>S</math> 上的随机变量，而且它們都是离散随机变量。

== 性质 ==
===不确定性===
随机变量在不同的条件下由于偶然因素影响，其可能取各种随机变量不同的值，具有[[不确定性]]和[[随机性]]，但这些取值落在某个范围的概率是一定的，此种变量称为随机变量。随机变量可以是[[随机变量#离散型随机变量|离散型]]的，也可以是[[随机变量#连续型随机变量|连续型]]的。如分析测试中的测定值就是一个以概率取值的随机变量，被测定量的取值可能在某一范围内随机变化，具体取什么值在测定之前是无法确定的，但测定的结果是确定的，多次重复测定所得到的测定值具有统计规律性。随机变量与模糊变量的不确定性的本质差别在于，后者的测定结果仍具有不确定性，即模糊性。

===基本类型===
简单地说，随机变量是指[[随机事件]]的数量表现。某地若干名男性健康成人中，每人血红蛋白量的测定值；等等。另有一些现象并不直接表现为数量，例如人口的男女性别、试验结果的阳性或阴性等，但我们可以规定男性为1，女性为0，则非数量标志也可以用数量来表示。这些例子中所提到的量，尽管它们的具体内容是各式各样的，但从数学观点来看，它们表现了同一种情况，这就是每个变量都可以随机地取得不同的数值，而在进行试验或测量之前，我们要预言这个变量将取得某个确定的数值是不可能的。
按照随机变量可能取得的值，可以把它们分为两种基本类型：

====离散型随机变量====
即在一定区间内变量取值为有限个，或数值可以一一列举出来。例如某地区某年人口的出生数、死亡数，某药治疗某病病人的有效数、无效数等

====连续型随机变量====
即在一定区间内变量取值有无限个，或数值无法一一列举出来。例如某地区男性健康成人的身长值、体重值，一批传染性肝炎患者的血清转氨酶测定值等。

== 详细分析 ==
===表示方法===
随机试验结果的量的表示。例如掷一颗骰子出现的点数，电话交换台在一定时间内收到的呼叫次数，随机抽查的一个人的身高，悬浮在液体中的微粒沿某一方向的位移，等等，都是随机变量的[[实例]]。
一个随机试验的可能结果（称为基本事件）的全体组成一个基本空间<math>\Omega</math>（见概率）。随机变量<math>X</math>是定义于<math>\Omega</math>上的函数，即对每一基本事件<math>\omega\in\Omega</math>，有一数值<math>X(\omega)</math>与之对应。以掷一颗骰子的随机试验为例，它的所有可能结果，共6个，分别记作<math>\omega_1</math>, <math>\omega_2</math>, <math>\omega_3</math>, <math>\omega_4</math>, <math>\omega_5</math>, <math>\omega_6</math>，这时，<math>\Omega=\{\omega_1, \omega_2, \omega_3, \omega_4, \omega_5, \omega_6\}</math>，而出现的点数这个随机变量<math>X</math>，就是<math>\Omega</math>上的函数<math>X(\omega k)=k</math>，<math>k=1,2,\ldots,6</math>。又如设<math>\Omega=\{\omega_1, \omega_2, \ldots, \omega_n\}</math>是要进行抽查的<math>n</math>个人的全体，那么随意抽查其中一人的身高和体重，就构成两个随机变量<math>X</math>和<math>Y</math>，它们分别是<math>\Omega</math>上的函数：<math>X(\omega k)=</math>“<math>\omega k</math>的身高”，<math>Y(\omega k)=</math>“<math>\omega k</math>的体重”，<math>k=1,2,\ldots,n</math>。一般说来，一个随机变量所取的值可以是离散的（如掷一颗骰子的点数只取1到6的整数，电话台收到的呼叫次数只取非负整数），也可以充满一个数值区间，或整个实数轴（如液体中悬浮的微粒沿某一方向的位移）。

===研究方法===
在研究随机变量的性质时，确定和计算它取某个数值或落入某个数值区间内的概率是特别重要的。因此，随机变量取某个数值或落入某个数值区间这样的基本事件的集合，应当属于所考虑的[[事件域]]。根据这样的直观想法，利用概率论公理化的语言，取实数值的随机变量的数学定义可确切地表述如下：概率空间<math>(\Omega,F,p)</math>上的随机变量<math>X</math>是定义于<math>\Omega</math>上的实值可测函数，即对任意<math>\omega\in\Omega</math>，<math>X(\omega)</math>为实数，且对任意实数<math>x</math>，使<math>X(\omega)\leq x</math>的一切<math>\omega</math>组成的<math>\Omega</math>的子集<math>\{\omega:X(\omega)\leq x\}</math>是事件，也即是<math>F</math>中的元素。事件<math>\{\omega:X(\omega)\leq x\}</math>常简记作<math>\{X\leq x\}</math>，并称函数<math>F(x)=p(X\leq x)</math>，<math>-\infty <x<\infty</math> ，为<math>X</math>的分布函数。
设<math>X</math>, <math>Y</math>是概率空间<math>(\Omega,F,p)</math>上的两个随机变量，如果除去一个零概率事件外，<math>X(\omega)</math>与<math>Y(\omega)</math>相同，则称<math>X=Y</math>以概率1成立，也记作<math>p(X=Y)=1</math>或<math>X=Y</math>,α.s.（α.s.意即几乎必然）。

有些随机现象需要同时用多个随机变量来描述。例如对地面目标射击，弹着点的位置需要两个[[坐标]]才能确定，因此研究它要同时考虑两个随机变量，一般称同一[[概率空间]]<math>(\Omega,F,p)</math>上的<math>n</math>个随机变量构成的<math>n</math>维向量<math>X=(x_1,x_2,\ldots,x_n)</math>为<math>n</math>维随机向量。随机变量可以看作[[一维]]随机向量。称<math>n</math>元<math>x_1,x_2,\ldots,x_n</math>的函数为<math>X</math>的（联合）分布函数。又如果<math>(x_1,x_2)</math>为二维随机向量，则称<math>x_1+ix_2(i^2=-1)</math>为复随机变量。
随机变量的独立性 　独立性是概率论所独有的一个重要概念。设<math>x_1,x_2,\ldots,x_n</math>是<math>n</math>个随机变量，如果对任何<math>n</math>个实数<math>x_1,x_2,\ldots,x_n</math>都有 即它们的[[联合分布函数]]<math>F(x_1,x_2,\ldots,x_n)</math>等于它们各自的[[分布函数]]<math>F1(x_1),F2(x_2),\ldots,Fn(x_n)</math>的乘积。则称<math>x_1,x_2,\ldots,x_n</math>是独立的。这一定义可以直接推广到每一<math>xk</math>（<math>k=1,2,\ldots,n</math>）是随机向量的情形。独立性的直观意义是：<math>x_1,x_2,\ldots,x_n</math>中的任何一个取值的概率规律，并不随其中的其他随机变量取什么值而改变。在实际问题中通常用它来表征多个独立操作的随机试验结果或多种有独立来源的随机因素的概率特性，因此它对于概率统计的应用是十分重要的。

从随机变量（或向量）<math>x_1,x_2,\ldots,x_n</math>的独立性还可以推出：设<math>Bk</math>是<math>xk</math>取值的空间中的任意[[波莱尔集]]，<math>k=1,2,\ldots,n</math>。设<math>x_1,x_2,\ldots,x_n</math>是独立的，则它们中的任意个都是独立的。但逆之即使其中任何<math>n-1</math>个是独立的，也不保证<math>x_1,x_2,\ldots,x_n</math>是独立的。又如果<math>fj(x),i=1,2,\ldots,n</math>，是<math>n</math>个[[连续函数]]或[[初等函数]](或更一般的[[波莱尔可测函数]])，则从<math>x_1,x_2,\ldots,x_n</math>的独立性可推出<math>f1(x_1),f2(x_2),\ldots,fn(x_n)</math>也独立。如果随机变量(随机向量)序列<math>x_1,x_2,\ldots,x_n,\ldots</math>中任何有限个都独立，则称之为独立随机变量（随机向量）序列。
关于随机变量的矩、[[特征函数]]、[[母函数]]及半不变量，分别见[[数学期望]]、[[方差]]、[[矩 (數學)|動差]]及[[概率分布]]。

== 随机变量的函数 ==
一个新的随机变量能被[[博雷尔可测函数]]定义 <math>g\colon \mathbb{R} \rightarrow \mathbb{R}</math> 来产生一个随机变量''<math>X</math>''。''<math>Y</math>''的累积分布函数是：
:<math>F_Y(y) = \operatorname{P}(g(X) \le y).</math>
如果[[波莱尔函数|博雷尔函数]][[可逆]]：
:<math>F_Y(y) = \operatorname{P}(g(X) \le y) =
\begin{cases}
\operatorname{P}(X \le g^{-1}(y)) = F_X(g^{-1}(y)), & \text{if } g^{-1} \text{ increasing} ,\\
\\
\operatorname{P}(X \ge g^{-1}(y)) = 1 - F_X(g^{-1}(y)), & \text{if } g^{-1} \text{ decreasing} .
\end{cases}</math>
得到它的[[概率密度函数]]：
:<math>f_Y(y) = f_X(g^{-1}(y)) \left| \frac{d g^{-1}(y)}{d y} \right|.</math>

===例子===
定义''<math>X</math>''为实数，在连续性随机变量里，让 <math>Y = X^2</math>
:<math>F_Y(y) = \operatorname{P}(X^2 \le y).</math>
如果<math>y < 0</math>，那么 <math>P(X^2 \leq y) = 0</math>
:<math>F_Y(y) = 0\qquad\hbox{if}\quad y < 0.</math>
如果<math>y \geq 0</math>
:<math>\operatorname{P}(X^2 \le y) = \operatorname{P}(|X| \le \sqrt{y})
 = \operatorname{P}(-\sqrt{y} \le  X \le \sqrt{y}),</math>
可以得到：
:<math>F_Y(y) = F_X(\sqrt{y}) - F_X(-\sqrt{y})\qquad\hbox{if}\quad y \ge 0.</math>

== 參考文獻 ==
{{Reflist}}
{{refbegin}}
* {{cite book | last1 = Fristedt | first1 = Bert | last2 = Gray | first2 = Lawrence | title = A modern approach to probability theory | year = 1996 | publisher = Birkhäuser | location = Boston | url = https://books.google.com/books/about/A_Modern_Approach_to_Probability_Theory.html?id=5D5O8xyM-kMC | isbn = 3-7643-3807-5 | ref = harv | access-date = 2017-03-01 | archive-date = 2021-04-28 | archive-url = https://web.archive.org/web/20210428234905/https://books.google.com/books/about/A_Modern_Approach_to_Probability_Theory.html?id=5D5O8xyM-kMC }}
* {{cite book | last = Kallenberg | first = Olav | author-link = Olav Kallenberg | year = 1986 | title = Random Measures | edition = 4th | publisher = [[Akademie Verlag]] | location = Berlin | mr = 0854102 | isbn = 0-12-394960-2 | url = https://books.google.com/books?id=bBnvAAAAMAAJ}}
* {{cite book | last = Kallenberg | first = Olav | year = 2001 | title = Foundations of Modern Probability | edition = 2nd | publisher = [[Springer Verlag]] | location = Berlin | ISBN = 0-387-95313-2 | url = https://books.google.com/books/about/Foundations_of_Modern_Probability.html?hl=de&id=L6fhXh13OyMC | access-date = 2017-03-01 | archive-date = 2021-04-02 | archive-url = https://web.archive.org/web/20210402051244/https://books.google.com/books/about/Foundations_of_Modern_Probability.html?hl=de&id=L6fhXh13OyMC }}
* {{cite book | authorlink = Athanasios Papoulis | last = Papoulis | first = Athanasios | year = 1965 | title = Probability, Random Variables, and Stochastic Processes | publisher = [[McGraw–Hill]] | location = Tokyo | edition = 9th | ISBN = 0-07-119981-0 | url = http://www.mhhe.com/engcs/electrical/papoulis/ | access-date = 2017-03-01 | archive-date = 2017-06-26 | archive-url = https://web.archive.org/web/20170626144735/http://www.mhhe.com/engcs/electrical/papoulis/ | dead-url = no }}
{{refend}}

== 外部链接 ==
* {{springer |title = Random variable |id = p/r077360 }}
* {{citation | last = Zukerman | first = Moshe | year = 2014 | title = Introduction to Queueing Theory and Stochastic Teletraffic Models | url = http://www.ee.cityu.edu.hk/~zukerman/classnotes.pdf | accessdate = 2017-03-01 | archive-date = 2016-08-11 | archive-url = https://web.archive.org/web/20160811021245/http://www.ee.cityu.edu.hk/~zukerman/classnotes.pdf }}
* {{citation | last = Zukerman | first = Moshe | year = 2014 | title = Basic Probability Topics | url = http://www.ee.cityu.edu.hk/~zukerman/probability.pdf | accessdate = 2017-03-01 | archive-date = 2021-04-02 | archive-url = https://web.archive.org/web/20210402051231/http://www.ee.cityu.edu.hk/~zukerman/probability.pdf }}

== 參見 ==
* [[概率论]]
* [[隨機分佈]]
* [[隨機性]]
* [[隨機函數]]
* [[生成函數]]
* [[算法信息论]]
* [[随机变量的收敛]]

{{-}}
{{Statistics |state = collapsed }}

[[Category:隨機性]]
[[Category:概率与统计]]
[[Category:概率论]]