[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [obm-l] Conjuntos



Bem, podemos pensar em coisas assim, so precisa imaginacao.

Por exemplo
a+b=b+a traduz aUb=bUa
a*b=b*a traduz aNb=bNa

A distributiva,

(a+b)c=ab+ac
fica
(aUb)Nc=(aNb)U(aNc)

E da pra fazer tais analogias por ai...


Se vc proivar que da pra mapear os axiomas das duas teorias, bingo!

2006/6/15, Iuri <iurisilvio@gmail.com>:
Certa vez um professor meu comentou sobre existir isomorfismo entre (união e adição) e entre (intersecção e multiplicação), fazendo com que relações de conjuntos pudessem ser expressadas como expressões algebricas. Existe algo desse tipo ou é só um caso particular? Nunca vi demonstração disso...



--
Ideas are bulletproof.

V