Tiago Reis & Walter Gomide

Synesis, v. 5, n. 2, p. 197-210, jul/dez.
2013, ISSN 1984-6754

Universidade Catlica de Petrpolis, Petrpolis, Rio de Janeiro, Brasil

197

NMEROS TRANSREAIS: SOBRE A NOO DE
DISTNCIA

TRANSREAL NUMBERS: ON THE CONCEPT OF
DISTANCE

WALTER GOMIDE
--

UNIVERSIDADE FEDERAL DO MATO GROSSO, BRASIL

TIAGO S. DOS REIS
---

INSTITUTO FEDERAL DO RIO DE JANEIRO, BRASIL

Resumo: o conceito de distncia de fundamental importncia para a Cincia. Basicamente,
uma vez traduzida para a matemtica, a noo de distncia se define como uma funo cujos
argumentos so pares de nmeros reais e os valores so nmeros reais. Tal concepo de
distncia (o espao mtrico) est presente em todas as reas da fsica, e tem por fundamento a
ideia intuitiva de que a distncia entre dois pontos o tamanho de um caminho contnuo entre
tais pontos. Este artigo apresenta um novo conceito de distncia, conceito este baseado nos
nmeros transreais, criados pelo cientista da computao James A.D.W. Anderson. Esta nova
concepo de espao mtrico (o espao transmtrico) permite a introduo de distncias
infinitas, assim como distncias entre pontos entre os quais no h caminho contnuo algum
(metaforicamente, uma distncia cuja imagem o salto).

Palavras-chave: Nmeros reais; nmeros transreais; infinito; mtrica; transmtrica.

Abstract: The concept of distance has a main importance to Science. Basically, if one can
translate such notion into mathematics, the concept of distance is defined by a function whose
arguments are pairs of real numbers and values are real numbers. Such conception of distance
(metric space) is present in every realm of Physics, and finds its foundation on the intuitive idea
that the distance between two points is the size of a continuous path that links these points.
This article presents a new concept of distance, which one is built upon transreal numbers, a
new domain of numbers created by the english computer scientist James A.D.W. Anderson.
This new conception of metric space (transmetric space) allows the introduction of infinite
distances, as well as distances between points which there is not any continuous path
(metaphorically, a distance whose image is the jump).

Keywords: Real numbers; transreal numbers; infinity; metric; transmetric.

-
Artigo recebido em 31/05/2013 e aprovado para publicao pelo Conselho Editorial em 01/06/2013.
--
Doutor em Filosofia pela Pontifcia Universidade Catlica do Rio de Janeiro, Rio de Janeiro, Brasil. Professor da
Universidade Federal do Mato Grosso, Brasil. Currculo lattes: http://lattes.cnpq.br/8311495246895647. E-mail:
waltergomide@yahoo.com.
---
Doutorando em Histria das Cincias e das Tcnicas e Epistemologia pela Universidade Federal do Rio de
Janeiro, Brasil. Professor do Instituto Federal de Educao, Cincia e Tecnologia do Rio de Janeiro, IFRJ, Brasil.
Currculo lattes: http://lattes.cnpq.br/7858280277437268. E-mail: tiago.reis@ifrj.edu.br.

Synesis, v. 5, n. 2, p. 197-210, jul/dez. 2013, ISSN 1984-6754

198
1. Introduo

O conceito de distncia um dos mais fundamentais da cincia, em especial na fsica. Em
contextos de medio, a distncia (assim como qualquer outra grandeza fsica) vem, usualmente,
expressa por um nmero real. S por isto, a ideia intuitiva de que pode haver distncias infinitas
entre objetos est excluda de qualquer processo de medio, posto que no h nmeros reais
infinitos. De fato, em geral, o tratamento sistemtico que o infinito recebeu na matemtica est
associado a concepes conjuntsticas, as quais no se inserem, como postulado fundamental
de suas anlises, que existem distncias entre os elementos do conjunto.

2. Cantor e o Tratamento Conjuntista do Infinito

Como exemplo paradigmtico do infinito tratado como conjunto (tratamento este que
exclui a possibilidade de falarmos em "distncias" infinitas), est a abordagem pioneira de Georg
Cantor. Ao final do sculo XIX, o matemtico russo, de formao alem, Georg Cantor
publicou dois artigos que so considerados precursores da teoria dos conjuntos
1
. Tais trabalhos
constituem uma sntese de resultados e conceitos que Cantor, desde a stima dcada dos
oitocentos, j desenvolvera em trabalhos sobre a expanso trigonomtrica de funes reais, e
sobre as propriedades topolgicas do continuum. Em grandes linhas, podemos afirmar que
Cantor introduziu o que hoje chamada de teoria ingnua de conjuntos a partir da
necessidade de entender as propriedades estruturais do contnuo numrico: o pano de fundo
das construes conjuntsticas de Cantor a tentativa de analisar detidamente quais as
propriedades estruturais dos nmeros reais. Na pesquisa de Cantor, a noo de infinito um
objeto precpuo da teoria conjuntstica: definir de forma satisfatria a noo de infinito, a partir
da noo de conjunto, uma das tarefas a que se prope Cantor em seus artigos supracitados
(ver nota 1).
Mas no s a definio de infinito que, a partir de conjuntos, encontra lugar na obra de
Cantor. A distino entre enumervel e no-enumervel tambm apresentada por Cantor em
termos estritamente conjuntsticos. Tal distino tem sua origem na comparao que Cantor faz
entre os nmeros naturais e os pontos de um segmento de reta. Cantor, em 1874, mostrara que
h mais pontos em um segmento de reta do que nmeros na sequncia dos nmeros naturais
2
.

1
Os artigos aqui mencionados apareceram em 1895 e 1897, no Mathematische Annalen, sob o ttulo de Beitrge zur
Begrundung der transfiniten Mengenlehre (ver JOURDAIN, in CANTOR, [1941]).
2
Ver Cantor, Uber eine Eigenschaft des Inbegriffes aller reellenn algebraischen Zahlen, [1874].

199
Com este resultado, Cantor levado a chamar os conjuntos que tm o mesmo tamanho dos
naturais de enumervel, enquanto os conjuntos maiores que os naturais so denominados de
no-enumerveis.
De fato, a teoria cantoriana nos oferece um quadro conceitual em que o infinito
abordado sobre diversos aspectos. Neste quadro, destacam-se as noes de tipo ordinal e de
nmero cardinal. Para chegar a tais conceitos, Cantor se utiliza da faculdade humana da abstrao
(CANTOR, 1, [1895]). Primeiramente, Cantor considera um conjunto como um agregado de
objetos perfeitamente intudos pelo pensamento e distintos entre si. Neste agregado, podemos abstrair a
natureza dos elementos constitutivos, retendo a inter-relao entre seus elementos. Esta inter-relao
entre os elementos de um agregado nos d a ordem configuracional do agregado; a esta ordem,
Cantor deu o nome de tipo ordinal. (CANTOR,7, op.cit). Vejamos um exemplo. Seja um conjunto
A de nmeros reais, definido por

= {; e 1 2}.

Os elementos de so nmeros reais e esto dispostos de uma determinada maneira. De fato,
as propriedades estruturais da ordem interna de A so as seguintes:
a) Todo elemento de um ponto de acumulao de qualquer que seja a vizinhana
de qualquer elemento de , h infinitos elementos de nesta vizinhana;
b) O conjunto denso nele mesmo: entre dois elementos quaisquer de , h uma
quantidade infinita de elementos de ;
c) Toda sequncia de elementos de que tenha limite, tem este ltimo pertencente a .
Tais propriedades estruturais do o tipo ordinal de , tipo este que Cantor denominou de
u, o tipo ordinal do contnuo linear (CANTOR, 11, op. cit). Chega-se a u por abstrao da natureza
dos elementos de (neste caso, nmeros reais), mantendo, no resultado desta abstrao, as
propriedades estruturais acima descritas. De fato, poderia ser um conjunto de massas de
tomos, de mdulos de nmeros complexos, de instantes de tempo, etc. Uma vez abstraindo a
natureza de seus elementos, o resultado seria a ordem abstrata pela qual o conjunto foi
estruturado em suas inter-relaes posicionais, isto , o tipo ordinal u. Para indicar que u surgiu
de por meio de uma abstrao, Cantor usa uma notao similar a "
= u " (CANTOR, 7,
op.cit).
Alm do tipo ordinal, outra propriedade que se depreende dos conjuntos seu nmero
cardinal ou potncia. A potncia de um conjunto surge por uma dupla abstrao: dado um

200
agregado qualquer, chegamos ao tipo ordinal por uma primeira abstrao. Podemos ento
abstrair a ordem inter-posicional indicativa do tipo ordinal do agregado em questo, chegando
a um nmero que nos d a "quantidade" de puras unidades que constituem o agregado; este
nmero o que Cantor chama de cardinal ou potncia. Segundo Cantor:
Chamamos de potncia ou nmero cardinal de M [um agregado] o conceito geral
que, por meio de nossa faculdade ativa de pensamento, surge do agregado M quando fazemos
a abstrao da natureza dos vrios elementos m [de M] e da ordem em que eles so dados
(CANTOR, 1, op.cit). Aqui cabe dizer que o conceito de potncia reflete a imagem abstrata
que temos do conjunto ou agregado, sendo este ltimo uma realidade objetiva que independe
de nossa intuio (CANTOR, [1883], p.80).
No exemplo anteriormente dado, podemos abstrair de

= u a ordem de seus elementos.
Neste caso, o agregado resultante
= c o cardinal ou potncia do contnuo linear. A dupla

superposio do smbolo * indica que a faculdade de abstrao operou duas vezes sobre para
chegarmos potncia c.
De posse das noes de tipo ordinal e de nmero cardinal, Cantor pde desenvolver uma
maneira aritmtica de tratar os conjuntos infinitos. De fato, uma das maiores contribuies que
Cantor legou matemtica foi a aritmtica transfinita, a qual tanto se aplica a tipos ordinais
quanto a nmeros cardinais. No escopo da aritmtica transfinita, a distino entre finito e
infinito, fundamentada em Cantor na teoria dos conjuntos, aparece sob a forma de excees
claras de princpios ou leis aritmticas que valem irrestritamente em domnios finitos. Por
exemplo, a comutatividade da adio, regra de validade inquestionvel para os nmeros finitos,
no vale no mbito do infinito ordinal, embora valha para nmeros cardinais infinitos.
Consideremos, por exemplo, um conjunto infinito e enumervel cujas relaes de ordem se
deem sob a forma de uma sequncia (entende-se que um conjunto est dado sob a forma
sequencial se, e somente se, seus elementos esto pareados ou em correspondncia bijetiva
com os nmeros naturais). Segundo a teoria cantoriana dos conjuntos, o tipo ordinal de tal
conjunto e, o primeiro ordinal transfinito (CANTOR, 15, [1897]). De acordo com a
aritmtica transfinita, para qualquer nmero finito k, temos que:
k + e = e + k,

o que constitui uma flagrante violao da comutatividade da adio.
Desejamos estender o conceito de mtrica a fim de termos distncias infinitas. Apesar de,
na teoria de Cantor, o infinito no ter mais o carter apenas intuitivo, o conjunto dos nmeros

201
transfinitos no se mostra adequado para representar distncia, posto que, como j comentado,
esta grandeza usualmente representada por nmeros reais. Desta forma, necessitamos de um
conjunto que possua o infinito como nmero, mas que tambm possua os nmeros reais. Como
os transfinitos no so uma extenso dos reais, estes primeiros no so apropriados para
estender o conceito habitual de mtrica.
Formalmente, um espao mtrico consiste em um par (P, d), em que P um conjunto de
pontos, e d uma funo definida em P
2
(o produto cartesiano P P), cujos valores so nmeros
reais que satisfazem os seguintes postulados:
P1) d(x,y) = d(y,x).
P2) d(x,y) > 0.
P3) d(x,y) = 0 se, e s se, x = y
P4) d(x,y) + d(y,z) > d(x,z)

Para que o infinito tenha uma acepo mtrica, necessrio que a prpria noo de
infinitude seja introduzida em contextos numricos, o que no foi feito na obra original de
Cantor. Este contexto encontrado no domnio dos transreais, nmeros criados pelo cientista
da computao ingls James A.W.D. Anderson
3
.

3. Anderson e a Concepo Axiomtica dos Nmeros Transreais

Inicialmente, os nmeros reais, em sua representao linear, so estendidos com a
introduo das duas constantes seguintes (ANDERSON, [2007]):

a) 1/0 = ;
b) -1/0 = -.

Desta forma, chegamos aos nmeros reais estendidos:

c)
E
= {-,}.

3
Sobre os transreais, ver James Anderson, Transmathematics. How to divide by zero using only the operations of ordinary
arithmetic, but ignoring the prescription not to divide by zero, in such a way as to preserve the maximum information about t he
magnitude and sign numbers, IN: www.booofparagon.com/Pages/Books/htm


202
A partir dos reais estendidos, os nmeros transreais so introduzidos por meio da
apresentao da constante u, definida como se segue (ANDERSON, op.cit):

d) 0/0 = u.

Finalmente, definimos os transreais
T
como o seguinte conjunto:

e)
T
=
E
{u}.

Os nmeros transreais podem ser representados pictoricamente pelo diagrama abaixo:

Figura 1

A constante u (cujo nome dado por Anderson nulidade) ocupa uma posio fora da
reta estendida que representa o domnio dos reais estendidos
E
= {-,}.
No que diz respeito relao de ordem que se estabelece nos transreais, chega-se a um
interessante resultado. Para todo nmero real r, os seguintes enunciados sempre so o caso:

f) r < ;
g) - < r.

Entretanto, a constante u no ordenvel em
T
: para qualquer nmero x e
T
,
sempre valem as seguintes proposies:
h) (x < u);
i) (u > x).

Metaforicamente, podemos conceber os reais estendidos como uma estrada infinita cujos
caminhos so percorridos em seus dois sentidos, sem que, com isto, os limites extremos desta
estrada possam ser atingidos de forma contnua. Por sua vez, os transreais so visualizados como

203
a mesma estrada, com o adendo de que, agora, h um sol que a ilumina constantemente, sem
ser ponto de fuga de qualquer caminho que a estrada admita.
Ao contrrio do ocorre com os transfinitos, os transreais constituem um domnio no qual
se pode definir uma distncia entre os elementos; e, neste caso, inclusive a possibilidade de
distncias infinitas (ou mesmo de valor nulidade) perfeitamente aceitvel.
James Anderson introduz os transreais de forma intuitiva e axiomtica. Ele define os
transreais como sendo os reais unidos a trs novos elementos: infinito, menos infinito e o
nulidade. A concepo de o infinito e o menos infinito unidos ao conjunto dos nmeros reais
j conhecida. Em teoria de medida e integrao, por exemplo, comum trabalhar-se com o
conjunto dos reais estendidos. O nulidade, por sua vez, foi concebido por Anderson inspirado
na geometria projetiva. Um modelo para o plano projetivo se d identificando pontos a retas e
retas a planos. Mais precisamente, no espao euclidiano (que aqui ser tratado
indistintamente de
3
) com origem , escolhe-se um plano paralelo, no coincidente, ao
plano . Cada ponto do plano identificado a nica reta que passa por e por (Figura
2), e cada reta em identificada ao nico plano que passa por e por (Figura 2).

Figura 2

Assim, existe uma aplicao injetiva do conjunto formado por todos os pontos e retas em
e o conjunto formado por todas as retas e planos em
3
que passam por . Porm esta
aplicao no sobrejetiva, pois as retas contidas no plano que passam por no
correspondem a nenhum ponto em (Figura 3) e o plano no corresponde a nenhuma reta
em (Figura 3).

204

Figura 3

Observe que as retas contidas no plano que passam por possuem vetor diretor do
tipo (, , ), onde = 0 e e no so simultaneamente nulos, e o plano possui vetor
normal do tipo (0,0, ), onde 0.
Agora, notemos o seguinte. Sejam uma reta em
3
que passa por e (, , ) um vetor
diretor de . O vetor (, , ) tambm um vetor diretor de se, e somente se, existe um
nmero real no nulo tal que = , = e = . Isto induz a seguinte relao em
3
: dois vetores (, , ) e (, , ) em
3
so ditos equivalentes se, e apenas se, existe um
nmero real no nulo tal que = , = e = . Observe que para cada ponto no
plano , existe uma nica classe de equivalncia de vetores (, , ), onde 0. E
analogamente, para cada reta no plano , existe uma nica classe de equivalncia de vetores
(, , ), onde e no so simultaneamente nulos.
A fim de se ter uma correspondncia biunvoca entre os pontos no plano projetivo e as
retas em
3
que passam por e uma correspondncia biunvoca entre os retas no plano
projetivo e os planos em
3
que passam por adotam-se as seguintes definies. Um ponto
no plano projetivo a classe de equivalncia de todos os vetores (, , ) que so vetores
diretores de uma reta em
3
que passa por , isto , um ponto no plano projetivo uma classe
de equivalncia de um vetor em
3
\{(0,0,0)}. Uma reta no plano projetivo a classe de
equivalncia de todos os vetores (, , ) que so vetores normais a uma reta em
3
que passa
por , isto , uma reta no plano projetivo uma classe de equivalncia de um vetor em
3
\{(0,0,0)} (PENNA, 1986). Desta forma, a classe do ponto (0,0,0) no faz parte do plano
projetivo.
Seja = , onde uma constante real no nula, a equao do plano . Observe que
todo ponto de tem coordenada (, , ). Observe tambm que existe uma correspondncia
biunvoca entre o conjunto das classes de equivalncia de coordenadas (, , ) com 0 e o

205
conjunto dos pontos (, , ). A univocidade se d pelo fato de (, , ) ser equivalente a
(
, ). O que no faria sentido se = 0. Com isso, considerar tambm as classes de pontos

da forma (, , ) com = 0 e e no simultaneamente nulos, contorna o problema de
aparecer (
0
,
0
,
0
0
). Anderson observa que o caso (
0
0
,
0
0
,
0
0
) deixado de lado. Para ele, a
incluso do ponto (0,0,0) no modelo projetivo pode ser aplicada em teoria da computao
(ANDERSON, 1997). Anderson defende sua tese e se refere ao ponto (0,0,0) como um ponto
em nulidade.
No h dvida de que os nmeros transreais consistem em uma inovadora extenso dos
nmeros reais. Anderson concebe os nmeros transreais de forma axiomtica. Estes axiomas
(em um total de trinta e dois) consistem em quatorze proposies que apresentam o
comportamento esperado das operaes aritmticas (adio, subtrao, diviso e
multiplicao) quando aplicadas aos reais, mais dezoito que regulam o comportamento
desviante de tais operaes quando os estritamente transreais aparecem como argumentos.
Tais proposies desviantes so as seguintes (a numerao utilizada a mesma que se encontra
no artigo original de Anderson):
A4) u + a = a;
A5) a + = , sendo a = - e a = u;
A8) a a = 0, sendo a = e a= u;
A9) u = -u;
A10) a - = -, sendo a= e a= u;
A11) - = u;
A15) ua = u;
A16) 0 = u;
A18) a/a = 1, sendo a = 0 e a = e a = u;
A19) (a
-1
)
-1
= a, sendo a = -;
A20) 0
-1
= (definio de );
A23) a = se, e somente se, a>0;
A24) a = - se, e somente se, a < 0;
A25) > 0;
A30) para todo transreal a, a>0 ou a < 0 ou a = 0 ou a = u;
A31) a (b + c) = (ab) + (ac), se no caso de:(a = e sgn(b) = sgn(c) e (b + c) = u e

206
(b + c) = 0 )
4
.
A32) para todo X _ R
T
{u}, existe um u e X, tal que para todo y e Y, com Y _ X, u s y
(existncia do elemento nfimo) e existe um v e X, tal que para todo y e X, com Y _ X, y s v (existncia do
elemento supremo).
(o axioma 32 afirma que R
T
{u} um reticulado completo)

Em resumo, a aritmtica dos transreais se d da seguinte forma:

Simtrico: u = u, () = , () = .

Recproco: 0
1
= , u
1
= u,
1
= 0, ()
1
= 0.

Adio: u+ = u, + = {
u, e{, u}
, e{, u}
, + = {
u, e{, u}
, e{, u}
.

Multiplicao: u = u, = {
u, e{0, u}
, > 0
, < 0
, = {
u, e{0, u}
, > 0
, < 0
.

4. Os Nmeros Transreais e o Conceito de Distncia Infinita

A introduo de fatores mtricos nos transreais pode ser feita atravs de uma extenso
natural do conceito de espao mtrico. Seja uma funo definida em (
)
2
. Com valores
possveis, admite nmeros reais ou 1/0 = . uma generalizao de uma mtrica d, se as
seguintes condies forem satisfeitas (ANDERSON, [2008]):
1) (a,b) = (b,a)
2) (a,b) = 0 se, e s se, a = b.

4
No axioma 31, sgn (x) a funo sinal, definida da forma seguinte:
se x > 0, sgn (x) = 1;
se x < 0, sgn (x) = -1;
se x = 0, sgn (x) = 0;
se x = u, sgn (x) = u


207
3) (a,b) = o(a,b) se, e s se, a = b e (a,b) e
2
.
4) (a,b) = se, e s se, a = b e (a,b) e [(
T
)
2

2
]

Podemos tambm definir uma funo t, chamada transmtrica. Seja um conjunto e
uma funo definida de em
. A funo chamada de transmtrica se satisfaz as

seguintes condies (ANDERSON, ibidem):

T1) t(a,b) = t(b,a)
T2) (t(a,b) < 0).
T3) t(a,b) = 0 se, e s se, a=b.
T4) (t(a,b) + t(b,c) < t(a,c)).

Se os transfinitos de Cantor so definidos como conjuntos, e como tais se mostram
inadequados s questes mtricas, o mesmo no se diz dos transreais: na qualidade de um espao
(trans)mtrico, h sempre uma distncia definida entre dois elementos quaisquer e as leis que
regulam tais distncias so dadas pelos postulados (T1) - (T4).
A noo de espao mtrico o fundamento matemtico sobre o qual se apoia a ideia
intuitiva de distncia. De fato, uma distncia qualquer entre dois pontos compreendida
intuitivamente como um caminho (em geral, um segmento de reta) que liga tais pontos; a
expresso matemtica deste caminho, deste pedao de espao retilneo, um nmero real
maior ou igual a zero. Mas a intuio de distncia no precisa, necessariamente, estar presa
ideia de um segmento de reta finito e expresso por um nmero real. Podemos falar em
distncias infinitas ou mesmo de distncias que no se definem por meio de nenhum caminho
continuo entre pontos, mas so mais bem intudas atravs da imagem de salto entre pontos, ou algo
equivalente. Por exemplo, podemos falar sobre a distncia entre mundos possveis, sem que,
com isto, queiramos significar uma distncia que possa ser expressa por um nmero real, mas
sim por um nmero infinito, ou mesmo por um nmero que indique a desconexo completa
entre tais mundos
5
. No mbito dos nmeros reais (e mediante a noo de espao mtrico),

5
Um contexto em que a transmtrica pode ser til como estrutura para avaliar distncias entre mundos pode ser a
interpretao que Hugh Everett III d ao princpio de superposio na fsica quntica. Grosso modo, Everett nos diz
que todas as solues lineares (autoestados) da equao de Schrndinger esto associadas a observadores em
mundos possveis desconexos que avaliam o comportamento de um sistema fsico conforme os autovalores
correspondentes aos autoestados da superposio. Tais observadores esto desconectados uns dos outros, e,
portanto, no pode haver uma distncia real entre eles; isto pode sugerir que a distncia entre tais observadores seja

208
estamos impossibilitados de apresentar tais distncias, mas com a noo de transmtrica isto
perfeitamente possvel: no caso de distncias infinitas, obviamente o transreal se presta para
tanto; para expressar o caso de desconexo completa entre os objetos que distam entre si, o
transreal u aparece como o candidato mais adequado.

infinita ou expressa pelo nmero transreal u. Sobre a interpretao dos estados qunticos superpostos como
mundos possveis, ver Everett, [1973])

209
Referncias Bibliogrficas

ANDERSON, J. A. D. Transmathematics. How to divide by zero using only the
operations of ordinary arithmetic, but ignoring the prescription not to divide by zero in
such a way as to preserve the maximum information about the magnitude and sign
numbers. Disponvel em: http://www.bookofparagon.com/Books/Transmathematics/
Transmathematics.pdf. Acesso em: 19 de setembro de 2013.
ANDERSON, J. A. D. W. Perspex Machine XI: Topology of the Transreal Numbers.
Disponvel em: http://www.bookofparagon.com/Mathematics/PerspexMachineXI.pdf.
Acesso em: 19 de setebmro de 2013.
ANDERSON, J. A. D. W. Representing geometrical knowledge. Philosophical Transaction
of The Royal Society, v. 352, n. 1358, p. 1129-1140, 1997.
ANDERSON, J. A. D. W.; VLKER, Norbert; ADAMS, Andrew A. Perspex Machine VIII:
Axioms of Transreal Arithmetic. Disponvel em:
http://opendepot.org/83/1/PerspexMachineVIII.pdf. Acesso em: 10 de setembro de 2013.
CANTOR, G. Beitrge zur Begrundung der Transfiniten Mengelehre. In: Contributions to the
Founding of the Transfinite Numbers I. Dover Publications, New York, 1941.
CANTOR, G. Cantors Grundlagen. In: EWALD, W. ed. From Kant to Hilbert. A Source
Book in the Foundations of Mathematics. Volume 1. Clarendon Press, Oxford, 1999.
CANTOR, G. Uber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen. Journal
fr die Reine und Angewandte Mathematik, n. 77, p. 258262, 1874.
EVERETT, H. The Theory of the Universal Wave Function. In: The Many World
Interpretation of Quantum Mechanics. De Witt and Graham (Eds), Princeton University
Press, Princeton. Disponvel em: http://www-
tc.pbs.org/wgbh/nova/manyworlds/pdf/dissertation.pdf. Acesso em: 10 de setembro de 2013.
FORTI, C. Burali. Une Questioni Sui Numeri Transfiniti. A Question On The Transfinite
Numbers and Well-Ordering Classes. In: HEIJENOORT, J. VAN, ed, From Frege to Gdel.
Harvard University Press, Cambridge University Press, Cambridge Mass, 1981.
PENNA, M. & PATTERSON, R. Projective Geometry and Its Applications To Computer
Graphics. Prentice Hall, 1986.

210
TONDERING, C. Surreal Numbers An Introduction. Disponvel em:
http://www.tondering.dk/claus/sur16.pdf. Acesso em: 19 de setembro de 2013.

Universidade Catlica de Petrpolis
Centro de Teologia e Humanidades
Rua Benjamin Constant, 213 Centro Petrpolis
Tel: (24) 2244-4000
synesis@ucp.br
http://seer.ucp.br/seer/index.php?journal=synesis

GOMIDE, Walter; REIS, Tiago. NMEROS TRANSREAIS: SOBRE A NOO DE. Synesis,
http://seer.ucp.br/seer/index.php/synesis, v. 5, n. 2, p. 197-210, dec. 2013. ISSN 1984-6754. Disponvel em:
http://seer.ucp.br/seer/index.php?journal=synesis&page=article&op=view&path%5B%5D=413. Acesso em: 18 Dec. 2013.

Tiago Reis & Walter Gomide

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Tiago Reis & Walter Gomide

Diunggah oleh

Hak Cipta:

Format Tersedia

Synesis, v. 5, n. 2, p. 197-210, jul/dez.

2013, ISSN 1984-6754

= c o cardinal ou potncia do contnuo linear. A dupla

, ). O que no faria sentido se = 0. Com isso, considerar tambm as classes de pontos

. A funo chamada de transmtrica se satisfaz as

Anda mungkin juga menyukai