New Reply

Urgent: Tell if this is Reflexive, transitive, symmetric?

 
Share Thread Thread Tools
Jul23-12, 05:07 AM   #1
 

Urgent: Tell if this is Reflexive, transitive, symmetric?


1. The problem statement, all variables and given/known data

Determine if the following relation is reflexive, transitive, symmetric or anti-symmetric.
(A,B) element of R(relation) if for every epsilon > 0, there exists a element of A and b element of B with |a-b| < epsilon.

2. Relevant equations



3. The attempt at a solution
I already proved that this is a reflexive relation (please correct me if I'm wrong):
Let (A,B) be in R.
Prove that (A,A) is also in R.
NTS: For all a element of A and b element of A, |a-b| < epsilon ; epsilon>0
Proof:
Let a be element of A and b element of A (also).
|a E A - b E A| ?< epsilon
for simplicity we can write it: |a-a| < epsilon, which is true for all a and b because there's a chance that a and b will be equal since they're taken in the same set. We are sure that 0 < epsilon because epsilon > 0 by our assumption.

Now, how can I show that this is also transitive? and symmetric or antisymmetric?
Minor question, do I need to confirm that sets A and B are mutually exclusive to each other?
Thanks.
 
PhysOrg.com
PhysOrg
science news on PhysOrg.com

>> Hong Kong launches first electric taxis
>> Morocco to harness the wind in energy hunt
>> Galaxy's Ring of Fire
Jul23-12, 11:15 AM   #2
 
Recognitions:
Gold Membership Gold Member
Homework Helper Homework Help
Quote by DevNeil View Post
1. The problem statement, all variables and given/known data

Determine if the following relation is reflexive, transitive, symmetric or anti-symmetric.
(A,B) element of R(relation) if for every epsilon > 0, there exists a element of A and b element of B with |a-b| < epsilon.
You haven't told us what A and B are. One might guess they are (non-empty?) subsets of the real numbers. Is that right?

3. The attempt at a solution
I already proved that this is a reflexive relation (please correct me if I'm wrong):
Let (A,B) be in R.
Prove that (A,A) is also in R.
NTS: For all a element of A and b element of A, |a-b| < epsilon ; epsilon>0
To prove R is reflexive you need to show (A,A) in R for all A. You don't start with "Let (A,B) in R".
Proof:
Let a be element of A and b element of A (also).
|a E A - b E A| ?< epsilon
for simplicity we can write it: |a-a| < epsilon, which is true for all a and b because there's a chance that a and b will be equal since they're taken in the same set. We are sure that 0 < epsilon because epsilon > 0 by our assumption.
That is a very confused paragraph. All you need to write is: Suppose ##\epsilon > 0##. Pick any a in A (A is non-empty?). ##|a - a|=0 < \epsilon## so (A,A) is in R.
Now, how can I show that this is also transitive? and symmetric or antisymmetric?
Write down carefully what you need to prove as a first step. If it seems reasonable, try to prove it, otherwise see if you can make a counterexample.
Minor question, do I need to confirm that sets A and B are mutually exclusive to each other?
Thanks.
Who knows? Like I said above, you haven't even told us what A and B are.
 
New Reply

Tags
equivalence relation
Thread Tools


Similar Threads for: Urgent: Tell if this is Reflexive, transitive, symmetric?
Thread Forum Replies
Reflexive, Symmetric, Transitive Calculus & Beyond Homework 3
Relation which is reflexive only and not transitive or symmetric. Calculus & Beyond Homework 13
A symmetric, transitive relation on a set that is not reflexive Set Theory, Logic, Probability, Statistics 4
A little help with symmetric, reflexive and transitive Calculus & Beyond Homework 1
Reflexive, Symmetric, or Transitive Calculus & Beyond Homework 8