Una seconda domanda sulle funzioni

[cataldz]

Volevo nel frattempo disturbarvi per una secodna questione simile a prima.

volevo mostrare questo

1) $forall x_1,x_2, (x_1=x_2 =>f(x_1)=f(x_2))$ => 2) $forallx in X ∃! y in T : y=f(x)$

mia soluzione:

se non vale 2) => non vale 1 quindi:
HP: $f(x_1)!=f(x_2)$ e $x_1=x_2$

ora:se valesse 2) avrei che $x1=x2=x$ quindi deve esistere unico $y=f(x1)=f(x2)=f(x)$ però per ipotesi $f(x1)!=f(x2)$abbiamo detto il che è assurdo. CVD

E' corretto? vi ringrazio moltissimo!

[e3353cdc139f9576d1418ef5ef3cff2aac614a86]

[xdom="Martino"]Siccome è la stessa domanda che hai posto qui, chiudo questo argomento. Per favore cerca di non aprire più di un argomento per parlare di una stessa cosa, grazie.[/xdom]