Question about Properties of Relations

Click For Summary

Homework Help Overview

The discussion revolves around the properties of a relation defined on the set of all people, specifically examining the relation where x is a parent of y. Participants are exploring the concept of reflexivity in this context.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants are questioning the application of reflexivity, particularly whether an individual can be their own parent. There is confusion about how to approach the definition of reflexivity with multiple variables.

Discussion Status

Some participants have expressed clarity regarding the non-reflexive nature of the relation, while others are seeking confirmation on their understanding of reflexivity in this context. There is an ongoing exploration of assumptions related to the definition of the relation.

Contextual Notes

One participant mentions being in a proof writing class, which may influence their approach to the discussion and their confidence in articulating their understanding.

Learning_Math
Messages
7
Reaction score
0
1. The question is: P on the set, A, of all people, where xPy means x is a parent of y.



Homework Equations

- None



3. Attempts at a Solution Here is where I am confused. Reflexivity is defined by aRa. So I am unclear what to do with more than one variable. So in this question, do I examine if xRx? That is to say is x a parent of x? If that is the case, then the answer is clearly no. I am just unsure of how to deal with reflexivity.

I am ok with symmetry and transitivity.
 
Physics news on Phys.org
Can x be the parent of x? IOW, can someone be his or her own parent?
 
Okay, so am I correct in what to do with reflexivity in this question? It is obviously absurd that x can be the parent of x. Where I am unclear is if that is the question I need to be asking vis-a-vis reflexivity.
 
I thought I was pretty clear - the relation P is not reflexive.
 
Mark44 said:
I thought I was pretty clear - the relation P is not reflexive.

You were pretty clear. I am just at the very end of my proof writing class, and it has me pretty jumpy. Thanks for your help.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
4K
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
13K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K