Prove B is a proper subset of A











up vote
0
down vote

favorite












enter image description here



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!










share|cite|improve this question
























  • 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

















up vote
0
down vote

favorite












enter image description here



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!










share|cite|improve this question
























  • 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















up vote
0
down vote

favorite









up vote
0
down vote

favorite











enter image description here



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!










share|cite|improve this question















enter image description here



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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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




















  • 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












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.






share|cite|improve this answer





















  • Awesome, thanks!
    – Jordan Solomons
    2 days ago










  • Thank you for your attention.
    – Mohammad Riazi-Kermani
    2 days ago


















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$.






share|cite|improve this answer




























    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.






    share|cite|improve this answer





















      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',
      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
      });


      }
      });














       

      draft saved


      draft discarded


















      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

























      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.






      share|cite|improve this answer





















      • Awesome, thanks!
        – Jordan Solomons
        2 days ago










      • Thank you for your attention.
        – Mohammad Riazi-Kermani
        2 days ago















      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.






      share|cite|improve this answer





















      • Awesome, thanks!
        – Jordan Solomons
        2 days ago










      • Thank you for your attention.
        – Mohammad Riazi-Kermani
        2 days ago













      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.






      share|cite|improve this answer












      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.







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      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


















      • 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










      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$.






      share|cite|improve this answer

























        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$.






        share|cite|improve this answer























          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$.






          share|cite|improve this answer












          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$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 2 days ago









          Siong Thye Goh

          92.6k1462114




          92.6k1462114






















              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.






              share|cite|improve this answer

























                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.






                share|cite|improve this answer























                  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.






                  share|cite|improve this answer












                  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.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 2 days ago









                  Graham Kemp

                  83.8k43378




                  83.8k43378






























                       

                      draft saved


                      draft discarded



















































                       


                      draft saved


                      draft discarded














                      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





















































                      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







                      Popular posts from this blog

                      Quarter-circle Tiles

                      build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

                      Mont Emei