I am reading MWG's explanation in Chapter 3 when showing continuous preference relation implies the existence of continuous utility function.
First, the authors show $u(.)$ is continuous by using the definition that the image under $u(.)$ of a convergent sequence is convergent. Consider a sequences $x_n\rightarrow x$. They first claim that $u(x_n)$ must have a convergent subsequence.
I understand the big picture: Since $x_n$ converges to x, for some large N, $u(x_n)$ must all lie in some compact set, and any infinite sequence in a compact set must have a convergent subsequence.
The part I am having trouble is when they use monotonicity to show this compact set. The exact excerpt is:
"By monotonicity, for any $\epsilon>0$, $\alpha(x')$ lies in a compact subset of $\mathbb{R_+}$, [$\alpha_0,\alpha_1$], for all $x'$ such that $\parallel x'-x\parallel$$\leq0$."
Here I used $u(.)$ and $\alpha(.)$ interchangeably to represent the utility function. Can somebody elaborate the above claim just little more in detail please?
I understand monotonicity implies local nonsatiation, hence, in any given small ball, you always have some bundle that you prefer that to x. Part of my confusion comes from the Figure they present, which is they put the bundle x on the indifference curve ($\{y\in X:y\sim x$}). But isn't $\alpha(x')$ on the diagnoal line Z?
Please help. Thank you.