Número racional

Em matemática , um número racional é um número que pode ser expresso como um razão de dois inteiros . Números racionais não inteiros (comumente chamados de frações ) são geralmente escritos como a fração vulgar , Onde b é não nula . um é chamado o numerador , e B, o denominador .

Cada número racional pode ser escrita em um número infinito de formas, tais como , Mas diz-se estar na forma mais simples, quando a e b não têm comuns divisores excepto 1 (isto é, eles são coprime). Todo número racional diferente de zero tem exatamente uma forma mais simples deste tipo com um denominador positivo. Uma fracção desta forma mais simples é dito ser um fração irredutível, ou uma fracção em forma reduzida.

O expansão de um número decimal é racional periódica eventualmente (no caso de uma expansão finito os zeros que, implicitamente, o seguem formar a parte periódica). O mesmo é verdadeiro para qualquer outra base integrante acima de um, e é também verdade quando os números racionais são considerados números p-adic em vez de números reais . Por outro lado, se a expansão de um número por uma base é periódica, é periódica para todas as bases e é o número racional. Um número real que não é um número racional, é chamado um número irracional .

Alojamento

O conjunto de todos os números racionais, que constitui um campo, é denotada . Usando o notação set-construtor, é definido como

onde denota o conjunto de números inteiros.

O termo racional

No mundo matemático, o adjetivo racional, muitas vezes significa que o subjacente considerado campo é o campo números de racional. Por exemplo, um número inteiro racional é um algébrica inteiro que também é um número racional, o que quer dizer, um número inteiro ordinária, e uma matriz racional é uma matriz cujos coeficientes são números racionais. Polinomial racional normalmente, e mais corretamente, significa um polinômio com coeficientes racionais, também chamado de "polinômio sobre os números racionais". No entanto, função racional não significa que o campo subjacente são os números racionais, e uma curva algébrica racional não é uma curva algébrica com coeficientes racionais.

Aritmética

Dois números racionais e são iguais se e apenas se .

Duas fracções são adicionados como se segue

A regra para a multiplicação é

Aditivo e inversos multiplicativos existe nos números racionais

Segue-se que o quociente de duas fracções é dado pela

Fracções egípcias

Qualquer número racional positivo pode ser expresso como uma soma de distinto recíprocos de inteiros positivos, tais como

Para qualquer número racional positivo, há uma infinidade de diferentes tais representações, chamadas Fracções egípcias, como eles foram usados pelo antigo Egípcios. Os egípcios também tinham uma notação diferente para fracções diádicas.

Construção formal

Matematicamente podemos construir os números racionais como classes de equivalência de pares ordenados de números inteiros , Com não é igual a zero. Podemos definir adição e multiplicação destes pares com as seguintes regras:

e se c ≠ 0, por divisão

A intuição é que representa o número denotado por a fracção Para estar em conformidade com a nossa expectativa de que e denotam o mesmo número, que define uma relação de equivalência sobre esses pares com a seguinte regra:

Esta relação de equivalência é uma relação de congruência: é compatível com a adição e multiplicação definido acima, e que podem definir Q ser a conjunto quociente de ~, ou seja, nós identificamos dois pares (a, b) e (c, d) se eles são equivalentes no sentido acima. (Esta construção pode ser realizada de qualquer domínio integral: ver campo de fracções).

Nós também podemos definir uma ordem total sobre Q por escrito

Os inteiros podem ser considerados como números racionais por o que a incorporação de mapas para onde denota a classe de equivalência tendo como membro.

Propriedades

um diagrama que ilustra o countabililty dos racionais

O conjunto , Em conjunto com as operações de adição e multiplicação mostrados acima, constitui um campo, o campo de fracções dos inteiros .

Os racionais são o menor campo com característica zero: todos os outros campos de característica zero contém uma cópia do . Os números são racionais, por conseguinte, o campo privilegiado para característica zero.

O fecho algébrico de , Isto é, o campo de raizes de polinómios racionais, é a números algébricos.

O conjunto de todos os números racionais é contável. Uma vez que o conjunto de todos os números reais é incontável, dizemos que quase todos os números reais são irracionais, no sentido de Medida de Lebesgue, ou seja, o conjunto dos números racionais é um conjunto nulo.

Os racionais são um densamente ordenou conjunto: entre quaisquer dois racionais, não fica outro, de fato infinitamente muitos outros. Qualquer totalmente ordenado conjunto que é contável, densa (no sentido acima), e não tem nenhum elemento menos ou maior é ordem isomorphic aos números racionais.

Números reais e propriedades topológicas das rationals

Os racionais são um subconjunto denso dos números reais: cada número real tem números racionais arbitrariamente próximo a ele. Uma propriedade relacionada é que os números racionais são os únicos números com expansões finitas como frações contínuas regulares.

Em virtude da sua ordem, os racionais carregam uma topologia de ordem. Os números racionais também carregam uma topologia subespaço. Os números racionais formar um espaço métrico usando a métrica d (x, y) = | x - y |, e isto produz uma terceira topologia sobre . Todos os três topologias coincidem e transformar os racionais em um campo topológico. Os números racionais é um exemplo importante de um espaço que não é localmente compacto. Os racionais são caracterizados topologicamente como o único contável espaço sem metrizável pontos isolados. O espaço é também totalmente desconectado. Os números racionais não formam um completar espaço métrico; os números reais são a conclusão de .

p números -adic

Além da métrica valor absoluto mencionado acima, existem outras métricas que se transformam em um campo topológico:

Deixar ser um número primo e para qualquer inteiro diferente de zero deixar , Onde é o mais alto poder de divisória ;

Além gravação . Para qualquer número racional , Definimos .

Em seguida define um métrica em .

O espaço métrico não é completa, e a sua conclusão é a p campo de número -adic . Teorema de Ostrowski afirma que qualquer não-trivial valor absoluto sobre os números racionais é equivalente ao valor absoluto ou o verdadeiro habitual ou um p-adic valor absoluto.