I am reading in a real analysis text about the definition of exponentiation when the exponent is real.
I have at my disposal all the properties of natural/integer/rational exponentiation and the definition of real exponentiation, which is as follows.
If $a\in\mathbb{R}^+$ and $x\in\mathbb{R}$ we define $$a^x:=\begin{cases}\sup\{a^r:r\in\mathbb{Q}, r<x\}=\inf\{a^s:s\in\mathbb{Q},s>x\} & \text{ if }a\geq 1\\ \inf\{a^r:r\in\mathbb{Q}, r<x\}=\sup\{a^s:s\in\mathbb{Q},s>x\} & \text{ if }0<a\leq 1\end{cases}.$$
Now I am trying to prove that the usual properties of exponentiation hold; in particular, I am currently trying to prove that if $a,b,x\in\mathbb{R}^+$ and $a<b$ then $a^x<b^x$.
I have been able to prove that if $0<a<b$ and $x\in\mathbb{R}^+$ then $a^x\leq b^x$ as follows.
$\fbox{Suppose $1\leq a<b.$}$ Then if we take $\varepsilon>0$ by definition we know that there exist $r,r'\in\mathbb{Q}$ such that $r<x, r'<x$, $a^x-\varepsilon<a^r\leq a^x$ and $b^x-\varepsilon<b^{r'}\leq b^x$ so if we set $\rho=\max\{r,r'\}$ we have $a^x-\varepsilon<a^\rho\leq a^x$ and $b^x-\varepsilon<b^\rho\leq b^x$ hence $0<b^\rho-a^\rho<b^x-a^x+\varepsilon$, where the first inequality follows from the properties of rational exponentiation. In particular $0<b^x-a^x+\varepsilon$. This last inequality implies, due to the arbitrariness of $\varepsilon>0$, that $0\leq b^x-a^x$ i.e. $a^x\leq b^x$.
$\fbox{Suppose now $a<b\leq 1.$}$ Then if we take $\varepsilon>0$ by definition we know that there exist $s,s'\in\mathbb{Q}$ such that $x<s$, $x<s'$, $a^s-\varepsilon<a^s\leq a^x$ and $b^{s'}-\varepsilon<b^{s'}\leq b^x$ so if we set $\rho=\max\{s,s'\}$ we have $a^s-\varepsilon<a^\rho\leq a^x$ and $b^{s'}-\varepsilon<b^\rho\leq b^x$ hence $0<b^\rho-a^\rho<b^x-a^x+\varepsilon$, where the first inequality follows from the properties of rational exponentiation. In particular $0<b^x-a^x+\varepsilon$. This last inequality implies, due to the arbitrariness of $\varepsilon>0$, that $0<b^x-a^x$ i.e. $a^x\leq b^x$.
$\fbox{Suppose lastly that $a<1<b.$}$ Then if we take $\varepsilon>0$ by definition we know that there exist $s,s'\in\mathbb{Q}$ such that $x<s$, $x<s'$, $a^x-\frac{\varepsilon}{2}<a^s\leq a^x$ and $b^x\leq b^{s'}< b^x+\frac{\varepsilon}{2}$ hence $0<b^{s'}-b^s<b^x-a^x+\varepsilon$ and due to the arbitrariness of $\varepsilon>0$ it follows that $0\leq b^x-a^x$ i.e. $a^x\leq b^x.$
What I haven't been able to prove is the strict inequality $a^x<b^x$ so I would be grateful if someone would give me an hint about how to prove this fact. Thanks.