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
icon
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.
2:12
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.
Proof
..
What kind of order is (if any)? Prove the properties
that hold, and construct counterexamples for the
properties that don't.
LTE
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 iff BCC
Since B~B. BCB
B-B V BE(A)
is a Reflexive relation
<
(Every set is a subset of itself)
Let B,C and D be any three subsets of (A) of BCC and C
CB
⇒ B=C ⇒ relation (B~C iff BCC)
>
Transcribed Image Text:1. 2:12 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. Proof .. What kind of order is (if any)? Prove the properties that hold, and construct counterexamples for the properties that don't. LTE 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 iff BCC Since B~B. BCB B-B V BE(A) is a Reflexive relation < (Every set is a subset of itself) Let B,C and D be any three subsets of (A) of BCC and C CB ⇒ B=C ⇒ relation (B~C iff BCC) >
2:14
A is given to
relation on (A) that is defined by
B and C be arbitrary subsets of A,
B-C iff BCC
.. is a Reflexive relation
Since B~B. BCB (Every set is a subset of itself)
B~BV BE(A)
~
⇒ B=C ⇒ relation (B~C iff BCC)
~ is Anti-Symmetric
Let B,C and D be any three subsets of (A) of BCC and C
CB
Now let B-C ⇒ BCC
C~D⇒ CCD
Since BCCCD ⇒ BCD
LTE
and is the
⇒B~D
<
⇒ is Transitive
Thus, relation '~' and partial ordering on (A)
Transcribed Image Text:2:14 A is given to relation on (A) that is defined by B and C be arbitrary subsets of A, B-C iff BCC .. is a Reflexive relation Since B~B. BCB (Every set is a subset of itself) B~BV BE(A) ~ ⇒ B=C ⇒ relation (B~C iff BCC) ~ is Anti-Symmetric Let B,C and D be any three subsets of (A) of BCC and C CB Now let B-C ⇒ BCC C~D⇒ CCD Since BCCCD ⇒ BCD LTE and is the ⇒B~D < ⇒ is Transitive Thus, relation '~' and partial ordering on (A)
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 2 images

Blurred answer
Similar questions
Recommended textbooks for you
Advanced Engineering Mathematics
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
Numerical Methods for Engineers
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…
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
Mathematics For Machine Technology
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
Basic Technical Mathematics
Basic Technical Mathematics
Advanced Math
ISBN:
9780134437705
Author:
Washington
Publisher:
PEARSON
Topology
Topology
Advanced Math
ISBN:
9780134689517
Author:
Munkres, James R.
Publisher:
Pearson,