Formal Definition
(This definition may be extended to any probability distribution using the measure-theoretic definition of probability.)
A random variable X with values in a measure space (usually Rn with the Borel sets as measurable subsets) has as probability distribution the measure X∗P on : the density of X with respect to a reference measure μ on is the Radon–Nikodym derivative:
That is, f is any measurable function with the property that:
for any measurable set .
Read more about this topic: Probability Density Function
Famous quotes containing the words formal and/or definition:
“I will not let him stir
Till I have used the approvèd means I have,
With wholesome syrups, drugs, and holy prayers,
To make of him a formal man again.”
—William Shakespeare (1564–1616)
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)