$\mathbb{Q}_{S}$ não é sequencialmente compacto


Como é mostrado aqui, sabemos que $\mathbb{Q}_{S}$ é metrizável. Como um espaço métrico é compacto se, e somente se, é sequencialmente compacto e $\mathbb{Q}_{S}$ não é compacto, então $\mathbb{Q}_{S}$ não pode ser sequencialmente compacto.