Esercizio con Box Topology

Dimostro che non è connesso
Mi basta trovare due insiemi disgiunti non vuoti che separano .
Considero:

  • l’insieme delle successioni limitate
  • l’insieme delle successioni non limitate
    Risulta che i due insiemi sono disgiunti e aperti per la Box Topologia:
    dato un punto è possibile considerare un intorno .
    Se è limitato, allora , se non è limitato, allora .
    Dunque ho trovato una separazione rispetto alla box topology dunque non è connesso