What is the probability space in the Infinite Monkey Theorem?
$begingroup$
I tried searching everywhere but couldn't find a formalization of this.
I guess the set of possible outcomes $Omega$ is the set of all sequences of zeros and ones, where $1$ at the $n$th position means that the monkey typed Hamlet correctly at its $n$th attempt, and $0$ otherwise. The $sigma$-algebra $mathcal{M}$ on $Omega$ could be the one generated by the sets $A_n$, where $A_n$ is the set of all sequences with $1$ in the $n$th position.
How do we define a probability measure $mathbb{P}$ on $(Omega, mathcal{M})$ such that $mathbb{P}(A_n) = c > 0$, where $c$ is the probability of the monkey typing it correctly in one attempt?
probability-theory measure-theory
asked Jan 7 at 19:43
Doughnut PumpDoughnut Pump
481312
$endgroup$
add a comment |
$begingroup$
I tried searching everywhere but couldn't find a formalization of this.
I guess the set of possible outcomes $Omega$ is the set of all sequences of zeros and ones, where $1$ at the $n$th position means that the monkey typed Hamlet correctly at its $n$th attempt, and $0$ otherwise. The $sigma$-algebra $mathcal{M}$ on $Omega$ could be the one generated by the sets $A_n$, where $A_n$ is the set of all sequences with $1$ in the $n$th position.
How do we define a probability measure $mathbb{P}$ on $(Omega, mathcal{M})$ such that $mathbb{P}(A_n) = c > 0$, where $c$ is the probability of the monkey typing it correctly in one attempt?
probability-theory measure-theory
asked Jan 7 at 19:43
Doughnut PumpDoughnut Pump
481312
$endgroup$
$begingroup$
Are you sure that classically this probability measure is $sigma$-additive? You might want to look at some fair lotteries over infinite sets and/or to the probability of an infinite sequence of coin tosses. Both have been studied with a classic approach and also with nonstandard analysis. Some references are the papers Elementary numerosities and measures (logicandanalysis.org/index.php/jla/article/view/212/93) and Some applications of numerosities in measure theory (people.dm.unipi.it/dinasso/papers/Lincei2.pdf).
$endgroup$
– Emanuele Bottazzi
Jan 7 at 19:51
2
$begingroup$
This is simply the Borel $sigma$-algebra on $Omega = {0,1}^mathbb N$ with the product topology. It is the usual setting for considering sequences of Bernoulli random variables. The probability measure $mathbb P$ is the product of measures with $mathbb P({1})=c$, $mathbb P({0})=1-c$ on each component.
$endgroup$
– Robert Israel
Jan 7 at 19:57
add a comment |
$begingroup$
I tried searching everywhere but couldn't find a formalization of this.
I guess the set of possible outcomes $Omega$ is the set of all sequences of zeros and ones, where $1$ at the $n$th position means that the monkey typed Hamlet correctly at its $n$th attempt, and $0$ otherwise. The $sigma$-algebra $mathcal{M}$ on $Omega$ could be the one generated by the sets $A_n$, where $A_n$ is the set of all sequences with $1$ in the $n$th position.
How do we define a probability measure $mathbb{P}$ on $(Omega, mathcal{M})$ such that $mathbb{P}(A_n) = c > 0$, where $c$ is the probability of the monkey typing it correctly in one attempt?
probability-theory measure-theory
asked Jan 7 at 19:43
Doughnut PumpDoughnut Pump
481312
$endgroup$
I tried searching everywhere but couldn't find a formalization of this.
I guess the set of possible outcomes $Omega$ is the set of all sequences of zeros and ones, where $1$ at the $n$th position means that the monkey typed Hamlet correctly at its $n$th attempt, and $0$ otherwise. The $sigma$-algebra $mathcal{M}$ on $Omega$ could be the one generated by the sets $A_n$, where $A_n$ is the set of all sequences with $1$ in the $n$th position.
How do we define a probability measure $mathbb{P}$ on $(Omega, mathcal{M})$ such that $mathbb{P}(A_n) = c > 0$, where $c$ is the probability of the monkey typing it correctly in one attempt?
probability-theory measure-theory
probability-theory measure-theory
asked Jan 7 at 19:43
Doughnut PumpDoughnut Pump
481312
asked Jan 7 at 19:43
Doughnut PumpDoughnut Pump
481312
edited Jan 7 at 20:14
Doughnut Pump
asked Jan 7 at 19:43
Doughnut PumpDoughnut Pump
481312
asked Jan 7 at 19:43
Doughnut PumpDoughnut Pump
481312
asked Jan 7 at 19:43
Doughnut PumpDoughnut Pump
481312
481312
$begingroup$
Are you sure that classically this probability measure is $sigma$-additive? You might want to look at some fair lotteries over infinite sets and/or to the probability of an infinite sequence of coin tosses. Both have been studied with a classic approach and also with nonstandard analysis. Some references are the papers Elementary numerosities and measures (logicandanalysis.org/index.php/jla/article/view/212/93) and Some applications of numerosities in measure theory (people.dm.unipi.it/dinasso/papers/Lincei2.pdf).
$endgroup$
– Emanuele Bottazzi
Jan 7 at 19:51
2
$begingroup$
This is simply the Borel $sigma$-algebra on $Omega = {0,1}^mathbb N$ with the product topology. It is the usual setting for considering sequences of Bernoulli random variables. The probability measure $mathbb P$ is the product of measures with $mathbb P({1})=c$, $mathbb P({0})=1-c$ on each component.
$endgroup$
– Robert Israel
Jan 7 at 19:57
add a comment |
$begingroup$
Are you sure that classically this probability measure is $sigma$-additive? You might want to look at some fair lotteries over infinite sets and/or to the probability of an infinite sequence of coin tosses. Both have been studied with a classic approach and also with nonstandard analysis. Some references are the papers Elementary numerosities and measures (logicandanalysis.org/index.php/jla/article/view/212/93) and Some applications of numerosities in measure theory (people.dm.unipi.it/dinasso/papers/Lincei2.pdf).
$endgroup$
– Emanuele Bottazzi
Jan 7 at 19:51
2
$begingroup$
This is simply the Borel $sigma$-algebra on $Omega = {0,1}^mathbb N$ with the product topology. It is the usual setting for considering sequences of Bernoulli random variables. The probability measure $mathbb P$ is the product of measures with $mathbb P({1})=c$, $mathbb P({0})=1-c$ on each component.
$endgroup$
– Robert Israel
Jan 7 at 19:57
$begingroup$
Are you sure that classically this probability measure is $sigma$-additive? You might want to look at some fair lotteries over infinite sets and/or to the probability of an infinite sequence of coin tosses. Both have been studied with a classic approach and also with nonstandard analysis. Some references are the papers Elementary numerosities and measures (logicandanalysis.org/index.php/jla/article/view/212/93) and Some applications of numerosities in measure theory (people.dm.unipi.it/dinasso/papers/Lincei2.pdf).
$endgroup$
– Emanuele Bottazzi
Jan 7 at 19:51
$begingroup$
Are you sure that classically this probability measure is $sigma$-additive? You might want to look at some fair lotteries over infinite sets and/or to the probability of an infinite sequence of coin tosses. Both have been studied with a classic approach and also with nonstandard analysis. Some references are the papers Elementary numerosities and measures (logicandanalysis.org/index.php/jla/article/view/212/93) and Some applications of numerosities in measure theory (people.dm.unipi.it/dinasso/papers/Lincei2.pdf).
$endgroup$
– Emanuele Bottazzi
Jan 7 at 19:51
2
2
$begingroup$
This is simply the Borel $sigma$-algebra on $Omega = {0,1}^mathbb N$ with the product topology. It is the usual setting for considering sequences of Bernoulli random variables. The probability measure $mathbb P$ is the product of measures with $mathbb P({1})=c$, $mathbb P({0})=1-c$ on each component.
$endgroup$
– Robert Israel
Jan 7 at 19:57
$begingroup$
This is simply the Borel $sigma$-algebra on $Omega = {0,1}^mathbb N$ with the product topology. It is the usual setting for considering sequences of Bernoulli random variables. The probability measure $mathbb P$ is the product of measures with $mathbb P({1})=c$, $mathbb P({0})=1-c$ on each component.
$endgroup$
– Robert Israel
Jan 7 at 19:57
add a comment |
0
active
oldest
votes
Your Answer
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%2f3065415%2fwhat-is-the-probability-space-in-the-infinite-monkey-theorem%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3065415%2fwhat-is-the-probability-space-in-the-infinite-monkey-theorem%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$
Are you sure that classically this probability measure is $sigma$-additive? You might want to look at some fair lotteries over infinite sets and/or to the probability of an infinite sequence of coin tosses. Both have been studied with a classic approach and also with nonstandard analysis. Some references are the papers Elementary numerosities and measures (logicandanalysis.org/index.php/jla/article/view/212/93) and Some applications of numerosities in measure theory (people.dm.unipi.it/dinasso/papers/Lincei2.pdf).
$endgroup$
– Emanuele Bottazzi
Jan 7 at 19:51
2
$begingroup$
This is simply the Borel $sigma$-algebra on $Omega = {0,1}^mathbb N$ with the product topology. It is the usual setting for considering sequences of Bernoulli random variables. The probability measure $mathbb P$ is the product of measures with $mathbb P({1})=c$, $mathbb P({0})=1-c$ on each component.
$endgroup$
– Robert Israel
Jan 7 at 19:57