Results 1 to 5 of 5
Like Tree4Thanks
  • 1 Post By Link
  • 1 Post By Link
  • 2 Post By Plato

Thread: For what k is a relation equivalent

  1. #1
    Junior Member
    Joined
    Nov 2012
    From
    Poland
    Posts
    40

    For what k is a relation equivalent

    Hello,

    I have three relations on the set of natural numbers defined like this.

    1) $\displaystyle x$ is in relation with $\displaystyle y$, when $\displaystyle x+y$ can be divided by $\displaystyle k$.
    2)$\displaystyle x$ is in relation with $\displaystyle y$, when $\displaystyle x-y$ can be divided by $\displaystyle k$.
    3)$\displaystyle x$ is in relation with $\displaystyle y$, when $\displaystyle x-y$ is equal to $\displaystyle k$.

    I need to find $\displaystyle k$ such that $\displaystyle k$ is a positive number and when put into those relations they are equivalent.

    So for the first one I think that $\displaystyle k$ can only be either 1 or 2, because it has to be reflexive, and any number is divisible by 1, and any sum of two same numbers is divisible by two.

    For the second one k can be any number except 0 because every number can divide 0, which we get when we test the reflexiveness of the relation, and for any number $\displaystyle n$ we can find $\displaystyle m$ such that m is a sum of any multiple of k and $\displaystyle k-$$\displaystyle n$ MOD $\displaystyle k$, and then $\displaystyle n+m$ is divisible by k.

    In the third one the only possible value of k is 0, because the relation has to be reflexive and when we substract two of the same numbers we get a 0. When $\displaystyle k$ is 0 the relation is also symetrical and transitive.

    Is this correct?
    Last edited by MachinePL1993; Dec 9th 2012 at 10:20 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    Nov 2012
    From
    Hyrule
    Posts
    39
    Thanks
    10

    Re: For what k is a relation equivalent

    k can only be equal to 0. Suppose k different from 0. by 3) x is in relation only wih x+k. But by 2) he is in relation with x+k,x+2k,x+3k....
    Thanks from MachinePL1993
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Nov 2012
    From
    Poland
    Posts
    40

    Re: For what k is a relation equivalent

    We can choose different k for each of those relations. It doesn't have to be just one k. And k can't be equal to 0 in 2) because we can't divide things by 0.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Junior Member
    Joined
    Nov 2012
    From
    Hyrule
    Posts
    39
    Thanks
    10

    Re: For what k is a relation equivalent

    We can't divide things by 0 but we can say if a given number "a" is or not divided by 0. the definition of divisibility is "a is idivisble by b if there exists c such that a=bc". The definition of divisibility doesn't involve division. The only number divisible by 0 is 0. So for the 2) k can also be 0. I think you're right for 1) and 3).
    Thanks from MachinePL1993
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor

    Joined
    Aug 2006
    Posts
    21,800
    Thanks
    2829
    Awards
    1

    Re: For what k is a relation equivalent

    Quote Originally Posted by Link View Post
    The only number divisible by 0 is 0.

    Most working mathematicians do not allow that.
    See this page.

    OR this page.
    Thanks from topsquark and MachinePL1993
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: Apr 6th 2011, 11:46 PM
  2. Isotropy Group and equivalent relation
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Oct 24th 2010, 06:59 AM
  3. Replies: 1
    Last Post: Mar 1st 2010, 07:24 AM
  4. t-84 help- pi equivalent.
    Posted in the Calculators Forum
    Replies: 1
    Last Post: Mar 20th 2009, 08:43 AM
  5. Relation ( Equivalence Relation)
    Posted in the Discrete Math Forum
    Replies: 8
    Last Post: Dec 5th 2008, 08:55 AM

Search Tags


/mathhelpforum @mathhelpforum