1. Let f: X –→ Y and define x~y if f (x) =f(y). Show that - is an equivalence relation on X. Definition: For a set X, we say it is an equivalence relation if: a) Reflexivity: x~x for all x E X. b) Symmetry: if x~y, then y~x c) Transitivity: if x~y and y~z, then x~z. Proof: a) Reflexive: f (x) = f(x) for all x E X. Therefore, x~x for all x E X. b) Symmetric: Let x~y Then, f(x) = f(y) Then, f(y) = f(x) Therefore: y~x. c) Transitive: Let x~y and y~z Then, f(x) = f(y) and f(y) = f(z) Then, f(x) = f(z) %3D Therefore: x~z. In conclusion, ~ on set X is an equivalence relation because all three properties were tisfied to represent 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
Topic Video
Question

Can you please look over my proof and make suggestions/corrections?

 

Thank you,

1. Let f: X → Y and define x~y if f(x) = f(y). Show that - is an equivalence relation
on X.
Definition: For a set X, we say it is an equivalence relation if:
a) Reflexivity: x~x for all x E X.
b) Symmetry: if x~y, then y~x
c) Transitivity: if x~y and y~z, then x~z.
Proof:
a) Reflexive: f (x) = f (x) for all x E X.
Therefore, x~x for all x E X.
b) Symmetric: Let x~y
Then, f(x) = f(y)
Then, f (y) = f(x)
Therefore: y~x.
c) Transitive: Let x~y and y~z
Then, f(x) = f (y) and f(y) = f(z)
Then, f(x) = f(z)
Therefore: x~z.
In conclusion,
on set X is an equivalence relation because all three properties were
satisfied to represent an equivalence relation on X.
Transcribed Image Text:1. Let f: X → Y and define x~y if f(x) = f(y). Show that - is an equivalence relation on X. Definition: For a set X, we say it is an equivalence relation if: a) Reflexivity: x~x for all x E X. b) Symmetry: if x~y, then y~x c) Transitivity: if x~y and y~z, then x~z. Proof: a) Reflexive: f (x) = f (x) for all x E X. Therefore, x~x for all x E X. b) Symmetric: Let x~y Then, f(x) = f(y) Then, f (y) = f(x) Therefore: y~x. c) Transitive: Let x~y and y~z Then, f(x) = f (y) and f(y) = f(z) Then, f(x) = f(z) Therefore: x~z. In conclusion, on set X is an equivalence relation because all three properties were satisfied to represent an equivalence relation on X.
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 2 images

Blurred answer
Knowledge Booster
Propositional Calculus
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, advanced-math and related others by exploring similar questions and additional content below.
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,