Você está na página 1de 2

Nmero surreal

2 Esboo da construo

Em matemtica, os nmeros surreais so uma classe de


nmeros que inclui todos os nmeros reais e tambm nmeros "innitos", maiores ou menores que qualquer nmero real; tambm inclui nmeros "innitesimais", que
esto mais prximos do zero que qualquer nmero real.
Todos os nmeros reais esto rodeados de nmeros surreais, que esto mais prximos de si do que qualquer nmero real. Os nmeros surreais tm estrutura de corpo
ordenado, o que signica que as quatro operaes aritmticas bsicas (adio, subtrao, multiplicao e diviso)
so denidas e se comportam como esperado. O inverso
multiplicativo de um nmero innito um innitesimal
no nulo, e vice-versa. Nisto, os surreais so semelhantes aos nmeros hiperreais, mas a sua construo
muito diferente. A classe dos surreais maior e inclui os
hiperreais[1] como tambm os ordinais de Cantor como
subclasses. Os matemticos elogiaram os surreais por
serem mais simples, mais gerais e construdos de forma
mais limpa do que o sistema, mais comum, dos nmeros
reais.

Um nmero surreal representado por um par ordenado


(representado como {L|R}) em que L e R so conjuntos
de nmeros surreais, e em que no existe um elemento de
L que seja maior que algum elemento de R. Quando L ou
R for vazio, ele pode ser omitido na representao. As
chavetas em volta do conjunto tambm podem ser omitidas na representao (ou seja, {{}|{a,b,c}} pode ser representado como {|a,b,c}). Intuitivamente, o nmero surreal
representado por {L|R} est entre os elementos de L e
os elementos de R, ou seja, l < {L|R} < r para todos l L
e r R.
Esta denio anloga denio de conjunto, na teoria
dos conjuntos com o axioma da regularidade: A um
conjunto se A = { A1 , A2 , ... } em que cada Ai um
conjunto.
A ordenao denida tambm de forma indutiva, ou
seja, {A|B} ser menor ou igual a {C|D} dependendo
de propriedades dos blocos mais bsicos (essencialmente
compara-se cada elemento de A com {C|D}, cada elemento de B com {C|D}, etc).
Os nmeros surreais e sua ordenao so denidos por
induo transnita, a partir do zero, denido como {|}.
A cada gerao, aparecem novos nmeros e outras formas (equivalentes) de representar nmeros de geraes
anteriores.

Histrico

Assim, a gerao inicial S0 inclui apenas o zero, 0 = {|}.


No contexto tradicional da teoria dos conjuntos, no
existe o conjuntos dos nmeros surreais, que, se existisse, A gerao um S1 inclui os nmeros surreais que so consteria a cardinalidade do conjunto de todos os conjuntos. trudos a partir do zero, ou seja, {0|} e {|0}. O par {0|0}
no um nmero surreal, porque existe um elemento no
Os ordinais innitos j constavam na obra de Bertrand lado esquerdo (zero) que maior ou igual que um eleRussell no Principia mathematica e no Introduo Filo- mento no lado direito (zero). Nesta gerao, temos que
soa da Matemtica.
{|0} < {|} < {0|}.
J os nmeros surreais foram inicialmente propostos por
John H. Conway por volta de 1970, e mais tarde desenvolvidos por Donald Knuth no seu livro de 1974 Sur- 3 Referncias
real Numbers: How Two Ex-Students Turned on to Pure
Mathematics and Found Total Happiness. Este livro era, [1] Bla Bajnok. An Invitation to Abstract Mathematics. [S.l.:
na realidade, uma noveleta matemtica e notvel por ser
s.n.], 2013.
um dos raros casos em que uma nova ideia matemtica
foi apresentada pela primeira vez numa obra de co.
No seu livro, que toma a forma de dilogo, Knuth criou
o termo nmeros surreais para aquilo que Conway tinha
simplesmente chamado nmeros. Conway gostou do novo
nome, e adoptou-o mais tarde ele mesmo. Conway ento descreveu os nmeros surreais e usou-os para analisar
jogos no seu livro de 1976 On Numbers and Games.
1

Fontes, contribuidores e licenas de texto e imagem

4.1

FONTES, CONTRIBUIDORES E LICENAS DE TEXTO E IMAGEM

Texto

Nmero surreal Fonte: https://pt.wikipedia.org/wiki/N%C3%BAmero_surreal?oldid=44068523 Contribuidores: Jorge~ptwiki, Renato


A. Laguna, E2mb0t, Mrio e Drio, LeonardoRob0t, NTBot, RobotQuistnix, Salgueiro, He7d3r, Thijs!bot, Rei-bot, Albmont, BotMultichill, AlleborgoBot, Zdtrlik, Kaktus Kid, PipepBot, LeoBot, SilvonenBot, Luckas-bot, LaaknorBot, Eduardofeld, Salebot, ArthurBot,
Xqbot, FMTbot, ZroBot, MerlIwBot, J. A. S. Ferreira, Legobot, Lema Umbello e Annimo: 8

4.2

Imagens

Ficheiro:E-to-the-i-pi.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/3/35/E-to-the-i-pi.svg Licena: CC BY 2.5 Contribuidores: No machine-readable source provided. Own work assumed (based on copyright claims). Artista original: No machine-readable
author provided. Dermeister assumed (based on copyright claims).
Ficheiro:Nuvola_apps_edu_mathematics-p.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/c/c2/Nuvola_apps_edu_
mathematics-p.svg Licena: GPL Contribuidores: Derivative of Image:Nuvola apps edu mathematics.png created by self Artista original:
David Vignoni (original icon); Flamurai (SVG convertion)
Ficheiro:Question_book.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/9/97/Question_book.svg Licena: CC-BY-SA3.0 Contribuidores: ? Artista original: ?

4.3

Licena

Creative Commons Attribution-Share Alike 3.0