ZfreS ha scritto:puoi passarmi qualche link dove è riportata tale dimostrazione?
Credo che qualsiasi libro di matematica (universitario, ovvio) dove sia introdotta un po' di teoria
naive degli insiemi dica cos'è una funzione.
Considera \( \mathbb{R} \) con le usuali operazioni di addizione \( {+}\colon\mathbb{R}\times\mathbb{R}\to\mathbb{R} \) e di moltiplicazione; presi due elementi \( a \) e \( b \) reali, se \( a=b \) allora \( a+c=b+c \) poiché
in primis le coppie \( (a,c) \) e \( (b,c) \) sono uguali
1. Inoltre \( {+} \) è una funzione, e ciò garantisce che ad un determinato
input corrisponda un unico valore.
Ho visto una volta un post su MSE dove si parlava di questa cosa. Non lo trovo più però.