Re: Chi tace *non* acconsente

From: Stefano Gemma <stefano.niente.spam_at_millesimo.com>
Date: Sat, 11 Dec 2004 19:48:17 +0100

"Roberto Anglani" <roberto.anglani_at_LEVAQUESTOlibero.it> ha scritto nel
messaggio news:OCFud.37226$C94.17810_at_tornado.fastwebnet.it...
[...]
> Def(1.4) EQUIVALENZA
> Si dice che *r* � una *relazione d'equivalenza* in A
> [e indicheremo *a~b* l'equivalenza tra due elementi a e b di A]
> se verifica, "per ogni a,b,c appartenenti ad A", le propriet�:
> i) *riflessiva*: a~a
> ii) *simmetrica*: a~b --> b~a
> iii) *transitiva*: a~b e b~c --> a~c
[...]
> Def(1.5) FUNZIONE
> Una *funzione* da A(insieme di partenza) a B(insieme di arrivo)
> � una *relazione* nell'insieme A(x)B
> che soddisfa la prop seguente:
> "per ogni a appartenente ad A esiste *uno ed un solo* b appartenente a B
> che sia in relazione con a"

> 1) Il concetto di *funzione riflessiva* non lo conosco. O forse non mi �
> chiaro.

Se una funzione � una relazione (di equivalenza) e le relazioni (di
equivalenza) possono essere riflessive => abbiamo funzioni che possono
essere riflessive. Quindi una "funzione riflessiva" � una relazione di
equivalenza di tipo funzione che gode della propriet� riflessiva delle
relazioni di equivalenza. Ovvio che deve essere A=B, per poter valere la
riflessivit�.

Per il resto che ho scritto, ho confuso la propriet� "riflessiva" con
"simmetria"... ma forse non sono stato l'unico ;))))

Stefano

PS: grazie per le definizioni, non le ricordavo proprio pi�... ma mi si sono
riaccesi alcuni neuroni, spenti da anni ;)))))
Received on Sat Dec 11 2004 - 19:48:17 CET