Random variable: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Hendra I. Nurdin
(→‎Formal definition: additional explanation)
imported>Hendra I. Nurdin
Line 8: Line 8:


==An easy example==
==An easy example==
Consider the probability space <math>(\mathbb{R},\mathcal{B}(\mathbb{R}),P)</math> where <math>\mathcal{B}(\mathbb{R})</math> is the [[sigma algebra]] of [[Borel set|Borel subsets]] of <math>\mathbb{R}</math> and ''P'' is a probability measure on <math>\mathbb{R}</math> (hence ''P'' is measure with <math>P(\mathbb{R})=1</math>). Then the identity map <math>I: (\mathbb{R},\mathcal{B}(\mathbb{R}))\rightarrow (\mathbb{R},\mathcal{B}(\mathbb{R}))</math> defined by <math>I(x)=x</math> is trivially a measurable function, hence is a random variable.  
Consider the probability space <math>(\mathbb{R},\mathcal{B}(\mathbb{R}),P)</math> where <math>\mathcal{B}(\mathbb{R})</math> is the [[sigma algebra]] of [[Borel set|Borel subsets]] of <math>\mathbb{R}</math> and ''P'' is a probability measure on <math>\mathbb{R}</math> (hence ''P'' is a measure with <math>P(\mathbb{R})=1</math>). Then the identity map <math>I: (\mathbb{R},\mathcal{B}(\mathbb{R}))\rightarrow (\mathbb{R},\mathcal{B}(\mathbb{R}))</math> defined by <math>I(x)=x</math> is trivially a measurable function, hence is a random variable.


==References==
==References==

Revision as of 16:05, 17 October 2007

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In probability theory, a branch of mathematics, a random variable is, as its name suggests, a variable that can take on random values. More formally, it is not actually a variable , but a function whose argument takes on a particular value according to some probability measure (a measure that takes on the value 1 over the largest set on which it is defined).

Formal definition

Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\Omega,\mathcal{F},P)} be an arbitrary probability space and an arbitrary measurable space. Then a random variable is any measurable function X mapping to .

The reason a random variable has been defined in this way is that it captures the idea that events corresponding to the random variable taking on certain values can always be assigned probabilities. For example, suppose that the event E of interest is the a random variable X taking on a value in the set . This event can be expressed as . By the measurability of X as a random variable it follows that , hence E can be assigned a probability (i.e., ). If X is not measurable then it cannot be ascertained that E will belong to , hence it may not be assignable a probability via P.

An easy example

Consider the probability space where is the sigma algebra of Borel subsets of and P is a probability measure on (hence P is a measure with ). Then the identity map defined by is trivially a measurable function, hence is a random variable.

References

  1. P. Billingsley, Probability and Measure (2 ed.), ser. Wiley Series in Probability and Mathematical Statistics, Wiley, 1986.
  2. D. Williams, Probability with Martingales, Cambridge : Cambridge University Press, 1991.

External links

  1. Probability tutorial at Probability.net