Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
11<br />
em 1873 que o número transcendental, portanto, irracional. A recíproca não é verdadeira.<br />
Todo número transcendental é, ao mesmo tempo, irracional, mas nem todo número irracional<br />
é transcendental. Por exemplo, √2 é um número irracional, mas não é transcendental, ele é<br />
algébrico. A natureza não algébrica de π demorou mais um pouco a ser demonstrada. Em<br />
1882, Ferdinand von Lindemann demonstrou que π é um transcendental. Tendo em vista que<br />
π e e são números transcendentais, eles não podem ser raízes de uma equação algébrica do<br />
tipo<br />
ao +a1x 1 a2 x 2 + ...+ anx n = 0, ao≠ 0<br />
quaisquer que sejam os coeficientes inteiros ao, ..., na e o índice n.<br />
Assim como existem infinitos números inteiros, há também infinitas frações. Há, entretanto,<br />
uma diferença fundamental entre estes dois conjuntos: o conjunto dos números inteiros é<br />
discreto, por excelência. Diríamos então que o conjunto dos inteiros é quantizado na unidade,<br />
ou seja, a diferença entre dois inteiros consecutivos é sempre igual a um. O mesmo não<br />
acontece com os números fracionais, entre duas frações quaisquer, por próximas que sejam<br />
uma da outra, sempre é possível encontrar outra fração entre elas. Por isso, dizemos que o<br />
conjunto dos números fracionais é denso.<br />
A primeira impressão que se tem é que este imenso conjunto dos números racionais,<br />
incluindo os números inteiros e todas as frações possíveis é absolutamente denso. Entretanto<br />
não é isso que acontece. Este conjunto, apesar de sua aparência densa, deixa gaps<br />
vazios,“buracos” vazios, entre seus elementos: pontos que não correspondem a nenhum<br />
número racional.<br />
O inesperado em tudo isso é que esses intervalos vazios são tão numerosos que ultrapassam<br />
em quantidade qualquer número por maior que ele seja. Este conjunto dos números irracionais<br />
é infinito. Dedekind já havia demonstrado que os números irracionais formavam um conjunto<br />
infinito. 1) Ainda mais: Cantor mostrou que o conjunto dos números irracionais não é<br />
numerável. Ao contrário do conjunto dos números racionais que é numerável, o conjunto dos<br />
números irracionais não é enumerável.<br />
A descoberta dos números irracionais é atribuída aos pitagóricos, ou talvez ao próprio<br />
Pitágoras de Samos. Em um quadrado de lados igual a um, sua diagonal é igual à raiz de dois:<br />
√2. Este número é irracional. Na divisão áurea: Se um todo é dividido em duas partes<br />
desiguais, tais que o todo está para a parte maior, assim como esta parte maior está para a<br />
menor, então, dizemos que este todo foi dividido segundo a razão áurea: Seja x esta parte<br />
maior, então 1/x = x/(1-x).<br />
Resolvemos então a equação x 2 + x -1 = 0, escolhendo a solução com x > 0, temos<br />
x = ½ (-1 + √5) ≈0,618, Ф = 1/x = 2/(√5 -1) ≈ 1,618<br />
Ф é chamado de número fi. Como ocorre com √2, Ф também é um número irracional.<br />
Definição de um conjunto infinito, segundo Dedekind.<br />
Um sistema S é dito ser infinito quando ele é semelhante a uma de suas partes; caso contrário,<br />
S é chamado de sistema finito.<br />
No domínio dos números reais é possível estabelecer os seguintes conjuntos infinitos: