How Do Power Sets and Cartesian Products Work in Set Theory?

Click For Summary

Discussion Overview

The discussion revolves around understanding power sets and Cartesian products in set theory, specifically focusing on how to explain the number of elements in these constructs. The scope includes theoretical explanations and homework-related inquiries.

Discussion Character

  • Homework-related
  • Technical explanation
  • Conceptual clarification

Main Points Raised

  • One participant states that the power set of a set C with c elements contains 2^c elements but seeks clarification on how to explain this.
  • Another participant explains that the Cartesian product A x B, where A has a elements and B has b elements, results in a total of a*b combinations, using a counting analogy with boys and girls.
  • A participant requests clarification on the encoding of subsets using binary numbers, specifically how each subset corresponds to a unique binary representation.
  • Further clarification is provided that each subset of C is represented by a unique binary number, where 0s and 1s indicate the presence or absence of elements in the subset.
  • One participant notes that the question may be better suited for a mathematics section, suggesting it belongs in Precalculus or Calculus and Beyond.
  • A participant expresses uncertainty about where to post the question, indicating it relates to their coursework in Introduction to the Theory of Computation.

Areas of Agreement / Disagreement

Participants generally agree on the mechanics of power sets and Cartesian products, but there is no consensus on the appropriate forum section for the question. Additionally, there is ongoing clarification regarding the binary encoding of subsets.

Contextual Notes

Some participants express uncertainty about how to explain the concepts clearly, indicating a need for further exploration of the underlying principles of power sets and Cartesian products.

RyozKidz
Messages
25
Reaction score
0

Homework Statement



(1)If C is a set with c elements , how many elements are in the power set of C ? explain your answer.
(2)If A has a elements and B has b elements , how many elements are in A x B ? explain your answer.

Homework Equations





The Attempt at a Solution



(1)The answer is 2 to the power of c / 2^c ..~ but how am i going to explain ?
(2)The answer is a*b elements . but still don't even know how to explain ..~

sorry for the stupid question ..~ but i really curious want to know how to explain it ..~
 
Physics news on Phys.org
The second one is straightforward counting.
How many combinations are there, with one element from A and one element from B? It's like asking: if I have 10 boys and 8 girls, how many combinations of a boy and a girl are there? Well, for each boy I pick there are 8.

For the first one, there is an argument which I find rather nice myself. An element from the power set is a subset of C. So suppose that we can order the element of C in some way (we have a bijection to (a subset of) natural numbers, which we can use). Now I can encode a subset of C, by writing down a 0 or 1 in the nth place, depending on whether the nth element of C is in my subset. So for example, if C = {1, 2, 3, 4, 5} then I would encode {1, 3, 5} by 10101, {1, 2} by 11000 and {1, 4, 5} by 10011. You can check that this encodes every subset of C uniquely, and that every combination of c zeroes and ones encodes a subset (even 00...0). Now all you have to do is read this as a binary number in c bits, how many of these are there?
 
o..~ nice explanation ..~ so the nth element is 11111 ..? from 00000 to 11111 ??
can u explain about this line ?
You can check that this encodes every subset of C uniquely, and that every combination of c zeroes and ones encodes a subset (even 00...0)...
Im not quite sure what it is trying to convey ?
 
What Compuchip is saying for his example is that every subset of C is paired to a unique 5-digit binary number, and every 5-digit binary number represents a unique subset of C. If an element of C is not present in the subset, there is a 0 in some position of the number. If an element of C is present in the subset, there is a 1 in the same position. The number 00000 represents the subset of C with no elements -- the empty set -- a subset that is present in all sets.

BTW, this question should have gone into one of the mathematics sections, either Precalculus or Calculus and Beyond.
 
I really don't know where to post it..~ due to this question is found in my INTRODUCTION TO THE THEORY OF COMPUTATION ..~ so i assume it is under this section..
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 18 ·
Replies
18
Views
4K
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
10K