Ordinal utility and monotonic transformations If u(x) is an ordinal utility function that represents the (weak) preference relation R, then
(a) any strictly monotonic transformation of u(x) also represents $R$, or
(b) any monotonic transformation of u(x) also represents $R$.
Which is the right proposition, (a) or (b)?

I thought that (b) is the right answer, but when I looked up various online sources I found both definitions, so I'm no longer sure.
I thought (a) cannot be right, because the condition for a monotonic transformation is usually formulated as a conditional: F is a strictly monotonic transformation of u if the following holds: (1) if $u(x)&gt;u(y)$, then $F(u(x))&gt;F(u(y))$. But that doesn't deal with the case (2) $u(x)=u(y)$, which represents xIy. Wouldn't $F(u(x))&gt;F(u(y))$ be compatible with (1) and (2), but represent xPy? Thinking about it, however, it seems that the same as (1) with &quot;greater than or equal&quot; wouldn't do it either. Are the monotonicity conditions formulated as biconditionals? I'm confused.
You need to be clear about the definitions. Lets take:

(1) $u: X \to \mathbb{R}$ represents $\succsim$ if $u(x) \geq u(y) \iff x \succsim y$.

(2) A function $h: \mathbb{R} \to \mathbb{R}$ is monotone if $z \geq w \implies h(z) \geq h(w)$. $h$ is strictly monotone if $z &gt; w \implies h(z) &gt; h(w)$.

First, note that every strictly monotone function is monotone. Why? Well let $z \geq w$, and there are two cases to check: (i) $z &gt; w$: apply the definition; (ii) $z = w$: then $h(z) = h(w)$ by the definition of equality (this is because $\mathbb{R}$ is a totally ordered set). 

So immediately, we see that your condition (b) implies your condition (a). However, (b) is false (I do not understand Kanak's line of reasoning, but it is certainly wrong, although perhaps can be rationalized by non-standard definitions). To show that it is wrong, we need a counter example. Lets let $X = \{x,y\}$ and let $x \succ y$. Then $u(x) = 1$ and $u(y) = 0$ represents $\succsim$. Moreover, $h: z \mapsto 0$ is a monotone transformation. But, $h(u(x)) = h(u(y)) = 0$ does not.

Indeed, this example shows that it is weakly monotone transformations that destroy information (they need not be invertible), which in terms of the representation, indicates that strict preference gets collapsed into weak inequality. 

Showing that (a) holds is a straightforward application of the definitions. (Hint: show that strict monotonicity can be defined via a bi-conditional statement).