Você pode ter triplas, quadruplas, etc. vistas como funções (e.g., <1,2,3> ou <<1,2>,3> significando f(1,2)=3 ou f(1)(2)=3)? Neste caso, eu diria que o conjunto é uma espécie de função de aridade variável. Em particular constantes (e.g., 7) são funções de 0 argumentos.
Carlos Prolo On Thu, 5 Dec 2013 11:07:02 -0200, Arthur Buchsbaum <[email protected]> wrote: > 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 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
