Thread:

1. Set Theory: Functions (injectivity/surjectivity)

Suppose f : A -> B and g : B -> C are functions.
(a) Show that if f is surjective and g is not injective then g o f is not injective.
(Hint: draw pictures to get an idea.)
(b) Show that if f is not surjective and g is injective then g o f is not surjective.

hey, I have a general idea how to solve questions like this, but these ones seem more challenging than any ive done so far, so any help is is really appreciated

2. Originally Posted by zukias
Suppose f : A -> B and g : B -> C are functions.
(a) Show that if f is surjective and g is not injective then g o f is not injective.
(Hint: draw pictures to get an idea.)
(b) Show that if f is not surjective and g is injective then g o f is not surjective.
From the given we can get the following:
$\left( {\exists b_1 \in B} \right)\left( {\exists b_2 \in B} \right)\left[ {b_1 \ne b_2 \wedge g(b_1 ) = g(b_2 )} \right]$.

ALSO $\left( {\exists a_1 \in A} \right)\left[ {f(a_1 ) = b_1 } \right] \wedge \left( {\exists a_2 \in A} \right)\left[ {f(a_2 ) = b_2 } \right]$.

There is an easy contradiction to injectivity there for $g\circ f$.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 3, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9080521464347839, "perplexity_flag": "head"}