EDB — 21P

Esercizi

1. [21P]Dati due insiemi non vuoti totalmente ordinati $(X,{\le }_X)$ e $(Y,{\le }_Y)$, supponiamo che esista una funzione bigettiva monotona strettamente crescente $f:X\to Y$: si mostri che allora la sua inversa $f^{-1}$ è strettamente crescente, e conseguentemente $(X,{\le }_X)$ e $(Y,{\le }_Y)$ sono equiordinati.

   Soluzione 1

   [21T]↺↻