Wednesday, August 14, 2019

functions - Finding a correspondence between 0,1A and mathcalP(A)




I got this question in homework:




Let {0,1}A the set of all functions from A (not necessarily a finite set)
to {0,1}. Find a correspondence (function) between {0,1}A and
P(A) (The power set of A).
Prove that this correspondence is one-to-one and onto.




I don't know where to start, so I need a hint. What does it mean to find a correspondence?

I'm not really supposed to define a function, right?
I guess once I have the correspondence defined somehow, the proof will be easier.



Any ideas? Thanks!


Answer



This is essentially the same as Martin and yuone's answers:



Fix a set A. For a function f from A to {0,1}, let Af be the set of elements of A that are mapped to 1 by f. That is, aAf if and only if f(a)=1.



Consider the map Φ(f)=Af.




Now if fg, there is an aA with f(a)=0 and g(a)=1 (or f(a)=1 and g(a)=0).



Then AfAg. So Φ is one-to-one.



Now let BP(A). Define f(x)={1,x\in B0,x\notin B 



Then Φ(f)=B. This shows that Φ is onto P(A)


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...