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

X is an element of Y, such that 2/X is in Y. Is this allowed

  1. May 19, 2013 #1
    Hey guys,

    I was working on something today and I was trying to formalize what I was doing, and I tried to write out:

    M = { x | ( 2 / x ) [itex]\in[/itex] M }

    Then I thought about it and wondered whether this is allowed in set theory. Its not clear that there is anything in M at all, and thus its not clear whether any X would be in M. The criterion rests on an infinite number of other criterion. Is this allowed in any system of set theory? And if it isnt, why not?

    If it is allowed, how about:

    The Natural Numbers = {x | x-1 [itex]\in[/itex] M [itex]\vee[/itex] x = 0 }
     
  2. jcsd
  3. May 19, 2013 #2

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    This doesn't really make sense, since you haven't said anything that ensures that the expression 2/x makes sense. You could attempt to remedy that by writing e.g.
    $$M=\{x\in\mathbb Z\,|\,2/x\in M\}$$ instead. But this still doesn't make sense, since you're using the definition of M in the definition of M.

    The set of all x such that x-1 is in M and x=0... This would be {0} if -1 is in M, and ∅ otherwise.
     
  4. May 19, 2013 #3

    MathematicalPhysicist

    User Avatar
    Gold Member

    As Fredrik said, it doesn't make sense. Perhaps you wanted to say something like x=2/x, but I am just guessing...
     
  5. May 19, 2013 #4

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    It makes sense if you don't use it as a definition. So if ##M## is already defined, then ##\{x\in \mathbb{Z}~\vert~2/x \in M\}## is well-defined and thus the equality

    [tex]M=\{x\in \mathbb{Z}~\vert~2/x \in M\}[/tex]

    makes sense and can be true or false.

    But there is no guarantee that there is a set ##M## that satisfies the equality or that this set is unique, so you can't use the equality to define ##M##.
     
  6. May 19, 2013 #5
    So I was working on a project related to sound harmonics. I had 12 harmonics/tones expressed as whole number fractions, all between 1 and 2, and I also wanted to have the reciprocals (multiplied into the range of 1 and 2), in the set of tones I was working with. So I had 15/8, and I wanted 16/15 expressed in my set of tones too (2 / (15/8))

    I mean, there was nothing stopping me from just adding the reciprocals to what I was doing, but I tried formalizing it for fun. I probably have no way of defining this, other than just defining the set by listing its elements right?

    Oh I see. So if I said something like:

    P = { x | ( 2 / x ) ∈ M }

    then it would be okay?

    Also, some what off-topic, I am also curious why its not allowed to define something by itself. I could see how its confusing, but I am not sure why that alone should be reason not to so.

    Well that was an or, not an and. x = 0, or x - 1 is in M. So {0, 1, 2, 3, 4, 5...}.

    What do you mean? Like, I cant do ##M## = {x | x = 4} ?
     
  7. May 19, 2013 #6

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    No, but if you first define M, you an then define P by writing e.g. ##P=\{x\in\mathbb R\,|\,2/x\in M\}##. The main reason why you have to specify the set that x is an element of is that 2/x doesn't make sense for arbitrary sets x.

    A definition of M must tell us what set M is. If you can prove that there's exactly one set such that ##M=\{x\,|\,\text{some statement about M}\}##, then you can take this equality as the definition of M.

    Ah, I read it wrong then. But the expression ##\{x\,|\,x-1\in M\lor x=0\}## still has several problems. First of all, what is M? Second, there's nothing that ensures that x-1 makes sense. You could however write ##\mathbb N=\{x\in\mathbb Z\,|\, x-1\in\mathbb N\lor x=0\}##. But to take this as a definition of ##\mathbb N##, you must prove that there's exactly one set ##\mathbb N## that satisfies this equality.

    This equality is fine. It defines M to be the set {4}.
     
  8. May 19, 2013 #7

    Bacle2

    User Avatar
    Science Advisor

  9. May 20, 2013 #8
    Thank you Fredrik, and Bacle2.

    Definitions, and descriptions, I find to be extremely interesting. But that has little to do with math or physics so I'll avoid that conversation.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: X is an element of Y, such that 2/X is in Y. Is this allowed
Loading...