Número real





Disambig grey.svg Nota: Para outros significados de Real, veja Real.






Question book-4.svg

 Esta página ou secção cita fontes confiáveis e independentes, mas que não cobrem todo o conteúdo, o que compromete a verificabilidade (desde Abril de 2014). Por favor, insira mais referências no texto. Material sem fontes poderá ser removido.
—Encontre fontes: Google (notícias, livros e acadêmico)












Conjuntos de números

N⊂Z⊂Q⊂R⊂C⊂⋯{displaystyle mathbb {N} subset mathbb {Z} subset mathbb {Q} subset mathbb {R} subset mathbb {C} subset cdots }mathbb{N}submathbb{Z}submathbb{Q}submathbb{R}submathbb{C}subcdots

Naturais N{displaystyle mathbb {N} }mathbb{N}
Inteiros Z{displaystyle mathbb {Z} }mathbb {Z}
Racionais Q{displaystyle mathbb {Q} }mathbb{Q}
Reais R{displaystyle mathbb {R} }mathbb{R}
Imaginários
Complexos C{displaystyle mathbb {C} }mathbb{C}
Números hiper-reais
Números hipercomplexos



Quaterniões H{displaystyle mathbb {H} }mathbb{H}
Octoniões O{displaystyle mathbb {O} }mathbb{O}
Sedeniões S{displaystyle mathbb {S} }mathbb{S}
Complexos hiperbólicos R1,1{displaystyle mathbb {R} ^{1,1}}mathbb{R}^{1,1}
Quaterniões hiperbólicos
Bicomplexos
Biquaterniões
Coquaterniões
Tessarines





Conjuntos Numéricos.


O conjunto dos números reais R{displaystyle mathbb {R} ,}{mathbb {R}}, é uma expansão do conjunto dos números racionais que engloba não só os inteiros e os fracionários, positivos e negativos, mas também todos os números irracionais.[1][2]


Os números reais são números usados para representar uma quantidade contínua (incluindo o zero, os positivos e os negativos). Pode-se pensar num número real como uma fração decimal possivelmente infinita, como 3,141592(...). Os números reais têm uma correspondência biunívoca com os pontos de uma reta.


Um Número Real é um valor que representa uma quantidade ao longo de uma linha contínua, incluindo tanto os Números Racionais quanto os Números Irracionais. Os números reais são pontos sobre uma linha reta infinita, chamada de Reta Numérica ou Reta Real, onde os pontos correspondentes aos Números Inteiros são igualmente espaçados.


Os números reais são incontáveis, isto é, enquanto que o conjunto de todos os Números Naturais e o conjunto de todos os Números Reais são conjuntos infinitos, não é possível haver função de um-pra-um entre eles. A cardinalidade do conjunto de todos os Números Reais é infinitamente maior do que a cardinalidade do conjunto de todos os Números Naturais.


Denomina-se corpo dos números reais a coleção dos elementos pertencentes à conclusão dos racionais,[3] formado pelo corpo de frações associado aos inteiros números racionais , a coleção de elementos dos números irracionais e a norma associada ao infinito.


Existem também outras conclusões dos racionais, uma para cada número primo p, chamadas números p-ádicos. O corpo dos números p-ádicos é formado pelos racionais e a norma associada.




Índice






  • 1 Localização Geométrica dos pontos da reta


  • 2 Ordenação dos números reais


  • 3 Intervalos encaixantes e evanescentes


    • 3.1 Intervalo encaixante


    • 3.2 Intervalo evanescente




  • 4 Adição de números reais


    • 4.1 Adição de reais positivos


    • 4.2 Adição de reais negativos


    • 4.3 Adição de reais de sinais opostos




  • 5 Multiplicação de números reais


    • 5.1 Multiplicação de reais positivos


    • 5.2 Multiplicação por real negativo




  • 6 Propriedades


  • 7 Extensões


  • 8 Referências


  • 9 Bibliografia





Localização Geométrica dos pontos da reta |


Um eixo cartesiano é uma reta euclidiana na qual foram escolhidas uma orientação e uma unidade de medida, ou seja, é formado por uma reta euclidiana r{displaystyle r}r, e pela escolha de dois pontos distintos sobre ela, denotados por O{displaystyle O}O e U{displaystyle U}U, sendo O{displaystyle O}O a origem do eixo e U{displaystyle U}U o ponto unitário do eixo. O ponto U{displaystyle U}U serve para determinar uma unidade de medida para os segmentos de reta do eixo, e também determina um sentido de percurso para o segmento. O sentido de percurso do eixo que vai de O{displaystyle O}O para U{displaystyle U}U (OU{displaystyle OU}{displaystyle OU}) é chamado de sentido positivo, enquanto que o sentido oposto (U{displaystyle U}UO{displaystyle O}O), é chamado de sentido negativo. Observação: Denotando por (r,O,U){displaystyle (r,O,U)}{displaystyle (r,O,U)} o eixo determinado pela reta r{displaystyle r}r, pela origem O{displaystyle O}O e pelo ponto unitário U{displaystyle U}U, fia subentendido que isto determina OU{displaystyle OU}{displaystyle OU} como unidade de medida.


Ordenação dos números reais |


A expansão decimal de um número absoluto nos diz até quantas unidades, décimos, centésimos, etc., cabem no mesmo. Em particular, dado um real absoluto x=m,a1a2a3...{displaystyle x=m,a_{1}a_{2}a_{3}...}{displaystyle x=m,a_{1}a_{2}a_{3}...}, podemos escrever:

{displaystyle qquad }{displaystyle qquad }m,a1a2a3...an≤x≤m,a1a2a3...an+110n{displaystyle m,a_{1}a_{2}a_{3}...a_{n}leq xleq m,a_{1}a_{2}a_{3}...a_{n}+{1 over 10^{n}}}{displaystyle m,a_{1}a_{2}a_{3}...a_{n}leq xleq m,a_{1}a_{2}a_{3}...a_{n}+{1 over 10^{n}}} Assim, pode-se dizer que a definição da expansão decimal traz uma relação de ordem entre o real absoluto x{displaystyle x}x e os números racionais que se obtém truncando sua expansão decimal. Isso permite estabelecer uma relação de ordem entre dois reais absolutos quaisquer, a partir da comparação entre as respectivas expansões decimais. Dados dois números reais absolutos distintos, x{displaystyle x}x e y{displaystyle y}y, escrevemos suas expansões decimais:


{displaystyle qquad }{displaystyle qquad }x=m,a1a2a3...{displaystyle x=m,a_{1}a_{2}a_{3}...}{displaystyle x=m,a_{1}a_{2}a_{3}...}


{displaystyle qquad }{displaystyle qquad }y=n,b1b2b3...{displaystyle y=n,b_{1}b_{2}b_{3}...}{displaystyle y=n,b_{1}b_{2}b_{3}...} Para definirmos quem é o maior numero entre x{displaystyle x}x e y{displaystyle y}y, iniciamos comparando m{displaystyle m}m com n{displaystyle n}n. -Se m<n{displaystyle m<n}{displaystyle m<n}, então sabemos que x{displaystyle x}x é menor que y{displaystyle y}y, ou seja, x<y{displaystyle x<y}x<y -Se n<m{displaystyle n<m}{displaystyle n<m}, então sabemos que y{displaystyle y}y é menor que x{displaystyle x}x, ou seja y<x{displaystyle y<x}{displaystyle y<x} -Se m=n{displaystyle m=n}m=n, estão é necessário comparar a1{displaystyle a_{1}}a_1 com b1{displaystyle b_{1}}b_1. Se a1<b1{displaystyle a_{1}<b_{1}}{displaystyle a_{1}<b_{1}}, então x<y{displaystyle x<y}x<y, e se b1<a1{displaystyle b_{1}<a_{1}}{displaystyle b_{1}<a_{1}}, então y<x{displaystyle y<x}{displaystyle y<x}. No caso de a1=b1{displaystyle a_{1}=b_{1}}{displaystyle a_{1}=b_{1}}, ou seja, m=n{displaystyle m=n}m=n e a1=b1{displaystyle a_{1}=b_{1}}{displaystyle a_{1}=b_{1}}, compara-se a2{displaystyle a_{2}}a_2 com b2{displaystyle b_{2}}b_2, aplicando os mesmos critérios anteriores, sucessivamente até chegar a uma conclusão an≠bn{displaystyle a_{n}neq b_{n}}{displaystyle a_{n}neq b_{n}}, caso x≠y{displaystyle xneq y}xneq y.



Intervalos encaixantes e evanescentes |



Intervalo encaixante |


Dada a sequência Xn=[an,bn]{displaystyle X_{n}=[a_{n},b_{n}]}{displaystyle X_{n}=[a_{n},b_{n}]} de intervalos fechados tais que X1⊇X2⊇X3⊇...Xn⊇Xn+1⊇...{displaystyle X_{1}supseteq X_{2}supseteq X_{3}supseteq ...X_{n}supseteq X_{n+1}supseteq ...}{displaystyle X_{1}supseteq X_{2}supseteq X_{3}supseteq ...X_{n}supseteq X_{n+1}supseteq ...}, existe pelo menos um ponto C∈R{displaystyle Cin mathbb {R} }{displaystyle Cin mathbb {R} } que pertence a todos os intervalos, isto é, C{displaystyle C}C pertence a interseção e todos os intervalos.


A propriedade dos intervalos encaixantes expressa a ideia de que R{displaystyle mathbb {R} }{mathbb R} não tem buracos, pois se existisse, cercando-o cada vez mais de perto por números an<bn{displaystyle a_{n}<b_{n}}{displaystyle a_{n}<b_{n}}, obteríamos uma sequência de intervalos fechados Xn=[an,bn]{displaystyle X_{n}=[a_{n},b_{n}]}{displaystyle X_{n}=[a_{n},b_{n}]} com interseção vazia.



Intervalo evanescente |


Uma sequência (infinita) de segmentos da reta X1,X2...Xn,Xn+1...{displaystyle X_{1},X_{2}...X_{n},X_{n+1}...}{displaystyle X_{1},X_{2}...X_{n},X_{n+1}...} é evanescente se for encaixante, e se para cada segmento de reta AB{displaystyle AB}AB(não reduzido a um único ponto) que escolhermos, sempre pudermos encontrar um n{displaystyle n}n tal que o n-ésimo segmento da sentença satisfaça:


{displaystyle qquad }{displaystyle qquad } Xn<AB{displaystyle X_{n}<AB}{displaystyle X_{n}<AB}


Sempre que X1,X2,X3...{displaystyle X_{1},X_{2},X_{3}...}X_1,X_2,X_3... for uma sequência evanescente de segmentos de reta, podemos afirmar que existe exatamente um ponto comum a todos os segmentos da sequência. Intuitivamente este postulado ou axioma diz que a reta euclidiana é "contínua", isto é, não tem "buracos".



Adição de números reais |



Adição de reais positivos |


Dados x{displaystyle x}x e y{displaystyle y}y números reais positivos, com expansões decimais


{displaystyle qquad }{displaystyle qquad }x=m,a1a2a3...{displaystyle x=m,a_{1}a_{2}a_{3}...}{displaystyle x=m,a_{1}a_{2}a_{3}...}


{displaystyle qquad }{displaystyle qquad }y=M,b1b2b3...{displaystyle y=M,b_{1}b_{2}b_{3}...}{displaystyle y=M,b_{1}b_{2}b_{3}...}


sejam, para cada n≥1{displaystyle ngeq 1}ngeq 1, os números racionais


{displaystyle qquad }{displaystyle qquad }xn=m,a1,a2...an{displaystyle x_{n}=m,a_{1},a_{2}...a_{n}}{displaystyle x_{n}=m,a_{1},a_{2}...a_{n}} e yn=M,b1,b2...bn{displaystyle y_{n}=M,b_{1},b_{2}...b_{n}}{displaystyle y_{n}=M,b_{1},b_{2}...b_{n}}.


A adição dos números reais x{displaystyle x}x e y{displaystyle y}y produz uma soma, denotada por x+y{displaystyle x+y}{displaystyle x+y}, e definida como sendo o único número real comum a todos elementos da sequência de intervalos encaixantes e evanescentes:


{displaystyle qquad }{displaystyle qquad }[xn+yn,xn+yn+210n]{displaystyle [x_{n}+y_{n},x_{n}+y_{n}+{2 over 10^{n}}]}{displaystyle [x_{n}+y_{n},x_{n}+y_{n}+{2 over 10^{n}}]}


Essa definição nos fornece aproximações racionais de x+y{displaystyle x+y}{displaystyle x+y} tão precisas quanto quisermos. Basta notar que xn+yn{displaystyle x_{n}+y_{n}}{displaystyle x_{n}+y_{n}} e xn+yn+210n{displaystyle x_{n}+y_{n}+{2 over 10^{n}}}{displaystyle x_{n}+y_{n}+{2 over 10^{n}}} são aproximações racionais ,por falta e por excesso, do número real x+y{displaystyle x+y}{displaystyle x+y}, e que o "erro" pode ser menor o quanto quisermos.



Adição de reais negativos |


A adição de dois números reais negativos produz uma soma x+y{displaystyle x+y}{displaystyle x+y} que é obtida por meio da adição dos módulos de x{displaystyle x}x e y{displaystyle y}y:


{displaystyle qquad }{displaystyle qquad }x+y=−(|x|+|y|){displaystyle x+y=-(leftvert xrightvert +leftvert yrightvert )}{displaystyle x+y=-(leftvert xrightvert +leftvert yrightvert )}


Por exemplo, para x=−2,79323189{displaystyle x=-2,79323189}{displaystyle x=-2,79323189} e y=−13,83452153{displaystyle y=-13,83452153}{displaystyle y=-13,83452153}:


{displaystyle qquad }{displaystyle qquad }{displaystyle quad }{displaystyle quad }x+y=−(|−2,79323189|+|−13,83452153|){displaystyle x+y=-(leftvert -2,79323189rightvert +leftvert -13,83452153rightvert )}{displaystyle x+y=-(leftvert -2,79323189rightvert +leftvert -13,83452153rightvert )}


{displaystyle qquad }{displaystyle qquad }⇒{displaystyle Rightarrow }Rightarrow x+y=−(2,79323189+13,83452153){displaystyle x+y=-(2,79323189+13,83452153)}{displaystyle x+y=-(2,79323189+13,83452153)}


{displaystyle qquad }{displaystyle qquad }⇒{displaystyle Rightarrow }Rightarrow x+y=−16,62775342{displaystyle x+y=-16,62775342}{displaystyle x+y=-16,62775342}



Adição de reais de sinais opostos |


Dados x{displaystyle x}x um número real positivo e y{displaystyle y}y um número real negativo, com expansões decimais:


{displaystyle qquad }{displaystyle qquad }x=m,a1a2a3...{displaystyle x=m,a_{1}a_{2}a_{3}...}{displaystyle x=m,a_{1}a_{2}a_{3}...}


{displaystyle qquad }{displaystyle qquad }y=−M,b1b2b3...{displaystyle y=-M,b_{1}b_{2}b_{3}...}{displaystyle y=-M,b_{1}b_{2}b_{3}...}


Sejam os números racionais:


{displaystyle qquad }{displaystyle qquad }xn=m,a1a2...an{displaystyle x_{n}=m,a_{1}a_{2}...a_{n}}{displaystyle x_{n}=m,a_{1}a_{2}...a_{n}} e |y|n=M,b1b2...bn{displaystyle leftvert yrightvert _{n}=M,b_{1}b_{2}...b_{n}}{displaystyle leftvert yrightvert _{n}=M,b_{1}b_{2}...b_{n}}


A adição de um número real positivo x{displaystyle x}x e o real negativo y{displaystyle y}y produz uma soma, denotada por x+y{displaystyle x+y}{displaystyle x+y}, e definida como sendo o único número real comum a todos os elementos da sequência de intervalos encaixante e evanescente:


{displaystyle qquad }{displaystyle qquad }[xn−|y|n−110n,xn−|y|n+110n]{displaystyle {Biggl [}x_{n}-leftvert yrightvert _{n}-{1 over 10^{n}},x_{n}-leftvert yrightvert _{n}+{1 over 10^{n}}{Biggr ]}}{displaystyle {Biggl [}x_{n}-leftvert yrightvert _{n}-{1 over 10^{n}},x_{n}-leftvert yrightvert _{n}+{1 over 10^{n}}{Biggr ]}}


Exemplo:


Ao somar 1,222...+(−2,111){displaystyle 1,222...+(-2,111)}{displaystyle 1,222...+(-2,111)}, obtemos:


{displaystyle qquad }{displaystyle qquad }x1−|y|1=1,2−2,1=−0,9⇒[−1,0;−0,8]{displaystyle x_{1}-leftvert yrightvert _{1}=1,2-2,1=-0,9Rightarrow [-1,0;-0,8]}{displaystyle x_{1}-leftvert yrightvert _{1}=1,2-2,1=-0,9Rightarrow [-1,0;-0,8]}


{displaystyle qquad }{displaystyle qquad }x2−|y|2=1,22−2,11=−0,89⇒[−0,90;−0,88]{displaystyle x_{2}-leftvert yrightvert _{2}=1,22-2,11=-0,89Rightarrow [-0,90;-0,88]}{displaystyle x_{2}-leftvert yrightvert _{2}=1,22-2,11=-0,89Rightarrow [-0,90;-0,88]}


{displaystyle qquad }{displaystyle qquad }x3−|y|3=1,222−2,111=−0,889⇒[−0,890;−0,888]{displaystyle x_{3}-leftvert yrightvert _{3}=1,222-2,111=-0,889Rightarrow [-0,890;-0,888]}{displaystyle x_{3}-leftvert yrightvert _{3}=1,222-2,111=-0,889Rightarrow [-0,890;-0,888]}


{displaystyle qquad }{displaystyle qquad }x4−|y|4=1,2222−2,1110=−0,8888⇒[−0,8889;−0,8887]{displaystyle x_{4}-leftvert yrightvert _{4}=1,2222-2,1110=-0,8888Rightarrow [-0,8889;-0,8887]}{displaystyle x_{4}-leftvert yrightvert _{4}=1,2222-2,1110=-0,8888Rightarrow [-0,8889;-0,8887]}


e prosseguindo semelhantemente, temos uma sequência encaixante e evanescente.



Multiplicação de números reais |



Multiplicação de reais positivos |


Dados x{displaystyle x}x e y{displaystyle y}y números reais positivos, com expansões decimais


{displaystyle qquad }{displaystyle qquad }x=m,a1a2...{displaystyle x=m,a_{1}a_{2}...}{displaystyle x=m,a_{1}a_{2}...}


{displaystyle qquad }{displaystyle qquad }y=M,b1b2...{displaystyle y=M,b_{1}b_{2}...}{displaystyle y=M,b_{1}b_{2}...}


Seja, para cadan≥1{displaystyle ngeq 1}{displaystyle ngeq 1}, os números racionais


xn=m,a1a2...an{displaystyle x_{n}=m,a_{1}a_{2}...a_{n}}{displaystyle x_{n}=m,a_{1}a_{2}...a_{n}} e yn=M,b1b2...bn{displaystyle y_{n}=M,b_{1}b_{2}...b_{n}}{displaystyle y_{n}=M,b_{1}b_{2}...b_{n}}


A multiplicação dos números x{displaystyle x}x e y{displaystyle y}y produz um resultado chamado produto, denotado por x⋅y{displaystyle xcenterdot y}{displaystyle xcenterdot y}, é definido como sendo o único número real comum a todos os elementos da sequência de intervalos encaixante e evanescente:


[xnyn,(xn+110n)(yn+110n)]{displaystyle {Bigl [}x_{n}y_{n},{Bigl (}x_{n}+{1 over 10^{n}}{Bigr )}{Bigl (}y_{n}+{1 over 10^{n}}{Bigr )}{Bigr ]}}{displaystyle {Bigl [}x_{n}y_{n},{Bigl (}x_{n}+{1 over 10^{n}}{Bigr )}{Bigl (}y_{n}+{1 over 10^{n}}{Bigr )}{Bigr ]}}


Exemplo:


{displaystyle qquad }{displaystyle qquad }7⋅37=3{displaystyle 7centerdot {frac {3}{7}}=3}{displaystyle 7centerdot {frac {3}{7}}=3}


{displaystyle qquad }{displaystyle qquad }x1y1=7,0⋅0,4=2,8{displaystyle x_{1}y_{1}=7,0centerdot 0,4=2,8}{displaystyle x_{1}y_{1}=7,0centerdot 0,4=2,8} e 7,1⋅0,5=3,55⇒[2,8;3,55]{displaystyle 7,1centerdot 0,5=3,55Rightarrow [2,8;3,55]}{displaystyle 7,1centerdot 0,5=3,55Rightarrow [2,8;3,55]}


{displaystyle qquad }{displaystyle qquad }x2y2=7,00⋅0,42=2,94{displaystyle x_{2}y_{2}=7,00centerdot 0,42=2,94}{displaystyle x_{2}y_{2}=7,00centerdot 0,42=2,94} e 7,01⋅0,43=3,0143⇒[2,94;3,0143]{displaystyle 7,01centerdot 0,43=3,0143Rightarrow [2,94;3,0143]}{displaystyle 7,01centerdot 0,43=3,0143Rightarrow [2,94;3,0143]}


{displaystyle qquad }{displaystyle qquad }x3y3=7,000⋅0,428=2,996{displaystyle x_{3}y_{3}=7,000centerdot 0,428=2,996}{displaystyle x_{3}y_{3}=7,000centerdot 0,428=2,996} e 7,001⋅0,429=3,003429⇒[2,996;3,003429]{displaystyle 7,001centerdot 0,429=3,003429Rightarrow [2,996;3,003429]}{displaystyle 7,001centerdot 0,429=3,003429Rightarrow [2,996;3,003429]}


{displaystyle qquad }{displaystyle qquad }x4y4=7,0000⋅0,4285=2,9995{displaystyle x_{4}y_{4}=7,0000centerdot 0,4285=2,9995}{displaystyle x_{4}y_{4}=7,0000centerdot 0,4285=2,9995} e 7,0001⋅0,4286=3,00024286⇒[2,9995;3,00024286]{displaystyle 7,0001centerdot 0,4286=3,00024286Rightarrow [2,9995;3,00024286]}{displaystyle 7,0001centerdot 0,4286=3,00024286Rightarrow [2,9995;3,00024286]}



Multiplicação por real negativo |


Dados x{displaystyle x}x e y{displaystyle y}y dois números reais, sendo ao menos algum deles negativo


{displaystyle qquad }{displaystyle qquad }x=m,a1a2...{displaystyle x=m,a_{1}a_{2}...}{displaystyle x=m,a_{1}a_{2}...}


{displaystyle qquad }{displaystyle qquad }y=M,b1b2...{displaystyle y=M,b_{1}b_{2}...}{displaystyle y=M,b_{1}b_{2}...}


O produto x⋅y{displaystyle xcenterdot y}{displaystyle xcenterdot y} é definido como sendo o único número real comum a todos os elementos da sequência de intervalos encaixante e evanescente,


[xnyn,(xn+110n)(yn−110n)]{displaystyle {Bigl [}x_{n}y_{n},{Bigl (}x_{n}+{1 over 10^{n}}{Bigr )}{Bigl (}y_{n}-{1 over 10^{n}}{Bigr )}{Bigr ]}}{displaystyle {Bigl [}x_{n}y_{n},{Bigl (}x_{n}+{1 over 10^{n}}{Bigr )}{Bigl (}y_{n}-{1 over 10^{n}}{Bigr )}{Bigr ]}}


segundo as seguintes possibilidades lógicas:



  • Se x≥0{displaystyle xgeq 0}{displaystyle xgeq 0} e y<0{displaystyle y<0}{displaystyle y<0}, temos: x⋅y=−(x⋅|y|){displaystyle xcenterdot y=-(xcenterdot |y|)}{displaystyle xcenterdot y=-(xcenterdot |y|)}

  • Se x<0{displaystyle x<0}{displaystyle x<0} e y≥0{displaystyle ygeq 0}{displaystyle ygeq 0}, temos: x⋅y=−(|x|⋅y){displaystyle xcenterdot y=-(|x|centerdot y)}{displaystyle xcenterdot y=-(|x|centerdot y)}

  • Se x<0{displaystyle x<0}{displaystyle x<0} e y<0{displaystyle y<0}{displaystyle y<0}, temos: x⋅y=|x|⋅|y|{displaystyle xcenterdot y=|x|centerdot |y|}{displaystyle xcenterdot y=|x|centerdot |y|}


Exemplo:


{displaystyle qquad }{displaystyle qquad }7⋅(−37)=−3{displaystyle 7centerdot {Bigl (}-{frac {3}{7}}{Bigr )}=-3}{displaystyle 7centerdot {Bigl (}-{frac {3}{7}}{Bigr )}=-3}


{displaystyle qquad }{displaystyle qquad }x1y1=7,0⋅(−0,4)=−2,8{displaystyle x_{1}y_{1}=7,0centerdot (-0,4)=-2,8}{displaystyle x_{1}y_{1}=7,0centerdot (-0,4)=-2,8} e 7,1⋅(−0,5)=−3,55⇒[−2,8;−3,55]{displaystyle 7,1centerdot (-0,5)=-3,55Rightarrow [-2,8;-3,55]}{displaystyle 7,1centerdot (-0,5)=-3,55Rightarrow [-2,8;-3,55]}


{displaystyle qquad }{displaystyle qquad }x2y2=7,00⋅(−0,42)=−2,94{displaystyle x_{2}y_{2}=7,00centerdot (-0,42)=-2,94}{displaystyle x_{2}y_{2}=7,00centerdot (-0,42)=-2,94} e 7,01⋅(−0,43)=−3,0143⇒[−2,94;−3,0143]{displaystyle 7,01centerdot (-0,43)=-3,0143Rightarrow [-2,94;-3,0143]}{displaystyle 7,01centerdot (-0,43)=-3,0143Rightarrow [-2,94;-3,0143]}


{displaystyle qquad }{displaystyle qquad }x3y3=7,000⋅(−0,428)=−2,996{displaystyle x_{3}y_{3}=7,000centerdot (-0,428)=-2,996}{displaystyle x_{3}y_{3}=7,000centerdot (-0,428)=-2,996} e 7,001⋅(−0,429)=−3,003429⇒[−2,996;−3,003429]{displaystyle 7,001centerdot (-0,429)=-3,003429Rightarrow [-2,996;-3,003429]}{displaystyle 7,001centerdot (-0,429)=-3,003429Rightarrow [-2,996;-3,003429]}


{displaystyle qquad }{displaystyle qquad }x4y4=7,0000⋅(−0,4285)=−2,9995{displaystyle x_{4}y_{4}=7,0000centerdot (-0,4285)=-2,9995}{displaystyle x_{4}y_{4}=7,0000centerdot (-0,4285)=-2,9995} e 7,0001⋅(−0,4286)=−3,00024286⇒[−2,9995;−3,00024286]{displaystyle 7,0001centerdot (-0,4286)=-3,00024286Rightarrow [-2,9995;-3,00024286]}{displaystyle 7,0001centerdot (-0,4286)=-3,00024286Rightarrow [-2,9995;-3,00024286]}



Propriedades |


O conjunto dos números reais com as operações binárias de soma e produto e com a relação natural de ordem formam um corpo ordenado. Além das propriedades de um corpo ordenado, R{displaystyle mathbb {R} ,}{mathbb {R}}, tem a seguinte propriedade:


  • Se R{displaystyle mathbb {R} ,}{mathbb {R}}, for dividido em dois conjuntos (uma partição) A e B, de modo que todo elemento de A é menor que todo elemento de B, então existe um elemento x que separa os dois conjuntos, ou seja, x é maior ou igual a todo elemento de A e menor ou igual a todo elemento de B

∀A,B,(R=A∪B∧(∀a∈A,b∈B,(a<b))⟹(∃x,(∀a∈A,b∈B⟹a≤x≤b)){displaystyle forall A,B,(mathbb {R} =Acup Bland (forall ain A,bin B,(a<b))implies (exists x,(forall ain A,bin Bimplies aleq xleq b)),}forall A,B,({mathbb {R}}=Acup Bland (forall ain A,bin B,(a<b))implies (exists x,(forall ain A,bin Bimplies aleq xleq b)),

Nas palavras de Dedekind:[4]


Se todos os pontos da reta são divididos em duas classes, tal que todo ponto da primeira classe está à esquerda de todo ponto da segunda classe, então existe um, e apenas um, ponto que causa esta divisão de todos os pontos em duas classes, este corte da reta em duas porções. (...) Assumir esta propriedade da linha não é nada além do que o axioma pelo qual consideramos a reta contínua.

Formalmente:[5]



∀A,B ((∀x ((x∈A∧x∉B)∨(x∈B∧x∉A)) ∧ ∀x∈A ∀y∈B (x≤y))→{displaystyle forall A,B ((forall x ((xin Aland xnot in B)lor (xin Bland xnot in A)) land forall xin A forall yin B (xleq y))rightarrow ,}forall A,B ((forall x ((xin Aland xnot in B)lor (xin Bland xnot in A)) land forall xin A forall yin B (xleq y))rightarrow ,

(∃z∈A ∀w∈A(w≤z)∨∃z∈B ∀w∈B(z≤w))){displaystyle (exists zin A forall win A(wleq z)lor exists zin B forall win B(zleq w))),}(exists zin A forall win A(wleq z)lor exists zin B forall win B(zleq w))),



Extensões |



  • O corpo dos números complexos é a única extensão algébrica do corpo R{displaystyle mathbb {R} ,}{mathbb {R}},.

  • Não existe nenhuma extensão própria de R{displaystyle mathbb {R} ,}{mathbb {R}}, que seja um corpo Arquimediano.

  • Uma extensão transcendente de R{displaystyle mathbb {R} ,}{mathbb {R}}, pode ser construída tomando-se o corpo de frações gerado pelo anel de polinômios reais. Neste corpo pode ser definida uma relação de ordem, de forma que a inclusão de R{displaystyle mathbb {R} ,}{mathbb {R}}, neste corpo seja um isomorfismo de corpos ordenados entre R{displaystyle mathbb {R} ,}{mathbb {R}}, e sua imagem. Obviamente, neste corpo existem elementos maiores que qualquer racional, cujos inversos são números positivos menores que qualquer racional positivo (infinitésimos).

  • O corpo ordenado dos números hiperreais estende R{displaystyle mathbb {R} ,}{mathbb {R}},, incluindo números infinitesimais.

  • Pode-se acrescentar os dois elementos −∞ e ∞  a R{displaystyle -infty {mbox{ e }}infty {mbox{ a }}mathbb {R} ,}-infty {mbox{ e }}infty {mbox{ a }}mathbb{R} ,, obtendo-se os números reais estendidos. Este conjunto, porém, não é um corpo, porque a soma e a multiplicação não são operações binárias (por exemplo, não existe uma definição satisfatória de [(−∞)+∞{displaystyle [(-infty )+infty ,}[(-infty )+infty ,].





Referências




  1. ↑ Ailton Feitosa. «Números Reais». InfoEscola. Consultado em 02 de março de 2014  Verifique data em: |acessodata= (ajuda)


  2. ↑ Marcos Noé. «Números Reais». R7. Brasil Escola. Consultado em 02 de março de 2014  Verifique data em: |acessodata= (ajuda)


  3. ↑ Durão Judice, Edson. Introdução à álgebra linear. Instituto de Minas Gerais, 1960. pp. 220.


  4. ↑ Richard Dedekind, Continuity and irrational numbers (seção V, subseção VI) (1872), citado por Jim Propp, Dedekind's forgotten axiom and why we should teach it (and why we shouldn't teach mathematical induction in our calculus classes) [em linha]


  5. ↑ Winfried Just, Martin Weese, Discovering Modern Set Theory: The basics (1996), p.86 [google books]



Bibliografia |








Outros projetos Wikimedia também contêm material sobre este tema:

Wikilivros
Livros e manuais no Wikilivros


  • Wikilivros




  • Georg Cantor, 1874, "Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen", Journal für die Reine und Angewandte Mathematik, volume 77, páginas 258–262.


  • Solomon Feferman,1989, The Numbers Systems: Foundations of Algebra and Analysis, AMS Chelsea, ISBN 0-8218-2915-7.

  • Robert Katz, 1964, Axiomatic Analysis, D. C. Heath and Company.


  • Edmund Landau, 2001, ISBN 0-8218-2693-X, Foundations of Analysis, American Mathematical Society.

  • Howie, John M., Real Analysis, Springer, 2005, ISBN 1-85233-314-6


  • Schumacher, Carol (1996). ChapterZero / Fundamental Notions of Abstract Mathematics (em inglês). [S.l.]: Addison-Wesley. ISBN 0-201-82653-4 























v • e
Números
Conjuntos contáveis


  • Números naturais (N{displaystyle scriptstyle mathbb {N} }scriptstylemathbb{N})


  • Números inteiros (Z{displaystyle scriptstyle mathbb {Z} }scriptstylemathbb{Z})


  • Números racionais (Q{displaystyle scriptstyle mathbb {Q} }scriptstylemathbb{Q})


  • Números algébricos (Q¯{displaystyle scriptstyle {overline {mathbb {Q} }}}scriptstyleoverline{mathbb{Q}})

  • Números computáveis
Números reais e
suas extensões


  • Números reais (R{displaystyle scriptstyle mathbb {R} }scriptstylemathbb{R})


  • Números complexos (C{displaystyle scriptstyle mathbb {C} }scriptstylemathbb{C})


  • Quaterniões (H{displaystyle scriptstyle mathbb {H} }scriptstylemathbb{H})


  • Octoniões (O{displaystyle scriptstyle mathbb {O} }scriptstylemathbb{O})


  • Sedeniões (S{displaystyle scriptstyle mathbb {S} }scriptstylemathbb{S})

  • Números complexos hiperbólicos

  • Números hipercomplexos

  • Números superreais

  • Números irracionais

  • Números transcendentais

  • Números hiper-reais

  • Números surreais
Outros sistemas

  • Números cardinais

  • Números ordinais

  • Números p-ádicos

  • Números supernaturais


  • Portal da matemática



-

Popular posts from this blog

flock() on closed filehandle LOCK_FILE at /usr/bin/apt-mirror

Image
0 I recently upgraded an Ubuntu 16.04 virtual machine to 18.04. I regularly use this VM to run apt-mirror at school on their high-speed internet, then rsync these files to my rack-mount server at home for updating multiple computers at home without wasting the tiny amount of bandwidth I have there. Since updating I can't get apt-mirror to run on my VM. It keeps giving the error: flock() on closed filehandle LOCK_FILE at /usr/bin/apt-mirror line 214 immediately followed by: apt-mirror is already running, exiting at /usr/bin/apt-mirror line 217 apt-mirror is NOT running, and does not have a cron job. I've tried rebooting, and even looked for the old-style lockfile to delete, but I guess that method is no longer used. Is there some way to force unlock this so I can run apt-mirror? UPDATE: So... I f...
Read more

Mangá

Image
  Nota:  Não confundir com Manga. Mangás e Animes Mangá Mangaká • Tankōbon Film comic La nouvelle manga Mangá original em inglês Anime História Animação influenciada por animes • Filler • OVA • Seiyū Públicos Kodomo • Shōjo • Shōnen Josei • Seinen Gêneros Mahō shōjo • Mecha • Harém Ecchi • Hentai ( Yaoi • Yuri Futanari • Shotacon • Lolicon Toddlercon ) Termos Bishōjo • Chibi • Fan service Gaiden • Kawaii • Kaitō • Light novel Mahō shōnen • Moe (antropomorfismo • Kemonomimi Nekomimi ) • Super deformed Omake • Tsundere • Yonkoma Listas Mangás • Animes • Ecchi • Mangaka • Estúdios • Revistas Fãs ( otaku ) Anime Music Video Convenções • Cosplay Dōjinshi • Fansub • Fandub • Fujoshi OS-tan • Scanlation Portal de Anime e mangá v d e O mangá (português brasileiro) ou manga (português europeu) [ 1 ] (em japonês: 漫画 , manga ? , lit. “história em quadrinhos”) , é a ...
Read more

Eduardo VII do Reino Unido

Image
Eduardo VII Rei do Reino Unido da Grã-Bretanha e Irlanda e dos Domínios Britânicos de Além-mar Imperador da Índia Rei do Reino Unido e Imperador da Índia Reinado 22 de janeiro de 1901 a 6 de maio de 1910 Coroação 9 de agosto de 1902 Delhi Durbar 1 de janeiro de 1903 Predecessora Vitória Sucessor Jorge V   Esposa Alexandra da Dinamarca Descendência Alberto Vitor, Duque de Clarence e Avondale Jorge V do Reino Unido Luísa, Princesa Real Vitória de Gales Maud de Gales Alexandre João de Gales Casa Saxe-Coburgo-Gota Nome completo Alberto Eduardo Nascimento 9 de novembro de 1841   Palácio de Buckingham, Londres, Reino Unido Morte 6 de maio de 1910 (68 anos)   Palácio de Buckingham, Londres, Reino Unido Enterro Capela de São Jorge, Windsor, Berkshire, Reino Unido 20 de maio de 1910 Pai Alberto de Saxe-Coburgo-Gota Mãe Vitória do Reino Unido Assinatura ...
Read more