Utilizador:Thiago Marcel/Mestrado/Análise/Topologia da reta/1-8

1 editar

Um conjunto   é aberto   cumpre a seguinte condição: "se uma sequência   converge para um ponto   então   para todo n suficientemente grande".

Resolução: editar

 :

Como   aberto, logo  .
Tomemos uma sequência  .
Para  .

 :

Suponha que a condição   para todo n suficientemente grande" já está satisfeita. Devemos mostrar que A é aberto.
Temos que  . Devemos então mostrar que existe um  .
Suponhamos então que  , isto é,  . Tome  .
Vamos tomar uma sequência no conjunto   de tal forma que  . Mas  .
Logo foi errado termos suposto que   , pois resultou num fato contraditório.
Portanto A é aberto.

2 editar

Tem-se   para todo aberto A contendo o ponto a,   tal que  .

Resolução: editar

 

Nossa hipótese é que   aberto, com  . Devemos mostrar que   tal que  .
Como A é aberto e  .
Como  . Temos que   tal que  .
Basta tomar  .

 

Supomos agora que   tal que  . Queremos mostrar que  , isto é,   tal que  .
Como   é aberto e  .
Vamos tomar os abertos   tal que  .
Ao tomar abertos A contendo a, temos que  .
Portanto  .

3 editar

3a editar

Seja   aberto. Então,   , o conjunto   é aberto.

Resolução: editar

Suponha que para algum   não seja aberto, logo  .
Mas B é aberto e  .
Tome esse   e o fato que   e tomemos delta por epsilon.
Assim  .
Logo  .
Então   que é uma contradição.
Logo foi errado termos suposto que para algum   não fosse aberto, pois resultou num fato contraditório.
Portanto para todo   é aberto.

Resolução 2: editar

Dado   para algum   aberto, segue que  . Tome    
 .

3b editar

Seja   aberto. Então,  , o conjunto   é aberto.

Resolução: editar

Suponha que para algum   não seja aberto, logo  .
Mas B é aberto e   .
tome esse   e o fato que     e tomemos delta por epsilon.
Assim    .
Logo  .
Portanto     é uma contradição.
Logo foi errado termos suposto que para algum   não fosse aberto, pois resultou num fato contraditório.
Portanto     é aberto.

Resolução 2: editar

Dado   para algum   aberto, segue que  . Tome  .
Assim    . Tome    
  para algum  .

4 editar

4a editar

Sejam A, B abertos. Então o conjunto   é aberto.

Resolução: editar

Suponha que   não seja aberto  
Seja  , com  . Assim  
  Como   que é uma contradição.
Logo foi errado termos suposto que A+B não fosse aberto, pois resultou num fato contraditório.
Portanto A+B só pode ser aberto.

Resolução 2: editar

A aberto implica que    
B aberto implica que  
Seja  , então temos:     isso porque  .

Mas essa última linha é fraca, pensar depois numa linha mais forte!!

4b editar

Sejam A, B abertos. Então o conjuntos   é aberto.

Resolução: editar

Suponha que   não seja aberto  
Seja  , com  . Assim  
  Como   que é uma contradição.
Logo foi errado termos suposto que A+B não fosse aberto, pois resultou num fato contraditório.
Portanto AB só pode ser aberto.

5 editar

5a editar

Para quaisquer  , tem-se  

Resolução editar

Tome  

 .

5b editar

Para quaisquer  , tem-se  

Resolução editar

Tome  

 .

5c editar

Para quaisquer  , tem-se  . Dê um exemplo em que a inclusão não se reduza a uma igualdade.

Resolução não está pronta editar

6 editar

Se   é aberto e  , então   é aberto.

Resolução editar

Tome   aberto  .

  • Se  
  • Se  . Mas  . Logo, se  . Assim podemos tomar  
Portanto  .
Logo   é aberto.

7 editar

7a editar

Considere a função   dadas por  . Mostre que, para cada   aberto,   é aberto.

Resolução editar

  •   é aberto
Vamos determinar  .
Queremos mostrar que   é aberto, quando A é aberto. Mas  .
Suponha que   não é aberto. Então  .
Como  . Tome  
 .
 
  que é uma contradição.
Logo foi errado termos suposto que   não fosse aberto, pois resultou num fato contraditório.
Portanto   é aberto.

7b editar

Considere a função   dadas por  . Mostre que, para cada   aberto,   é aberto.

Resolução editar

Vamos determinar  .
Queremos mostrar que   é aberto, quando A é aberto. Mas  .
Suponha que   não é aberto. Então  .
Como  . Tome  
 .
 
  que é uma contradição.
Logo foi errado termos suposto que   não fosse aberto, pois resultou num fato contraditório.
Portanto   é aberto.

7c editar

Considere a função   dadas por  . Mostre que, para cada   aberto,   é aberto

Resolução editar

Vamos determinar  .
Queremos mostrar que   é aberto, quando A é aberto. Mas  .
Suponha que   não é aberto. Então  .
Como  . Tome  
 .
 
  que é uma contradição.
Logo foi errado termos suposto que   não fosse aberto, pois resultou num fato contraditório.
Portanto   é aberto.

8 editar

8a editar

Sendo   aberto e  , mostre que   é aberto.

Resolução editar

Queremos mostrar que   é aberto, quando A é aberto. Mas  .
Suponha que   não é aberto. Então  .
Como  . Tome  
 .
 
  que é uma contradição.
Logo foi errado termos suposto que   não fosse aberto, pois resultou num fato contraditório.
Portanto   é aberto.

8b editar

Sendo   aberto e  , mostre que h(A) é aberto.

Resolução não está pronta editar


8c editar

Sendo   aberto e  , mostre que g(A) não é aberto.

Resolução não está pronta editar