Order Isomorphism/Examples

From ProofWiki
Jump to navigation Jump to search

Examples of Order Isomorphisms

Real Arctangent Function

The real arctangent function $\arctan$ is an order isomorphism between the set of real numbers $\R$ and the open real interval $\openint {-\dfrac \pi 2} {\dfrac \pi 2}$ under the usual ordering.