Cardinality of equivalence classes in a set

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite













Given $X = 1, 2, 3, 4$. Define a relation $mathbfR$ over $P(X)$ as follows: For two elements $A,B ∈ P(X)$, $A mathrelmathbfR B$ if $|A| ≡ |B| pmod3$.



(a) Demonstrate that the previous relation is an equivalence relation.



(b) Determine the cardinality of every equivalence class.




I have found how many classes in there which is the trivial part of the question as it is modulo $3$ then we have three classes $C_0$, $C_1$, $C_2$.



But I am not able to demonstrate that the previous relation is an equivalence relation or the cardinality of the equivalence classes.



Sorry for being inefficient even tho the question might be easy.







share|cite|improve this question

























    up vote
    1
    down vote

    favorite













    Given $X = 1, 2, 3, 4$. Define a relation $mathbfR$ over $P(X)$ as follows: For two elements $A,B ∈ P(X)$, $A mathrelmathbfR B$ if $|A| ≡ |B| pmod3$.



    (a) Demonstrate that the previous relation is an equivalence relation.



    (b) Determine the cardinality of every equivalence class.




    I have found how many classes in there which is the trivial part of the question as it is modulo $3$ then we have three classes $C_0$, $C_1$, $C_2$.



    But I am not able to demonstrate that the previous relation is an equivalence relation or the cardinality of the equivalence classes.



    Sorry for being inefficient even tho the question might be easy.







    share|cite|improve this question























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite












      Given $X = 1, 2, 3, 4$. Define a relation $mathbfR$ over $P(X)$ as follows: For two elements $A,B ∈ P(X)$, $A mathrelmathbfR B$ if $|A| ≡ |B| pmod3$.



      (a) Demonstrate that the previous relation is an equivalence relation.



      (b) Determine the cardinality of every equivalence class.




      I have found how many classes in there which is the trivial part of the question as it is modulo $3$ then we have three classes $C_0$, $C_1$, $C_2$.



      But I am not able to demonstrate that the previous relation is an equivalence relation or the cardinality of the equivalence classes.



      Sorry for being inefficient even tho the question might be easy.







      share|cite|improve this question














      Given $X = 1, 2, 3, 4$. Define a relation $mathbfR$ over $P(X)$ as follows: For two elements $A,B ∈ P(X)$, $A mathrelmathbfR B$ if $|A| ≡ |B| pmod3$.



      (a) Demonstrate that the previous relation is an equivalence relation.



      (b) Determine the cardinality of every equivalence class.




      I have found how many classes in there which is the trivial part of the question as it is modulo $3$ then we have three classes $C_0$, $C_1$, $C_2$.



      But I am not able to demonstrate that the previous relation is an equivalence relation or the cardinality of the equivalence classes.



      Sorry for being inefficient even tho the question might be easy.









      share|cite|improve this question












      share|cite|improve this question




      share|cite|improve this question








      edited Jul 14 at 14:12









      Alex Francisco

      15.7k92047




      15.7k92047









      asked Jul 14 at 14:03









      CptPackage

      417




      417




















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted










          Guide:



          You have to show the following.



          • Reflexive, $forall A in P(X), ARA$.

          • Symmetric, $ARB implies BRA$.

          • Transitive, $ARB land BRC implies A RC$

          In particular, transitivity is simply $|A|equiv |B| pmod3$ and $|B|equiv |C| pmod3$, then we have $|A| equiv |C| pmod3$.



          Try to write out what they mean and you should be able to use the property of modulo arithmetic to see why it is an equivalence relation.



          As for how many members each equivalence class has. Try to answer the following question.



          • How many subsets have exactly $1$ or $4$ elements.

          • How many subsets have exactly $2$ elements.

          • How many subsets have exactly $0$ or $3$ elements.





          share|cite|improve this answer





















          • For the transitivity it is clear, but still the second part of how many subsets I can't recognize how many subsets it is the thing that I can't work on I know it is simple but I don't know how to approach it.
            – CptPackage
            Jul 14 at 14:28










          • To construct a subset of $i$ element, out of the $4$ elements, you have to choose $i$ elements. Hence there are $4$ choose $i = binom4i=frac4!i!(4-i)!$ such subsets. Using this property, can you determine how many subset has $0$ elements? what about $1$ element and so on?
            – Siong Thye Goh
            Jul 14 at 14:34











          • There are $3$ equivalence class, but the question is how many subsets are there in those equivalence classes. For example $C_0$ consists of subsets with either $0$ elements or $3$ elements, $C_0= emptyset, 1,2,3, 1,2,4, 1,3,4, 2,3,4 $. Note that $0 equiv 3 pmod3$. What is the cardinality of $C_0$?
            – Siong Thye Goh
            Jul 14 at 14:41











          • Alright, I can only use the binomial coefficient and it will work but I want to ask something. So C0 is the class containing the empty element, and all the possible combinations of 3 elements as 0 mod 3 = 0 and 3 mod 3 = 0 so it will be the same equivalence class, but for C1 it will the combination of the subsets of 1 element each right? Like C1=1,2,3,4 but it will have the cardinality of 4 not 5 which is wrong. And C2 will be C2=1,2,1,3,1,4,2,3,2,4,3,4 right? So can you please explain to me this small part? Sorry, I know I have been exhausting enough.
            – CptPackage
            Jul 14 at 14:49











          • $C_1$ is the class containing subsets of $1$ element and $4$ elements since $1 equiv 4 pmod3$, so $|C_1|=5$. You have listed $C_2$ correctly. Without listing it, the computation is just $binom42=6$. Don't worry about how long you ask the question, just make sure you are learning. ;)
            – Siong Thye Goh
            Jul 14 at 14:55

















          up vote
          1
          down vote













          (a) Reflexive: $|A|equiv|A|$. Symmetric: $|A|equiv|B|implies|B|equiv|A|$. Transitive: if $|A|equiv|B|equiv|C|$, integers $m,,n$ exist with $|A|=|B|+3m=|C|+3m+3n$.



          (b) There are $1,,4,,6,,4,,1$ subsets of sizes $0,,cdots,,4$. One equivalence class is for cardinalities $0$ and $3$, and is of size $1+4=5$; another covers $1$ and $4$, and again there are $5$ elements; the last is just the size-$2$ case, with the remaining $6$ elements.






          share|cite|improve this answer





















          • Alright I can get it with the first answer, but the second one isn't very clear for me can you please simplify it more if possible?
            – CptPackage
            Jul 14 at 14:25










          • @CptPackage Which part needs simplifying? Counting subsets by size with a row of Pascal's triangle, or grouping subset sizes modulo $3$?
            – J.G.
            Jul 14 at 14:50










          • Grouping subsets, Mr.Siong Thye Goh showed me that we can get the results using the binomial coefficient which I didn't know about so sorry for being an ignorant. But can you please show me the combination of the subsets in the equivalence classes? Like C1=1,2,3,4..
            – CptPackage
            Jul 14 at 14:52










          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: false,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          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%2f2851611%2fcardinality-of-equivalence-classes-in-a-set%23new-answer', 'question_page');

          );

          Post as a guest






























          2 Answers
          2






          active

          oldest

          votes








          2 Answers
          2






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          1
          down vote



          accepted










          Guide:



          You have to show the following.



          • Reflexive, $forall A in P(X), ARA$.

          • Symmetric, $ARB implies BRA$.

          • Transitive, $ARB land BRC implies A RC$

          In particular, transitivity is simply $|A|equiv |B| pmod3$ and $|B|equiv |C| pmod3$, then we have $|A| equiv |C| pmod3$.



          Try to write out what they mean and you should be able to use the property of modulo arithmetic to see why it is an equivalence relation.



          As for how many members each equivalence class has. Try to answer the following question.



          • How many subsets have exactly $1$ or $4$ elements.

          • How many subsets have exactly $2$ elements.

          • How many subsets have exactly $0$ or $3$ elements.





          share|cite|improve this answer





















          • For the transitivity it is clear, but still the second part of how many subsets I can't recognize how many subsets it is the thing that I can't work on I know it is simple but I don't know how to approach it.
            – CptPackage
            Jul 14 at 14:28










          • To construct a subset of $i$ element, out of the $4$ elements, you have to choose $i$ elements. Hence there are $4$ choose $i = binom4i=frac4!i!(4-i)!$ such subsets. Using this property, can you determine how many subset has $0$ elements? what about $1$ element and so on?
            – Siong Thye Goh
            Jul 14 at 14:34











          • There are $3$ equivalence class, but the question is how many subsets are there in those equivalence classes. For example $C_0$ consists of subsets with either $0$ elements or $3$ elements, $C_0= emptyset, 1,2,3, 1,2,4, 1,3,4, 2,3,4 $. Note that $0 equiv 3 pmod3$. What is the cardinality of $C_0$?
            – Siong Thye Goh
            Jul 14 at 14:41











          • Alright, I can only use the binomial coefficient and it will work but I want to ask something. So C0 is the class containing the empty element, and all the possible combinations of 3 elements as 0 mod 3 = 0 and 3 mod 3 = 0 so it will be the same equivalence class, but for C1 it will the combination of the subsets of 1 element each right? Like C1=1,2,3,4 but it will have the cardinality of 4 not 5 which is wrong. And C2 will be C2=1,2,1,3,1,4,2,3,2,4,3,4 right? So can you please explain to me this small part? Sorry, I know I have been exhausting enough.
            – CptPackage
            Jul 14 at 14:49











          • $C_1$ is the class containing subsets of $1$ element and $4$ elements since $1 equiv 4 pmod3$, so $|C_1|=5$. You have listed $C_2$ correctly. Without listing it, the computation is just $binom42=6$. Don't worry about how long you ask the question, just make sure you are learning. ;)
            – Siong Thye Goh
            Jul 14 at 14:55














          up vote
          1
          down vote



          accepted










          Guide:



          You have to show the following.



          • Reflexive, $forall A in P(X), ARA$.

          • Symmetric, $ARB implies BRA$.

          • Transitive, $ARB land BRC implies A RC$

          In particular, transitivity is simply $|A|equiv |B| pmod3$ and $|B|equiv |C| pmod3$, then we have $|A| equiv |C| pmod3$.



          Try to write out what they mean and you should be able to use the property of modulo arithmetic to see why it is an equivalence relation.



          As for how many members each equivalence class has. Try to answer the following question.



          • How many subsets have exactly $1$ or $4$ elements.

          • How many subsets have exactly $2$ elements.

          • How many subsets have exactly $0$ or $3$ elements.





          share|cite|improve this answer





















          • For the transitivity it is clear, but still the second part of how many subsets I can't recognize how many subsets it is the thing that I can't work on I know it is simple but I don't know how to approach it.
            – CptPackage
            Jul 14 at 14:28










          • To construct a subset of $i$ element, out of the $4$ elements, you have to choose $i$ elements. Hence there are $4$ choose $i = binom4i=frac4!i!(4-i)!$ such subsets. Using this property, can you determine how many subset has $0$ elements? what about $1$ element and so on?
            – Siong Thye Goh
            Jul 14 at 14:34











          • There are $3$ equivalence class, but the question is how many subsets are there in those equivalence classes. For example $C_0$ consists of subsets with either $0$ elements or $3$ elements, $C_0= emptyset, 1,2,3, 1,2,4, 1,3,4, 2,3,4 $. Note that $0 equiv 3 pmod3$. What is the cardinality of $C_0$?
            – Siong Thye Goh
            Jul 14 at 14:41











          • Alright, I can only use the binomial coefficient and it will work but I want to ask something. So C0 is the class containing the empty element, and all the possible combinations of 3 elements as 0 mod 3 = 0 and 3 mod 3 = 0 so it will be the same equivalence class, but for C1 it will the combination of the subsets of 1 element each right? Like C1=1,2,3,4 but it will have the cardinality of 4 not 5 which is wrong. And C2 will be C2=1,2,1,3,1,4,2,3,2,4,3,4 right? So can you please explain to me this small part? Sorry, I know I have been exhausting enough.
            – CptPackage
            Jul 14 at 14:49











          • $C_1$ is the class containing subsets of $1$ element and $4$ elements since $1 equiv 4 pmod3$, so $|C_1|=5$. You have listed $C_2$ correctly. Without listing it, the computation is just $binom42=6$. Don't worry about how long you ask the question, just make sure you are learning. ;)
            – Siong Thye Goh
            Jul 14 at 14:55












          up vote
          1
          down vote



          accepted







          up vote
          1
          down vote



          accepted






          Guide:



          You have to show the following.



          • Reflexive, $forall A in P(X), ARA$.

          • Symmetric, $ARB implies BRA$.

          • Transitive, $ARB land BRC implies A RC$

          In particular, transitivity is simply $|A|equiv |B| pmod3$ and $|B|equiv |C| pmod3$, then we have $|A| equiv |C| pmod3$.



          Try to write out what they mean and you should be able to use the property of modulo arithmetic to see why it is an equivalence relation.



          As for how many members each equivalence class has. Try to answer the following question.



          • How many subsets have exactly $1$ or $4$ elements.

          • How many subsets have exactly $2$ elements.

          • How many subsets have exactly $0$ or $3$ elements.





          share|cite|improve this answer













          Guide:



          You have to show the following.



          • Reflexive, $forall A in P(X), ARA$.

          • Symmetric, $ARB implies BRA$.

          • Transitive, $ARB land BRC implies A RC$

          In particular, transitivity is simply $|A|equiv |B| pmod3$ and $|B|equiv |C| pmod3$, then we have $|A| equiv |C| pmod3$.



          Try to write out what they mean and you should be able to use the property of modulo arithmetic to see why it is an equivalence relation.



          As for how many members each equivalence class has. Try to answer the following question.



          • How many subsets have exactly $1$ or $4$ elements.

          • How many subsets have exactly $2$ elements.

          • How many subsets have exactly $0$ or $3$ elements.






          share|cite|improve this answer













          share|cite|improve this answer



          share|cite|improve this answer











          answered Jul 14 at 14:16









          Siong Thye Goh

          77.9k134796




          77.9k134796











          • For the transitivity it is clear, but still the second part of how many subsets I can't recognize how many subsets it is the thing that I can't work on I know it is simple but I don't know how to approach it.
            – CptPackage
            Jul 14 at 14:28










          • To construct a subset of $i$ element, out of the $4$ elements, you have to choose $i$ elements. Hence there are $4$ choose $i = binom4i=frac4!i!(4-i)!$ such subsets. Using this property, can you determine how many subset has $0$ elements? what about $1$ element and so on?
            – Siong Thye Goh
            Jul 14 at 14:34











          • There are $3$ equivalence class, but the question is how many subsets are there in those equivalence classes. For example $C_0$ consists of subsets with either $0$ elements or $3$ elements, $C_0= emptyset, 1,2,3, 1,2,4, 1,3,4, 2,3,4 $. Note that $0 equiv 3 pmod3$. What is the cardinality of $C_0$?
            – Siong Thye Goh
            Jul 14 at 14:41











          • Alright, I can only use the binomial coefficient and it will work but I want to ask something. So C0 is the class containing the empty element, and all the possible combinations of 3 elements as 0 mod 3 = 0 and 3 mod 3 = 0 so it will be the same equivalence class, but for C1 it will the combination of the subsets of 1 element each right? Like C1=1,2,3,4 but it will have the cardinality of 4 not 5 which is wrong. And C2 will be C2=1,2,1,3,1,4,2,3,2,4,3,4 right? So can you please explain to me this small part? Sorry, I know I have been exhausting enough.
            – CptPackage
            Jul 14 at 14:49











          • $C_1$ is the class containing subsets of $1$ element and $4$ elements since $1 equiv 4 pmod3$, so $|C_1|=5$. You have listed $C_2$ correctly. Without listing it, the computation is just $binom42=6$. Don't worry about how long you ask the question, just make sure you are learning. ;)
            – Siong Thye Goh
            Jul 14 at 14:55
















          • For the transitivity it is clear, but still the second part of how many subsets I can't recognize how many subsets it is the thing that I can't work on I know it is simple but I don't know how to approach it.
            – CptPackage
            Jul 14 at 14:28










          • To construct a subset of $i$ element, out of the $4$ elements, you have to choose $i$ elements. Hence there are $4$ choose $i = binom4i=frac4!i!(4-i)!$ such subsets. Using this property, can you determine how many subset has $0$ elements? what about $1$ element and so on?
            – Siong Thye Goh
            Jul 14 at 14:34











          • There are $3$ equivalence class, but the question is how many subsets are there in those equivalence classes. For example $C_0$ consists of subsets with either $0$ elements or $3$ elements, $C_0= emptyset, 1,2,3, 1,2,4, 1,3,4, 2,3,4 $. Note that $0 equiv 3 pmod3$. What is the cardinality of $C_0$?
            – Siong Thye Goh
            Jul 14 at 14:41











          • Alright, I can only use the binomial coefficient and it will work but I want to ask something. So C0 is the class containing the empty element, and all the possible combinations of 3 elements as 0 mod 3 = 0 and 3 mod 3 = 0 so it will be the same equivalence class, but for C1 it will the combination of the subsets of 1 element each right? Like C1=1,2,3,4 but it will have the cardinality of 4 not 5 which is wrong. And C2 will be C2=1,2,1,3,1,4,2,3,2,4,3,4 right? So can you please explain to me this small part? Sorry, I know I have been exhausting enough.
            – CptPackage
            Jul 14 at 14:49











          • $C_1$ is the class containing subsets of $1$ element and $4$ elements since $1 equiv 4 pmod3$, so $|C_1|=5$. You have listed $C_2$ correctly. Without listing it, the computation is just $binom42=6$. Don't worry about how long you ask the question, just make sure you are learning. ;)
            – Siong Thye Goh
            Jul 14 at 14:55















          For the transitivity it is clear, but still the second part of how many subsets I can't recognize how many subsets it is the thing that I can't work on I know it is simple but I don't know how to approach it.
          – CptPackage
          Jul 14 at 14:28




          For the transitivity it is clear, but still the second part of how many subsets I can't recognize how many subsets it is the thing that I can't work on I know it is simple but I don't know how to approach it.
          – CptPackage
          Jul 14 at 14:28












          To construct a subset of $i$ element, out of the $4$ elements, you have to choose $i$ elements. Hence there are $4$ choose $i = binom4i=frac4!i!(4-i)!$ such subsets. Using this property, can you determine how many subset has $0$ elements? what about $1$ element and so on?
          – Siong Thye Goh
          Jul 14 at 14:34





          To construct a subset of $i$ element, out of the $4$ elements, you have to choose $i$ elements. Hence there are $4$ choose $i = binom4i=frac4!i!(4-i)!$ such subsets. Using this property, can you determine how many subset has $0$ elements? what about $1$ element and so on?
          – Siong Thye Goh
          Jul 14 at 14:34













          There are $3$ equivalence class, but the question is how many subsets are there in those equivalence classes. For example $C_0$ consists of subsets with either $0$ elements or $3$ elements, $C_0= emptyset, 1,2,3, 1,2,4, 1,3,4, 2,3,4 $. Note that $0 equiv 3 pmod3$. What is the cardinality of $C_0$?
          – Siong Thye Goh
          Jul 14 at 14:41





          There are $3$ equivalence class, but the question is how many subsets are there in those equivalence classes. For example $C_0$ consists of subsets with either $0$ elements or $3$ elements, $C_0= emptyset, 1,2,3, 1,2,4, 1,3,4, 2,3,4 $. Note that $0 equiv 3 pmod3$. What is the cardinality of $C_0$?
          – Siong Thye Goh
          Jul 14 at 14:41













          Alright, I can only use the binomial coefficient and it will work but I want to ask something. So C0 is the class containing the empty element, and all the possible combinations of 3 elements as 0 mod 3 = 0 and 3 mod 3 = 0 so it will be the same equivalence class, but for C1 it will the combination of the subsets of 1 element each right? Like C1=1,2,3,4 but it will have the cardinality of 4 not 5 which is wrong. And C2 will be C2=1,2,1,3,1,4,2,3,2,4,3,4 right? So can you please explain to me this small part? Sorry, I know I have been exhausting enough.
          – CptPackage
          Jul 14 at 14:49





          Alright, I can only use the binomial coefficient and it will work but I want to ask something. So C0 is the class containing the empty element, and all the possible combinations of 3 elements as 0 mod 3 = 0 and 3 mod 3 = 0 so it will be the same equivalence class, but for C1 it will the combination of the subsets of 1 element each right? Like C1=1,2,3,4 but it will have the cardinality of 4 not 5 which is wrong. And C2 will be C2=1,2,1,3,1,4,2,3,2,4,3,4 right? So can you please explain to me this small part? Sorry, I know I have been exhausting enough.
          – CptPackage
          Jul 14 at 14:49













          $C_1$ is the class containing subsets of $1$ element and $4$ elements since $1 equiv 4 pmod3$, so $|C_1|=5$. You have listed $C_2$ correctly. Without listing it, the computation is just $binom42=6$. Don't worry about how long you ask the question, just make sure you are learning. ;)
          – Siong Thye Goh
          Jul 14 at 14:55




          $C_1$ is the class containing subsets of $1$ element and $4$ elements since $1 equiv 4 pmod3$, so $|C_1|=5$. You have listed $C_2$ correctly. Without listing it, the computation is just $binom42=6$. Don't worry about how long you ask the question, just make sure you are learning. ;)
          – Siong Thye Goh
          Jul 14 at 14:55










          up vote
          1
          down vote













          (a) Reflexive: $|A|equiv|A|$. Symmetric: $|A|equiv|B|implies|B|equiv|A|$. Transitive: if $|A|equiv|B|equiv|C|$, integers $m,,n$ exist with $|A|=|B|+3m=|C|+3m+3n$.



          (b) There are $1,,4,,6,,4,,1$ subsets of sizes $0,,cdots,,4$. One equivalence class is for cardinalities $0$ and $3$, and is of size $1+4=5$; another covers $1$ and $4$, and again there are $5$ elements; the last is just the size-$2$ case, with the remaining $6$ elements.






          share|cite|improve this answer





















          • Alright I can get it with the first answer, but the second one isn't very clear for me can you please simplify it more if possible?
            – CptPackage
            Jul 14 at 14:25










          • @CptPackage Which part needs simplifying? Counting subsets by size with a row of Pascal's triangle, or grouping subset sizes modulo $3$?
            – J.G.
            Jul 14 at 14:50










          • Grouping subsets, Mr.Siong Thye Goh showed me that we can get the results using the binomial coefficient which I didn't know about so sorry for being an ignorant. But can you please show me the combination of the subsets in the equivalence classes? Like C1=1,2,3,4..
            – CptPackage
            Jul 14 at 14:52














          up vote
          1
          down vote













          (a) Reflexive: $|A|equiv|A|$. Symmetric: $|A|equiv|B|implies|B|equiv|A|$. Transitive: if $|A|equiv|B|equiv|C|$, integers $m,,n$ exist with $|A|=|B|+3m=|C|+3m+3n$.



          (b) There are $1,,4,,6,,4,,1$ subsets of sizes $0,,cdots,,4$. One equivalence class is for cardinalities $0$ and $3$, and is of size $1+4=5$; another covers $1$ and $4$, and again there are $5$ elements; the last is just the size-$2$ case, with the remaining $6$ elements.






          share|cite|improve this answer





















          • Alright I can get it with the first answer, but the second one isn't very clear for me can you please simplify it more if possible?
            – CptPackage
            Jul 14 at 14:25










          • @CptPackage Which part needs simplifying? Counting subsets by size with a row of Pascal's triangle, or grouping subset sizes modulo $3$?
            – J.G.
            Jul 14 at 14:50










          • Grouping subsets, Mr.Siong Thye Goh showed me that we can get the results using the binomial coefficient which I didn't know about so sorry for being an ignorant. But can you please show me the combination of the subsets in the equivalence classes? Like C1=1,2,3,4..
            – CptPackage
            Jul 14 at 14:52












          up vote
          1
          down vote










          up vote
          1
          down vote









          (a) Reflexive: $|A|equiv|A|$. Symmetric: $|A|equiv|B|implies|B|equiv|A|$. Transitive: if $|A|equiv|B|equiv|C|$, integers $m,,n$ exist with $|A|=|B|+3m=|C|+3m+3n$.



          (b) There are $1,,4,,6,,4,,1$ subsets of sizes $0,,cdots,,4$. One equivalence class is for cardinalities $0$ and $3$, and is of size $1+4=5$; another covers $1$ and $4$, and again there are $5$ elements; the last is just the size-$2$ case, with the remaining $6$ elements.






          share|cite|improve this answer













          (a) Reflexive: $|A|equiv|A|$. Symmetric: $|A|equiv|B|implies|B|equiv|A|$. Transitive: if $|A|equiv|B|equiv|C|$, integers $m,,n$ exist with $|A|=|B|+3m=|C|+3m+3n$.



          (b) There are $1,,4,,6,,4,,1$ subsets of sizes $0,,cdots,,4$. One equivalence class is for cardinalities $0$ and $3$, and is of size $1+4=5$; another covers $1$ and $4$, and again there are $5$ elements; the last is just the size-$2$ case, with the remaining $6$ elements.







          share|cite|improve this answer













          share|cite|improve this answer



          share|cite|improve this answer











          answered Jul 14 at 14:15









          J.G.

          13.2k11424




          13.2k11424











          • Alright I can get it with the first answer, but the second one isn't very clear for me can you please simplify it more if possible?
            – CptPackage
            Jul 14 at 14:25










          • @CptPackage Which part needs simplifying? Counting subsets by size with a row of Pascal's triangle, or grouping subset sizes modulo $3$?
            – J.G.
            Jul 14 at 14:50










          • Grouping subsets, Mr.Siong Thye Goh showed me that we can get the results using the binomial coefficient which I didn't know about so sorry for being an ignorant. But can you please show me the combination of the subsets in the equivalence classes? Like C1=1,2,3,4..
            – CptPackage
            Jul 14 at 14:52
















          • Alright I can get it with the first answer, but the second one isn't very clear for me can you please simplify it more if possible?
            – CptPackage
            Jul 14 at 14:25










          • @CptPackage Which part needs simplifying? Counting subsets by size with a row of Pascal's triangle, or grouping subset sizes modulo $3$?
            – J.G.
            Jul 14 at 14:50










          • Grouping subsets, Mr.Siong Thye Goh showed me that we can get the results using the binomial coefficient which I didn't know about so sorry for being an ignorant. But can you please show me the combination of the subsets in the equivalence classes? Like C1=1,2,3,4..
            – CptPackage
            Jul 14 at 14:52















          Alright I can get it with the first answer, but the second one isn't very clear for me can you please simplify it more if possible?
          – CptPackage
          Jul 14 at 14:25




          Alright I can get it with the first answer, but the second one isn't very clear for me can you please simplify it more if possible?
          – CptPackage
          Jul 14 at 14:25












          @CptPackage Which part needs simplifying? Counting subsets by size with a row of Pascal's triangle, or grouping subset sizes modulo $3$?
          – J.G.
          Jul 14 at 14:50




          @CptPackage Which part needs simplifying? Counting subsets by size with a row of Pascal's triangle, or grouping subset sizes modulo $3$?
          – J.G.
          Jul 14 at 14:50












          Grouping subsets, Mr.Siong Thye Goh showed me that we can get the results using the binomial coefficient which I didn't know about so sorry for being an ignorant. But can you please show me the combination of the subsets in the equivalence classes? Like C1=1,2,3,4..
          – CptPackage
          Jul 14 at 14:52




          Grouping subsets, Mr.Siong Thye Goh showed me that we can get the results using the binomial coefficient which I didn't know about so sorry for being an ignorant. But can you please show me the combination of the subsets in the equivalence classes? Like C1=1,2,3,4..
          – CptPackage
          Jul 14 at 14:52












           

          draft saved


          draft discarded


























           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2851611%2fcardinality-of-equivalence-classes-in-a-set%23new-answer', 'question_page');

          );

          Post as a guest













































































          Comments

          Popular posts from this blog

          What is the equation of a 3D cone with generalised tilt?

          Color the edges and diagonals of a regular polygon

          Relationship between determinant of matrix and determinant of adjoint?