Licao2 - O Corpo Dos Reais
Licao2 - O Corpo Dos Reais
Licao2 - O Corpo Dos Reais
A introdução dos números reais pode ser conduzida de várias formas. Um dos caminhos é partir do
conjunto Q dos racionais, e através de um raciocínio construtivo definir o conjunto IR dos reais. Aqui
introduzimos os números reais, assentando no seu processo axiomático, ou seja, o seu estudo é
desenvolvido, aceitando a existência de certos objectos (chamados números reais) que verificam
determinadas propriedades básicas, traduzidas num certo número de axiomas. A partir destes axiomas,
deduzem-se todas as propriedades dos números reais de que necessitaremos na sequência do nosso
estudo. Neste sentido, admitimos a existência de um conjunto IR, cujos elementos chamamos números
reais, e no qual se definem duas operações: uma chamada adição e outra multiplicação. Suporemos
ainda dado um subconjunto de IR, que designaremos por IR + , e cujos elementos chamaremos números
positivos. Estes quatro termos, número real, número positivo, adição e multiplicação são adoptados como
conceitos primitivos da teoria. Definem-se a seguir os axiomas que regem esta teoria, isto é, proposições
que convencionalmente aceitamos sem demonstração, e que exprimem certas propriedades impostas
aos conceitos primitivos.
1. AXIOMAS DE UM CORPO
1
A x + y chamamos soma de x com y e representa o número real que a operação adição faz corresponder
ao par (x,y). A x.y chamamos produto de x por y e representa o número real que a operação multiplicação
faz corresponder ao par (x,y).
1
Gestão de Empresas Matemática I
AXIOMA 4. A adição e a multiplicação são operações com elemento neutro; os elementos neutros das
duas operações são números reais distintos.
Isto é, para a adição existe pelo menos um número real u tal que, para todo o x ∈ IR ,
x +u = x ,
e para a multiplicação existe pelo menos um número real v tal que, para todo o x ∈ IR ,
xv = x .
Prova-se, no entanto, atendendo ao axioma 1, que qualquer dessas operações não pode ter mais do que
um elemento neutro ( e terá precisamente 1). O elemento neutro da adição será chamado zero e poderá
designar-se pelo símbolo "0" , ao elemento neutro da multiplicação chamaremos um e poderemos
designá-lo pelo símbolo "1" . Atendendo ao axioma 4, 0 ≠ 1 . Ter-se-á então, para todo o x ∈ IR ,
x +0 = 0+x = x e x .1 = 1.x = x .
AXIOMA 5. Todo o número real tem simétrico (isto é, qualquer que seja o real x existe pelo menos um
y ∈ IR tal que x + y = 0 ); todo o real distinto de zero tem inverso (quer dizer, qualquer que seja o real
x ≠ 0 , existe pelo menos um y ∈ IR tal que xy = 1 ).
Também no caso deste axioma se impõe apenas existência (de simétrico ou inverso) mas, de facto,
prova-se ainda a unicidade. Podemos então introduzir as definições: sendo x um número real qualquer, o
simétrico de x , que designamos por − x é o único real cuja soma com x é igual a 0 ; sendo x um real
diferente de zero, o inverso de x , que designamos por x −1 , é o único real cujo produto com x é igual a
1 . Nestas condições, para todo o x ∈ IR ,
x + (−x ) = (− x ) + x = 0
e para todo o x ∈ IR \ {0} ,
x .x −1 = x −1 .x = 1
Qualquer conjunto onde se definam as operações de “adição” e “multiplicação”, de tal forma que se
verifiquem os 5 axiomas anteriores, é usualmente chamado corpo.
Teorema 1. (Lei do corte para a adição) Quaisquer que sejam os reais x , y e z , a igualdade
x+y = x+z implica y = z.
2
Gestão de Empresas Matemática I
Podemos então definir que dados dois números reais x e y , o único real z tal que x = y + z é a
diferença entre x e y , habitualmente designada por x − y . Assim, para quaisquer x , y , z ter-se-á
x−y =z sse x = y +z.
A operação que associa a cada par ( x, y ) ∈ IR 2 o número x − y é a subtracção.
A operação que associa a cada par ( x, y ) ∈ IR × IR \ {0} o número z considerado no teorema anterior
x
é a divisão, e o real z é o cociente de x por y , que habitualmente se designa por ou por xy −1 .
y
2. AXIOMAS DE ORDEM
Define-se que um número real é negativo sse o seu simétrico é positivo. Assim, convencionaremos
designar por IR − o conjunto dos reais negativos.
Antes de enunciarmos o próximo axioma, convém definir formalmente os símbolos já conhecidos < e >.
Sendo x , y ∈ IR , convencionaremos dizer que x é menor do que y ou que y é maior do que x (e
3
Gestão de Empresas Matemática I
AXIOMA 7. Qualquer real distinto de zero é positivo ou negativo (de outra forma: IR \ {0} ⊂ IR + ∪ IR −
Teorema 6. (Tricotomia) Sendo x e y números reais, verifica-se necessariamente uma e uma só das
condições: x < y , x > y , x = y .
Teorema 7. (Transitividade) Quaisquer que sejam os reais x, y e z , se for x < y e y < z , será
também x < z .
Os resultados anteriores, permitem dizer que a relação de “menor” é uma relação de ordem em IR, ou
ainda que o conjunto IR, com essa relação, é um conjunto ordenado.
a. Se z ∈ IR , x + z < y + z ;
b. Se u , v ∈ IR e u < v , x + u < y + v ;
que é xz = yz = 0 ).
Nota: As demonstrações dos teoremas enunciados nesta lição, e que não foram aqui estudadas, podem
ser consultadas em Campos Ferreira, J., Introdução à Análise Matemática.