Introduction#
A probability density function (PDF) defines the continuous probability distribution. The PDF follows two basic rules,
- \[ \int_{-\infty}^{\infty} f(x) ~dx = 1 \]
- \[ P(a < X \le b) = \int_a^b f(x)~ dx \]
Where \(f(x)\) is the conventional syntax for PDF.
Formalism#
To deal with the existential crisis that the chance of a single-value event \(\set{X=x}\) is,
because the area for at \(X=x\) is zero (rather poorly defined), we develop the Reynmann interpretation of integrals to the formalism of continuous probability. Take \(dx\) as some small infinitestimal width for some interval \((x-dx, x+dx)\) and define \(dx\) to be an event such that,
Asymptotically, as \(dx \to 0\) the integral dissapears to become the Reinman integral,
A physics formality defines the differential form of the probability ,
Cumulative Distribution Function#
The cumulative distribution function (CDF) is defined the left limit to negative infinity,
Where \(F(x)\) is the conventional syntax for CDF.
Relation to PDF : By the fundamental theorem of calculus,
$$
\begin{gather*}
P(a < X \le b) = \int_a^b f(x)~ dx = F(b) - F(a)\\
\Big\Downarrow\\
f = \frac{dF}{dx}
\end{gather*}
$$
Expectation#
Analgous to discrete case, the expectation is,
Existence : The expectation exists only if the integral exists. A useful theorem is if,
$$
E(g(X)) = \int_{-\infty}^\infty \abs{g(x)}f(x)~dx < \infty
$$
then the expectation exists.