# Thread:

1. ## Show Injective/surjective

f: A x b --> A defined by f(x,y) = x

Injective: Here's what I did
Suppose f(x,y) = f(a,b). Then x = a. Thus not injective
Is this the correct approach?

surjective: Not sure how to go about this... Any advice? Thanks

2. For injective, you need to say that $b$ is not equal to $y$ (you start with $(a, b) \neq (x, y)$, but then you concluded that $a=x$ but not that $b=y$).

So, a proof would be: Note that for $b \neq y$, $f(x, b) = f(x, y)$ but $(x, b) \neq (x, y)$.

What you did was write down the working to find the proof, but it wasn't the proof itself per se.

For surjective, you start with something arbitrary in the image, A, and find something which maps to it. So, let $x \in A$. Can you think of some $(a, b) \in A \times B$ such that $f(a, b) = x$?

3. Originally Posted by jzellt
f: A x b --> A defined by f(x,y) = x

Injective: Here's what I did
Suppose f(x,y) = f(a,b). Then x = a. Thus not injective
Well, what causes the "thus"? To show "not injective", you need to assert that two different pairs, $(x_1, y_1)$ and $(x_2, y_2)$, can give the same value- you need to give a counterexample.

Is this the correct approach?

surjective: Not sure how to go about this... Any advice? Thanks
Look at the definition of "surjective"- a function, f, from A to B, is surjective if and only if, for every y in B, there exist x in A such that f(x)= y.

If you are given a number b does there exist a pair (x, y) such that f(x,y)= b? If so, what is it?

#### Search Tags

Copyright © 2005-2013 Math Help Forum. All rights reserved.
{"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": 13, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "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.9543295502662659, "perplexity_flag": "middle"}