Sign in to follow this  
Lizwi

Reflexivity

Recommended Posts

Posted (edited)

Capture.PNG2.PNG

Please help check my answers, it is not cut and paste, I wrote it through latex and I used a snipping tool to cut and paste it

Edited by Lizwi

Share this post


Link to post
Share on other sites

Reflexivity and transitivity look good, but "obviously" won't cut it for symmetry. You should cite that set intersection is commutative for (b).

Share this post


Link to post
Share on other sites

Thanks very much, I see the mistake in (b). Because the relation means an empty set.

Share this post


Link to post
Share on other sites
Posted (edited)

This site supports Mathjax with the "math" and "\math" tags in square brackets surrounding your markup.

In (1) your proof is fine but I'd reword it for clarity. You wrote, "I assumed [math]A = \{2,3,4,5]\}[/math] is the subset of the power set ..."

I would reword that as, "Suppose  [math]A = \{2, 3, 4, 5\}[/math]. Then [math]A \cap A = A \neq \emptyset[/math]. Or you could just say, For any nonempty set  [math]A[/math], we have [math]A \cap A = A \neq \emptyset[/math]. That would be sufficient for me. 

Also note that you meant that [math]A[/math] is an element of the power set. It's a subset of the integers, but an element of the power set.

Edited by wtf

Share this post


Link to post
Share on other sites
10 hours ago, wtf said:

Also note that you meant that A is an element of the power set. It's a subset of the integers, but an element of the power set.

That's a good point. This is an important distinction and one that technically makes the proof incorrect. A is an element of P(Z), not a subset. A is a subset of Z. The elements of P(Z) are the subsets of Z.

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
Sign in to follow this