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

Click For Summary

Homework Help Overview

The discussion revolves around binary relations on a set with three elements, specifically the set A = {a, b, c}. Participants are exploring various properties of these relations, including reflexivity and symmetry, and are attempting to determine the number of such relations that satisfy these conditions.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the total number of binary relations, with one noting the calculation of 2^9 = 512. There are attempts to clarify the number of reflexive relations, with some confusion about the correct exponent. Questions arise regarding the calculation of symmetric relations and the relationship between reflexivity and symmetry.

Discussion Status

The discussion is ongoing, with participants providing insights and corrections to each other's calculations. Some guidance has been offered regarding the properties of reflexive and symmetric relations, but there is still uncertainty about the exact counts and relationships between these properties.

Contextual Notes

Participants are working under the constraints of homework rules, which may limit the information they can use or the methods they can apply. There is a noted confusion about the definitions and implications of reflexivity and symmetry in the context of binary relations.

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?
 

Similar threads

  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 17 ·
Replies
17
Views
11K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
1K
  • · Replies 18 ·
Replies
18
Views
4K
  • · Replies 4 ·
Replies
4
Views
1K