Theorem. Let < be a preorder on a set X. Define the relation =, where x = y holds if and only if x < y and y < x. Then = is an equivalence relation on X.

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
Please Help ASAP!!!
A binary relation < on a set X is said to be a preorder if it is reflexive and transitive.
For example, let X denote the collection of all living earthlings and let < be defined as
follows: V x, y € X, x < y if and only if x is no older than y, where age is measured in
whole days. Clearly < is reflexive and transitive, but it is not symmetric (since younger
doesn't imply older) nor antisymmetric (since different people may be the same age).
But prove the following.
Theorem. Let < be a preorder on a set X. Define the relation =, where x = y holds if
and only if x <y and y < x. Then = is an equivalence relation on X.
Transcribed Image Text:A binary relation < on a set X is said to be a preorder if it is reflexive and transitive. For example, let X denote the collection of all living earthlings and let < be defined as follows: V x, y € X, x < y if and only if x is no older than y, where age is measured in whole days. Clearly < is reflexive and transitive, but it is not symmetric (since younger doesn't imply older) nor antisymmetric (since different people may be the same age). But prove the following. Theorem. Let < be a preorder on a set X. Define the relation =, where x = y holds if and only if x <y and y < x. Then = is an equivalence relation on X.
Expert Solution
steps

Step by step

Solved in 3 steps with 3 images

Blurred answer
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,