Why uniform discrete pdf does not converge to continuous?
$begingroup$
Why a discrete probability distribution does not converge to a continuous when the number of support points grow to infinity?
Consider a uniform distribution with support in $[0, 1]$, if that is continuous, then pdf in each point in the support would be one, while if the distribution is discrete with (infinitely) many support points the pdf in each point would be zero. Why is that?
Is the concept of pdf inherently different in discrete and continuous cases? I am looking for an intuition about this fundamental question.
probability probability-theory probability-distributions
$endgroup$
add a comment |
$begingroup$
Why a discrete probability distribution does not converge to a continuous when the number of support points grow to infinity?
Consider a uniform distribution with support in $[0, 1]$, if that is continuous, then pdf in each point in the support would be one, while if the distribution is discrete with (infinitely) many support points the pdf in each point would be zero. Why is that?
Is the concept of pdf inherently different in discrete and continuous cases? I am looking for an intuition about this fundamental question.
probability probability-theory probability-distributions
$endgroup$
add a comment |
$begingroup$
Why a discrete probability distribution does not converge to a continuous when the number of support points grow to infinity?
Consider a uniform distribution with support in $[0, 1]$, if that is continuous, then pdf in each point in the support would be one, while if the distribution is discrete with (infinitely) many support points the pdf in each point would be zero. Why is that?
Is the concept of pdf inherently different in discrete and continuous cases? I am looking for an intuition about this fundamental question.
probability probability-theory probability-distributions
$endgroup$
Why a discrete probability distribution does not converge to a continuous when the number of support points grow to infinity?
Consider a uniform distribution with support in $[0, 1]$, if that is continuous, then pdf in each point in the support would be one, while if the distribution is discrete with (infinitely) many support points the pdf in each point would be zero. Why is that?
Is the concept of pdf inherently different in discrete and continuous cases? I am looking for an intuition about this fundamental question.
probability probability-theory probability-distributions
probability probability-theory probability-distributions
edited Dec 13 '18 at 14:31
user25004
asked Dec 12 '18 at 21:57
user25004user25004
1,44411637
1,44411637
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Let, for every $n geq 1$, $p_n$ is the uniform probability on $left{0,frac{1}{n},ldots,frac{n-1}{n},1right}$.
Then $p_n$ converges in distribution to the uniform probability measure on $[0,1]$ ($mu$), with the following (standard) meaning:
For every continuous function $f:[0,1] rightarrow mathbb{R}$, $int{fdp_n} rightarrow int{fdmu}$.
$endgroup$
add a comment |
$begingroup$
There are several ways to look at what's going on here - indeed, several ways to define what it would mean for such a convergence to occur. Let's look at a few:
- The cdf of a continuous $U(0,,1)$ distribution is $x$ on $[0,,1]$, so it rises smoothly as a line. The cdf of its discrete counterpart looks more like a staircase. Does the staircase become the line? Here's a similar puzzle: the staircase consists of horizontal and vertical segments respectively summing to $1$ and $1$ so is of length $2$, so why is the straight path only of length $sqrt{2}$?
- The distribution which gives $0,,frac{1}{n},,cdots,,1$ a probability of $frac{1}{n+1}$ each has moment-generating fucntion $frac{1}{n+1}sum_{k=0}^ne^{tk/n}$. Is the $ntoinfty$ limit the expected $frac{e^t-1}{t}$? Sure; the series tends to the integral $int_0^1 e^{tx} dx=frac{e^t-1}{t}$.
- If you want to think of the probability mass functions of discrete distributions as if they were probability density functions, read about the Dirac delta. Our discrete distribution's "density" would be $frac{1}{n+1}sum_{k=0}^ndelta(x-k/n)$. Again, in the $ntoinfty$ limit the sum becomes an integral, $int_0^1delta(x-y)dy=1$ for $xin [0,,1]$.
$endgroup$
$begingroup$
Did you mean $sqrt{2}$ at the end of 1.?
$endgroup$
– Clement C.
Dec 12 '18 at 22:40
$begingroup$
@ClementC. Thanks; fixed.
$endgroup$
– J.G.
Dec 12 '18 at 22:57
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3037277%2fwhy-uniform-discrete-pdf-does-not-converge-to-continuous%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Let, for every $n geq 1$, $p_n$ is the uniform probability on $left{0,frac{1}{n},ldots,frac{n-1}{n},1right}$.
Then $p_n$ converges in distribution to the uniform probability measure on $[0,1]$ ($mu$), with the following (standard) meaning:
For every continuous function $f:[0,1] rightarrow mathbb{R}$, $int{fdp_n} rightarrow int{fdmu}$.
$endgroup$
add a comment |
$begingroup$
Let, for every $n geq 1$, $p_n$ is the uniform probability on $left{0,frac{1}{n},ldots,frac{n-1}{n},1right}$.
Then $p_n$ converges in distribution to the uniform probability measure on $[0,1]$ ($mu$), with the following (standard) meaning:
For every continuous function $f:[0,1] rightarrow mathbb{R}$, $int{fdp_n} rightarrow int{fdmu}$.
$endgroup$
add a comment |
$begingroup$
Let, for every $n geq 1$, $p_n$ is the uniform probability on $left{0,frac{1}{n},ldots,frac{n-1}{n},1right}$.
Then $p_n$ converges in distribution to the uniform probability measure on $[0,1]$ ($mu$), with the following (standard) meaning:
For every continuous function $f:[0,1] rightarrow mathbb{R}$, $int{fdp_n} rightarrow int{fdmu}$.
$endgroup$
Let, for every $n geq 1$, $p_n$ is the uniform probability on $left{0,frac{1}{n},ldots,frac{n-1}{n},1right}$.
Then $p_n$ converges in distribution to the uniform probability measure on $[0,1]$ ($mu$), with the following (standard) meaning:
For every continuous function $f:[0,1] rightarrow mathbb{R}$, $int{fdp_n} rightarrow int{fdmu}$.
answered Dec 12 '18 at 22:36
MindlackMindlack
4,900211
4,900211
add a comment |
add a comment |
$begingroup$
There are several ways to look at what's going on here - indeed, several ways to define what it would mean for such a convergence to occur. Let's look at a few:
- The cdf of a continuous $U(0,,1)$ distribution is $x$ on $[0,,1]$, so it rises smoothly as a line. The cdf of its discrete counterpart looks more like a staircase. Does the staircase become the line? Here's a similar puzzle: the staircase consists of horizontal and vertical segments respectively summing to $1$ and $1$ so is of length $2$, so why is the straight path only of length $sqrt{2}$?
- The distribution which gives $0,,frac{1}{n},,cdots,,1$ a probability of $frac{1}{n+1}$ each has moment-generating fucntion $frac{1}{n+1}sum_{k=0}^ne^{tk/n}$. Is the $ntoinfty$ limit the expected $frac{e^t-1}{t}$? Sure; the series tends to the integral $int_0^1 e^{tx} dx=frac{e^t-1}{t}$.
- If you want to think of the probability mass functions of discrete distributions as if they were probability density functions, read about the Dirac delta. Our discrete distribution's "density" would be $frac{1}{n+1}sum_{k=0}^ndelta(x-k/n)$. Again, in the $ntoinfty$ limit the sum becomes an integral, $int_0^1delta(x-y)dy=1$ for $xin [0,,1]$.
$endgroup$
$begingroup$
Did you mean $sqrt{2}$ at the end of 1.?
$endgroup$
– Clement C.
Dec 12 '18 at 22:40
$begingroup$
@ClementC. Thanks; fixed.
$endgroup$
– J.G.
Dec 12 '18 at 22:57
add a comment |
$begingroup$
There are several ways to look at what's going on here - indeed, several ways to define what it would mean for such a convergence to occur. Let's look at a few:
- The cdf of a continuous $U(0,,1)$ distribution is $x$ on $[0,,1]$, so it rises smoothly as a line. The cdf of its discrete counterpart looks more like a staircase. Does the staircase become the line? Here's a similar puzzle: the staircase consists of horizontal and vertical segments respectively summing to $1$ and $1$ so is of length $2$, so why is the straight path only of length $sqrt{2}$?
- The distribution which gives $0,,frac{1}{n},,cdots,,1$ a probability of $frac{1}{n+1}$ each has moment-generating fucntion $frac{1}{n+1}sum_{k=0}^ne^{tk/n}$. Is the $ntoinfty$ limit the expected $frac{e^t-1}{t}$? Sure; the series tends to the integral $int_0^1 e^{tx} dx=frac{e^t-1}{t}$.
- If you want to think of the probability mass functions of discrete distributions as if they were probability density functions, read about the Dirac delta. Our discrete distribution's "density" would be $frac{1}{n+1}sum_{k=0}^ndelta(x-k/n)$. Again, in the $ntoinfty$ limit the sum becomes an integral, $int_0^1delta(x-y)dy=1$ for $xin [0,,1]$.
$endgroup$
$begingroup$
Did you mean $sqrt{2}$ at the end of 1.?
$endgroup$
– Clement C.
Dec 12 '18 at 22:40
$begingroup$
@ClementC. Thanks; fixed.
$endgroup$
– J.G.
Dec 12 '18 at 22:57
add a comment |
$begingroup$
There are several ways to look at what's going on here - indeed, several ways to define what it would mean for such a convergence to occur. Let's look at a few:
- The cdf of a continuous $U(0,,1)$ distribution is $x$ on $[0,,1]$, so it rises smoothly as a line. The cdf of its discrete counterpart looks more like a staircase. Does the staircase become the line? Here's a similar puzzle: the staircase consists of horizontal and vertical segments respectively summing to $1$ and $1$ so is of length $2$, so why is the straight path only of length $sqrt{2}$?
- The distribution which gives $0,,frac{1}{n},,cdots,,1$ a probability of $frac{1}{n+1}$ each has moment-generating fucntion $frac{1}{n+1}sum_{k=0}^ne^{tk/n}$. Is the $ntoinfty$ limit the expected $frac{e^t-1}{t}$? Sure; the series tends to the integral $int_0^1 e^{tx} dx=frac{e^t-1}{t}$.
- If you want to think of the probability mass functions of discrete distributions as if they were probability density functions, read about the Dirac delta. Our discrete distribution's "density" would be $frac{1}{n+1}sum_{k=0}^ndelta(x-k/n)$. Again, in the $ntoinfty$ limit the sum becomes an integral, $int_0^1delta(x-y)dy=1$ for $xin [0,,1]$.
$endgroup$
There are several ways to look at what's going on here - indeed, several ways to define what it would mean for such a convergence to occur. Let's look at a few:
- The cdf of a continuous $U(0,,1)$ distribution is $x$ on $[0,,1]$, so it rises smoothly as a line. The cdf of its discrete counterpart looks more like a staircase. Does the staircase become the line? Here's a similar puzzle: the staircase consists of horizontal and vertical segments respectively summing to $1$ and $1$ so is of length $2$, so why is the straight path only of length $sqrt{2}$?
- The distribution which gives $0,,frac{1}{n},,cdots,,1$ a probability of $frac{1}{n+1}$ each has moment-generating fucntion $frac{1}{n+1}sum_{k=0}^ne^{tk/n}$. Is the $ntoinfty$ limit the expected $frac{e^t-1}{t}$? Sure; the series tends to the integral $int_0^1 e^{tx} dx=frac{e^t-1}{t}$.
- If you want to think of the probability mass functions of discrete distributions as if they were probability density functions, read about the Dirac delta. Our discrete distribution's "density" would be $frac{1}{n+1}sum_{k=0}^ndelta(x-k/n)$. Again, in the $ntoinfty$ limit the sum becomes an integral, $int_0^1delta(x-y)dy=1$ for $xin [0,,1]$.
edited Dec 12 '18 at 22:56
answered Dec 12 '18 at 22:31
J.G.J.G.
32.6k23250
32.6k23250
$begingroup$
Did you mean $sqrt{2}$ at the end of 1.?
$endgroup$
– Clement C.
Dec 12 '18 at 22:40
$begingroup$
@ClementC. Thanks; fixed.
$endgroup$
– J.G.
Dec 12 '18 at 22:57
add a comment |
$begingroup$
Did you mean $sqrt{2}$ at the end of 1.?
$endgroup$
– Clement C.
Dec 12 '18 at 22:40
$begingroup$
@ClementC. Thanks; fixed.
$endgroup$
– J.G.
Dec 12 '18 at 22:57
$begingroup$
Did you mean $sqrt{2}$ at the end of 1.?
$endgroup$
– Clement C.
Dec 12 '18 at 22:40
$begingroup$
Did you mean $sqrt{2}$ at the end of 1.?
$endgroup$
– Clement C.
Dec 12 '18 at 22:40
$begingroup$
@ClementC. Thanks; fixed.
$endgroup$
– J.G.
Dec 12 '18 at 22:57
$begingroup$
@ClementC. Thanks; fixed.
$endgroup$
– J.G.
Dec 12 '18 at 22:57
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3037277%2fwhy-uniform-discrete-pdf-does-not-converge-to-continuous%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown