Random variable: Difference between revisions
imported>Hendra I. Nurdin (new article) |
mNo edit summary |
||
(4 intermediate revisions by one other user not shown) | |||
Line 1: | Line 1: | ||
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). | {{subpages}} | ||
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== | ==Formal definition== | ||
Let <math>(\Omega,\mathcal{F},P)</math> be an arbitrary [[measure space|probability space]] and <math>(\Omega',\mathcal{F}')</math> an arbitrary [[measurable space]]. Then a '''random variable''' is any [[measurable function]] ''X'' mapping <math>(\Omega,\mathcal{F})</math> to <math>(\Omega',\mathcal{F}')</math>. | Let <math>(\Omega,\mathcal{F},P)</math> be an arbitrary [[measure space|probability space]] and <math>(\Omega',\mathcal{F}')</math> an arbitrary [[measurable space]]. Then a '''random variable''' is any [[measurable function]] ''X'' mapping <math>(\Omega,\mathcal{F})</math> to <math>(\Omega',\mathcal{F}')</math>. | ||
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 <math>A \in \mathcal{F}'</math>. This event can be expressed as <math>E=\{\omega \in \Omega \mid X(\omega) \in A\}</math>. By the measurability of ''X'' as a random variable it follows that <math>E \in \mathcal{F}</math>, hence ''E'' can be assigned a probability (i.e., <math>P(E)</math>). If ''X'' is not measurable then it cannot be ascertained that ''E'' will belong to <math>\mathcal{F}</math>, hence it may not be assignable a probability via ''P''. | |||
==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== | ||
Line 12: | Line 15: | ||
== External links == | == External links == | ||
#[http://www.probability.net Probability tutorial at Probability.net] | #[http://www.probability.net Probability tutorial at Probability.net][[Category:Suggestion Bot Tag]] |
Latest revision as of 06:00, 10 October 2024
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 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
- P. Billingsley, Probability and Measure (2 ed.), ser. Wiley Series in Probability and Mathematical Statistics, Wiley, 1986.
- D. Williams, Probability with Martingales, Cambridge : Cambridge University Press, 1991.