Topologia discreta

Uno spazio topologico ha la topologia discreta quando tutti i sottoinsiemi di sono aperti. Le seguenti sono altre definizioni equivalenti:

  • tutti i sottoinsiemi di sono chiusi;
  • tutti i punti di sono aperti.

La topologia discreta è la più fine fra le topologie di un insieme. All'estremo opposto troviamo la topologia banale che è la meno fine. La topologia discreta può essere considerata come la "topologia naturale" di un insieme, in cui i punti sono tutti "staccati" l'uno dall'altro.

Proprietà modifica

  • Assegnando ad ogni coppia di punti di un insieme la seguente distanza:
 

otteniamo così uno spazio metrico con topologia discreta (questa metrica si chiama metrica discreta). Quindi la topologia discreta è metrizzabile, ovvero indotta da una metrica.

Bibliografia modifica

Voci correlate modifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica