Dimostrazione funzione inversa biiettiva

[Aletzunny]

Sia $f:A->B$ una funzione biettiva, dimostrare che anche $f^(-1)$ è biiettiva.

Ho scritto le ipotesi:
$\{(a1f=a2f),(a1=a2),(af=b):}$

E la tesi:
$\{(b1f=b2f),(bf=a),(b1=b2):}$

Però non riesco a scrivere la dimostrazione in modo tale da arrivare alla tesi.
Potete aiutarmi?
Grazie

[Bokonon]

Cosa ti ho detto la volta scorsa?
Parti dalle definizioni
E poi usa notazioni standard. Data una funzione $f(x)=y$ prendi un elemento del dominio $x_n$ e lo associ ad un elemento dell'immagine $y_n$.
Una volta che avrai studiato la definizione, ti sarà chiaro anche cosa vuoi provare.

[Aletzunny]

Cosa ti ho detto la volta scorsa?
Parti dalle definizioni
E poi usa notazioni standard. Data una funzione $f(x)=y$ prendi un elemento del dominio $x_n$ e lo associ ad un elemento dell'immagine $y_n$.
Una volta che avrai studiato la definizione, ti sarà chiaro anche cosa vuoi provare.

Le definizioni di funzione infettiva e suriettiva le ho studiate e le so...tanto che le ho scritte nelle ipotesi...
Non ho mai fatto dimostrazioni così e non so come muovermi...
Una volta associato cosa mi cambia?

[Aletzunny]

Magari con una dimostrazione fatta bene riesco a capire il ragionamento che sta dietro a queste dimostrazioni

[Bokonon]

Tutto ciò che hai scritto (in malo modo) è una conseguenza della definizione:

Se una funzione f è iniettiva e $f(x_0)=y_0$ e $f(x_1)=y_0$ allora $x_0=x_1$
Dici di aver capito le definizioni ma non scrivi che una funzione biettiva deve essere al contempo iniettiva e suriettiva. Lo trovi scontato?
E la suriettività?
E cosa mi sai dire su immagine e codominio?

[Aletzunny]

Dato $f:A->B$ diciamo che $f$ è iniettiva se comunque scelti due elementi diversi e diversi da zero dall'insieme di partenza si ha che $a1f≠a2f$

Dato $f:A->B$ diciamo che è suriettiva se per ogni $b$ appartenente a $B$ esiste almeno un $a$ appartenente ad $A$ tale che $af=b$

dato $f:A->B$ diciamo che è biiettiva se e solo se è sia iniettiva sia suriettiva.

Queste sono le definizioni su cui ho studiato però non riesco a capire come dimostrare la richiesta dell'esercizio...

[Aletzunny]

Se puoi aiutarmi mi faresti solo che un grande piacere...io l'impegno l'ho messo... però non so come venirne a una

[Aletzunny]

Nessun altro riesci a darmi uno spunto/aiuto?
Grazie

[Bokonon]

Ti sto aiutando.
Hai appena scritto le definizioni, usale.

L'iniettività ti assicura che ogni singolo elemento di A è "collegato" ad un singolo elemento di B. Pertanto l'immagine coincide con l'intero codominio. Non esistono elementi di B che non siano immagine della funzione.
Visto che è anche suriettiva, ogni elemento di B ha almeno un elemento in A: per la precisione non può averne più di uno, perchè altrimenti se $f^(-1)(b)=a_1$ e $f^(-1)(b)=a_2$ allora $f(a)=b_1=b_2$ il che violerebbe l'iniettività di f. Quindi $f^(-1)$ è a sua volta iniettiva. Scrivi tutto questo formalmente e poi dimostra che $f^(-1)$ è anche suriettiva ed hai finito.

[Aletzunny]

Grazie mille...domani mattina a mente fresca provo a scriverla...e a dimostrare la suriettivitá