Inverse Transform Sampling - Proof of Correctness

Proof of Correctness

Let F be a continuous cumulative distribution function, and let F−1 be its inverse function (using the infimum because CDFs are weakly monotonic and right-continuous):

Claim: If U is a uniform random variable on (0, 1) then follows the distribution F.

Proof:

\begin{align} & \Pr(F^{-1}(U) \leq x) \\ & {} = \Pr(\inf\;\{y \mid F(y)=U\} \leq x)\quad &\text{(by definition of }F^{-1}) \\ & {} = \Pr(U \leq F(x)) \quad &\text{(applying }F,\text{ which is monotonic, to both sides)} \\ & {} = F(x)\quad &\text{(because }\Pr(U \leq y) = y,\text{ since }U\text{ is uniform on the unit interval)}. \end{align}

Read more about this topic:  Inverse Transform Sampling

Famous quotes containing the words proof of, proof and/or correctness:

    “The source of Pyrrhonism comes from failing to distinguish between a demonstration, a proof and a probability. A demonstration supposes that the contradictory idea is impossible; a proof of fact is where all the reasons lead to belief, without there being any pretext for doubt; a probability is where the reasons for belief are stronger than those for doubting.”
    —Andrew Michael Ramsay (1686–1743)

    “War is a beastly business, it is true, but one proof we are human is our ability to learn, even from it, how better to exist.”
    —M.F.K. Fisher (1908–1992)

    “What will happen once the authentic mass man takes over, we do not know yet, although it may be a fair guess that he will have more in common with the meticulous, calculated correctness of Himmler than with the hysterical fanaticism of Hitler, will more resemble the stubborn dullness of Molotov than the sensual vindictive cruelty of Stalin.”
    —Hannah Arendt (1906–1975)