— 1.2. Axiomas de Ordem —

Como vimos no artigo anterior os cinco axiomas (e as definições) por nós escolhidos são suficientes para demonstrarmos rigorosamente um conjunto de resultados que suponho ser do conhecimento geral de muitos leitores deste blog.

No entanto para continuarmos a construir o conjunto dos números reais de forma completa precisamos de introduzir os chamados Axiomas de Ordem.

Axioma 6 O conjunto dos números reais positivos, , é um subconjunto dos números reais, que é fechada para as operações e .

Após a definição anterior podemos definir números negativos como sendo os simétricos de números reais positivos. Dito de uma forma mais formal:

Definição 2 O conjunto dos números reais negativos denota-se por . Dizemos que um número real é negativo quando o seu simétrico é um número real positivo.

Seguidamente vamos apresentar um teorema que nos permite agrupar os números reais existentes em três conjuntos disjuntos cuja união resulta na totalidade dos números reais.

Axioma 7 (Lei da Tricotomia) Um número real diferente de só pode ser um número real positivo ou um número real negativo.

Numa formulação perfeitamente equivalente podemos dizer: Nenhum número real é positivo e negativo ao mesmo tempo:

Neste momento estamos em condições de introduzir uma definição formal dos símbolos e .

Definição 3 Seja . Dizemos que é menor do que se e somente se (sse) e escrevemos ou .

Teorema 6 (Teorema da Tricotomia) uma e apenas uma das seguintes condições é sempre verificada: , , Demonstração: Demonstração omitida.

Com este teorema conseguimos demonstrar rigorosamente que entre dois números reais é sempre possível estabelecermos uma relação de ordem. Tal facto parece trivial e tautológico, mas lembrem-se que aqui o que importa é o facto de ser possível demonstrarem-se estes tipos de resultados. Para além disso convém também dizer que é possível construir sistemas numéricos onde nem sempre é possível estabelecer relações de ordem entre os seus elementos.

A demonstração deste teorema é uma questão de técnica e o leitor mais atento deste blog faria bem em tentar executá-la e posteriormente partilhá-la nos nossos comentários.

Qualquer conjunto onde são válidos o Teorema da Tricotomia e as leis de transitividade diz-se ser um conjunto ordenado. Então podemos dizer que é um corpo ordenado.

Teorema 8 Demonstração: Demonstração omitida.

Vamos agora olhar com mais atenção para os únicos dois números reais que nomeamos até agora: o número e o número . Sabemos pelo 4 que estes elementos são distintos (sem essa imposição o conjunto dos números reais poderia ser composto por apenas um elemento, e essa opção é francamente não satisfatória para nós…) e sabemos também pelo Teorema 6 que um dos números tem que ser maior do o outro. Mas qual deles? Com todas as definições que fizemos até agora essa pergunta não tem resposta. No entanto temos ao dispor a ferramenta da demonstração e com ela podemos demonstrar que . Que é uma opção muito mais poderosa do que simplesmente definir .

Vamos supor, por absurdo, que é a proposição válida. Nesse caso, multiplicando ambos os lados da desigualdade por teríamos (usando a equação 14 do teorema 8):

que é o oposto do que tínhamos assumido inicialmente. Uma vez que todos os passos lógicos após a nossa hipótese inicial () são logicamente válidos temos que concluir que a nossa hipótese inicial estava errada. Assim é .

Seguindo essa linha de pensamento, poderíamos continuar a construir os números naturais ( e definir . Então e definir ). Após continuarmos dessa forma podemos definir os números inteiros. Em primeiro lugar teríamos que definir , , , etc. como os simétricos dos números naturais e definir o conjunto dos números inteiros como a reunião dos números naturais, com os recém-definidos , , ,etc.. Posteriormente poderíamos também construir o conjunto dos números racionais, uma construção mais complexa na verdade, mas que ainda assim é perfeitamente exequível.

O conjunto dos números naturais é denotado por , os números inteiros por , e os números racionais por . As seguintes relações são válidas: .

Não querendo ser demasiado rigorosos, podemos ver que nem todos os números inteiros são números naturais e que nem todos os números racionais são números inteiros. Mas existirá alguma diferença entre o conjunto e o conjunto ?

Por exemplo, sabemos que , mas ! Os matemáticos sabiam deste facto mas não havia uma distinção formal entre os dois conjuntos. Tudo isso mudou com a introdução do Axioma da Completividade.

Com esta nova concepção os matemáticos foram capazes de definir completamente o conjunto dos números reais e assim deram mais um passo na busca de bases mais rigorosas para a construção da sua actividade.