October 11th, 2011, 04:27 AM  #1 
Member Joined: Sep 2011 Posts: 97 Thanks: 0  find binary relation
let Z be integer Find a binary relation on Z251 that is reflexive, symmetric, antisymmetric and transitive. what is the meaning of Z251? 
October 11th, 2011, 06:20 AM  #2 
Global Moderator Joined: Nov 2006 From: UTC 5 Posts: 16,046 Thanks: 938 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms  Re: find binary relation
Integers mod 251, I imagine.

October 11th, 2011, 08:38 AM  #3 
Member Joined: Sep 2011 Posts: 97 Thanks: 0  Re: find binary relation
then isn't the binary relation would be {0,0}? since that's the only one that's reflexive

October 11th, 2011, 09:28 AM  #4 
Global Moderator Joined: Nov 2006 From: UTC 5 Posts: 16,046 Thanks: 938 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms  Re: find binary relation
{0, 0} isn't a relation at all: relations are sets of ordered pairs, and 0 isn't an ordered pair. If you mean {(0, 0)} then that's not reflexive over Z_251 since, for example, 1 is not related to 1. 
October 11th, 2011, 08:48 PM  #5 
Member Joined: Sep 2011 Posts: 97 Thanks: 0  Re: find binary relation
so it would be soemthing like A = A X A?

October 11th, 2011, 10:18 PM  #6 
Global Moderator Joined: Nov 2006 From: UTC 5 Posts: 16,046 Thanks: 938 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms  Re: find binary relation
That's not antisymmetric. I suggest starting with the empty set and adding ordered pairs only as required by the axioms. Start with reflexivity. 
October 12th, 2011, 04:10 AM  #7 
Member Joined: Sep 2011 Posts: 97 Thanks: 0  Re: find binary relation
ok, i get the idea, but i don't know how to find a relation that is equivalence, and anti symmetry at the same time

October 12th, 2011, 05:46 AM  #8 
Global Moderator Joined: Nov 2006 From: UTC 5 Posts: 16,046 Thanks: 938 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms  Re: find binary relation
I gave my suggestion on how to do it. Don't forget to check that, after meeting some requirements, you check earlier properties to make sure they still apply.

October 12th, 2011, 06:38 AM  #9 
Member Joined: Sep 2011 Posts: 97 Thanks: 0  Re: find binary relation
ok, so is it something like: ?a, b, c ? {Z = 0 mod 251 a = b = c ^ (aRb > bRc) ^ (aRb ^ bRc > aRc)} i basically just merge those together, i don't knwo how to write it in binary relation 
October 12th, 2011, 06:56 AM  #10 
Global Moderator Joined: Nov 2006 From: UTC 5 Posts: 16,046 Thanks: 938 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms  Re: find binary relation
I don't know what that statement means. I'm just suggesting starting with the empty relation and adding in all pairs required by reflexivity (how many pairs? what is the relation now?), then adding in those required by symmetry, those by antisymmetry, then those required by transitivity. 1. { } 2. ? 3. ? 4. ? 5. ? Once you do this, repeat the earlier steps until the relation stays the same through a whole cycle. (If you don't do that you might find that making the relation transitive has caused it to lose symmetry or something like that.) 

Tags 
binary, find, relation 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
find recurrence relation  robocop_911  Applied Math  0  June 4th, 2008 12:40 PM 
binary relation plz help soon  ASAD KHAN  Abstract Algebra  4  August 12th, 2007 04:48 PM 
Binary relation question  ASAD KHAN  Abstract Algebra  2  August 11th, 2007 03:16 PM 
A binary relation question  tinatran2  Applied Math  12  May 6th, 2007 09:41 PM 
BINARY RELATION PLZ HELP SOON  ASAD KHAN  Elementary Math  0  December 31st, 1969 04:00 PM 