How can Binary Relations on a Set with 3 Elements be Symmetric and Reflexive?

muso07
Messages
53
Reaction score
0

Homework Statement


Let A = {a, b, c} be a set with 3 elements.
(a) How many binary relations are there on A?
(b) How many binary relations on A are reflexive?
(c) How many relations on A are symmetric?
(d) How many binary relations on A are both symmetric and reflexive?

Homework Equations




The Attempt at a Solution


a) There are 2^9 = 512 binary relations on A.

b) Therere are 2^(9-3)=8 relations that are reflexive.

c) Here's where I got a bit stuck, not sure if this one's right.
(i) Sets with elements of the form (x,x) 2^3 = 8
(ii) Pairs with elements of the form (x,y) (y,x) (where x /= y): (9-3)/2 = 3. Sets with these elements: 2^3 = 8.
Is that right? And how do I get the number of relations which are symmetric from that? Is it just 8x8?

d) Completely confused, I don't get any of this part.

Any help would be appreciated!
 
Physics news on Phys.org
Draw a three by three grid hence having 9 pairs. You are good for the first one. There are nine possible choices of {true,false} to fill in for those 9 pairs. So 2^9=512 looks ok. But I start losing you at b). If it's reflexive then the three pairs along the diagonal must all be true. That leaves you only 9-3=6 pairs to fill in with your choice of {true,false}. But 2^6 is not equal to 8.
 
Sorry, typo. I meant 2^6=64 reflexive relations, but I'm still not sure about (c). Is the way I did it right? Because it doesn't feel right...
 
Yes, I think. If it's symmetric you get to make an arbitrary choice of {true,false} along the diagonal (x,x) and (x,y) for y<x. That's 6 choices. 2^6=64. Right. If it's reflexive and symmetric you lose the choice along the diagonal. Now you only have three free choices to make, right?
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top