[obm-l] Caracterização de Inteiros

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

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

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: > >  >

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

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=

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

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

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

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