Results 1 to 3 of 3

Math Help - Interpretation of a Question

  1. #1
    Newbie
    Joined
    Feb 2010
    Posts
    7

    Interpretation of a Question

    Hi, this seems to me like a bit of a silly question, but I've had a problem in set theory given to me, and I'm having trouble working out exactly what it wants - the question word for word is;

    Show that the set of all isomorphism classes of relations on X has cardinality less than 2^{2^{{|X|}^2}}.

    Am I right in taking these isomorphism classes as the sets containing relations \leq and {\leq}^{\prime} such that (X,\leq) is isomorphic to (X,{\leq}^{\prime}), or is there some way that relations can themselves be isomorphic, and the isomorphism classes are actually just of isomorphic relations?

    I hope the question is clear here!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Newbie
    Joined
    Jan 2008
    Posts
    19
    You have the right idea; an isomorphism classes partition the set of all relations on X, where two things are in an isomorphism class iff they're isomorphic.

    What does it mean for two relations to be isomorphic? There's a natural model-theoretic definition of an isomorphism. If you have a language L=\langle R\rangle where R is a binary relation (the upper bound you gave gives me the impression we're only interested in binary relations. Doesn't really matter in ZFC though, as there are just as many binary relations as n-ary relations).

    Two L-structures M,N are isomorphic iff there is a function f:M\to N bijective such that \forall a,b\in \text{dom}(M)\text{\huge .}(a,b)\in R^M \iff (f(a),f(b))\in R^N, where R^M is the interpretation of the relation R in the model M.

    Sorry I was long winded. I'm not sure if you were asking for the formal definition of isomorphism, so I thought I'd be safe and state it.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Feb 2010
    Posts
    7
    Haha, long winded is what I'd like in this kind of situation! Thanks very much for your help, this clears it up!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Regression interpretation question
    Posted in the Advanced Statistics Forum
    Replies: 0
    Last Post: July 21st 2011, 04:48 PM
  2. Interpretation
    Posted in the Statistics Forum
    Replies: 4
    Last Post: April 26th 2011, 05:57 PM
  3. Interpretation of math question help appreciated?
    Posted in the Math Topics Forum
    Replies: 6
    Last Post: February 21st 2011, 12:03 PM
  4. Geometric Interpretation
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: April 16th 2010, 04:19 AM
  5. Sigmaalgebra/Set interpretation question
    Posted in the Advanced Statistics Forum
    Replies: 2
    Last Post: August 18th 2008, 10:29 PM

Search Tags


/mathhelpforum @mathhelpforum