0
$\begingroup$

Let $A, B, C$ be nonempty sets with total order. and let $f\colon A \rightarrow B$ and $g\colon B \rightarrow C$ be maps. Prove these statements:

a) If $f, g$ are antitone, then $g \circ f$ is isotone
b) If $f, g$ are strictly isotone, then $g \circ f$ is injective
c) If $f, g$ are injective, then $g \circ f$ strictly is isotone

I am stuck now not knowing where and with what to start. I started like this:

$f\text{ is antitone} \quad:\Longleftrightarrow\quad x
$g\text{ is antitone} \quad:\Longleftrightarrow\quad x

... I don't know how to show that $g \circ f$ is isotone. :(

Can someone help me please with all these?

Thanks a lot.

1 Answers 1

1

All you have to do is plug in the immediate definitions:

a) Let $x,y\in A$ with $x\le y$ be given. Then $f(y)\le f(x)$ because $f$ is antitone and thus $g(f(x))\le g(f(y))$ because $g$ is antotone. Thus $x\le y$ implies $(g\circ f)(x)\le (g\circ f)(y)$, which is the very definition of $g\circ f$ is isotone".

b) You may already know that the condition implies that $g\circ f $ is strictly isotone. And that every strictly isotone map is injective.

c) I assume you are rather expected to exhibit a simple counterexample instead of proviing this obviously wrong statement? Let $A=B=C=\{0,1,2\}$, $f(x)=x+1\mod 3$, $g(x)=x$. Then both $f$ and $g$ are injective, but their composition (which is just $f$) is neither iso- nor antitone.

  • 0
    Hagen, i am coming back to your answer. we have here $g: B \rightarrow C$. why we say $g(f(x))\le g(f(y))$? this has nothing to do with our original $g$ function. :(2013-02-03