Prove B is a proper subset of A
up vote
0
down vote
favorite
Hey Guys!
I'm revising for an exam and encountered the problem above (sorry about the imgur link, site won't let me add the picture!) I'm just wondering if this is a valid way of solving this problem:
Subset proof:
begin{align}
12b+7 &= 4a+3\
4(3b+1)+3 &= 4a+3
end{align}
Take $a$ to be $(3b+1)$
Therefore, $4a+3=4a+3$
Hence $B subseteq A$
Proper subset proof:
begin{align}
4(0)+3 &= 3\
12(0)+7 &= 7\
12(-1)+7 &= -5
end{align}
Therefore, as the the domain of $m$ is $> 7$ and $< -5$, it cannot produce the element $3$
Hence $B subset A$.
Thanks so much for your help! Sorry if this question seems a bit rushed, I don't have much time so spare, thanks!
proof-verification elementary-set-theory
add a comment |
up vote
0
down vote
favorite
Hey Guys!
I'm revising for an exam and encountered the problem above (sorry about the imgur link, site won't let me add the picture!) I'm just wondering if this is a valid way of solving this problem:
Subset proof:
begin{align}
12b+7 &= 4a+3\
4(3b+1)+3 &= 4a+3
end{align}
Take $a$ to be $(3b+1)$
Therefore, $4a+3=4a+3$
Hence $B subseteq A$
Proper subset proof:
begin{align}
4(0)+3 &= 3\
12(0)+7 &= 7\
12(-1)+7 &= -5
end{align}
Therefore, as the the domain of $m$ is $> 7$ and $< -5$, it cannot produce the element $3$
Hence $B subset A$.
Thanks so much for your help! Sorry if this question seems a bit rushed, I don't have much time so spare, thanks!
proof-verification elementary-set-theory
The "proof" is a pile of bones with no connective tissue: No quantifiers, no "$implies$" and hence no clear explanation of how the conclusion $Bsubseteq A$ is reached.
– DanielWainfleet
2 days ago
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Hey Guys!
I'm revising for an exam and encountered the problem above (sorry about the imgur link, site won't let me add the picture!) I'm just wondering if this is a valid way of solving this problem:
Subset proof:
begin{align}
12b+7 &= 4a+3\
4(3b+1)+3 &= 4a+3
end{align}
Take $a$ to be $(3b+1)$
Therefore, $4a+3=4a+3$
Hence $B subseteq A$
Proper subset proof:
begin{align}
4(0)+3 &= 3\
12(0)+7 &= 7\
12(-1)+7 &= -5
end{align}
Therefore, as the the domain of $m$ is $> 7$ and $< -5$, it cannot produce the element $3$
Hence $B subset A$.
Thanks so much for your help! Sorry if this question seems a bit rushed, I don't have much time so spare, thanks!
proof-verification elementary-set-theory
Hey Guys!
I'm revising for an exam and encountered the problem above (sorry about the imgur link, site won't let me add the picture!) I'm just wondering if this is a valid way of solving this problem:
Subset proof:
begin{align}
12b+7 &= 4a+3\
4(3b+1)+3 &= 4a+3
end{align}
Take $a$ to be $(3b+1)$
Therefore, $4a+3=4a+3$
Hence $B subseteq A$
Proper subset proof:
begin{align}
4(0)+3 &= 3\
12(0)+7 &= 7\
12(-1)+7 &= -5
end{align}
Therefore, as the the domain of $m$ is $> 7$ and $< -5$, it cannot produce the element $3$
Hence $B subset A$.
Thanks so much for your help! Sorry if this question seems a bit rushed, I don't have much time so spare, thanks!
proof-verification elementary-set-theory
proof-verification elementary-set-theory
edited 2 days ago
Asaf Karagila♦
299k32419749
299k32419749
asked 2 days ago
Jordan Solomons
197
197
The "proof" is a pile of bones with no connective tissue: No quantifiers, no "$implies$" and hence no clear explanation of how the conclusion $Bsubseteq A$ is reached.
– DanielWainfleet
2 days ago
add a comment |
The "proof" is a pile of bones with no connective tissue: No quantifiers, no "$implies$" and hence no clear explanation of how the conclusion $Bsubseteq A$ is reached.
– DanielWainfleet
2 days ago
The "proof" is a pile of bones with no connective tissue: No quantifiers, no "$implies$" and hence no clear explanation of how the conclusion $Bsubseteq A$ is reached.
– DanielWainfleet
2 days ago
The "proof" is a pile of bones with no connective tissue: No quantifiers, no "$implies$" and hence no clear explanation of how the conclusion $Bsubseteq A$ is reached.
– DanielWainfleet
2 days ago
add a comment |
3 Answers
3
active
oldest
votes
up vote
1
down vote
accepted
Yes, you have it right. Your proof is correct but it may be polished if you wish.
You just need one counter example for the proper subset part.
Awesome, thanks!
– Jordan Solomons
2 days ago
Thank you for your attention.
– Mohammad Riazi-Kermani
2 days ago
add a comment |
up vote
1
down vote
Presentation wise:
Let $x in B$, we can write
$$x=12b+7=4(3b+1)+3$$
where $b in mathbb{Z}$.
since $3b+1 in mathbb{Z}, x in A$.
To prove that it is a proper subset.
Since $4(0)+3 =3$, we have $3 in A$. However, we claim that $3 notin B$. Suppose not,
$$12b+7=3$$
Then we have $$12b=-4 iff 3b = -1$$ which is a contradiction.
Remark:
I have no idea what is domain of $m$.
add a comment |
up vote
0
down vote
Yes, indeed. $checkmark$.
You have shown that for every $nin B$ that $nin A$ but that the converse does not hold. Thus you have a proof that $ Bsubsetneq A$, as required.
Smooth out the presentation and you will be done.
add a comment |
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
accepted
Yes, you have it right. Your proof is correct but it may be polished if you wish.
You just need one counter example for the proper subset part.
Awesome, thanks!
– Jordan Solomons
2 days ago
Thank you for your attention.
– Mohammad Riazi-Kermani
2 days ago
add a comment |
up vote
1
down vote
accepted
Yes, you have it right. Your proof is correct but it may be polished if you wish.
You just need one counter example for the proper subset part.
Awesome, thanks!
– Jordan Solomons
2 days ago
Thank you for your attention.
– Mohammad Riazi-Kermani
2 days ago
add a comment |
up vote
1
down vote
accepted
up vote
1
down vote
accepted
Yes, you have it right. Your proof is correct but it may be polished if you wish.
You just need one counter example for the proper subset part.
Yes, you have it right. Your proof is correct but it may be polished if you wish.
You just need one counter example for the proper subset part.
answered 2 days ago
Mohammad Riazi-Kermani
39.8k41957
39.8k41957
Awesome, thanks!
– Jordan Solomons
2 days ago
Thank you for your attention.
– Mohammad Riazi-Kermani
2 days ago
add a comment |
Awesome, thanks!
– Jordan Solomons
2 days ago
Thank you for your attention.
– Mohammad Riazi-Kermani
2 days ago
Awesome, thanks!
– Jordan Solomons
2 days ago
Awesome, thanks!
– Jordan Solomons
2 days ago
Thank you for your attention.
– Mohammad Riazi-Kermani
2 days ago
Thank you for your attention.
– Mohammad Riazi-Kermani
2 days ago
add a comment |
up vote
1
down vote
Presentation wise:
Let $x in B$, we can write
$$x=12b+7=4(3b+1)+3$$
where $b in mathbb{Z}$.
since $3b+1 in mathbb{Z}, x in A$.
To prove that it is a proper subset.
Since $4(0)+3 =3$, we have $3 in A$. However, we claim that $3 notin B$. Suppose not,
$$12b+7=3$$
Then we have $$12b=-4 iff 3b = -1$$ which is a contradiction.
Remark:
I have no idea what is domain of $m$.
add a comment |
up vote
1
down vote
Presentation wise:
Let $x in B$, we can write
$$x=12b+7=4(3b+1)+3$$
where $b in mathbb{Z}$.
since $3b+1 in mathbb{Z}, x in A$.
To prove that it is a proper subset.
Since $4(0)+3 =3$, we have $3 in A$. However, we claim that $3 notin B$. Suppose not,
$$12b+7=3$$
Then we have $$12b=-4 iff 3b = -1$$ which is a contradiction.
Remark:
I have no idea what is domain of $m$.
add a comment |
up vote
1
down vote
up vote
1
down vote
Presentation wise:
Let $x in B$, we can write
$$x=12b+7=4(3b+1)+3$$
where $b in mathbb{Z}$.
since $3b+1 in mathbb{Z}, x in A$.
To prove that it is a proper subset.
Since $4(0)+3 =3$, we have $3 in A$. However, we claim that $3 notin B$. Suppose not,
$$12b+7=3$$
Then we have $$12b=-4 iff 3b = -1$$ which is a contradiction.
Remark:
I have no idea what is domain of $m$.
Presentation wise:
Let $x in B$, we can write
$$x=12b+7=4(3b+1)+3$$
where $b in mathbb{Z}$.
since $3b+1 in mathbb{Z}, x in A$.
To prove that it is a proper subset.
Since $4(0)+3 =3$, we have $3 in A$. However, we claim that $3 notin B$. Suppose not,
$$12b+7=3$$
Then we have $$12b=-4 iff 3b = -1$$ which is a contradiction.
Remark:
I have no idea what is domain of $m$.
answered 2 days ago
Siong Thye Goh
92.6k1462114
92.6k1462114
add a comment |
add a comment |
up vote
0
down vote
Yes, indeed. $checkmark$.
You have shown that for every $nin B$ that $nin A$ but that the converse does not hold. Thus you have a proof that $ Bsubsetneq A$, as required.
Smooth out the presentation and you will be done.
add a comment |
up vote
0
down vote
Yes, indeed. $checkmark$.
You have shown that for every $nin B$ that $nin A$ but that the converse does not hold. Thus you have a proof that $ Bsubsetneq A$, as required.
Smooth out the presentation and you will be done.
add a comment |
up vote
0
down vote
up vote
0
down vote
Yes, indeed. $checkmark$.
You have shown that for every $nin B$ that $nin A$ but that the converse does not hold. Thus you have a proof that $ Bsubsetneq A$, as required.
Smooth out the presentation and you will be done.
Yes, indeed. $checkmark$.
You have shown that for every $nin B$ that $nin A$ but that the converse does not hold. Thus you have a proof that $ Bsubsetneq A$, as required.
Smooth out the presentation and you will be done.
answered 2 days ago
Graham Kemp
83.8k43378
83.8k43378
add a comment |
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%2f2999286%2fprove-b-is-a-proper-subset-of-a%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
The "proof" is a pile of bones with no connective tissue: No quantifiers, no "$implies$" and hence no clear explanation of how the conclusion $Bsubseteq A$ is reached.
– DanielWainfleet
2 days ago