1. Let A be a nonempty set. Let ~ be a relation on (A) defined by: Letting B and C be arbitrary subsets of A, B-C iff BCC. What kind of order is~ (if any)? Prove the properties that hold, and construct counterexamples for the properties that don't.
1. Let A be a nonempty set. Let ~ be a relation on (A) defined by: Letting B and C be arbitrary subsets of A, B-C iff BCC. What kind of order is~ (if any)? Prove the properties that hold, and construct counterexamples for the properties that don't.
Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
Related questions
Question
Need help with this math problem. I received feedback from my Professor for this homework problem and he said Connex? I think he meant connex relation. Below the homework problem is my work.
![**1. Problem Statement**
Let \( A \) be a nonempty set. Let \(\sim\) be a relation on \(\mathscr{P}(A)\) defined by:
Letting \( B \) and \( C \) be arbitrary subsets of \( A \), \( B \sim C \) if and only if \( B \subseteq C \).
What kind of order is \(\sim\) (if any)? Prove the properties that hold, and construct counterexamples for the properties that don't.
**1. Proof**
\( A \) is given to be a non-empty set of 2 and \(\sim\) is the relation on \(\mathscr{P}(A)\) that is defined by:
\( B \) and \( C \) be arbitrary subsets of \( A \),
\( B \sim C \) if and only if \( B \subseteq C \).
Since \( B \sim B \) because \( B \subseteq B \) (Every set is a subset of itself):
\[
\Rightarrow B \sim B \quad \forall \, B \in \mathscr{P}(A)
\]
Thus, \(\sim\) is a Reflexive relation.
Let \( B, C, \) and \( D \) be any three subsets of \( A \) such that \( B \subseteq C \) and \( C \subseteq B \).
This implies \( B = C \Rightarrow \text{relation } (B \sim C \text{ if and only if } B \subseteq C) \).
---
Diagrams or graphs were not included in the image.](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2F2b62c17d-5c05-48d6-ac2b-a3a7c31907f7%2Fde2958ed-c218-438d-b569-40d518930961%2Fuvad24_processed.jpeg&w=3840&q=75)
Transcribed Image Text:**1. Problem Statement**
Let \( A \) be a nonempty set. Let \(\sim\) be a relation on \(\mathscr{P}(A)\) defined by:
Letting \( B \) and \( C \) be arbitrary subsets of \( A \), \( B \sim C \) if and only if \( B \subseteq C \).
What kind of order is \(\sim\) (if any)? Prove the properties that hold, and construct counterexamples for the properties that don't.
**1. Proof**
\( A \) is given to be a non-empty set of 2 and \(\sim\) is the relation on \(\mathscr{P}(A)\) that is defined by:
\( B \) and \( C \) be arbitrary subsets of \( A \),
\( B \sim C \) if and only if \( B \subseteq C \).
Since \( B \sim B \) because \( B \subseteq B \) (Every set is a subset of itself):
\[
\Rightarrow B \sim B \quad \forall \, B \in \mathscr{P}(A)
\]
Thus, \(\sim\) is a Reflexive relation.
Let \( B, C, \) and \( D \) be any three subsets of \( A \) such that \( B \subseteq C \) and \( C \subseteq B \).
This implies \( B = C \Rightarrow \text{relation } (B \sim C \text{ if and only if } B \subseteq C) \).
---
Diagrams or graphs were not included in the image.

Transcribed Image Text:A is given to be a non-empty set of 2 and ~ is the relation on ℘(A) that is defined by
B and C be arbitrary subsets of A,
B ~ C if and only if \( B \subseteq C \)
Since B ~ B ∵ \( B \subseteq B \) (Every set is a subset of itself)
⇒ B ~ B ∀ B ∈ ℘(A)
∴ ~ is a Reflexive relation
Let B, C, and D be any three subsets of (A) of \( B \subseteq C \) and \( C \subseteq B \)
⇔ B = C ⇒ relation (B ~ C if and only if \( B \subseteq C \))
~ is Anti-Symmetric
Now let B ~ C ⇒ \( B \subseteq C \)
C ~ D ⇒ \( C \subseteq D \)
Since \( B \subseteq C \) and \( C \subseteq D \) ⇒ \( B \subseteq D \)
⇒ B ~ D
⇒ ~ is Transitive
Thus, relation '~' and partial ordering on ℘(A).
Expert Solution

This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
This is a popular solution!
Trending now
This is a popular solution!
Step by step
Solved in 2 steps with 2 images

Recommended textbooks for you

Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated

Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education

Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY

Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated

Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education

Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY

Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,

