Ho letto che per definire in modo formale la di somma X + Y di due insiemi si fa riferimento a due funzioni, chiamate inniezioni, così definite
Ix : X --> X+Y (funzione inniezione di X che va da X a X+Y)
Iy : Y --> X+Y (funzione inniezione di Y che va da Y a X+Y)
Tali funzioni soddisfano le seguenti proprietà :
$AA$ insieme $Z$ e $AA$ di coppia funzioni $f$ e $g$ con le seguenti caratteristiche
f : X --> Z
g : Y --> Z
esiste una e una sola funzione
(f g) : X+Y-->Z
tale che la composizione con le inniezioni determini le funzioni $f$ e $g$ ovvero
(f g) Ix =f ( composizione di Ix con (f g) )
(f g) Iy=g ( composizione di Iy con (f g) )
Non ho capito l'utlità di queste funzioni, Qualcuno potrebbe chiarirmi le idee?
Grazie a Tutti!
Teo
