Teorema: Se una funzione Γ¨ crescente (o decrescente), allora ammette funzione inversa che risulta crescente (o decrescente). Ipotesi: π crescente: βπ₯1 , π₯2 β π΄, πππ π₯1 < π₯2 βΉ π π₯1 < π π₯2 Tesi: π β1 crescente: βπ¦1 , π¦2 β π π΄ , πππ π¦1 < π¦2 βΉ π β1 π¦1 < π β1 π¦2 , ovvero π₯1 < π₯2 .
Dimostrazione: Sia π: π΄ β π π΄ una funzione crescente. Per ammettere funzione inversa essa deve essere biunivoca, infatti si ha: ο·
π Γ¨ iniettiva, in quanto, per definizione di funzione crescente, si ha che: βπ₯1 , π₯2 β π΄, πππ π₯1 < π₯2 βΉ π π₯1 < π π₯2 ed Γ¨ facile notare come una funzione crescente sia iniettiva, perchΓ© ad ogni elemento di π΄ associa uno e un solo elemento di π π΄ ;
ο·
π Γ¨ suriettiva da π΄ in π π΄ , per definizione di funzione suriettiva.
Essendo π una biiezione tra π΄ ed π π΄ , essa Γ¨ invertibile. Proviamo adesso che la funzione π β1 Γ¨ anchβessa crescente. Siano π¦1 , π¦2 β π π΄ e siano π₯1 = π β1 π¦1 e π₯2 = π β1 π¦2 . Da π¦1 < π¦2 deve necessariamente discendere che π₯1 = π β1 π¦1 < π β1 π¦2 = π₯2 , ovvero che π β1 Γ¨ crescente. Infatti se per assurdo fosse π₯1 β₯ π₯2 , essendo la π crescente, si avrebbe π π₯1 β₯ π π₯2 , ovvero π¦1 β₯ π¦2 . CiΓ² contraddice lβipotesi π¦1 < π¦2 .
Erasmo
www.matematica.blogscuola.it