# Monotone function: exercises

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.

## Partial monotonicity

A two argument function \(f : P \times A \to Q\) is called *partially 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(a, p_1) \leq_Q f(a, p_2)\). Likewise a 2-argument function \(f : A \times P \to Q\) is called *partially 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(p_1, a) \leq_Q f(p_2, a)\).

Let \(P, Q, R\), and \(S\) be posets, and let \(f : P \times Q \to R\) be a function that is partially 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 partially monotone in both arguments. Also, list all of the commonly used two argument functions you can think of that are partially monotone in one argument and partially antitone in the other.

Parents:

- Monotone function
An order-preserving map between posets.