Para se conhecer e compreender Física temos de conhecer e compreender alguma Matemática. Nesse sentido vamos iniciar o nosso estudo de Matemática com o que se pode chamar de Cálculo Diferencial e Cálculo Integral porque são a pedra angular da Física.

Por favor consultem a seguinte página porque símbolos matemáticos serão usados frequentemente neste blog. A princípio uma abordagem mais verbal será utilizada para os leitores se acostumarem, mas gradualmente passaremos a utilizar mais a estenografia matemática.

— 1. Axiomas dos Números Reais —

Primeiro de tudo vamos admitir a existência de um conjunto de números reais, que vamos denotar pelo símbolo no qual são definidas duas operações. Estas operações são a operação de adição, e a operação de multiplicação.

Vamos supor também que existe um subconjunto de que vamos chamar o conjunto dos números positivos e que denotamos por .

Esses quatro termos serão tomados como conceitos primitivos (também chamados termos indefinidos).

— 1.1. Axiomas —

Recorrendo ao Axioma 1 podemos mostrar que cada um desses elementos neutros é único em .

Vamos fazê-lo no caso da multiplicação (para o elemento neutro da adição a demonstração é perfeitamente análoga).

A estratégia da nossa demonstração é a seguinte:

1. assumimos que temos dois elementos neutros, e para a operação de multiplicação
2. concluimos que os dois elementos neutros são iguais

Sabemos que . Em particular a equação é válida para e assim fica .

É também válido . Em particular, esta equação é válida para e assim fica ).

Portanto, temos e . Considerando o Axioma 1 sabemos que multiplicação é comutativa e assim é e por isso podemos concluir que . O que prova que os dois elementos neutros são de facto apenas um.

Por favor, notem o papel crucial que o Axioma 1 tem nesta demonstração. Pensando um bocado mais podemos ver que um corpo tem um elemento neutro único sempre que a adição e a multiplicação são comutativas. Para grupos não comutativos os elementos neutros não têm necessariamente que ser únicos.

Depois de provar a unicidade de ambos os elementos neutros e tendo em conta o Axioma 4 podemos fazer algumas novas definições e estabelecer alguns resultados.

Definição 1 O elemento neutro da adição será chamado de zero e representada pelo símbolo . O elemento neutro da multiplicação tem o nome de um e denotamos pelo símbolo .

Vamos agora introduzir um novo axioma e demonstrar alguns resultados recorrendo aos axiomas e aos resultados demonstrados até agora.

Do axioma anterior vem que para cada número real existe outro número real cuja soma com o primeiro número real é .

O elemento é chamado o inverso aditivo, elemento simétrico, ou mais simplesmente simétrico de e é fácil de provar a sua unicidade:

Suponhamos que temos e para o qual e são igualdades válidas. No entanto:

Onde os Axiomas 4, propriedade 1, 2, 1, 4, propriedade 2, 2 e 4 foram utilizados, respectivamente.

Assim, podemos concluir que quaisquer dois opostos que supostamente existem são de facto o mesmo. De um modo mais inteligível: existe um e apenas um simétrico para cada número real.

Depois de provar a unicidade do elemento simétrico na operação de adição é possível denotar o simétrico de pelo símbolo para que tenhamos

Para a segunda parte do Axioma 5 é chamado de multiplicativo inverso, ou o inverso, de . Tal como provamos que o simétrico é único para a adição podemos também provar que o inverso é único para a multiplicação e essa prova fica como um exercício para os nossos leitores. Assim, faz sentido definirmos o inverso de como sendo ou

Em Matemática um corpo é definido como sendo um conjunto onde E são operações bem definidas e todos os cinco axiomas anteriores são verificadas.

Agora vamos afirmar (e, em alguns casos provar) alguns resultados conhecidos utilizando os resultados que demonstrámos até agora.

Este resultado é muito familiar, mas mais uma vez o que queremos salientar é o facto deste resultado poder ser provado de uma forma rigorosa.

é a diferença entre e e é denotada pelo

é chamado o quociente entre e e é denotado por ou

Vamos agora demonstrar um resultado elementar e de conhecimento geral, mas cuja ideia de demonstração é difícil de conceber para leitores não acostumados.

Teorema 4 A multiplicação entre um número real e é igual a . Demonstração: O resultado anterior pode ser demonstrado da seguinte forma:

A prova deste exercício fica como um exercício para o leitor e por favor não se esqueçam de partilhar as vossas proposta de resolução nos comentários.

Tudo isso pode parecer tautológico para as pessoas que não estão acostumadas ao raciocínio matemático, mas não é. O ponto de todas estas definições, axiomas e teoremas é construirmos uma teoria matemática a partir do zero e sempre com rigor máximo de modo a que não hajam dúvidas sobre os resultados afirmados.

Para além disso também pensamos que o facto de podermos demonstrar todos estes resultados tem uma beleza própria e queremos partilhar essa beleza com os nossos leitores.

Assim concluímos a primeira parte da construção dos números reais. No próximo artigo, vamos estudar os Axiomas de Ordem e obter alguns mais resultados conhecidos para continuar a construir a nossa familiaridade/admiração para com o raciocínio matemático.