TEORIA ELEMENTAR DOS NÚMEROS INTEIROS 01
Público alvo: Professores e Licenciandos.
Conteúdo (15 páginas): Números (operações e as suas propriedades fundamentais), a operação de adição, a operação de multiplicação, consistência aditiva da relação de igualdade, consistência multiplicativa da relação de igualdade, os nove axiomas, o oposto do oposto, a operação de subtração, igualdade/diferença, absorvente multiplicativo, obtenção multiplicativa do oposto, regra de sinais, cancelamento aditivo da relação de igualdade, cancelamento multiplicativo da relação de igualdade, anulação de um produto, anulação quadrático linear, o produto de dois conjugados, entendendo que os quadrados de dois números são iguais se e somente se os números são iguais ou opostos, sobre a unicidade dos neutros, sobre a unicidade do inverso aditivo, sobre 1 ser diferente de 0, sobre (-1) ser diferente de 0, sobre precedência e associatividade, sobre ser bem determinada a soma e o produto de três números quaisquer, números (os positivos, o zero e os negativos), os dois axiomas, desigualdades, relação menor do que (maior do que), relação menor do que (maior do que) ou igual a, quadrado positivo definido, -1 < 0 < 1 , regra de sinais, transitividade [da relação maior do que (menor do que)], cancelamento aditivo [IDEM], cancelamento multiplicativo positivo [IDEM], anti cancelamento multiplicativo negativo [IDEM], consistência aditiva [IDEM], consistência multiplicativa positiva [IDEM], anulação de uma soma de quadrados, monoticidade de quadrado de base não negativa, tricotomia quadrática, sobre 1 ser diferente de (-1), sobre 2 ser diferente de 0, entendendo que um número é igual ao seu oposto se e somente se ele é igual a zero, sobre a operação de subtração não ser comutativa, sobre a relação de igualdade ser uma relação de equivalência, sobre a relação maior do que (menor do que) ou igual a ser uma relação de ordem e todas as suas propriedades fundamentais, estudo inicial completo sobre valor absoluto e (especialmente) desigualdade triangular, Axioma de Boa Ordem (mínima), propriedade do menor inteiro positivo (não existe inteiro entre zero e um), propriedade de integralidade dos inteiros (não existe inteiro entre quaisquer dois inteiros consecutivos), Propriedade de Boa Ordem (máxima e finita), Propriedade de Arquimedes, Propriedade de Indução I (de conjuntos e de proposições), Propriedade de Indução II (de conjuntos e de proposições), Indução de Ordem Superior, Boa Ordem (mínima) equivale a Boa Ordem (máxima) que equivale a Indução I ( de conjuntos) que equivale a Indução I (de proposições) que equivale a Indução II (de conjuntos) que equivale a Indução II (de proposições) etc.
Próximo volume: Concluindo a fundação da teoria elementar dos números (incluindo todas as generalizações cabíveis no momento), potenciação de expoente inteiro positivo e aplicações gerais (iniciais, intermediárias e avançadas) de indução matemática.
TEORIA ELEMENTAR DOS NÚMEROS INTEIROS 01