Is it true that $Asubset f^{-1}(f(A))$ if and only if $f$ is injective?












1












$begingroup$


I'm doing some homework and I have trouble with some problems.
Let $X,Y$ be sets, $f:Xmapsto Y$, $A subset X$, $Csubset Y$.
I need to prove that $Asubset f^{-1}(f(A))$ if and only if $f$ is injective; and that $f(f^{-1}(C))subset C$ if and only if $f$ is surjective.
I tried to apply the definitions but I just got confused because of $f^{-1}(f(A))$, so i could use some advice.










share|cite|improve this question











$endgroup$












  • $begingroup$
    It is not enough that $A subset f^{-1}(f(A))$ for some $A subset X$, because let $f: {1, 2, 3} rightarrow {1, 2}$ with $f(1) = 1$, $f(2) = f(3) = 2$ and $A = {1}$ then $A subset f^{-1}(f(A))$ but f is not injective.
    $endgroup$
    – BurningKarl
    Nov 26 '18 at 22:24










  • $begingroup$
    These properties are not true as stated. Are you sure this is what your homework says?
    $endgroup$
    – Arnaud D.
    Nov 26 '18 at 22:25










  • $begingroup$
    @ArnaudD I'm not sure. That's how I have the exercises in the copy my teacher gave me.
    $endgroup$
    – Armando Rosas
    Nov 27 '18 at 0:26
















1












$begingroup$


I'm doing some homework and I have trouble with some problems.
Let $X,Y$ be sets, $f:Xmapsto Y$, $A subset X$, $Csubset Y$.
I need to prove that $Asubset f^{-1}(f(A))$ if and only if $f$ is injective; and that $f(f^{-1}(C))subset C$ if and only if $f$ is surjective.
I tried to apply the definitions but I just got confused because of $f^{-1}(f(A))$, so i could use some advice.










share|cite|improve this question











$endgroup$












  • $begingroup$
    It is not enough that $A subset f^{-1}(f(A))$ for some $A subset X$, because let $f: {1, 2, 3} rightarrow {1, 2}$ with $f(1) = 1$, $f(2) = f(3) = 2$ and $A = {1}$ then $A subset f^{-1}(f(A))$ but f is not injective.
    $endgroup$
    – BurningKarl
    Nov 26 '18 at 22:24










  • $begingroup$
    These properties are not true as stated. Are you sure this is what your homework says?
    $endgroup$
    – Arnaud D.
    Nov 26 '18 at 22:25










  • $begingroup$
    @ArnaudD I'm not sure. That's how I have the exercises in the copy my teacher gave me.
    $endgroup$
    – Armando Rosas
    Nov 27 '18 at 0:26














1












1








1





$begingroup$


I'm doing some homework and I have trouble with some problems.
Let $X,Y$ be sets, $f:Xmapsto Y$, $A subset X$, $Csubset Y$.
I need to prove that $Asubset f^{-1}(f(A))$ if and only if $f$ is injective; and that $f(f^{-1}(C))subset C$ if and only if $f$ is surjective.
I tried to apply the definitions but I just got confused because of $f^{-1}(f(A))$, so i could use some advice.










share|cite|improve this question











$endgroup$




I'm doing some homework and I have trouble with some problems.
Let $X,Y$ be sets, $f:Xmapsto Y$, $A subset X$, $Csubset Y$.
I need to prove that $Asubset f^{-1}(f(A))$ if and only if $f$ is injective; and that $f(f^{-1}(C))subset C$ if and only if $f$ is surjective.
I tried to apply the definitions but I just got confused because of $f^{-1}(f(A))$, so i could use some advice.







analysis elementary-set-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 27 '18 at 0:20







Armando Rosas

















asked Nov 26 '18 at 22:14









Armando RosasArmando Rosas

525




525












  • $begingroup$
    It is not enough that $A subset f^{-1}(f(A))$ for some $A subset X$, because let $f: {1, 2, 3} rightarrow {1, 2}$ with $f(1) = 1$, $f(2) = f(3) = 2$ and $A = {1}$ then $A subset f^{-1}(f(A))$ but f is not injective.
    $endgroup$
    – BurningKarl
    Nov 26 '18 at 22:24










  • $begingroup$
    These properties are not true as stated. Are you sure this is what your homework says?
    $endgroup$
    – Arnaud D.
    Nov 26 '18 at 22:25










  • $begingroup$
    @ArnaudD I'm not sure. That's how I have the exercises in the copy my teacher gave me.
    $endgroup$
    – Armando Rosas
    Nov 27 '18 at 0:26


















  • $begingroup$
    It is not enough that $A subset f^{-1}(f(A))$ for some $A subset X$, because let $f: {1, 2, 3} rightarrow {1, 2}$ with $f(1) = 1$, $f(2) = f(3) = 2$ and $A = {1}$ then $A subset f^{-1}(f(A))$ but f is not injective.
    $endgroup$
    – BurningKarl
    Nov 26 '18 at 22:24










  • $begingroup$
    These properties are not true as stated. Are you sure this is what your homework says?
    $endgroup$
    – Arnaud D.
    Nov 26 '18 at 22:25










  • $begingroup$
    @ArnaudD I'm not sure. That's how I have the exercises in the copy my teacher gave me.
    $endgroup$
    – Armando Rosas
    Nov 27 '18 at 0:26
















$begingroup$
It is not enough that $A subset f^{-1}(f(A))$ for some $A subset X$, because let $f: {1, 2, 3} rightarrow {1, 2}$ with $f(1) = 1$, $f(2) = f(3) = 2$ and $A = {1}$ then $A subset f^{-1}(f(A))$ but f is not injective.
$endgroup$
– BurningKarl
Nov 26 '18 at 22:24




$begingroup$
It is not enough that $A subset f^{-1}(f(A))$ for some $A subset X$, because let $f: {1, 2, 3} rightarrow {1, 2}$ with $f(1) = 1$, $f(2) = f(3) = 2$ and $A = {1}$ then $A subset f^{-1}(f(A))$ but f is not injective.
$endgroup$
– BurningKarl
Nov 26 '18 at 22:24












$begingroup$
These properties are not true as stated. Are you sure this is what your homework says?
$endgroup$
– Arnaud D.
Nov 26 '18 at 22:25




$begingroup$
These properties are not true as stated. Are you sure this is what your homework says?
$endgroup$
– Arnaud D.
Nov 26 '18 at 22:25












$begingroup$
@ArnaudD I'm not sure. That's how I have the exercises in the copy my teacher gave me.
$endgroup$
– Armando Rosas
Nov 27 '18 at 0:26




$begingroup$
@ArnaudD I'm not sure. That's how I have the exercises in the copy my teacher gave me.
$endgroup$
– Armando Rosas
Nov 27 '18 at 0:26










1 Answer
1






active

oldest

votes


















4












$begingroup$

Note that $f^{-1}(f(C))$ should be $f(f^{-1}(C))$.





The inclusion $Asubset f^{-1}(f(A))$ is true for every map and every subset of the map's domain.



Indeed, if $ain A$, then $f(a)in f(A)$ (by definition), which is to say that $ain f^{-1}(f(A))$.



Similarly, $f(f^{-1}(C))subset C$ holds for every map $f$ and every subset of the map's codomain. Indeed, if $yin f(f^{-1}(C))$, then $y=f(x)$, for some $xin f^{-1}(C)$. But then $f(x)in C$, which is to say $yin C$.



What you want to show is that




$fcolon Xto Y$ is injective if and only if, for every $Asubset X$, $A=f^{-1}(f(A))$




and similarly that




$fcolon Xto Y$ is surjective if and only if, for every $Csubset Y$, $C=f(f^{-1}(C))$




Hint for the $Rightarrow$ direction in the first statement: you have to prove that $f^{-1}(f(A))subset A$. Take $xin f^{-1}(f(A))$; then $f(x)in f(A)$. Apply injectivity.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    I made the correction. The same hint holds for the surjectivity proposition?
    $endgroup$
    – Armando Rosas
    Nov 27 '18 at 0:24










  • $begingroup$
    @ArmandoRosas Very similar. Don't forget to prove also the $Leftarrow$ directions.
    $endgroup$
    – egreg
    Nov 27 '18 at 7:46










  • $begingroup$
    I have trouble with the $Leftarrow$ proof of surjectivity. I let c be in C , then c it's an element of $f(f^{-1}(C))$, can i directly say that f is surjective here? Because then $c=f(x)$ with $xin f^{-1}(C)subset X$, is it not?
    $endgroup$
    – Armando Rosas
    Nov 27 '18 at 22:03










  • $begingroup$
    @ArmandoRosas For $C=Y$, $Y=f(f^{-1}(Y))=f(X)$.
    $endgroup$
    – egreg
    Nov 27 '18 at 22:19











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3015021%2fis-it-true-that-a-subset-f-1fa-if-and-only-if-f-is-injective%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









4












$begingroup$

Note that $f^{-1}(f(C))$ should be $f(f^{-1}(C))$.





The inclusion $Asubset f^{-1}(f(A))$ is true for every map and every subset of the map's domain.



Indeed, if $ain A$, then $f(a)in f(A)$ (by definition), which is to say that $ain f^{-1}(f(A))$.



Similarly, $f(f^{-1}(C))subset C$ holds for every map $f$ and every subset of the map's codomain. Indeed, if $yin f(f^{-1}(C))$, then $y=f(x)$, for some $xin f^{-1}(C)$. But then $f(x)in C$, which is to say $yin C$.



What you want to show is that




$fcolon Xto Y$ is injective if and only if, for every $Asubset X$, $A=f^{-1}(f(A))$




and similarly that




$fcolon Xto Y$ is surjective if and only if, for every $Csubset Y$, $C=f(f^{-1}(C))$




Hint for the $Rightarrow$ direction in the first statement: you have to prove that $f^{-1}(f(A))subset A$. Take $xin f^{-1}(f(A))$; then $f(x)in f(A)$. Apply injectivity.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    I made the correction. The same hint holds for the surjectivity proposition?
    $endgroup$
    – Armando Rosas
    Nov 27 '18 at 0:24










  • $begingroup$
    @ArmandoRosas Very similar. Don't forget to prove also the $Leftarrow$ directions.
    $endgroup$
    – egreg
    Nov 27 '18 at 7:46










  • $begingroup$
    I have trouble with the $Leftarrow$ proof of surjectivity. I let c be in C , then c it's an element of $f(f^{-1}(C))$, can i directly say that f is surjective here? Because then $c=f(x)$ with $xin f^{-1}(C)subset X$, is it not?
    $endgroup$
    – Armando Rosas
    Nov 27 '18 at 22:03










  • $begingroup$
    @ArmandoRosas For $C=Y$, $Y=f(f^{-1}(Y))=f(X)$.
    $endgroup$
    – egreg
    Nov 27 '18 at 22:19
















4












$begingroup$

Note that $f^{-1}(f(C))$ should be $f(f^{-1}(C))$.





The inclusion $Asubset f^{-1}(f(A))$ is true for every map and every subset of the map's domain.



Indeed, if $ain A$, then $f(a)in f(A)$ (by definition), which is to say that $ain f^{-1}(f(A))$.



Similarly, $f(f^{-1}(C))subset C$ holds for every map $f$ and every subset of the map's codomain. Indeed, if $yin f(f^{-1}(C))$, then $y=f(x)$, for some $xin f^{-1}(C)$. But then $f(x)in C$, which is to say $yin C$.



What you want to show is that




$fcolon Xto Y$ is injective if and only if, for every $Asubset X$, $A=f^{-1}(f(A))$




and similarly that




$fcolon Xto Y$ is surjective if and only if, for every $Csubset Y$, $C=f(f^{-1}(C))$




Hint for the $Rightarrow$ direction in the first statement: you have to prove that $f^{-1}(f(A))subset A$. Take $xin f^{-1}(f(A))$; then $f(x)in f(A)$. Apply injectivity.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    I made the correction. The same hint holds for the surjectivity proposition?
    $endgroup$
    – Armando Rosas
    Nov 27 '18 at 0:24










  • $begingroup$
    @ArmandoRosas Very similar. Don't forget to prove also the $Leftarrow$ directions.
    $endgroup$
    – egreg
    Nov 27 '18 at 7:46










  • $begingroup$
    I have trouble with the $Leftarrow$ proof of surjectivity. I let c be in C , then c it's an element of $f(f^{-1}(C))$, can i directly say that f is surjective here? Because then $c=f(x)$ with $xin f^{-1}(C)subset X$, is it not?
    $endgroup$
    – Armando Rosas
    Nov 27 '18 at 22:03










  • $begingroup$
    @ArmandoRosas For $C=Y$, $Y=f(f^{-1}(Y))=f(X)$.
    $endgroup$
    – egreg
    Nov 27 '18 at 22:19














4












4








4





$begingroup$

Note that $f^{-1}(f(C))$ should be $f(f^{-1}(C))$.





The inclusion $Asubset f^{-1}(f(A))$ is true for every map and every subset of the map's domain.



Indeed, if $ain A$, then $f(a)in f(A)$ (by definition), which is to say that $ain f^{-1}(f(A))$.



Similarly, $f(f^{-1}(C))subset C$ holds for every map $f$ and every subset of the map's codomain. Indeed, if $yin f(f^{-1}(C))$, then $y=f(x)$, for some $xin f^{-1}(C)$. But then $f(x)in C$, which is to say $yin C$.



What you want to show is that




$fcolon Xto Y$ is injective if and only if, for every $Asubset X$, $A=f^{-1}(f(A))$




and similarly that




$fcolon Xto Y$ is surjective if and only if, for every $Csubset Y$, $C=f(f^{-1}(C))$




Hint for the $Rightarrow$ direction in the first statement: you have to prove that $f^{-1}(f(A))subset A$. Take $xin f^{-1}(f(A))$; then $f(x)in f(A)$. Apply injectivity.






share|cite|improve this answer









$endgroup$



Note that $f^{-1}(f(C))$ should be $f(f^{-1}(C))$.





The inclusion $Asubset f^{-1}(f(A))$ is true for every map and every subset of the map's domain.



Indeed, if $ain A$, then $f(a)in f(A)$ (by definition), which is to say that $ain f^{-1}(f(A))$.



Similarly, $f(f^{-1}(C))subset C$ holds for every map $f$ and every subset of the map's codomain. Indeed, if $yin f(f^{-1}(C))$, then $y=f(x)$, for some $xin f^{-1}(C)$. But then $f(x)in C$, which is to say $yin C$.



What you want to show is that




$fcolon Xto Y$ is injective if and only if, for every $Asubset X$, $A=f^{-1}(f(A))$




and similarly that




$fcolon Xto Y$ is surjective if and only if, for every $Csubset Y$, $C=f(f^{-1}(C))$




Hint for the $Rightarrow$ direction in the first statement: you have to prove that $f^{-1}(f(A))subset A$. Take $xin f^{-1}(f(A))$; then $f(x)in f(A)$. Apply injectivity.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Nov 26 '18 at 22:24









egregegreg

180k1485202




180k1485202












  • $begingroup$
    I made the correction. The same hint holds for the surjectivity proposition?
    $endgroup$
    – Armando Rosas
    Nov 27 '18 at 0:24










  • $begingroup$
    @ArmandoRosas Very similar. Don't forget to prove also the $Leftarrow$ directions.
    $endgroup$
    – egreg
    Nov 27 '18 at 7:46










  • $begingroup$
    I have trouble with the $Leftarrow$ proof of surjectivity. I let c be in C , then c it's an element of $f(f^{-1}(C))$, can i directly say that f is surjective here? Because then $c=f(x)$ with $xin f^{-1}(C)subset X$, is it not?
    $endgroup$
    – Armando Rosas
    Nov 27 '18 at 22:03










  • $begingroup$
    @ArmandoRosas For $C=Y$, $Y=f(f^{-1}(Y))=f(X)$.
    $endgroup$
    – egreg
    Nov 27 '18 at 22:19


















  • $begingroup$
    I made the correction. The same hint holds for the surjectivity proposition?
    $endgroup$
    – Armando Rosas
    Nov 27 '18 at 0:24










  • $begingroup$
    @ArmandoRosas Very similar. Don't forget to prove also the $Leftarrow$ directions.
    $endgroup$
    – egreg
    Nov 27 '18 at 7:46










  • $begingroup$
    I have trouble with the $Leftarrow$ proof of surjectivity. I let c be in C , then c it's an element of $f(f^{-1}(C))$, can i directly say that f is surjective here? Because then $c=f(x)$ with $xin f^{-1}(C)subset X$, is it not?
    $endgroup$
    – Armando Rosas
    Nov 27 '18 at 22:03










  • $begingroup$
    @ArmandoRosas For $C=Y$, $Y=f(f^{-1}(Y))=f(X)$.
    $endgroup$
    – egreg
    Nov 27 '18 at 22:19
















$begingroup$
I made the correction. The same hint holds for the surjectivity proposition?
$endgroup$
– Armando Rosas
Nov 27 '18 at 0:24




$begingroup$
I made the correction. The same hint holds for the surjectivity proposition?
$endgroup$
– Armando Rosas
Nov 27 '18 at 0:24












$begingroup$
@ArmandoRosas Very similar. Don't forget to prove also the $Leftarrow$ directions.
$endgroup$
– egreg
Nov 27 '18 at 7:46




$begingroup$
@ArmandoRosas Very similar. Don't forget to prove also the $Leftarrow$ directions.
$endgroup$
– egreg
Nov 27 '18 at 7:46












$begingroup$
I have trouble with the $Leftarrow$ proof of surjectivity. I let c be in C , then c it's an element of $f(f^{-1}(C))$, can i directly say that f is surjective here? Because then $c=f(x)$ with $xin f^{-1}(C)subset X$, is it not?
$endgroup$
– Armando Rosas
Nov 27 '18 at 22:03




$begingroup$
I have trouble with the $Leftarrow$ proof of surjectivity. I let c be in C , then c it's an element of $f(f^{-1}(C))$, can i directly say that f is surjective here? Because then $c=f(x)$ with $xin f^{-1}(C)subset X$, is it not?
$endgroup$
– Armando Rosas
Nov 27 '18 at 22:03












$begingroup$
@ArmandoRosas For $C=Y$, $Y=f(f^{-1}(Y))=f(X)$.
$endgroup$
– egreg
Nov 27 '18 at 22:19




$begingroup$
@ArmandoRosas For $C=Y$, $Y=f(f^{-1}(Y))=f(X)$.
$endgroup$
– egreg
Nov 27 '18 at 22:19


















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3015021%2fis-it-true-that-a-subset-f-1fa-if-and-only-if-f-is-injective%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

How to change which sound is reproduced for terminal bell?

Can I use Tabulator js library in my java Spring + Thymeleaf project?

Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents