Given $f : A rightarrow B :::forall: a_1, a_2 in A,:a_1 leq a_2 implies f(a_1) leq f(a_2)$.











up vote
0
down vote

favorite












Suppose that $A$ and $B$ are nonempty subsets of $mathbb{R}$, and that $f : A rightarrow B$ is a function satisfying $forall: a_1, a_2 in A,:a_1 leq a_2 implies f(a_1) leq f(a_2)$.



(Such a function is said to be weakly increasing.) Furthermore, suppose that $f$ is surjective



(i) Prove that if $M$ is a largest element of $A$, then $f(M)$ is a largest element of $B$.



(ii) Why is the assumption that $f$ is surjective necessary? Give an example of nonempty subsets $A$ and $B$
of $mathbb{R}$, a weakly increasing function $f : A rightarrow B$, and a largest element $M$ of $A$ such that $f(M)$ is not a
largest element of $B$.










share|cite|improve this question
























  • I've taken the liberty of making some formatting adjustments to your post, fixing the tags, and trying to make the title more helpful. I'm not certain what "a largest element" means. Do you mean "the greatest element," possibly? Also, your questions will be more likely to gain attention if you include your thoughts and efforts, to help us gauge your experience level.
    – Cameron Buie
    Nov 22 at 17:53










  • For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
    – Cameron Buie
    Nov 22 at 17:55










  • Please try to make the titles of your questions more informative. For example, Why does $a<b$ imply $a+c<b+c$? is much more useful for other users than A question about inequality. From How can I ask a good question?: Make your title as descriptive as possible. In many cases one can actually phrase the title as the question, at least in such a way so as to be comprehensible to an expert reader. You can find more tips for choosing a good title here. Welcome to Math.SE!
    – Cameron Buie
    Nov 22 at 17:55















up vote
0
down vote

favorite












Suppose that $A$ and $B$ are nonempty subsets of $mathbb{R}$, and that $f : A rightarrow B$ is a function satisfying $forall: a_1, a_2 in A,:a_1 leq a_2 implies f(a_1) leq f(a_2)$.



(Such a function is said to be weakly increasing.) Furthermore, suppose that $f$ is surjective



(i) Prove that if $M$ is a largest element of $A$, then $f(M)$ is a largest element of $B$.



(ii) Why is the assumption that $f$ is surjective necessary? Give an example of nonempty subsets $A$ and $B$
of $mathbb{R}$, a weakly increasing function $f : A rightarrow B$, and a largest element $M$ of $A$ such that $f(M)$ is not a
largest element of $B$.










share|cite|improve this question
























  • I've taken the liberty of making some formatting adjustments to your post, fixing the tags, and trying to make the title more helpful. I'm not certain what "a largest element" means. Do you mean "the greatest element," possibly? Also, your questions will be more likely to gain attention if you include your thoughts and efforts, to help us gauge your experience level.
    – Cameron Buie
    Nov 22 at 17:53










  • For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
    – Cameron Buie
    Nov 22 at 17:55










  • Please try to make the titles of your questions more informative. For example, Why does $a<b$ imply $a+c<b+c$? is much more useful for other users than A question about inequality. From How can I ask a good question?: Make your title as descriptive as possible. In many cases one can actually phrase the title as the question, at least in such a way so as to be comprehensible to an expert reader. You can find more tips for choosing a good title here. Welcome to Math.SE!
    – Cameron Buie
    Nov 22 at 17:55













up vote
0
down vote

favorite









up vote
0
down vote

favorite











Suppose that $A$ and $B$ are nonempty subsets of $mathbb{R}$, and that $f : A rightarrow B$ is a function satisfying $forall: a_1, a_2 in A,:a_1 leq a_2 implies f(a_1) leq f(a_2)$.



(Such a function is said to be weakly increasing.) Furthermore, suppose that $f$ is surjective



(i) Prove that if $M$ is a largest element of $A$, then $f(M)$ is a largest element of $B$.



(ii) Why is the assumption that $f$ is surjective necessary? Give an example of nonempty subsets $A$ and $B$
of $mathbb{R}$, a weakly increasing function $f : A rightarrow B$, and a largest element $M$ of $A$ such that $f(M)$ is not a
largest element of $B$.










share|cite|improve this question















Suppose that $A$ and $B$ are nonempty subsets of $mathbb{R}$, and that $f : A rightarrow B$ is a function satisfying $forall: a_1, a_2 in A,:a_1 leq a_2 implies f(a_1) leq f(a_2)$.



(Such a function is said to be weakly increasing.) Furthermore, suppose that $f$ is surjective



(i) Prove that if $M$ is a largest element of $A$, then $f(M)$ is a largest element of $B$.



(ii) Why is the assumption that $f$ is surjective necessary? Give an example of nonempty subsets $A$ and $B$
of $mathbb{R}$, a weakly increasing function $f : A rightarrow B$, and a largest element $M$ of $A$ such that $f(M)$ is not a
largest element of $B$.







real-analysis functions






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 22 at 17:57









Yadati Kiran

1,350418




1,350418










asked Nov 22 at 17:40









jennifer okonkwo

93




93












  • I've taken the liberty of making some formatting adjustments to your post, fixing the tags, and trying to make the title more helpful. I'm not certain what "a largest element" means. Do you mean "the greatest element," possibly? Also, your questions will be more likely to gain attention if you include your thoughts and efforts, to help us gauge your experience level.
    – Cameron Buie
    Nov 22 at 17:53










  • For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
    – Cameron Buie
    Nov 22 at 17:55










  • Please try to make the titles of your questions more informative. For example, Why does $a<b$ imply $a+c<b+c$? is much more useful for other users than A question about inequality. From How can I ask a good question?: Make your title as descriptive as possible. In many cases one can actually phrase the title as the question, at least in such a way so as to be comprehensible to an expert reader. You can find more tips for choosing a good title here. Welcome to Math.SE!
    – Cameron Buie
    Nov 22 at 17:55


















  • I've taken the liberty of making some formatting adjustments to your post, fixing the tags, and trying to make the title more helpful. I'm not certain what "a largest element" means. Do you mean "the greatest element," possibly? Also, your questions will be more likely to gain attention if you include your thoughts and efforts, to help us gauge your experience level.
    – Cameron Buie
    Nov 22 at 17:53










  • For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
    – Cameron Buie
    Nov 22 at 17:55










  • Please try to make the titles of your questions more informative. For example, Why does $a<b$ imply $a+c<b+c$? is much more useful for other users than A question about inequality. From How can I ask a good question?: Make your title as descriptive as possible. In many cases one can actually phrase the title as the question, at least in such a way so as to be comprehensible to an expert reader. You can find more tips for choosing a good title here. Welcome to Math.SE!
    – Cameron Buie
    Nov 22 at 17:55
















I've taken the liberty of making some formatting adjustments to your post, fixing the tags, and trying to make the title more helpful. I'm not certain what "a largest element" means. Do you mean "the greatest element," possibly? Also, your questions will be more likely to gain attention if you include your thoughts and efforts, to help us gauge your experience level.
– Cameron Buie
Nov 22 at 17:53




I've taken the liberty of making some formatting adjustments to your post, fixing the tags, and trying to make the title more helpful. I'm not certain what "a largest element" means. Do you mean "the greatest element," possibly? Also, your questions will be more likely to gain attention if you include your thoughts and efforts, to help us gauge your experience level.
– Cameron Buie
Nov 22 at 17:53












For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
– Cameron Buie
Nov 22 at 17:55




For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
– Cameron Buie
Nov 22 at 17:55












Please try to make the titles of your questions more informative. For example, Why does $a<b$ imply $a+c<b+c$? is much more useful for other users than A question about inequality. From How can I ask a good question?: Make your title as descriptive as possible. In many cases one can actually phrase the title as the question, at least in such a way so as to be comprehensible to an expert reader. You can find more tips for choosing a good title here. Welcome to Math.SE!
– Cameron Buie
Nov 22 at 17:55




Please try to make the titles of your questions more informative. For example, Why does $a<b$ imply $a+c<b+c$? is much more useful for other users than A question about inequality. From How can I ask a good question?: Make your title as descriptive as possible. In many cases one can actually phrase the title as the question, at least in such a way so as to be comprehensible to an expert reader. You can find more tips for choosing a good title here. Welcome to Math.SE!
– Cameron Buie
Nov 22 at 17:55










1 Answer
1






active

oldest

votes

















up vote
1
down vote













Counter-example in (ii):
Let $A={0}$ and $B={0,1}$. Define $f:Arightarrow B$ by $f(0)=0$. Clearly, $A,B$ are non-empty subsets of $mathbb{R}$ and $f$ is "weaking increasing". Moreover $0$ is the largest element of $A$. However, $f(0)=0$ is not the largest element of $B$.



//////////////////////////////////



To prove (i). Let $yin B$. Since $f$ is surjective, there exists $xin A$ such that $f(x)=y$. Now $xleq M$, so $y=f(x)leq f(M)$. This shows that $f(M)$ is the largest element in $B$.






share|cite|improve this answer





















    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',
    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%2f3009405%2fgiven-f-a-rightarrow-b-forall-a-1-a-2-in-a-a-1-leq-a-2-implies%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








    up vote
    1
    down vote













    Counter-example in (ii):
    Let $A={0}$ and $B={0,1}$. Define $f:Arightarrow B$ by $f(0)=0$. Clearly, $A,B$ are non-empty subsets of $mathbb{R}$ and $f$ is "weaking increasing". Moreover $0$ is the largest element of $A$. However, $f(0)=0$ is not the largest element of $B$.



    //////////////////////////////////



    To prove (i). Let $yin B$. Since $f$ is surjective, there exists $xin A$ such that $f(x)=y$. Now $xleq M$, so $y=f(x)leq f(M)$. This shows that $f(M)$ is the largest element in $B$.






    share|cite|improve this answer

























      up vote
      1
      down vote













      Counter-example in (ii):
      Let $A={0}$ and $B={0,1}$. Define $f:Arightarrow B$ by $f(0)=0$. Clearly, $A,B$ are non-empty subsets of $mathbb{R}$ and $f$ is "weaking increasing". Moreover $0$ is the largest element of $A$. However, $f(0)=0$ is not the largest element of $B$.



      //////////////////////////////////



      To prove (i). Let $yin B$. Since $f$ is surjective, there exists $xin A$ such that $f(x)=y$. Now $xleq M$, so $y=f(x)leq f(M)$. This shows that $f(M)$ is the largest element in $B$.






      share|cite|improve this answer























        up vote
        1
        down vote










        up vote
        1
        down vote









        Counter-example in (ii):
        Let $A={0}$ and $B={0,1}$. Define $f:Arightarrow B$ by $f(0)=0$. Clearly, $A,B$ are non-empty subsets of $mathbb{R}$ and $f$ is "weaking increasing". Moreover $0$ is the largest element of $A$. However, $f(0)=0$ is not the largest element of $B$.



        //////////////////////////////////



        To prove (i). Let $yin B$. Since $f$ is surjective, there exists $xin A$ such that $f(x)=y$. Now $xleq M$, so $y=f(x)leq f(M)$. This shows that $f(M)$ is the largest element in $B$.






        share|cite|improve this answer












        Counter-example in (ii):
        Let $A={0}$ and $B={0,1}$. Define $f:Arightarrow B$ by $f(0)=0$. Clearly, $A,B$ are non-empty subsets of $mathbb{R}$ and $f$ is "weaking increasing". Moreover $0$ is the largest element of $A$. However, $f(0)=0$ is not the largest element of $B$.



        //////////////////////////////////



        To prove (i). Let $yin B$. Since $f$ is surjective, there exists $xin A$ such that $f(x)=y$. Now $xleq M$, so $y=f(x)leq f(M)$. This shows that $f(M)$ is the largest element in $B$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 22 at 17:51









        Danny Pak-Keung Chan

        2,11038




        2,11038






























            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.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


            • 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.


            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%2f3009405%2fgiven-f-a-rightarrow-b-forall-a-1-a-2-in-a-a-1-leq-a-2-implies%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

            Quarter-circle Tiles

            build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

            Mont Emei