Chapter 1: Problem 20
Let \(f: A \rightarrow B\) and \(g: B \rightarrow C\) be functions. (a) Show that if \(g \circ f\) is injective, then \(f\) is injective. (b) Show that if \(g \circ f\) is surjective, then \(g\) is surjective.
/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}
Learning Materials
Features
Discover
Chapter 1: Problem 20
Let \(f: A \rightarrow B\) and \(g: B \rightarrow C\) be functions. (a) Show that if \(g \circ f\) is injective, then \(f\) is injective. (b) Show that if \(g \circ f\) is surjective, then \(g\) is surjective.
All the tools & learning materials you need for study success - in one app.
Get started for free
For each \(n \in \mathbb{N}\), let \(A_{n}=\\{(n+1) k: k \in \mathbb{N}]\). (a) What is \(A_{1} \cap A_{2} ?\) (b) Determine the sets \(\bigcup\left\\{A_{n}: n \in \mathbb{N}\right\\}\) and \(\bigcap\left(A_{n}: n \in \mathbb{N}\right)\).
Determine the number of elements in \(\mathcal{P}(S)\), the collection of all subsets of \(S\), for each of the following sets: (a) \(S:=\\{1,2\\}\) (b) \(\quad S:=(1,2,3)\), (c) \(S:=(1,2,3,4\\}\). Be sure to include the empty set and the set \(S\) itself in \(\mathcal{P}(S)\).
Prove that a set \(T_{1}\) is denumerable if and only if there is a bijection from \(T_{1}\) onto a denumerable set \(T_{2}\).
Prove the Distributive Laws: (a) \(A \cap(B \cup C)=(A \cap B) \cup(A \cap C)\), (b) \(A \cup(B \cap C)=(A \cup B) \cap(A \cup C)\).
Draw diagrams in the plane of the Cartesian products \(A \times B\) for the given sets \(A\) and \(B\). (a) \(A=\\{x \in \mathbb{R}: 1 \leq x \leq 2\) or \(3 \leq x \leq 4\\}, B=\\{x \in \mathbb{R}: x=1\) or \(x=2\\}\). (b) \(A=\\{1,2,3\\}, B=\\{x \in \mathbb{R}: 1 \leq x \leq 3\\}\).
What do you think about this solution?
We value your feedback to improve our textbook solutions.