随机变量

随机变量是一种数学概念，用来表示随机试验结果的变量。
简介.
随机变量通常用大写字母formula_1、formula_2表示。在各种随机试验中，每一个随机事件都可以用一个变量代替任何一个数值。例如掷骰子时掷出的点数是1,2..,6中的一个，其中的任意一个点数都可以用变量formula_1来表示，formula_1可以=1，=2...=6，又例如在产品的抽查中，抽到正品可以用“formula_1=1”来表示，抽到次品可以用“formula_1=0”来表示，这样formula_1又可以=1也可以=0。，随机变量实质上是函数。称其为变量是指可作为因变量。
正式定义.
直观上，随机变量为一种特殊的实函数，其值不大于某数的状况都是事件。所以一个函数是不是随机变量也跟「怎样的子集合算事件」有密不可分的关系。
如果随机变量 formula_1 的取值是有限的或者是可数无穷尽的值：
则称 formula_1 为离散随机变量。
如果 formula_1 的取值遍布一区间甚至是整个数线：（formula_12）
则称formula_1为连续随机变量。
与可测函数的关系.
如果取 formula_15 为所有实开区间所构成的集合：
则可以把博雷尔代数 formula_17 定义为包含 formula_15 的最小Σ-代数：
则根据阿基米德性质，对任意实数 formula_20 ，formula_21，有以下的关系：
反之，也可以用类似的方法，由任意的 formula_24 ，透过并集和补集组合出 formula_25：
这样的话，任意的 formula_20 都有formula_29 ，等价于对任意的 formula_30 都有 formula_31，这样根据可测函数性质的定理(2)，上小节定义的 formula_1 ，就是一个 formula_33 - formula_17 可测函数，换句话说，随机变量是可测函数的一种特例。
范例.
随机掷两个骰子，整个样本空间由36个元素组成：
然后可以简单地把 formula_36 的任意子集合都视为事件，换句话说，把事件族 formula_37 取成 formula_36 的幂集：
这样的话，可以构造出许多定义在 formula_36 上的随机变量，比如 formula_1 可以定义为「两个骰子的点数和」；者 formula_2 可以定义为「两个骰子的点数差」：
因为「两个骰子的点数和不大于 formula_45」和「两个骰子的点数差不大于 formula_45」的样本点所构成的集合，都是 formula_36 的子集合，所以 formula_1 和 formula_2 都是（在 formula_39 的意义下）定义在 formula_36 上的随机变量，而且它们都是离散随机变量。
性质.
不确定性.
随机变量在不同的条件下由于偶然因素影响，其可能取各种随机变量不同的值，具有不确定性和随机性，但这些取值落在某个范围的概率是一定的，此种变量称为随机变量。随机变量可以是离散型的，也可以是连续型的。如分析测试中的测定值就是一个以概率取值的随机变量，被测定量的取值可能在某一范围内随机变化，具体取什么值在测定之前是无法确定的，但测定的结果是确定的，多次重复测定所得到的测定值具有统计规律性。随机变量与模糊变量的不确定性的本质差别在于，后者的测定结果仍具有不确定性，即模糊性。
基本类型.
简单地说，随机变量是指随机事件的数量表现。某地若干名男性健康成人中，每人血红蛋白量的测定值；等等。另有一些现象并不直接表现为数量，例如人口的男女性别、试验结果的阳性或阴性等，但我们可以规定男性为1，女性为0，则非数量标志也可以用数量来表示。这些例子中所提到的量，尽管它们的具体内容是各式各样的，但从数学观点来看，它们表现了同一种情况，这就是每个变量都可以随机地取得不同的数值，而在进行试验或测量之前，我们要预言这个变量将取得某个确定的数值是不可能的。
按照随机变量可能取得的值，可以把它们分为两种基本类型：
离散型随机变量.
即在一定区间内变量取值为有限个，或数值可以一一列举出来。例如某地区某年人口的出生数、死亡数，某药治疗某病病人的有效数、无效数等
连续型随机变量.
即在一定区间内变量取值有无限个，或数值无法一一列举出来。例如某地区男性健康成人的身长值、体重值，一批传染性肝炎患者的血清转氨酶测定值等。
详细分析.
表示方法.
随机试验结果的量的表示。例如掷一颗骰子出现的点数，电话交换台在一定时间内收到的呼叫次数，随机抽查的一个人的身高，悬浮在液体中的微粒沿某一方向的位移，等等，都是随机变量的实例。
一个随机试验的可能结果（称为基本事件）的全体组成一个基本空间formula_52（见概率）。随机变量formula_1是定义于formula_52上的函数，即对每一基本事件formula_55，有一数值formula_56与之对应。以掷一颗骰子的随机试验为例，它的所有可能结果，共6个，分别记作formula_57, formula_58, formula_59, formula_60, formula_61, formula_62，这时，formula_63，而出现的点数这个随机变量formula_1，就是formula_52上的函数formula_66，formula_67。又如设formula_68是要进行抽查的formula_69个人的全体，那么随意抽查其中一人的身高和体重，就构成两个随机变量formula_1和formula_2，它们分别是formula_52上的函数：formula_73“formula_74的身高”，formula_75“formula_74的体重”，formula_77。一般说来，一个随机变量所取的值可以是离散的（如掷一颗骰子的点数只取1到6的整数，电话台收到的呼叫次数只取非负整数），也可以充满一个数值区间，或整个实数轴（如液体中悬浮的微粒沿某一方向的位移）。
研究方法.
在研究随机变量的性质时，确定和计算它取某个数值或落入某个数值区间内的概率是特别重要的。因此，随机变量取某个数值或落入某个数值区间这样的基本事件的集合，应当属于所考虑的事件域。根据这样的直观想法，利用概率论公理化的语言，取实数值的随机变量的数学定义可确切地表述如下：概率空间formula_78上的随机变量formula_1是定义于formula_52上的实值可测函数，即对任意formula_55，formula_56为实数，且对任意实数formula_83，使formula_84的一切formula_85组成的formula_52的子集formula_87是事件，也即是formula_88中的元素。事件formula_87常简记作formula_90，并称函数formula_91，formula_92 ，为formula_1的分布函数。
设formula_1, formula_2是概率空间formula_78上的两个随机变量，如果除去一个零概率事件外，formula_56与formula_98相同，则称formula_99以概率1成立，也记作formula_100或formula_99,α.s.（α.s.意即几乎必然）。
有些随机现象需要同时用多个随机变量来描述。例如对地面目标射击，弹着点的位置需要两个坐标才能确定，因此研究它要同时考虑两个随机变量，一般称同一概率空间formula_78上的formula_69个随机变量构成的formula_69维向量formula_105为formula_69维随机向量。随机变量可以看作一维随机向量。称formula_69元formula_108的函数为formula_1的（联合）分布函数。又如果formula_110为二维随机向量，则称formula_111为复随机变量。
随机变量的独立性 　独立性是概率论所独有的一个重要概念。设formula_108是formula_69个随机变量，如果对任何formula_69个实数formula_108都有 即它们的联合分布函数formula_116等于它们各自的分布函数formula_117的乘积。则称formula_108是独立的。这一定义可以直接推广到每一formula_119（formula_77）是随机向量的情形。独立性的直观意义是：formula_108中的任何一个取值的概率规律，并不随其中的其他随机变量取什么值而改变。在实际问题中通常用它来表征多个独立操作的随机试验结果或多种有独立来源的随机因素的概率特性，因此它对于概率统计的应用是十分重要的。
从随机变量（或向量）formula_108的独立性还可以推出：设formula_123是formula_119取值的空间中的任意波莱尔集，formula_77。设formula_108是独立的，则它们中的任意个都是独立的。但逆之即使其中任何formula_127个是独立的，也不保证formula_108是独立的。又如果formula_129，是formula_69个连续函数或初等函数(或更一般的波莱尔可测函数)，则从formula_108的独立性可推出formula_132也独立。如果随机变量(随机向量)序列formula_133中任何有限个都独立，则称之为独立随机变量（随机向量）序列。
关于随机变量的矩、特征函数、母函数及半不变量，分别见数学期望、方差、动差及概率分布。
随机变量的函数.
一个新的随机变量能被博雷尔可测函数定义 formula_134 来产生一个随机变量"formula_1"。"formula_2"的累积分布函数是：
如果博雷尔函数可逆：
得到它的概率密度函数：
例子.
定义"formula_1"为实数，在连续性随机变量里，让 formula_141
如果formula_143，那么 formula_144
如果formula_146
可以得到：