Monotone function examples

Try these exercises and become a deity of monotonicity.

Monotone composition

Let $P, Q$, and $R$ be posets and let $f : P \to Q$ and $g : Q \to R$ be monotone functions. Prove that their composition $g \circ f$ is a monotone function from $P$ to $R$.

Evil twin

Let $P$ and $Q$ be posets. A function $f : P \to Q$ is called antitone if it reverses order: that is, $f$ is antitone whenever $p_1 \leq_P p_2$ implies $f(p_1) \geq_Q f(p_2)$. Prove that the composition of two antitone functions is monotone.

Separate monotonicity

A two argument function $f : P \times A \to Q$ is called separately monotone in the 1st argument whenever $P$ and $Q$ are posets and for all $a \in A$, $p_1 \leq_P p_2$ implies $f(p_1, a) \leq_Q f(p_2, a)$. Likewise a 2-argument function $f : A \times P \to Q$ is called separately monotone in the second argument whenever $P$ and $Q$ are posets and for all $a \in A$, $p_1 \leq_P p_2$ implies $f(a, p_1) \leq_Q f(a, p_2)$.

Let $P, Q, R$, and $S$ be posets, and let $f : P \times Q \to R$ be a function that is separately monotone in both of its arguments. Furthermore, let $g_1 : S \to P$ and $g_2 : S \to Q$ be monotone functions.

Prove that the function $h : S \to R$ defined as $h(s) \doteq f(g_1(s), g_2(s))$ is monotone.

Brain storm

List all of the commonly used two argument functions you can think of that are separately monotone in both arguments. Also, list all of the commonly used two argument functions you can think of that are separately monotone in one argument and partially antitone in the other.