Probability mass functions don't have to sum to 1?
Clash Royale CLAN TAG#URR8PPP
$begingroup$
I was thinking about the discrete random variable describing the stopping time ($T$: random variable modelling the toss number where he first reaches his target) of a wealthy gambler reaching his target. It is discussed in some detail here: Gambler with infinite bankroll reaching his target and here: Probability that random walk will reach state $k$ for the first time on step $n$. I realized that when the coin is biased against the wealthy gambler, there is a finite chance he will never reach his target. So, if you calculate the summation:
$$sum_t=0^infty P(T=t)$$
you will only get $1$ if the coin he is using has a probability, $pgeq frac 1 2$ of heads. Otherwise, the summation above will result in a number less than $1$. Looking at the definition on Wikipedia, no where does it say that the probability mass function should sum to $1$ (emphasis: in the formal definition). However, right outside the scope of the formal definition, it does.
But this would imply that the wealthy gamblers stopping time when $p < frac 1 2$ has no PMF?
Just wanted to get the community's opinion on this.
Also, if we conclude the PMF doesn't have to sum to $1$, is there then any example of a corresponding probability density function that doesn't integrate to $1$? Perhaps the stopping time (defined as reaching a positive boundary) of a continuous time random walk with negative drift?
EDIT: saying that "never reaching the target is included in the possible outcomes" is not satisfying. We are talking about the random variable $T$. This random variable has a certain domain (which includes $infty$). Summing over the domain should give you $1$. Where in its domain should we fit "never reaching the target"? The fundamental problem remains, is $P(T=t)$ the PMF of $T$ or not? If we say it isn't because it doesn't sum to $1$ over all possible values of $T$, then does it mean $T$ doesn't have a PMF?
probability probability-theory random-variables
$endgroup$
|
show 1 more comment
$begingroup$
I was thinking about the discrete random variable describing the stopping time ($T$: random variable modelling the toss number where he first reaches his target) of a wealthy gambler reaching his target. It is discussed in some detail here: Gambler with infinite bankroll reaching his target and here: Probability that random walk will reach state $k$ for the first time on step $n$. I realized that when the coin is biased against the wealthy gambler, there is a finite chance he will never reach his target. So, if you calculate the summation:
$$sum_t=0^infty P(T=t)$$
you will only get $1$ if the coin he is using has a probability, $pgeq frac 1 2$ of heads. Otherwise, the summation above will result in a number less than $1$. Looking at the definition on Wikipedia, no where does it say that the probability mass function should sum to $1$ (emphasis: in the formal definition). However, right outside the scope of the formal definition, it does.
But this would imply that the wealthy gamblers stopping time when $p < frac 1 2$ has no PMF?
Just wanted to get the community's opinion on this.
Also, if we conclude the PMF doesn't have to sum to $1$, is there then any example of a corresponding probability density function that doesn't integrate to $1$? Perhaps the stopping time (defined as reaching a positive boundary) of a continuous time random walk with negative drift?
EDIT: saying that "never reaching the target is included in the possible outcomes" is not satisfying. We are talking about the random variable $T$. This random variable has a certain domain (which includes $infty$). Summing over the domain should give you $1$. Where in its domain should we fit "never reaching the target"? The fundamental problem remains, is $P(T=t)$ the PMF of $T$ or not? If we say it isn't because it doesn't sum to $1$ over all possible values of $T$, then does it mean $T$ doesn't have a PMF?
probability probability-theory random-variables
$endgroup$
$begingroup$
I mean, it says it must sum to $1$ in the wiki article you linked
$endgroup$
– Randall
Jan 20 at 2:40
$begingroup$
Sorry, missed the figure on the right. So this means the stopping time of the wealthy gambler becomes a PMF for $p geq frac 1 2$ but ceases to be one otherwise? That is a weird conclusion.
$endgroup$
– Rohit Pandey
Jan 20 at 2:43
$begingroup$
Edited the question. It didn't say the sum should be 1 in the formal definitions.
$endgroup$
– Rohit Pandey
Jan 20 at 2:52
1
$begingroup$
Saying that the domain contains an arbitrarily large integer is not the same as saying it contains $infty$...
$endgroup$
– Richard Ambler
Jan 20 at 3:47
$begingroup$
I am your infinitely wealthy opponent. We decide to play the biased simple random walk game, that ends when it reaches target $j$, where you win, or when it hits $0$ where I win. Given the latter case, what value does $T_j$ take? Can you compute the probability of this event? Think about this and David K’s answer ought to be more satisfying (as it is correct).
$endgroup$
– LoveTooNap29
Jan 20 at 4:03
|
show 1 more comment
$begingroup$
I was thinking about the discrete random variable describing the stopping time ($T$: random variable modelling the toss number where he first reaches his target) of a wealthy gambler reaching his target. It is discussed in some detail here: Gambler with infinite bankroll reaching his target and here: Probability that random walk will reach state $k$ for the first time on step $n$. I realized that when the coin is biased against the wealthy gambler, there is a finite chance he will never reach his target. So, if you calculate the summation:
$$sum_t=0^infty P(T=t)$$
you will only get $1$ if the coin he is using has a probability, $pgeq frac 1 2$ of heads. Otherwise, the summation above will result in a number less than $1$. Looking at the definition on Wikipedia, no where does it say that the probability mass function should sum to $1$ (emphasis: in the formal definition). However, right outside the scope of the formal definition, it does.
But this would imply that the wealthy gamblers stopping time when $p < frac 1 2$ has no PMF?
Just wanted to get the community's opinion on this.
Also, if we conclude the PMF doesn't have to sum to $1$, is there then any example of a corresponding probability density function that doesn't integrate to $1$? Perhaps the stopping time (defined as reaching a positive boundary) of a continuous time random walk with negative drift?
EDIT: saying that "never reaching the target is included in the possible outcomes" is not satisfying. We are talking about the random variable $T$. This random variable has a certain domain (which includes $infty$). Summing over the domain should give you $1$. Where in its domain should we fit "never reaching the target"? The fundamental problem remains, is $P(T=t)$ the PMF of $T$ or not? If we say it isn't because it doesn't sum to $1$ over all possible values of $T$, then does it mean $T$ doesn't have a PMF?
probability probability-theory random-variables
$endgroup$
I was thinking about the discrete random variable describing the stopping time ($T$: random variable modelling the toss number where he first reaches his target) of a wealthy gambler reaching his target. It is discussed in some detail here: Gambler with infinite bankroll reaching his target and here: Probability that random walk will reach state $k$ for the first time on step $n$. I realized that when the coin is biased against the wealthy gambler, there is a finite chance he will never reach his target. So, if you calculate the summation:
$$sum_t=0^infty P(T=t)$$
you will only get $1$ if the coin he is using has a probability, $pgeq frac 1 2$ of heads. Otherwise, the summation above will result in a number less than $1$. Looking at the definition on Wikipedia, no where does it say that the probability mass function should sum to $1$ (emphasis: in the formal definition). However, right outside the scope of the formal definition, it does.
But this would imply that the wealthy gamblers stopping time when $p < frac 1 2$ has no PMF?
Just wanted to get the community's opinion on this.
Also, if we conclude the PMF doesn't have to sum to $1$, is there then any example of a corresponding probability density function that doesn't integrate to $1$? Perhaps the stopping time (defined as reaching a positive boundary) of a continuous time random walk with negative drift?
EDIT: saying that "never reaching the target is included in the possible outcomes" is not satisfying. We are talking about the random variable $T$. This random variable has a certain domain (which includes $infty$). Summing over the domain should give you $1$. Where in its domain should we fit "never reaching the target"? The fundamental problem remains, is $P(T=t)$ the PMF of $T$ or not? If we say it isn't because it doesn't sum to $1$ over all possible values of $T$, then does it mean $T$ doesn't have a PMF?
probability probability-theory random-variables
probability probability-theory random-variables
edited Jan 20 at 3:02
Rohit Pandey
asked Jan 20 at 2:37
Rohit PandeyRohit Pandey
1,2701022
1,2701022
$begingroup$
I mean, it says it must sum to $1$ in the wiki article you linked
$endgroup$
– Randall
Jan 20 at 2:40
$begingroup$
Sorry, missed the figure on the right. So this means the stopping time of the wealthy gambler becomes a PMF for $p geq frac 1 2$ but ceases to be one otherwise? That is a weird conclusion.
$endgroup$
– Rohit Pandey
Jan 20 at 2:43
$begingroup$
Edited the question. It didn't say the sum should be 1 in the formal definitions.
$endgroup$
– Rohit Pandey
Jan 20 at 2:52
1
$begingroup$
Saying that the domain contains an arbitrarily large integer is not the same as saying it contains $infty$...
$endgroup$
– Richard Ambler
Jan 20 at 3:47
$begingroup$
I am your infinitely wealthy opponent. We decide to play the biased simple random walk game, that ends when it reaches target $j$, where you win, or when it hits $0$ where I win. Given the latter case, what value does $T_j$ take? Can you compute the probability of this event? Think about this and David K’s answer ought to be more satisfying (as it is correct).
$endgroup$
– LoveTooNap29
Jan 20 at 4:03
|
show 1 more comment
$begingroup$
I mean, it says it must sum to $1$ in the wiki article you linked
$endgroup$
– Randall
Jan 20 at 2:40
$begingroup$
Sorry, missed the figure on the right. So this means the stopping time of the wealthy gambler becomes a PMF for $p geq frac 1 2$ but ceases to be one otherwise? That is a weird conclusion.
$endgroup$
– Rohit Pandey
Jan 20 at 2:43
$begingroup$
Edited the question. It didn't say the sum should be 1 in the formal definitions.
$endgroup$
– Rohit Pandey
Jan 20 at 2:52
1
$begingroup$
Saying that the domain contains an arbitrarily large integer is not the same as saying it contains $infty$...
$endgroup$
– Richard Ambler
Jan 20 at 3:47
$begingroup$
I am your infinitely wealthy opponent. We decide to play the biased simple random walk game, that ends when it reaches target $j$, where you win, or when it hits $0$ where I win. Given the latter case, what value does $T_j$ take? Can you compute the probability of this event? Think about this and David K’s answer ought to be more satisfying (as it is correct).
$endgroup$
– LoveTooNap29
Jan 20 at 4:03
$begingroup$
I mean, it says it must sum to $1$ in the wiki article you linked
$endgroup$
– Randall
Jan 20 at 2:40
$begingroup$
I mean, it says it must sum to $1$ in the wiki article you linked
$endgroup$
– Randall
Jan 20 at 2:40
$begingroup$
Sorry, missed the figure on the right. So this means the stopping time of the wealthy gambler becomes a PMF for $p geq frac 1 2$ but ceases to be one otherwise? That is a weird conclusion.
$endgroup$
– Rohit Pandey
Jan 20 at 2:43
$begingroup$
Sorry, missed the figure on the right. So this means the stopping time of the wealthy gambler becomes a PMF for $p geq frac 1 2$ but ceases to be one otherwise? That is a weird conclusion.
$endgroup$
– Rohit Pandey
Jan 20 at 2:43
$begingroup$
Edited the question. It didn't say the sum should be 1 in the formal definitions.
$endgroup$
– Rohit Pandey
Jan 20 at 2:52
$begingroup$
Edited the question. It didn't say the sum should be 1 in the formal definitions.
$endgroup$
– Rohit Pandey
Jan 20 at 2:52
1
1
$begingroup$
Saying that the domain contains an arbitrarily large integer is not the same as saying it contains $infty$...
$endgroup$
– Richard Ambler
Jan 20 at 3:47
$begingroup$
Saying that the domain contains an arbitrarily large integer is not the same as saying it contains $infty$...
$endgroup$
– Richard Ambler
Jan 20 at 3:47
$begingroup$
I am your infinitely wealthy opponent. We decide to play the biased simple random walk game, that ends when it reaches target $j$, where you win, or when it hits $0$ where I win. Given the latter case, what value does $T_j$ take? Can you compute the probability of this event? Think about this and David K’s answer ought to be more satisfying (as it is correct).
$endgroup$
– LoveTooNap29
Jan 20 at 4:03
$begingroup$
I am your infinitely wealthy opponent. We decide to play the biased simple random walk game, that ends when it reaches target $j$, where you win, or when it hits $0$ where I win. Given the latter case, what value does $T_j$ take? Can you compute the probability of this event? Think about this and David K’s answer ought to be more satisfying (as it is correct).
$endgroup$
– LoveTooNap29
Jan 20 at 4:03
|
show 1 more comment
2 Answers
2
active
oldest
votes
$begingroup$
Let's say that $s=displaystyle sum_t=0^infty P(T=t)ne 1$ (which is, as you say, the case when $p<frac12$ and it is possible that the target will never be reached.) In this case when we talk about the probability that $T=t$, (in other words, the probability that the target is reached in $t$ games), we are implicitly assuming that the target is actually reached. Since the probability of that is $s$, the probability that the target is reached in $t$ games, given that the target is reached, is $frac 1 s P(T=t)$, which, of course, sums to 1 as $t$ runs through its domain.
In my comment, I mentioned that saying an arbitrarily large integer is in the domain of a function is not the same as saying that $infty$ is in the domain. Notice that $infty$ is not in the domain of the $P$ in your post. If we define $t=infty$ to mean that the target is never reached, and then define the domain of a mass function $P^prime$ to be $mathbb Z^ge0bigcup leftinftyright$, and $P^prime$ to be:
$$P^prime(T=t)=left{beginarrayrlP(T=t),&tinmathbb Z^ge0\ 1-s,&t=inftyendarrayright.$$
where $P(T=t)$ is the function in your post and $s$ is as I've defined it above, then this mass function $P^prime$ does sum to 1.
You might find some of my struggles with the probabilities not summing to 1 in a related problem in this thread interesting.
$endgroup$
add a comment |
$begingroup$
If it is possible not to reach the target, then "never reaching the target" is included in the set of possible outcomes and its probability is one of the values of the PMF. When you add all the values of the PMF, this probability is included and the sum is $1.$
What you are calling the "domain" is actually the co-domain of $T.$
The domain of $T$ is whatever sample space $Omega$ you are using.
What makes $T$ a random variable is that it is a function that takes the elements of the sample space $Omega$ and maps them to outcomes.
The probability of an outcome is the measure of the subset of the sample space whose elements map to that outcome,
and the measure of the entire sample space is $1.$
Consider what it means if the you add up the probabilities of all possible outcomes produced by $T$ and the sum is not $1.$ That implies that there is some part of the sample space (in fact, a part of the sample space with positive measure) that $T$ fails to map to any outcome.
In that case, not only do you not have a PMF that sums to less than $1$;
not only does $T$ not have a PMF;
$T$ is not even a random variable,
because it fails to meet the necessary requirements to be a function
over the sample space.
So if there is a positive chance that the gambler never reaches the goal,
and you want to have a random variable that returns $n$ if and only if the goal is reached at time $n,$ then your random variable $T$ must return something
in the case where the goal is not reached.
You can call that outcome what you like, but you have to include it in the range of $T.$
If you really do not want to do that, an alternative is to define a different random variable that returns the time at which the goal is reached,
conditioned on the event that the goal is reached.
Since you conditioned that variable on the goal being reached,
it only needs to take values that are finite integers
(since those are the possible stopping times).
It is still the case, however, that if you correctly define this conditional random variable, the sum of the probabilities of its outcomes will be $1.$
$endgroup$
$begingroup$
But if you sum $P(T)$ over all it possible values of $T$, it doesn't sum to $1$.
$endgroup$
– Rohit Pandey
Jan 20 at 2:48
$begingroup$
$T$ is a random variable. It has a certain domain. Where in the domain should we include "never reaching the target"?
$endgroup$
– Rohit Pandey
Jan 20 at 2:54
3
$begingroup$
Typically, for (almost surely) finite stopping times their domain is $[0,infty)$. For random variables like the one here, we simply include $infty$ so the domain is $[0,infty]$. Then $T=infty$ corresponds to never happening and gets a non-zero mass.
$endgroup$
– apsad
Jan 20 at 4:24
3
$begingroup$
This answer actually made the question clearer.
$endgroup$
– Randall
Jan 20 at 5:17
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%2f3080102%2fprobability-mass-functions-dont-have-to-sum-to-1%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's say that $s=displaystyle sum_t=0^infty P(T=t)ne 1$ (which is, as you say, the case when $p<frac12$ and it is possible that the target will never be reached.) In this case when we talk about the probability that $T=t$, (in other words, the probability that the target is reached in $t$ games), we are implicitly assuming that the target is actually reached. Since the probability of that is $s$, the probability that the target is reached in $t$ games, given that the target is reached, is $frac 1 s P(T=t)$, which, of course, sums to 1 as $t$ runs through its domain.
In my comment, I mentioned that saying an arbitrarily large integer is in the domain of a function is not the same as saying that $infty$ is in the domain. Notice that $infty$ is not in the domain of the $P$ in your post. If we define $t=infty$ to mean that the target is never reached, and then define the domain of a mass function $P^prime$ to be $mathbb Z^ge0bigcup leftinftyright$, and $P^prime$ to be:
$$P^prime(T=t)=left{beginarrayrlP(T=t),&tinmathbb Z^ge0\ 1-s,&t=inftyendarrayright.$$
where $P(T=t)$ is the function in your post and $s$ is as I've defined it above, then this mass function $P^prime$ does sum to 1.
You might find some of my struggles with the probabilities not summing to 1 in a related problem in this thread interesting.
$endgroup$
add a comment |
$begingroup$
Let's say that $s=displaystyle sum_t=0^infty P(T=t)ne 1$ (which is, as you say, the case when $p<frac12$ and it is possible that the target will never be reached.) In this case when we talk about the probability that $T=t$, (in other words, the probability that the target is reached in $t$ games), we are implicitly assuming that the target is actually reached. Since the probability of that is $s$, the probability that the target is reached in $t$ games, given that the target is reached, is $frac 1 s P(T=t)$, which, of course, sums to 1 as $t$ runs through its domain.
In my comment, I mentioned that saying an arbitrarily large integer is in the domain of a function is not the same as saying that $infty$ is in the domain. Notice that $infty$ is not in the domain of the $P$ in your post. If we define $t=infty$ to mean that the target is never reached, and then define the domain of a mass function $P^prime$ to be $mathbb Z^ge0bigcup leftinftyright$, and $P^prime$ to be:
$$P^prime(T=t)=left{beginarrayrlP(T=t),&tinmathbb Z^ge0\ 1-s,&t=inftyendarrayright.$$
where $P(T=t)$ is the function in your post and $s$ is as I've defined it above, then this mass function $P^prime$ does sum to 1.
You might find some of my struggles with the probabilities not summing to 1 in a related problem in this thread interesting.
$endgroup$
add a comment |
$begingroup$
Let's say that $s=displaystyle sum_t=0^infty P(T=t)ne 1$ (which is, as you say, the case when $p<frac12$ and it is possible that the target will never be reached.) In this case when we talk about the probability that $T=t$, (in other words, the probability that the target is reached in $t$ games), we are implicitly assuming that the target is actually reached. Since the probability of that is $s$, the probability that the target is reached in $t$ games, given that the target is reached, is $frac 1 s P(T=t)$, which, of course, sums to 1 as $t$ runs through its domain.
In my comment, I mentioned that saying an arbitrarily large integer is in the domain of a function is not the same as saying that $infty$ is in the domain. Notice that $infty$ is not in the domain of the $P$ in your post. If we define $t=infty$ to mean that the target is never reached, and then define the domain of a mass function $P^prime$ to be $mathbb Z^ge0bigcup leftinftyright$, and $P^prime$ to be:
$$P^prime(T=t)=left{beginarrayrlP(T=t),&tinmathbb Z^ge0\ 1-s,&t=inftyendarrayright.$$
where $P(T=t)$ is the function in your post and $s$ is as I've defined it above, then this mass function $P^prime$ does sum to 1.
You might find some of my struggles with the probabilities not summing to 1 in a related problem in this thread interesting.
$endgroup$
Let's say that $s=displaystyle sum_t=0^infty P(T=t)ne 1$ (which is, as you say, the case when $p<frac12$ and it is possible that the target will never be reached.) In this case when we talk about the probability that $T=t$, (in other words, the probability that the target is reached in $t$ games), we are implicitly assuming that the target is actually reached. Since the probability of that is $s$, the probability that the target is reached in $t$ games, given that the target is reached, is $frac 1 s P(T=t)$, which, of course, sums to 1 as $t$ runs through its domain.
In my comment, I mentioned that saying an arbitrarily large integer is in the domain of a function is not the same as saying that $infty$ is in the domain. Notice that $infty$ is not in the domain of the $P$ in your post. If we define $t=infty$ to mean that the target is never reached, and then define the domain of a mass function $P^prime$ to be $mathbb Z^ge0bigcup leftinftyright$, and $P^prime$ to be:
$$P^prime(T=t)=left{beginarrayrlP(T=t),&tinmathbb Z^ge0\ 1-s,&t=inftyendarrayright.$$
where $P(T=t)$ is the function in your post and $s$ is as I've defined it above, then this mass function $P^prime$ does sum to 1.
You might find some of my struggles with the probabilities not summing to 1 in a related problem in this thread interesting.
edited Jan 20 at 5:52
answered Jan 20 at 5:38
Richard AmblerRichard Ambler
1,288514
1,288514
add a comment |
add a comment |
$begingroup$
If it is possible not to reach the target, then "never reaching the target" is included in the set of possible outcomes and its probability is one of the values of the PMF. When you add all the values of the PMF, this probability is included and the sum is $1.$
What you are calling the "domain" is actually the co-domain of $T.$
The domain of $T$ is whatever sample space $Omega$ you are using.
What makes $T$ a random variable is that it is a function that takes the elements of the sample space $Omega$ and maps them to outcomes.
The probability of an outcome is the measure of the subset of the sample space whose elements map to that outcome,
and the measure of the entire sample space is $1.$
Consider what it means if the you add up the probabilities of all possible outcomes produced by $T$ and the sum is not $1.$ That implies that there is some part of the sample space (in fact, a part of the sample space with positive measure) that $T$ fails to map to any outcome.
In that case, not only do you not have a PMF that sums to less than $1$;
not only does $T$ not have a PMF;
$T$ is not even a random variable,
because it fails to meet the necessary requirements to be a function
over the sample space.
So if there is a positive chance that the gambler never reaches the goal,
and you want to have a random variable that returns $n$ if and only if the goal is reached at time $n,$ then your random variable $T$ must return something
in the case where the goal is not reached.
You can call that outcome what you like, but you have to include it in the range of $T.$
If you really do not want to do that, an alternative is to define a different random variable that returns the time at which the goal is reached,
conditioned on the event that the goal is reached.
Since you conditioned that variable on the goal being reached,
it only needs to take values that are finite integers
(since those are the possible stopping times).
It is still the case, however, that if you correctly define this conditional random variable, the sum of the probabilities of its outcomes will be $1.$
$endgroup$
$begingroup$
But if you sum $P(T)$ over all it possible values of $T$, it doesn't sum to $1$.
$endgroup$
– Rohit Pandey
Jan 20 at 2:48
$begingroup$
$T$ is a random variable. It has a certain domain. Where in the domain should we include "never reaching the target"?
$endgroup$
– Rohit Pandey
Jan 20 at 2:54
3
$begingroup$
Typically, for (almost surely) finite stopping times their domain is $[0,infty)$. For random variables like the one here, we simply include $infty$ so the domain is $[0,infty]$. Then $T=infty$ corresponds to never happening and gets a non-zero mass.
$endgroup$
– apsad
Jan 20 at 4:24
3
$begingroup$
This answer actually made the question clearer.
$endgroup$
– Randall
Jan 20 at 5:17
add a comment |
$begingroup$
If it is possible not to reach the target, then "never reaching the target" is included in the set of possible outcomes and its probability is one of the values of the PMF. When you add all the values of the PMF, this probability is included and the sum is $1.$
What you are calling the "domain" is actually the co-domain of $T.$
The domain of $T$ is whatever sample space $Omega$ you are using.
What makes $T$ a random variable is that it is a function that takes the elements of the sample space $Omega$ and maps them to outcomes.
The probability of an outcome is the measure of the subset of the sample space whose elements map to that outcome,
and the measure of the entire sample space is $1.$
Consider what it means if the you add up the probabilities of all possible outcomes produced by $T$ and the sum is not $1.$ That implies that there is some part of the sample space (in fact, a part of the sample space with positive measure) that $T$ fails to map to any outcome.
In that case, not only do you not have a PMF that sums to less than $1$;
not only does $T$ not have a PMF;
$T$ is not even a random variable,
because it fails to meet the necessary requirements to be a function
over the sample space.
So if there is a positive chance that the gambler never reaches the goal,
and you want to have a random variable that returns $n$ if and only if the goal is reached at time $n,$ then your random variable $T$ must return something
in the case where the goal is not reached.
You can call that outcome what you like, but you have to include it in the range of $T.$
If you really do not want to do that, an alternative is to define a different random variable that returns the time at which the goal is reached,
conditioned on the event that the goal is reached.
Since you conditioned that variable on the goal being reached,
it only needs to take values that are finite integers
(since those are the possible stopping times).
It is still the case, however, that if you correctly define this conditional random variable, the sum of the probabilities of its outcomes will be $1.$
$endgroup$
$begingroup$
But if you sum $P(T)$ over all it possible values of $T$, it doesn't sum to $1$.
$endgroup$
– Rohit Pandey
Jan 20 at 2:48
$begingroup$
$T$ is a random variable. It has a certain domain. Where in the domain should we include "never reaching the target"?
$endgroup$
– Rohit Pandey
Jan 20 at 2:54
3
$begingroup$
Typically, for (almost surely) finite stopping times their domain is $[0,infty)$. For random variables like the one here, we simply include $infty$ so the domain is $[0,infty]$. Then $T=infty$ corresponds to never happening and gets a non-zero mass.
$endgroup$
– apsad
Jan 20 at 4:24
3
$begingroup$
This answer actually made the question clearer.
$endgroup$
– Randall
Jan 20 at 5:17
add a comment |
$begingroup$
If it is possible not to reach the target, then "never reaching the target" is included in the set of possible outcomes and its probability is one of the values of the PMF. When you add all the values of the PMF, this probability is included and the sum is $1.$
What you are calling the "domain" is actually the co-domain of $T.$
The domain of $T$ is whatever sample space $Omega$ you are using.
What makes $T$ a random variable is that it is a function that takes the elements of the sample space $Omega$ and maps them to outcomes.
The probability of an outcome is the measure of the subset of the sample space whose elements map to that outcome,
and the measure of the entire sample space is $1.$
Consider what it means if the you add up the probabilities of all possible outcomes produced by $T$ and the sum is not $1.$ That implies that there is some part of the sample space (in fact, a part of the sample space with positive measure) that $T$ fails to map to any outcome.
In that case, not only do you not have a PMF that sums to less than $1$;
not only does $T$ not have a PMF;
$T$ is not even a random variable,
because it fails to meet the necessary requirements to be a function
over the sample space.
So if there is a positive chance that the gambler never reaches the goal,
and you want to have a random variable that returns $n$ if and only if the goal is reached at time $n,$ then your random variable $T$ must return something
in the case where the goal is not reached.
You can call that outcome what you like, but you have to include it in the range of $T.$
If you really do not want to do that, an alternative is to define a different random variable that returns the time at which the goal is reached,
conditioned on the event that the goal is reached.
Since you conditioned that variable on the goal being reached,
it only needs to take values that are finite integers
(since those are the possible stopping times).
It is still the case, however, that if you correctly define this conditional random variable, the sum of the probabilities of its outcomes will be $1.$
$endgroup$
If it is possible not to reach the target, then "never reaching the target" is included in the set of possible outcomes and its probability is one of the values of the PMF. When you add all the values of the PMF, this probability is included and the sum is $1.$
What you are calling the "domain" is actually the co-domain of $T.$
The domain of $T$ is whatever sample space $Omega$ you are using.
What makes $T$ a random variable is that it is a function that takes the elements of the sample space $Omega$ and maps them to outcomes.
The probability of an outcome is the measure of the subset of the sample space whose elements map to that outcome,
and the measure of the entire sample space is $1.$
Consider what it means if the you add up the probabilities of all possible outcomes produced by $T$ and the sum is not $1.$ That implies that there is some part of the sample space (in fact, a part of the sample space with positive measure) that $T$ fails to map to any outcome.
In that case, not only do you not have a PMF that sums to less than $1$;
not only does $T$ not have a PMF;
$T$ is not even a random variable,
because it fails to meet the necessary requirements to be a function
over the sample space.
So if there is a positive chance that the gambler never reaches the goal,
and you want to have a random variable that returns $n$ if and only if the goal is reached at time $n,$ then your random variable $T$ must return something
in the case where the goal is not reached.
You can call that outcome what you like, but you have to include it in the range of $T.$
If you really do not want to do that, an alternative is to define a different random variable that returns the time at which the goal is reached,
conditioned on the event that the goal is reached.
Since you conditioned that variable on the goal being reached,
it only needs to take values that are finite integers
(since those are the possible stopping times).
It is still the case, however, that if you correctly define this conditional random variable, the sum of the probabilities of its outcomes will be $1.$
edited Jan 20 at 4:34
answered Jan 20 at 2:45
David KDavid K
53.9k342116
53.9k342116
$begingroup$
But if you sum $P(T)$ over all it possible values of $T$, it doesn't sum to $1$.
$endgroup$
– Rohit Pandey
Jan 20 at 2:48
$begingroup$
$T$ is a random variable. It has a certain domain. Where in the domain should we include "never reaching the target"?
$endgroup$
– Rohit Pandey
Jan 20 at 2:54
3
$begingroup$
Typically, for (almost surely) finite stopping times their domain is $[0,infty)$. For random variables like the one here, we simply include $infty$ so the domain is $[0,infty]$. Then $T=infty$ corresponds to never happening and gets a non-zero mass.
$endgroup$
– apsad
Jan 20 at 4:24
3
$begingroup$
This answer actually made the question clearer.
$endgroup$
– Randall
Jan 20 at 5:17
add a comment |
$begingroup$
But if you sum $P(T)$ over all it possible values of $T$, it doesn't sum to $1$.
$endgroup$
– Rohit Pandey
Jan 20 at 2:48
$begingroup$
$T$ is a random variable. It has a certain domain. Where in the domain should we include "never reaching the target"?
$endgroup$
– Rohit Pandey
Jan 20 at 2:54
3
$begingroup$
Typically, for (almost surely) finite stopping times their domain is $[0,infty)$. For random variables like the one here, we simply include $infty$ so the domain is $[0,infty]$. Then $T=infty$ corresponds to never happening and gets a non-zero mass.
$endgroup$
– apsad
Jan 20 at 4:24
3
$begingroup$
This answer actually made the question clearer.
$endgroup$
– Randall
Jan 20 at 5:17
$begingroup$
But if you sum $P(T)$ over all it possible values of $T$, it doesn't sum to $1$.
$endgroup$
– Rohit Pandey
Jan 20 at 2:48
$begingroup$
But if you sum $P(T)$ over all it possible values of $T$, it doesn't sum to $1$.
$endgroup$
– Rohit Pandey
Jan 20 at 2:48
$begingroup$
$T$ is a random variable. It has a certain domain. Where in the domain should we include "never reaching the target"?
$endgroup$
– Rohit Pandey
Jan 20 at 2:54
$begingroup$
$T$ is a random variable. It has a certain domain. Where in the domain should we include "never reaching the target"?
$endgroup$
– Rohit Pandey
Jan 20 at 2:54
3
3
$begingroup$
Typically, for (almost surely) finite stopping times their domain is $[0,infty)$. For random variables like the one here, we simply include $infty$ so the domain is $[0,infty]$. Then $T=infty$ corresponds to never happening and gets a non-zero mass.
$endgroup$
– apsad
Jan 20 at 4:24
$begingroup$
Typically, for (almost surely) finite stopping times their domain is $[0,infty)$. For random variables like the one here, we simply include $infty$ so the domain is $[0,infty]$. Then $T=infty$ corresponds to never happening and gets a non-zero mass.
$endgroup$
– apsad
Jan 20 at 4:24
3
3
$begingroup$
This answer actually made the question clearer.
$endgroup$
– Randall
Jan 20 at 5:17
$begingroup$
This answer actually made the question clearer.
$endgroup$
– Randall
Jan 20 at 5:17
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%2f3080102%2fprobability-mass-functions-dont-have-to-sum-to-1%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
$begingroup$
I mean, it says it must sum to $1$ in the wiki article you linked
$endgroup$
– Randall
Jan 20 at 2:40
$begingroup$
Sorry, missed the figure on the right. So this means the stopping time of the wealthy gambler becomes a PMF for $p geq frac 1 2$ but ceases to be one otherwise? That is a weird conclusion.
$endgroup$
– Rohit Pandey
Jan 20 at 2:43
$begingroup$
Edited the question. It didn't say the sum should be 1 in the formal definitions.
$endgroup$
– Rohit Pandey
Jan 20 at 2:52
1
$begingroup$
Saying that the domain contains an arbitrarily large integer is not the same as saying it contains $infty$...
$endgroup$
– Richard Ambler
Jan 20 at 3:47
$begingroup$
I am your infinitely wealthy opponent. We decide to play the biased simple random walk game, that ends when it reaches target $j$, where you win, or when it hits $0$ where I win. Given the latter case, what value does $T_j$ take? Can you compute the probability of this event? Think about this and David K’s answer ought to be more satisfying (as it is correct).
$endgroup$
– LoveTooNap29
Jan 20 at 4:03