[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Caracterização de Inteiros

2022-11-17 Por tôpico Claudio Buffara
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,

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Caracterização de Inteiros

2022-11-16 Por tôpico Claudio Buffara
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

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Caracterização de Inteiros

2022-11-15 Por tôpico Anderson Torres
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

[obm-l] Re: [obm-l] Re: [obm-l] Caracterização de Inteiros

2022-11-15 Por tôpico Pedro José
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 <

[obm-l] Re: [obm-l] Caracterização de Inteiros

2022-11-15 Por tôpico Anderson Torres
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