EDB — 21P

Esercizi

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

   Soluzione 1

   [21T]↺↻