MHB Proving Reflexive, Symmetric and Transitive Properties of Relation R on P(U)

AI Thread Summary
The discussion focuses on the properties of the relation R defined on the power set P(U) based on intersections with a subset C of a universal set U. It establishes that R is symmetric, as the equality of intersections implies the reverse holds true. The transitive property is also affirmed, but requires clarification in the explanation regarding the nature of the sets involved. The reflexive property remains uncertain, with participants emphasizing the need for precise definitions and context for the variables used. Overall, the conversation highlights the importance of clear mathematical communication in proving relational properties.
leigh ramona
Messages
2
Reaction score
0
Let U be a universal set, and let C be any subset of U. Let R be the relation on P(U) defined by A R B if $A \cap C = B \cap C$. Determine whether the relation is reflexive, symmetric, and/or transitive. Prove you answer.
 
Last edited by a moderator:
Physics news on Phys.org
First, do you know what "reflexive", "symmetric", and "transitive" mean? Write down the definitions and show that this relation satisfies those definitions.
 
So reflexive is equal to each other. Like x R x.
Symmetric is x R y = y R x
Transitive is if x R y and y R z, then x R z.

The relation is symmetric because if A \cap C = B \cap C, then C \cap A = C \cap B. Is this correct?

The relation is also transitive, because if A \cap C and B \cap C, then A \cap B.

I'm not sure about the reflexive.
 
leigh ramona said:
So reflexive is equal to each other. Like x R x.
Your sentence does not make sense because it lacks the subject: what is equal to each other?. And when you say $xRx$, I'll ask you: what is $x$? Do you mean $xRx$ holds for some unspecified $x$, for all $x$, for some specific $x$? What set does $x$ range over?

leigh ramona said:
Symmetric is x R y = y R x
This sentence is also problematic. For each $x$ and $y$, $xRy$ is either true or false. What do you mean by $xRx=yRx$? For which $x$ and $y$?

leigh ramona said:
Transitive is if x R y and y R z, then x R z.
This would be correct if you added "for all $x$, $y$ and $z$".

leigh ramona said:
The relation is symmetric because if A \cap C = B \cap C, then C \cap A = C \cap B. Is this correct?
What you wrote is true, but what does this have to do with $R$? Please enclose formulas in dollar signs: \$A\cap C\$.

leigh ramona said:
The relation is also transitive, because if A \cap C and B \cap C, then A \cap B.
This does not makes sense because $A\cap C$ cannot be true or false: it's a set. Therefore, you can't write "If $A\cap C$...".

If you increase the level of your precision, it will help you not only to communicate more clearly, but to understand the problem and definitions better as well.
 
Back
Top