3

In the most text book of advance probability theory, they always start from a probability space $(\Omega, F, P)$, and introduce the corresponding measure theory, then use measurable function to define a random variable. However, the probability space part is always vague. When we define a new random variable, we always directly define it by its density function or mass function. However, we cannot see the connection between probability space and random variable anymore.

My question is that can we always define a random variable from a probability space? For example, I want to define a Bernoulli distributed random variable. We can start from a prob. space that $\Omega=\{H,T\}$ and $P(H)=p, P(T)=1-p$, then define the measurable function between prob.space and $(R,B)$ as $X(T)=1$ and $X(H)=0$. Or a prob. space that $\Omega=[0,1]$, and $P$ is the Lebesgue measure, and $F$ the collection of Lebesgue measurable sets. Then define $X(\omega)=1$ if $\omega<0.5$ and so on.

Exponential distributed random variable is still OK, because the uniform distributed random variable can be defined by a identity function on the prob.space mentioned above, and we can apply the inverse function of the CDF of exponential distribution to define a exponential distributed random variable.

However, if we go further to define Gaussian random variable. Can we do similar procedure as above to define it? What can I image is that we can invoke CLT to define a Gaussian from a $\Omega =\{H,T\} $ or $\Omega=[0,1]$. But it is not very clear. Also, if we continue the thinking, how to construct a complicate stochastic process?

ANuo
  • 121
  • 1
    Maybe Box and Muller algorithm also can help me to construct the Gaussian from the $[0,1]$ Leb meas. space. But it will go to bivariate normal first. Maybe that is also a problem. Anyway, the most important question is "can we always go back to a concrete prob. space when we try to define a random variable or random elements?" – ANuo Apr 04 '16 at 07:44
  • Or can we treat the Lebesgue measure space of $\Omega=[0,1]$ as the "atom" of the world of probability? Just like we have a bunch of Play-doh ($\Omega=[0,1]$), then we can use different mold (measurable function) to construct different shape (distribution) – ANuo Apr 04 '16 at 08:00
  • 2
    For a standard Gaussian, how about considering $\Omega=\mathbb{R}$ and $F=\mathcal{B}(\mathbb{R})$ and $P([a,b]) = \Phi(b)-\Phi(a)$ when $a \le b$? – Henry Apr 04 '16 at 08:54
  • @Henry Thank you for pointing this, I see it. When define a continuous random variable, we can define the prob measure by the distribution function (is called Lebesgue Stieltjes measue?) Then we always can start from the measure space (R, B(R)). – ANuo Apr 04 '16 at 09:13
  • @Henry Could you clarify what $F$ and $\mathcal{B}$ are there? – Learning stats by example Apr 21 '22 at 01:03
  • 1
    @Learningstatsbyexample $F$ is a sigma algebra of events in a probability space. $\mathcal{B}(\mathbb{R})$ is the Borel sigma algebra on the real numbers, i.e. the smallest sigma algebra that contains all the intervals on the real line plus complements and finite and countable unions and intersections – Henry Apr 21 '22 at 01:11

0 Answers0