The order in (1) is known as the lexicographic order on $\Bbb N\times\Bbb N$ and is actually a total order. To show that it’s antisymmetric, suppose that $\langle m_1,n_1\rangle\le\langle m_2,n_2\rangle$ and $\langle m_2,n_2\rangle\le\langle m_1,n_1\rangle$.
- Since $\langle m_1,n_1\rangle\le\langle m_2,n_2\rangle$, we know that either $m_1<m_2$, or $m_1=m_2$ and $n_1\le n_2$.
- Since $\langle m_2,n_2\rangle\le\langle m_1,n_1\rangle$, we know that either $m_2<m_1$, or $m_2=m_1$ and $n_2\le n_1$.
We cannot have $m_1<m_2$: that would imply that $m_2\not<m_1$ and $m_2\ne m_1$, contradicting (2). Thus, $m_1=m_2$, and $n_1\le n_2$. And from (2) we can then see that $n_2\le n_1$ as well, since $m_2=m_1$. Finally, the usual order on $\Bbb N$ is antisymmetric, so $n_1\le n_2$ and $n_2\le n_1$ imply that $n_1=n_2$. We’ve now shown that $m_1=m_2$ and $n_1=n_2$, i.e., that $\langle m_1,n_1\rangle=\langle m_2,n_2\rangle$, as desired.
In the second problem you’re given a transitive relation $<$ on some set $X$, and you’re further told that $<$ has the trichotomy property: for any $x,y\in X$, exactly one of the statements $x<y$, $x=y$, and $y<x$ is true. Now you’re to define a new relation, $\le$, on $X$ by setting $x\le y$ if and only if either $x<y$ or $x=y$. Finally, you’re to prove that this new relation $\le$ is a total order.
To do this you must show that $\le$ is reflexive, antisymmetric, transitive, and total. Reflexivity and transitivity are pretty straightforward, and I’ll leave them to you. For antisymmetry, suppose that $x\le y$ and $y\le x$. Since $x\le y$, we know that either $x<y$ or $x=y$. Suppose that $x\ne y$. Then $x<y$, and by the trichotomy property we know that it is not the case that $y<x$. But then we have $y\not<x$ and $y\ne x$, so be definition it’s not the case that $y\le x$. This contradiction shows that we cannot have $x\ne y$ and hence that $x=y$, as desired. Finally, to show that $\le$ is total, use trichotomy again: for any $x,y\in X$, either $x<y$, in which case $x\le y$; or $x=y$, in which case $x\le y$; or $y<x$, in which case $y\le x$.
This exercise shows how you can turn any so-called strict linear (or total) order $<$ on a set $X$ into an ordinary total order $\le$ in such a way that the $\le$ symbol has the obvious, expected meaning.
This is just the opposite of the previous problem: starting with a total order $\le$ on $X$, turn it into a strict linear order by ‘throwing away the equals part of it’. That is, given the total order $\le$ on $X$, define a new relation $<$ on $X$ by $x<y$ if and only if $x\le y$ and $x\ne y$. Now you’re to show that this new relation is transitive and has the trichotomy property: for any $x,y\in X$, exactly one of $x<y$, $x=y$, and $y<x$ holds. Proving transitivity is very straightforward, and I’ll leave it to you. Trichotomy isn’t much harder, but you do have to check two things: you must show that for any $x,y\in X$ at least one of $x<y$, $x=y$, and $y<x$ holds, and you must also show that it’s never the case that more than one holds. To see, for example, that it’s not possible to have both $x<y$ and $y<x$, note that $x<y$ implies that $x\le y$, and $y<x$ implies that $y\le x$. The relation $\le$ is antisymmetric, so $x=y$. But then by definition $x\not<y$, and we have a contradiction. I’ll leave the rest to you, but feel free to ask for help if you get stuck.
You want to show that if $\langle A,\le\rangle$ is a partial order that satisfies the law of trichotomy, then $\le$ is a total order on $A$. You need to focus on the goal of showing that $\le$ totally orders $A$: you need to show that for any $a,b\in A$, either $a\le b$, or $b<a$. You should therefore be starting with arbitrary $a,b\in A$, period: there’s no need to specify that exactly one of $a<b$, $a=b$, or $b<a$ holds, because that’s built into the assumption that $\langle A,\le\rangle$ satisfies the trichotomy law.
Now simply apply trichotomy to $a$ and $b$. If $a<b$ or $a=b$, then certainly $a\le b$. The only remaining possibility is that $b<a$. Thus, in every case either $a\le b$, or $b<a$. Since $a$ and $b$ were arbitrary elements of $A$, this shows that $\langle A,\le\rangle$ is a total order. That’s all there is to it.
Best Answer
They do follow from the fact that $\preceq$ is a total ordering, but there’s a bit of work to be done in order to show that they do.
You’re being asked to show two things. The first is that $\prec$ is transitive, i.e., that if $x,y,z\in X$ and $x\prec y\prec z$, then $x\prec z$. That $x\preceq z$ is immediate from the transitivity of $\preceq$, but you still have to show that $x\ne z$, which isn’t quite trivial.
The second is that for each $x,y\in X$, exactly one of $x\prec y$, $x=y$, and $y\prec x$ holds. You know that either $x\preceq y$ or $y\preceq x$. If $x\preceq y$, then either $x\ne y$, in which case $x\prec y$ by definition, and it’s easy to verify that $y\not\prec x$, or $x=y$, in which case by definition $x\not\prec y$ and $y\not\prec x$. Finishing it off is just more of the same sort of reasoning.