Uma outra forma de consideramos n-tuplas sobre um conjunto X eh como uma funcao
de {1,2...n} em X. O conjunto das n-tuplas formadas por elementos de X eh o
conjunto de todas as funcoes de {1,2n} em X. Isto vale inclusive para o
conjunto dos naturias {1,2,3,...n, ..}, que origina o
A logica e que a cada par ordenado corresponde um e somente um dos conjuntos
citados. Os pares sao identificadis com a colecao de conjuntos.,
-Mensagem original-
De: owner-ob...@mat.puc-rio.br [mailto:owner-ob...@mat.puc-rio.br]em nome de
Henrique Rennó
Enviada em: quarta-feira, 7 de
Do ponto de vista formal, o par ordenado (a, b) é representado pela coleção
{{a}, {a, b}}. Veja que isto garante que (a, b) seja diferente de (b, a), pois
(a, b) = {{a}, {a, b}} e (b,a) = {{b}, {a, b}}. Mas isto é uma formalidade.
Duvido que o mais purista dos matemáticos pense desta forma
3 matches
Mail list logo