DEFINICGAO 1.1.20. Uma vizinhanga de a € R é qualquer intervalo aberto contendo a. Se a vizinhanga for da forma (a — 6,a + 6), 6 > 0, 6 chamada vizinhanga de raio 6 de a e denotada por V;(a). DEFINIGAO 1.1.21. Diz-se que a € R é um ponto de acumulagdo de B CR se toda vizinhanca de a contém um ponto de B distinto de a. Analisando o exemplo a seguir, vemos que um ponto de acumulacéio de um conjunto nao precisa pertencer a ele. Pontos que pertencem a um conjunto também nao sao necessariamente pontos de acumulacgao. EXEMPLO 1.1.22. (1) A = (a,b), a 0, por menor que seja, sempre existe z € B, x # a, tal que |x — a| < 6. Costuma-se dizer que os pontos de B podem tender a a. O seguinte coroldrio da propriedade arquimediana de R, revela como os niimeros racionais se espalham por toda a reta R: CoROLARIO 1.1.24. Qualquer intervalo (a,b) C R, a < b, contém um ni- mero racional.Demonstragao. Seja a > 0 com a < b. Pelo corolario 1.1.19 da propriedade arquimediana, existe n € N tal que 0 < 1/n < b—a. Sejam q = 1/n e A= {m EN | mq > a} e tomemos k = min A [eziste k, pois AZ @ € limitado inferiormente e, como A ndéo tem pontos de acumulagdo, inf A € A. Veja o exercicio 18.] Afirmamos que 0 nimero racional kg pertence a (a,b). De fato, kg > ae, pela escolha de k, (k — 1)q < a logo kg—agq 0, pela primeira parte da prova existe um racional p € (a + n,b +n). Entao p — n é um racional pertencente a (a,b). Qo Uma conseqiiéncia do coroldrio 1.1.24 é que todo intervalo aberto (a, ), a < 6, contém infinitos nimeros racionais [por que?]. Pelo fato de Q ter a propriedade estabelecida no coroldrio 1.1.24 diz-se, numa linguagem mais técnica, que 0 conjunto Q dos nimeros racionais 6 denso na reta R. Os ntimeros irracionais gozam da mesma propriedade: todo intervalo (a,b), a < b, contém um irracional. De fato, tomemos (a,b), a < b. Sea ¢ Q, sejan € N tal que n(b—a) > |a|. Neste caso, a+ (|a|/n) = a(n £1)/n é um irracional pertencente a (a,b). Se a € Q, sejam x > 0 um irracional e n € N tal que n(b — a) > x. Entao a + (x/n) é um irracional pertencente a (a, b).