$\mathbb{Q}_{S}$ não é contrátil


De maneira análoga ao roteiro feito aqui, podemos provar que se um espaço topológico é contrátil, então deve ser conexo por caminhos. Como $\mathbb{Q}_{S}$ não é conexo por caminhos, então não pode ser contrátil.