Car@s,
Não posso concordar com o Marcelo, pois na acepção usual "função
parcial" é uma
coleção de pares ordenados. Por exemplo, uma função parcial dos
naturais em 2 = {0, 1} é uma função cujo domínio é um subconjunto dos
naturais, tomando valores em 2.
Como diz o Arthur, "funcional" também não é adequado, pois é, em
particular, uma função, não necessariamente definida sobre funções
(vem à mente o Teorema de Hahn-Banach, por exemplo).
Dito isto, não tenho a menor idéia do que chamar um conjunto como o
Arthur menciona. Em geral, é o contexto no qual este tipo de
construção é usado que
indica a nomenclatura adequada.
Um grande abraço,
Chico Miraglia
Quoting Marcelo Finger <[email protected]>:
Função parcial.
[]s
Marcelo
2013/12/5 Arthur Buchsbaum <[email protected]>:
Caros colegas:
Como denominar uma classe que não necessariamente é relação (isto é, a
mesma pode ter um elemento que não é par ordenado), mas cuja coleção de
seus pares ordenados é uma função?
Por exemplo, considere R = {<5,3>,7,<9,3>,<2,5>}. Considerando que 7 não é
par ordenado, então R não é uma relação, mas o subconjunto
{<5,3>,<9,3>,<2,5>} de R é uma função.
Tenho denominado em aulas classes como R de "funcionais", mas talvez esta
não seja a terminologia mais indicada, visto que algo "funcional" em
matemática seria, se não me engano, uma função cujos argumentos são também
funções.
Att.,
Arthur Buchsbaum
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
--
Marcelo Finger
Departament of Computer Science, IME
University of Sao Paulo
http://www.ime.usp.br/~mfinger
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
