=?Windows-1252?Q?Re:_fun=E7=F5es_totais_e_parciais?=

["Jose Paulo Carneiro" <jpqc@xxxxxxxxxxxxx>]

Eu nunca ouvi falar desta nomenclatura.
No entanto, ha uns 30 anos atras, alguns autores, principalmente de lingua
francesa, faziam uma distincao entre "funcao de A em B" (que eh a nossa
funcao usual, com dominio A), e "funcao de A para B" (que seria uma funcao
de uma parte de A em B). Alias, a distincao ja comecava em relacoes em
geral. Creio que isto se originava do calhama,co de Algebra do Roger
Godement. Mas parece que esta nomenclatura "nao pegou".
JP

----- Original Message -----
From: Eric Campos Bastos Guedes <mathfire@ig.com.br>
To: Obm-L <obm-l@mat.puc-rio.br>
Sent: Friday, May 04, 2001 11:45 AM
Subject: funções totais e parciais


> 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.
>
>