Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Cardinalities of power set vs B^A

  1. Jan 24, 2012 #1
    Hi everyone,

    If [tex]B^A[/tex] is the set of functions mapping from [tex]A \rightarrow B = \{ 0, 1 \}[/tex], prove that [tex]|B^A| = |P(A)|[/tex], where P(A) is the power set of A.

    Is it as simple as letting the mapping from B to A be denoted by [tex]\phi[/tex] and defining [tex]a_1, a_2 \in A, a_1 \ne a_2[/tex] such that [tex]\phi (a_1) = 0[/tex] and repeating that for the empty set, and [tex]\phi (a_2) = 1[/tex] and then [tex]\phi ( \{ a_1, a_2 \} ) = \{ 0, 1 \}[/tex] ?

    All help appreciated.
     
  2. jcsd
  3. Jan 24, 2012 #2

    jgens

    User Avatar
    Gold Member

    Just notice that every map A→{0,1} is the characteristic function of some subset of A.
     
  4. Jan 24, 2012 #3
    Can you please elaborate on this?
     
  5. Jan 24, 2012 #4

    jgens

    User Avatar
    Gold Member

    Suppose [itex]f \in 2^A[/itex] and define [itex]E=\{x \in A:f(x)=1\}[/itex]. Then [itex]f = \chi_E[/itex] and this induces a one-to-one correspondence between the maps in [itex]2^A[/itex] and elements of [itex]\mathcal{P}(A)[/itex].
     
  6. Jan 24, 2012 #5
    In words rather than symbols: You have two buckets, marked YES and NO. You take each element of A and toss it into one of the two buckets. When you're done tossing elements of A into one of the two buckets, whatever's in the YES bucket is a particular subset. But you've also just defined a function from A -> {0,1}.

    So subsets and binary functions are the exact same thing. A subset is just the set of elements that got mapped to 1 by some binary function, and vice versa.

    The characteristic function of a set is the function that maps the elements of the set to 1, and everything else to 0. For example in the integers, the characteristic function of the even numbers maps 2, 4, 6, etc. to 1, and 1, 3, 5, ... to 0.

    So if you have a subset of some set, the characteristic function of the subset is the function that maps each element of the subset to 1. It's the function that tosses exactly those elements into the YES bucket. It's a binary function. Each binary function is the characteristic function of some subset.
     
  7. Jan 24, 2012 #6
    I think I understand this concept now. The notation is still a little new to me and I haven't done a lot of "pure" set theory before, especially not recently, but I think I got the basic idea from this.

    Thanks guys.
     
  8. Jan 25, 2012 #7
    Do you mind if I try another explanation? Because once you get this, you'll go, "AHA. That's so OBVIOUS!" rather than, "I think I understand." Because this is really simply once you get it. It's one of those things that just pop into your understanding all at once.

    What is a function from a set A to the set {0, 1}. It's simply an assignment of either a zero or a one to each element of the set. You go through the elements of the set one by one and assign each element either a zero or a 1.

    Now when you're done, you see that the collection of elements that got assigned 1 is a subset of the original set. So a binary function gives you a subset.

    But if you had a subset, you can get back a binary function: namely, the characteristic function of the subset -- the function that assigns 1 to the elements of the subset, and 0 to everything else.

    So you see there's a one-to-one correspondence between binary functions and subsets. Given a binary function it defines a subset; given a subset it defines a binary function.

    If you just think about this and work out a few simple examples (using finite sets, say) then at some point the obviousness of this correspondence is just going to make you go OH. That is SIMPLE! Once you see it, it's obvious. Until you see it, it's mysterious.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Cardinalities of power set vs B^A
  1. Power set proof (Replies: 6)

  2. Power sets. (Replies: 3)

  3. Null set vs empty set (Replies: 4)

Loading...