Só completando...
Apesar de números irracionais serem conhecidos desde a época de Pitágoras
(vide a famosa historinha do pitagórico Hipaso, que supostamente foi
afogado por ter "vazado" o segredo da existência dos irracionais), me
parece que eles só começaram a realmente fazer falta no século 19,
Não entendi como uma homotetia poderia reduzir um par ordenado a um único
número... enfim...
O que se faz, no caso da relação de equivalência que descrevi, é
representar o par (a,b) pela notação a-b.
Daí, (a,b) e (c,d) são equivalentes sss a-b = c-d.
E a novidade são os números negativos: as class
Em ter, 15 de nov de 2022 17:07, Pedro José escreveu:
> Obrigado a você e ao Cláudio. Mas não sou criativo para inventar. Mas já
> vi que terei que fazer uma homotetia, para as classes de equivalência para
> representar só como um número e não como um par, creio eu.
>
Eu lembro de quando li o Gu
Obrigado a você e ao Cláudio. Mas não sou criativo para inventar. Mas já vi
que terei que fazer uma homotetia, para as classes de equivalência para
representar só como um número e não como um par, creio eu.
Cordialmente,
PJMS
Em ter., 15 de nov. de 2022 às 16:00, Anderson Torres <
torres.anderson
Em ter, 15 de nov de 2022 14:33, Pedro José escreveu:
> Boa tarde!
> Para os |Naturais, temos os postulados de Peano.
>
> Para os Inteiros há alguma formalização?
>
invente uma!
Pode ser por exemplo o conjunto de pares (p,q) tais que p-q é constante.
ou melhor (p1,q1)=(p2,q2) se e só se p1+q2=
A única que conheço e’ a que define uma relação de equivalência em pares
ordenados de naturais (união {0}) dada por (a,b) ~ (c,d) <==> a+d = b+c. Os
inteiros são as classes de equivalência desta relação.
Enviado do meu iPhone
> Em 15 de nov. de 2022, à(s) 14:33, Pedro José escreveu:
>
>
>
Boa tarde!
Para os |Naturais, temos os postulados de Peano.
Para os Inteiros há alguma formalização?
Acho pobre dizer que é necessário ter outros números devido ao problema de
fechamento nos naturais para a subtração que é fato e daí introduzir os
simétricos que são inteiros e ainda não foram car
7 matches
Mail list logo
