Compacidade e compacidade sequencial.

4 Outubro 2016, 10:30 Manuel Duque Pereira Monteiro Marques

Espaços métricos compactos: caracterizações equivalentes (coberturas abertas, sucessões crescentes de abertos, intersecções de fechados, sucessões decrescentes de fechados). Espaços métricos sequencialmente compactos. Espaços totalmente limitados.
Teorema de Bolzano-Weierstrass: espaços métricos compactos são sequencialmente compactos e vice-versa.