1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: A question in set theory

  1. Mar 7, 2006 #1

    MathematicalPhysicist

    User Avatar
    Gold Member

    i need to prove that next three arguments are equivalent:
    1)f:X->Y is on Y.
    2) f:p(X)->p(Y) is on p(Y).
    3)f^-1:p(Y)->p(X) is one-to-one correspondence.
    where p is the power set.
     
  2. jcsd
  3. Mar 7, 2006 #2

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    what does 'on' mean? onto? perhaps playing devils advocate a little, but mainly to make you think about the question, if f is defined on X, how is it then defined on its power set (usually denoted P(X), not p(X)).
     
  4. Mar 8, 2006 #3

    MathematicalPhysicist

    User Avatar
    Gold Member

    yes, i checked in mathworld, it's onto.
    my main problem is with the third statement, i tried imply 3 from 1 and vice versa, but i don't know how to formualte the proof.

    any further hints are appreciated.
     
  5. Mar 8, 2006 #4
    are we assuming the function is unary?
    or rather f(s in p(Y)) can be distributed into each element of s since
    s is a subset of elements in Y?
     
  6. Mar 9, 2006 #5

    MathematicalPhysicist

    User Avatar
    Gold Member

    no, we don't assume it's unary.
    about your second question do you mean if B is a subset of P(Y) then
    f:B->f(B)={f(x)|x belongs to B} then yes, otherwise no.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook




Loading...
Similar Threads for question theory Date
Simple set theory question Sep 11, 2017
Set theory question Sep 7, 2017
Some true or false Field extension theory questions Dec 4, 2016
Galois Theory questions Dec 4, 2016
Set Theory Question Oct 11, 2016