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

Are set theory functions sets too?

  1. Aug 6, 2015 #1
    I read somewhere that mathematical functions can be implemented as sets by making a set of ordered tuples <a,b> where a is a member of A and b is a member of B. That should create a function that goes from the domain A to the range B.

    But set theory has functions too, could they be sets too?

    For example the Power function would just be the set witht eh tuples <{},{{}}> and <{{}},{{}{{}}}> and so on. And the union and the pair function could be made into sets as well.

    So what I want to ask is can all functions in set theory be defined as sets themselves?
     
  2. jcsd
  3. Aug 6, 2015 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Yes, if the domain of the function is a set. The power set function has as domain the class of all sets, this is not a set due to Russel's paradox. So the power set function can not be described as a set. Rather, it must be described as a logical formula.
     
  4. Aug 6, 2015 #3
    OK thanks!
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Are set theory functions sets too?
  1. Functions as sets (Replies: 5)

  2. Set theory (Replies: 6)

  3. Function set (Replies: 1)

Loading...