Mostre que o conjunto
não nem aberto, nem fechado. Mostre com cálculos
Passo 1
Beleza, vamos lá! A questão pede para mostrar que o conjunto dos números racionais, representado por
, não é nem aberto nem fechado. Para isso, vamos precisar entender um pouco de topologia básica, focando nos conceitos de conjuntos abertos e fechados. Vamos usar alguns cálculos e argumentos para demonstrar isso passo a passo.
Passo 2
Primeiro, vamos lembrar o que significa um conjunto ser aberto. Em termos simples, um conjunto é aberto se, para qualquer ponto dentro dele, dá para traçar um pequeno intervalo (ou bola, no caso multidimensional) ao redor desse ponto que ainda está totalmente dentro do conjunto.
No caso de
, queremos verificar se isso é verdade. Vamos pegar um número racional qualquer, digamos
, e tentar encontrar um intervalo ao redor de
que contenha apenas números racionais.
Passo 3
Porém, sabemos que entre dois números racionais sempre existe um número irracional. Isso significa que, mesmo que tentemos desenhar um intervalo pequeno ao redor de
, sempre vai ter números irracionais dentro desse intervalo que não estão em
.
Matematicamente, para qualquer
, o intervalo
conterá números irracionais, ou seja,
.
Então, não existe um intervalo totalmente aberto dentro de
que contenha
. Portanto,
não é um conjunto aberto.
Passo 4
Agora, vamos verificar se
é fechado. Um conjunto é fechado se ele contém todos os seus pontos de acumulação, ou seja, se toda sequência que converge dentro do conjunto tem seu limite também dentro do conjunto.
Considere a sequência dos racionais que converge para um número irracional, por exemplo, a sequência que se aproxima de
. Todos os termos dessa sequência estão em
, mas o limite,
, não está em
.
Isso mostra que
não contém todos os seus pontos de acumulação, logo,
não é um conjunto fechado.
Resposta
Portanto, demonstramos que o conjunto dos números racionais
não é nem aberto, nem fechado.