Let ≥ be a relation defined on sets A and B by A ≥ B iff there exists a surjective function f : A → B. Show that ≥ is not an equivalence relation.

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter1: Fundamentals
Section1.7: Relations
Problem 28E
icon
Related questions
Question

Let ≥ be a relation defined on sets A and B by A ≥ B iff there exists a surjective function
f : A → B. Show that ≥ is not an equivalence relation.

(a) Let > be a relation defined on sets A and B by A > B iff there exists a surjective function
f: A → B. Show that > is not an equivalence relation. (Hint: Try to find a counter example
to one of the properties of an equivalence relation)
(b) Prove the following:
n
(0.) =
rE(1,00)
(c) Is the set (0, 1) U {1,2, 3, .., 100} countable? Justify your answer.
(d) Let A CR. If A is bounded above and contains one of its upper bounds, prove that this upper
bound is the supremum of A. (Hint: Try a proof by contraction)
Transcribed Image Text:(a) Let > be a relation defined on sets A and B by A > B iff there exists a surjective function f: A → B. Show that > is not an equivalence relation. (Hint: Try to find a counter example to one of the properties of an equivalence relation) (b) Prove the following: n (0.) = rE(1,00) (c) Is the set (0, 1) U {1,2, 3, .., 100} countable? Justify your answer. (d) Let A CR. If A is bounded above and contains one of its upper bounds, prove that this upper bound is the supremum of A. (Hint: Try a proof by contraction)
Expert Solution
steps

Step by step

Solved in 2 steps with 2 images

Blurred answer
Similar questions
Recommended textbooks for you
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,