Relation problem. Let A={1,2,3,4} and let f:P(A) rightarrow N be the function defined by saying that f(X) is the sum of elements of X, for each X in P(A). (If X=∅, then by convention we say that f(X)=0). Define the relation ∼ on P(A) as follows: X∼Y if and only if f(X)>f(Y) or X=Y.

allbleachix

allbleachix

Answered question

2022-09-05

Relation problem.
Let A = { 1 , 2 , 3 , 4 } and let f : P ( A ) N be the function defined by saying that f(X) is the sum of elements of X, for each X P ( A ). (If X = , then by convention we say that f ( X ) = 0). Define the relation on P(A) as follows:
X Y if and only if f ( X ) > f ( Y ) or X = Y.
Write down whether ∼ is reflexive, symmetric, antisymmetric, transitive.
The part where I am struggling is to prove reflexivity.
Reflexive: a a for all a. So that means f ( X ) > f ( Y ) is false, since f ( X ) > f ( X ) is false.
But X = Y part is true since, X = X for all X P ( A ).

Answer & Explanation

Yareli Hendrix

Yareli Hendrix

Beginner2022-09-06Added 8 answers

Step 1
As you said, to prove reflexivity you have to show that x x for every x.
Step 2
Now the set X is in relation with itself, since X = X always holds, and then you are already done. So there is no need to mention that f ( X ) > f ( X ) does not hold (which is a correct observation).
nizkem0c

nizkem0c

Beginner2022-09-07Added 13 answers

Step 1
Suppose you have a relation W (for “whatever”) on a set C and define, for a , b C,
aRb if and only if aWb or a = b
then the relation R is necessarily reflexive: the predicate
aWa or a = a
is true for every a C; the truth value of aWa is completely irrelevant and should not even be mentioned in the proof.
Step 2
Try and think in more abstract terms so the details of the exercise don't distract you from the main task.
In your case C = P ( A ) and the relation W is defined by XWY for f ( X ) > f ( Y ).
Side note 1. A similar problem will show up with the proof of transitivity: be very careful.
Side note 2. An edit to the question masked off another mistake you made. The relation you had was called S, but in the attempted proof you called it R. This might just be a typo, but not using the correct symbol might earn you a lower grade.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?