Probability of $A subset B$ when $A,B$ are subsets of $[![ 1, n ]!]$?
up vote
3
down vote
favorite
Let $E = [![ 1, n ]!]$, with $n in mathbb N^*$. Suppose we randomly chose $(A,B) in mathscr{P} (E)^2$, what is the probability of $A subset B$?
probability combinatorics
add a comment |
up vote
3
down vote
favorite
Let $E = [![ 1, n ]!]$, with $n in mathbb N^*$. Suppose we randomly chose $(A,B) in mathscr{P} (E)^2$, what is the probability of $A subset B$?
probability combinatorics
add a comment |
up vote
3
down vote
favorite
up vote
3
down vote
favorite
Let $E = [![ 1, n ]!]$, with $n in mathbb N^*$. Suppose we randomly chose $(A,B) in mathscr{P} (E)^2$, what is the probability of $A subset B$?
probability combinatorics
Let $E = [![ 1, n ]!]$, with $n in mathbb N^*$. Suppose we randomly chose $(A,B) in mathscr{P} (E)^2$, what is the probability of $A subset B$?
probability combinatorics
probability combinatorics
edited Nov 15 at 22:35
Andrés E. Caicedo
64.2k8157243
64.2k8157243
asked Nov 15 at 21:25
Euler Pythagoras
1489
1489
add a comment |
add a comment |
3 Answers
3
active
oldest
votes
up vote
2
down vote
For $i = 1, 2, ldots, n$, let $X_i$ denote the event $i in A rightarrow i in B$. Then for each $i$, $p(X_i) = frac{3}{4}$ (because the complement of the event is $i in A wedge i notin B$, which has probability $frac{1}{4}$). On the other hand, the events $X_i$ are independent, so
$$p(A subseteq B) = pleft(bigwedge_{i=1}^n X_iright) = prod_{i=1}^n p(X_i) = left(frac{3}{4}right)^n.$$
add a comment |
up vote
0
down vote
Define $X^{(n)} = (X^{(n)}_1, cdots, X^{(n)}_n)$ by
$$ X^{(n)}_i = ( mathbf{1}_{{i in A}}, mathbf{1}_{{i in B}} ),$$
where $mathbf{1}_{{cdots}}$ takes value $1$ if $cdots$ is true and $0$ otherwise. Then
$ A subseteq B$ if and only if $X^{(n)}_i in {(0, 0), (0, 1), (1, 1)} $ for all $i$.
For each fixed $n$, $X_{i}^{(n)}$ are independent.
So
$$ mathbb{P}[A subseteq B]
= prod_{i=1}^{n} mathbb{P}left[ X^{(n)}_i in { (0, 0), (0, 1), (1, 1)
}right]
= left( frac{3}{4} right)^n. $$
In general, if $A_1, cdots, A_m$ are chosen uniformly and independently at random from the power set of $[![ 1, n ]!]$, then
$$ mathbb{P}[ A_1 subseteq cdots subseteq A_m]
= prod_{i=1}^{n} mathbb{P} left[ mathbf{1}_{{i in A_1}} leq cdots leq mathbf{1}_{{i in A_m}} right]
= left( frac{m+1}{2^m} right)^n. $$
Nice solution. And the more general case is very interesting. Thank you!
– Euler Pythagoras
Nov 16 at 15:22
add a comment |
up vote
0
down vote
accepted
Let $Omega = mathscr{P} (E)^2$.
Since $E = [![ 1, n ]!]$, $text{card}(Omega) = 4^n$.
Let $mathscr U = {(A, B) in Omega | A subset B}$.
The following algorithm constructs all elements of $mathscr U$ one and only one time :
- choose an integer $ p in E $
- choose $ B in E $ with $text{card}(B) = p$
- choose $A subset B$
We can now easily calculate $text{card}(mathscr U)$:
$displaystyle text{card}(mathscr U) = sum_{p=0}^{n}binom{n}{p}cdot2^p = 3^n$
Finally, $text{P}(mathscr U) = frac{text{card}(mathscr U)}{text{card}(Omega)}=left(frac{3}{4}right)^n$.
Unless by $A subset B$ the question actually meant $A subsetneqq B$ in which case it would be $frac{3^n-2^n}{4^n}$.
– Daniel Schepler
Nov 15 at 21:32
@DanielSchepler is there another meaning for $subset$ vs $subsetneq$? I was under the impression that both meant proper subset.
– Chickenmancer
Nov 15 at 21:42
In this case, $A subset B$ actually means $A subset B$, so we consider all the cases where $A = B$.
– Euler Pythagoras
Nov 15 at 21:45
add a comment |
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
For $i = 1, 2, ldots, n$, let $X_i$ denote the event $i in A rightarrow i in B$. Then for each $i$, $p(X_i) = frac{3}{4}$ (because the complement of the event is $i in A wedge i notin B$, which has probability $frac{1}{4}$). On the other hand, the events $X_i$ are independent, so
$$p(A subseteq B) = pleft(bigwedge_{i=1}^n X_iright) = prod_{i=1}^n p(X_i) = left(frac{3}{4}right)^n.$$
add a comment |
up vote
2
down vote
For $i = 1, 2, ldots, n$, let $X_i$ denote the event $i in A rightarrow i in B$. Then for each $i$, $p(X_i) = frac{3}{4}$ (because the complement of the event is $i in A wedge i notin B$, which has probability $frac{1}{4}$). On the other hand, the events $X_i$ are independent, so
$$p(A subseteq B) = pleft(bigwedge_{i=1}^n X_iright) = prod_{i=1}^n p(X_i) = left(frac{3}{4}right)^n.$$
add a comment |
up vote
2
down vote
up vote
2
down vote
For $i = 1, 2, ldots, n$, let $X_i$ denote the event $i in A rightarrow i in B$. Then for each $i$, $p(X_i) = frac{3}{4}$ (because the complement of the event is $i in A wedge i notin B$, which has probability $frac{1}{4}$). On the other hand, the events $X_i$ are independent, so
$$p(A subseteq B) = pleft(bigwedge_{i=1}^n X_iright) = prod_{i=1}^n p(X_i) = left(frac{3}{4}right)^n.$$
For $i = 1, 2, ldots, n$, let $X_i$ denote the event $i in A rightarrow i in B$. Then for each $i$, $p(X_i) = frac{3}{4}$ (because the complement of the event is $i in A wedge i notin B$, which has probability $frac{1}{4}$). On the other hand, the events $X_i$ are independent, so
$$p(A subseteq B) = pleft(bigwedge_{i=1}^n X_iright) = prod_{i=1}^n p(X_i) = left(frac{3}{4}right)^n.$$
answered Nov 15 at 21:47
Daniel Schepler
7,8361618
7,8361618
add a comment |
add a comment |
up vote
0
down vote
Define $X^{(n)} = (X^{(n)}_1, cdots, X^{(n)}_n)$ by
$$ X^{(n)}_i = ( mathbf{1}_{{i in A}}, mathbf{1}_{{i in B}} ),$$
where $mathbf{1}_{{cdots}}$ takes value $1$ if $cdots$ is true and $0$ otherwise. Then
$ A subseteq B$ if and only if $X^{(n)}_i in {(0, 0), (0, 1), (1, 1)} $ for all $i$.
For each fixed $n$, $X_{i}^{(n)}$ are independent.
So
$$ mathbb{P}[A subseteq B]
= prod_{i=1}^{n} mathbb{P}left[ X^{(n)}_i in { (0, 0), (0, 1), (1, 1)
}right]
= left( frac{3}{4} right)^n. $$
In general, if $A_1, cdots, A_m$ are chosen uniformly and independently at random from the power set of $[![ 1, n ]!]$, then
$$ mathbb{P}[ A_1 subseteq cdots subseteq A_m]
= prod_{i=1}^{n} mathbb{P} left[ mathbf{1}_{{i in A_1}} leq cdots leq mathbf{1}_{{i in A_m}} right]
= left( frac{m+1}{2^m} right)^n. $$
Nice solution. And the more general case is very interesting. Thank you!
– Euler Pythagoras
Nov 16 at 15:22
add a comment |
up vote
0
down vote
Define $X^{(n)} = (X^{(n)}_1, cdots, X^{(n)}_n)$ by
$$ X^{(n)}_i = ( mathbf{1}_{{i in A}}, mathbf{1}_{{i in B}} ),$$
where $mathbf{1}_{{cdots}}$ takes value $1$ if $cdots$ is true and $0$ otherwise. Then
$ A subseteq B$ if and only if $X^{(n)}_i in {(0, 0), (0, 1), (1, 1)} $ for all $i$.
For each fixed $n$, $X_{i}^{(n)}$ are independent.
So
$$ mathbb{P}[A subseteq B]
= prod_{i=1}^{n} mathbb{P}left[ X^{(n)}_i in { (0, 0), (0, 1), (1, 1)
}right]
= left( frac{3}{4} right)^n. $$
In general, if $A_1, cdots, A_m$ are chosen uniformly and independently at random from the power set of $[![ 1, n ]!]$, then
$$ mathbb{P}[ A_1 subseteq cdots subseteq A_m]
= prod_{i=1}^{n} mathbb{P} left[ mathbf{1}_{{i in A_1}} leq cdots leq mathbf{1}_{{i in A_m}} right]
= left( frac{m+1}{2^m} right)^n. $$
Nice solution. And the more general case is very interesting. Thank you!
– Euler Pythagoras
Nov 16 at 15:22
add a comment |
up vote
0
down vote
up vote
0
down vote
Define $X^{(n)} = (X^{(n)}_1, cdots, X^{(n)}_n)$ by
$$ X^{(n)}_i = ( mathbf{1}_{{i in A}}, mathbf{1}_{{i in B}} ),$$
where $mathbf{1}_{{cdots}}$ takes value $1$ if $cdots$ is true and $0$ otherwise. Then
$ A subseteq B$ if and only if $X^{(n)}_i in {(0, 0), (0, 1), (1, 1)} $ for all $i$.
For each fixed $n$, $X_{i}^{(n)}$ are independent.
So
$$ mathbb{P}[A subseteq B]
= prod_{i=1}^{n} mathbb{P}left[ X^{(n)}_i in { (0, 0), (0, 1), (1, 1)
}right]
= left( frac{3}{4} right)^n. $$
In general, if $A_1, cdots, A_m$ are chosen uniformly and independently at random from the power set of $[![ 1, n ]!]$, then
$$ mathbb{P}[ A_1 subseteq cdots subseteq A_m]
= prod_{i=1}^{n} mathbb{P} left[ mathbf{1}_{{i in A_1}} leq cdots leq mathbf{1}_{{i in A_m}} right]
= left( frac{m+1}{2^m} right)^n. $$
Define $X^{(n)} = (X^{(n)}_1, cdots, X^{(n)}_n)$ by
$$ X^{(n)}_i = ( mathbf{1}_{{i in A}}, mathbf{1}_{{i in B}} ),$$
where $mathbf{1}_{{cdots}}$ takes value $1$ if $cdots$ is true and $0$ otherwise. Then
$ A subseteq B$ if and only if $X^{(n)}_i in {(0, 0), (0, 1), (1, 1)} $ for all $i$.
For each fixed $n$, $X_{i}^{(n)}$ are independent.
So
$$ mathbb{P}[A subseteq B]
= prod_{i=1}^{n} mathbb{P}left[ X^{(n)}_i in { (0, 0), (0, 1), (1, 1)
}right]
= left( frac{3}{4} right)^n. $$
In general, if $A_1, cdots, A_m$ are chosen uniformly and independently at random from the power set of $[![ 1, n ]!]$, then
$$ mathbb{P}[ A_1 subseteq cdots subseteq A_m]
= prod_{i=1}^{n} mathbb{P} left[ mathbf{1}_{{i in A_1}} leq cdots leq mathbf{1}_{{i in A_m}} right]
= left( frac{m+1}{2^m} right)^n. $$
answered Nov 15 at 22:01
Sangchul Lee
89.8k12161262
89.8k12161262
Nice solution. And the more general case is very interesting. Thank you!
– Euler Pythagoras
Nov 16 at 15:22
add a comment |
Nice solution. And the more general case is very interesting. Thank you!
– Euler Pythagoras
Nov 16 at 15:22
Nice solution. And the more general case is very interesting. Thank you!
– Euler Pythagoras
Nov 16 at 15:22
Nice solution. And the more general case is very interesting. Thank you!
– Euler Pythagoras
Nov 16 at 15:22
add a comment |
up vote
0
down vote
accepted
Let $Omega = mathscr{P} (E)^2$.
Since $E = [![ 1, n ]!]$, $text{card}(Omega) = 4^n$.
Let $mathscr U = {(A, B) in Omega | A subset B}$.
The following algorithm constructs all elements of $mathscr U$ one and only one time :
- choose an integer $ p in E $
- choose $ B in E $ with $text{card}(B) = p$
- choose $A subset B$
We can now easily calculate $text{card}(mathscr U)$:
$displaystyle text{card}(mathscr U) = sum_{p=0}^{n}binom{n}{p}cdot2^p = 3^n$
Finally, $text{P}(mathscr U) = frac{text{card}(mathscr U)}{text{card}(Omega)}=left(frac{3}{4}right)^n$.
Unless by $A subset B$ the question actually meant $A subsetneqq B$ in which case it would be $frac{3^n-2^n}{4^n}$.
– Daniel Schepler
Nov 15 at 21:32
@DanielSchepler is there another meaning for $subset$ vs $subsetneq$? I was under the impression that both meant proper subset.
– Chickenmancer
Nov 15 at 21:42
In this case, $A subset B$ actually means $A subset B$, so we consider all the cases where $A = B$.
– Euler Pythagoras
Nov 15 at 21:45
add a comment |
up vote
0
down vote
accepted
Let $Omega = mathscr{P} (E)^2$.
Since $E = [![ 1, n ]!]$, $text{card}(Omega) = 4^n$.
Let $mathscr U = {(A, B) in Omega | A subset B}$.
The following algorithm constructs all elements of $mathscr U$ one and only one time :
- choose an integer $ p in E $
- choose $ B in E $ with $text{card}(B) = p$
- choose $A subset B$
We can now easily calculate $text{card}(mathscr U)$:
$displaystyle text{card}(mathscr U) = sum_{p=0}^{n}binom{n}{p}cdot2^p = 3^n$
Finally, $text{P}(mathscr U) = frac{text{card}(mathscr U)}{text{card}(Omega)}=left(frac{3}{4}right)^n$.
Unless by $A subset B$ the question actually meant $A subsetneqq B$ in which case it would be $frac{3^n-2^n}{4^n}$.
– Daniel Schepler
Nov 15 at 21:32
@DanielSchepler is there another meaning for $subset$ vs $subsetneq$? I was under the impression that both meant proper subset.
– Chickenmancer
Nov 15 at 21:42
In this case, $A subset B$ actually means $A subset B$, so we consider all the cases where $A = B$.
– Euler Pythagoras
Nov 15 at 21:45
add a comment |
up vote
0
down vote
accepted
up vote
0
down vote
accepted
Let $Omega = mathscr{P} (E)^2$.
Since $E = [![ 1, n ]!]$, $text{card}(Omega) = 4^n$.
Let $mathscr U = {(A, B) in Omega | A subset B}$.
The following algorithm constructs all elements of $mathscr U$ one and only one time :
- choose an integer $ p in E $
- choose $ B in E $ with $text{card}(B) = p$
- choose $A subset B$
We can now easily calculate $text{card}(mathscr U)$:
$displaystyle text{card}(mathscr U) = sum_{p=0}^{n}binom{n}{p}cdot2^p = 3^n$
Finally, $text{P}(mathscr U) = frac{text{card}(mathscr U)}{text{card}(Omega)}=left(frac{3}{4}right)^n$.
Let $Omega = mathscr{P} (E)^2$.
Since $E = [![ 1, n ]!]$, $text{card}(Omega) = 4^n$.
Let $mathscr U = {(A, B) in Omega | A subset B}$.
The following algorithm constructs all elements of $mathscr U$ one and only one time :
- choose an integer $ p in E $
- choose $ B in E $ with $text{card}(B) = p$
- choose $A subset B$
We can now easily calculate $text{card}(mathscr U)$:
$displaystyle text{card}(mathscr U) = sum_{p=0}^{n}binom{n}{p}cdot2^p = 3^n$
Finally, $text{P}(mathscr U) = frac{text{card}(mathscr U)}{text{card}(Omega)}=left(frac{3}{4}right)^n$.
edited Nov 16 at 15:25
answered Nov 15 at 21:25
Euler Pythagoras
1489
1489
Unless by $A subset B$ the question actually meant $A subsetneqq B$ in which case it would be $frac{3^n-2^n}{4^n}$.
– Daniel Schepler
Nov 15 at 21:32
@DanielSchepler is there another meaning for $subset$ vs $subsetneq$? I was under the impression that both meant proper subset.
– Chickenmancer
Nov 15 at 21:42
In this case, $A subset B$ actually means $A subset B$, so we consider all the cases where $A = B$.
– Euler Pythagoras
Nov 15 at 21:45
add a comment |
Unless by $A subset B$ the question actually meant $A subsetneqq B$ in which case it would be $frac{3^n-2^n}{4^n}$.
– Daniel Schepler
Nov 15 at 21:32
@DanielSchepler is there another meaning for $subset$ vs $subsetneq$? I was under the impression that both meant proper subset.
– Chickenmancer
Nov 15 at 21:42
In this case, $A subset B$ actually means $A subset B$, so we consider all the cases where $A = B$.
– Euler Pythagoras
Nov 15 at 21:45
Unless by $A subset B$ the question actually meant $A subsetneqq B$ in which case it would be $frac{3^n-2^n}{4^n}$.
– Daniel Schepler
Nov 15 at 21:32
Unless by $A subset B$ the question actually meant $A subsetneqq B$ in which case it would be $frac{3^n-2^n}{4^n}$.
– Daniel Schepler
Nov 15 at 21:32
@DanielSchepler is there another meaning for $subset$ vs $subsetneq$? I was under the impression that both meant proper subset.
– Chickenmancer
Nov 15 at 21:42
@DanielSchepler is there another meaning for $subset$ vs $subsetneq$? I was under the impression that both meant proper subset.
– Chickenmancer
Nov 15 at 21:42
In this case, $A subset B$ actually means $A subset B$, so we consider all the cases where $A = B$.
– Euler Pythagoras
Nov 15 at 21:45
In this case, $A subset B$ actually means $A subset B$, so we consider all the cases where $A = B$.
– Euler Pythagoras
Nov 15 at 21:45
add a comment |
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%2f3000355%2fprobability-of-a-subset-b-when-a-b-are-subsets-of-1-n%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