BASES MATEMATICAS

Enunciado: Sejam CA = {cx : x A, c e inf CA = c inf A. } e A = {x : x A}, A . Prove que sup CA = c sup A

Supondo que exista um y = a + b, tal que a A e b

+,

teremos

aa+b=y ento y um majorante de A, logo, pelo axioma da completude possui supremo. a e Supondo tambm que w y, ou seja, que w o menor dos majorantes, temos que e e sup A = w Ainda supondo que exista um y = a + b, tal que a A e b
+,

teremos, para o conjunto CA

ca c(a + b) = cy; c > 0 ento cy um majorante de CA, logo, possui supremo. a e Por hiptese, temos que w y, donde conclu o mos, utilizando o axioma 12 (A12), que cw cy. Logo, sup CA = cw = c sup A. Como se queria demonstrar. A demonstrao para os ca nmos totalmente anloga. e a