=?Windows-1252?Q?fun=E7=F5es_totais_e_parciais?=

["Eric Campos Bastos Guedes" <mathfire@xxxxxxxxx>]

Ol� para todos

Gostaria de saber se algu�m da lista conhece os conceitos de fun��o total e
fun��o parcial.  Tenho para mim que "uma fun��o (total) � uma rela��o
bin�ria na qual cada elemento do conjunto de partida est� associado a um
�nico elemento do conjunto de chegada", isto �, a defini��o de fun��o total
seria simplesmente a defini��o de fun��o que todos conhecem.

Por outro lado, segundo o que certa vez me explicaram:

"Uma fun��o de A em B � uma representa��o de elementos de C contido A por
elementos de B, onde cada elemento de C admite uma �nica representa��o em B.
Quando A = C, isto �, quando todo elemento de A tem um representante em B a
fun��o � dita fun��o total. Quando C est� contido propriamente em A, a
fun��o � dita fun��o parcial"

Assim, por exemplo, a rela��o bin�ria {(1,y),(3,z)} seria uma fun��o parcial
de {1,2,3} em {x,y,z}, mas n�o seria fun��o total.

Gostaria que me esclarecessem se esses conceitos que fa�o de fun��es
parciais e totais est� certo.

Desde j� agrade�o.

Eric.