Random Variables

Defining Random Variables

  • A sample space Ω\Omega is a set of all possible outcomes of an experiment
  • An event is a subset of a sample space
  • A random variable is a deterministic function that maps a single value from the sample space to the real line
  • Said a different way, a random variable represents a function that maps a single value from the sample space to a realization that is any single real number
  • Mathematically, a random variable can be defined as the following:
X:ΩR such that ωX(ω)X: \Omega \to \R \text{ such that } \omega \mapsto X(\omega)
  • We can define the above components as the following:

    • ωΩ\omega \in \Omega
    • X(ω)RX(\omega) \in \R
    • Ω\Omega is a set that represents the domain of the random variable function
    • R\R is a set that represents the range of the random variable function
    • ω\omega represents an element, or a single value, from the set Ω\Omega
    • X(ω)X(\omega) represents an element, or a single value, from the set R\R
    • X(ω)X(\omega) is referred to as a realization of the random variable function

More Notation

  • It’s conventional to write random variables with upper-case italic letters:
A,B,C,X,Y,ZA, B, C, X, Y, Z
  • Random variables should not be confused with events, which are also written using upper-case letters:
A, B, C, X, Y, Z\text{A, B, C, X, Y, Z}
  • Any realizations of a random variable are denoted as lower-case italics:
a,b,c,x,y,za, b, c, x, y, z
  • It’s also common to write the successive random variables that all belong to the same functions as the following:
S0,S1,...,St,...,SnS_0, S_1, ..., S_t, ..., S_n
  • Therefore, the space of each of these random variables is the same, and that sample space is referred to as the following:
S or ΩS \text{ or } \Omega
  • Its realizations would be referred to as the following:
s0,s1,...,st,...,sns_0, s_1, ..., s_t, ..., s_n

Example Notations

  • Let YY be a normally-distributed random variable
  • Let y1,y2,...,yny_1, y_2, ..., y_n be our sample
  • Our sample just represents a sequence of realizations (or Y(ω)Y(\omega))
  • Let θ\theta be a sequence of parameters associated with our random variable YY
  • In this case, θ=(μ,σ)\theta = (\mu, \sigma)
  • The expected value of YY is written as E[Y]\text{E}[Y], which is equal to μ\mu
  • Here, μ^\hat{\mu} is the best estimator for our population parameter μ\mu
  • And, μ^\hat{\mu} equals yˉ\bar{y} when our random variable YY is normally distributed
  • Since YY is normally distributed in our case, μ^\hat{\mu} equals yˉ\bar{y}
  • Specifically, yˉ\bar{y} equals 1ni=1nyi\frac{1}{n}\sum_{i=1}^{n}y_i
  • In other words, μ^μ\hat{\mu} \to \mu due to the law of large numbers

An Example Use-Case

  • Let XX be a random variable that represents the process of receiving heads from flipping a coin
  • We could mathematically define this as X:ΩAX: \Omega \to \text{A}

    • Where XX is our random variable
    • Where our domain is our sample space Ω\Omega
    • Where our range is X(ω)X(\omega)
    • Where our sample space is defined as Ω{Heads, Tails}\Omega \equiv \lbrace \text{Heads, Tails} \rbrace
    • Where ω\omega is a realization of our sample space Ω\Omega
    • Where A{0,1}\text{A} \equiv \lbrace 0, 1 \rbrace (or A{xW:0x1}\text{A} \equiv \lbrace x \in \mathbb{W}: 0 \le x \le 1 \rbrace)
    • Specifically, A\text{A} is the number of heads after one flip
    • Where xx is a realization of A\text{A} (or more generally speaking X(ω)X(\omega))

References

Previous
Next

Bayesian and Frequentist Estimation

Stochasticity