<p>Sono perfettamente d'accordo con Andrea Centomo che usare il termine "funzione" per una relazione che ad ogni elemento del dominio associa al più un elemento del codominio, è una scelta discutibile. L'esempio riportato da Andrea mostra chiaramente le difficoltà a cui si può andare incontro. Io preferisco adottare il termine "funzione parziale" per le relazioni che sono definite su un sottoinsieme del dominio. In particolare, una funzione (o "funzione totale") è una funzione parziale in cui l'insieme di definizione coincide esattamente con il dominio. Dominio e codominio fanno parte della specifica di ogni relazione, naturalmente.</p>
<p>Saluti,</p>
<p>Mario Puppi<br /></p>
<blockquote>----Messaggio originale----<br />Da: acentomo@libero.it<br />Data: 01/07/2009 8.24<br />A: <w.maraschini@tiscali.it>, "Lista di discussione sul software matematico"<cabrinews@liste.keynes.scuole.bo.it><br />Ogg: [Cabrinews] R: Re: R: Re: Osservatorio esami di stato<br /><br />
<p> </p>
<blockquote>
<div><span style="font-size: 12pt; font-family: 'Times New Roman';"><span style="font-family: Arial; font-size: x-small;">Scrive tuttavia (su Cabrinews) Andrea Centomo:</span></span></div>
<div> </div>
<div><span style="font-family: Arial; font-size: x-small;"><em>"<br />Secondo me Maraschini ragiona così:<br /><br />siano A={1,2,3,4} B={a,b,c}<br /><br />Costruisco f così (non mi piace ma ...)<br /><br />1 va in a, <br />2 va in b, <br />3 va in c, <br />4 non ha <br />corrispondente.<br /><br />Insieme di definizione D={1,2,3}.<br /><br />Quindi f:D -> B è iniettiva <br />... ma *NON* f:A ->B iniettiva!<br /><br /></em></span></div>
<div><span style="font-family: Arial; font-size: x-small;">Poiché Maraschini è vivo (sono io!), non ha bisogno di interpreti o commentatori, né pretende averli, copio qui quanto ho già scritto sulla lista fondanimat, scusandomi con tutti quelli (parecchi!) che partecipano ad ambedue le liste e avranno già letto queste riflessioni.</span></div>
<div>
<blockquote><br /></blockquote>
<blockquote>Per non avere commentatori o interpreti forse bisognerebbe non scrivere ma visto che hai scritto un libro e che dalla lettura del tuo libro qualcuno ha capito che esiste una funzione iniettiva da A={1,2,3,4} in B={a,b,c} non puoi pensare che tutti stiano zitti perché sei vivo!</blockquote>
<blockquote>Quanto al resto io sono affezionato a Cabrinews.</blockquote>
<blockquote>Capisco che la piega che ha preso la lista non va nella sua direzione primigenia relativa al software ma in cabrinews sono sempre state postate molte discussioni interessanti sulla matematica e spero che così continui!<br /></blockquote>
<blockquote>Saluti</blockquote>
<blockquote>Andrea Centomo<br /></blockquote>
</div>
<div><br /></div>
<div><br /></div>
<div><br /></div>
</blockquote>
<p> </p>
<br /></blockquote>
<p> </p>