Can PDF values be equal to zero at some given points?

Click For Summary

Discussion Overview

The discussion revolves around the properties of probability density functions (PDFs), specifically addressing whether a function can have zero values at certain points while still qualifying as a PDF. The scope includes theoretical considerations and mathematical reasoning related to the definition and characteristics of PDFs.

Discussion Character

  • Exploratory
  • Technical explanation
  • Mathematical reasoning

Main Points Raised

  • One participant questions if a function that reaches zero at some points can still be considered a PDF, given that it meets other criteria such as being non-negative and asymptotic to zero at infinity.
  • Another participant asserts that many PDFs can indeed have zero values at certain points.
  • A third participant clarifies that the only requirements for a function to be a PDF are that it must be non-negative for all x and that the integral over its entire range must equal one.
  • An example is provided of well-known distributions, such as the gamma and exponential distributions, which have density functions that are zero over sets of infinite measure.
  • A further elaboration discusses the existence of a probability space and random variables associated with a Borel-measurable function that integrates to one, emphasizing that such functions can serve as density functions.
  • It is noted that while a density function may not be unique, it is unique almost everywhere.

Areas of Agreement / Disagreement

Participants express differing views on the implications of a function having zero values at certain points. While some argue that this does not disqualify it from being a PDF, others seek clarification on the conditions under which a function can be considered a PDF, indicating that the discussion remains unresolved.

Contextual Notes

There are limitations regarding the assumptions made about the nature of the functions discussed, particularly concerning their measurability and the implications of their zero values. The discussion also touches on the uniqueness of density functions, which may depend on the context of the probability space.

Schwann
Messages
7
Reaction score
4
Suppose we have a function which looks like this:
probability.jpg

It seems like it meets criteria of probability density functions: this function is asymptotic to zero as x approaches infinity and also it is not negative. My question is: if at some points this function reaches zero (as I have shown above), does that mean that in cannot be PDF?
 
Physics news on Phys.org
Many pdf functions have zeros.
 
  • Like
Likes   Reactions: Schwann
The only conditions for a function ##f(x)## to be a pdf are ##f(x)\ge 0## for all ##x## and ##\int_{-\infty}^\infty f(x)dx=1##.
 
  • Like
Likes   Reactions: Schwann
An example of a well-known absolute continuous distribution with density function that is zero on a set of infinite measure is the gamma-distribution and the exponential distribution (which is a special case of the former).
 
  • Like
Likes   Reactions: Schwann
Schwann said:
Suppose we have a function which looks like this:
View attachment 252880
It seems like it meets criteria of probability density functions: this function is asymptotic to zero as x approaches infinity and also it is not negative. My question is: if at some points this function reaches zero (as I have shown above), does that mean that in cannot be PDF?

If you have a Borel-measurable map ##f:\mathbb{R}\to [0,\infty[## such that ##\int_\mathbb{R} f =1 ##, then we get a measure

$$\mu(A) =\int_A f d\lambda, A \in \mathcal{B}(\mathbb{R})$$

and this is a probability distribution. One can even show that there is a probability space on which there exists a random variable with this distribution. More formally, there exists a probability space ##(\Omega, \mathcal{F},\mathbb{P})## and a random variable ##X: (\Omega, \mathcal{F})\to (\mathbb{R},\mathcal{B}(\mathbb{R}))## such that ##\mu=\mathbb{P}_X##.

So to anwer your question: such a function is certainly a density function of some random variable on some probability space.

Last remark: a density function ##f## need not be unique, but it is unique almost everywhere.
 
Last edited by a moderator:
  • Like
Likes   Reactions: Schwann and sysprog

Similar threads

  • · Replies 63 ·
3
Replies
63
Views
7K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
5K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K