spazio separabile
spazio separabile spazio topologico che contiene un sottoinsieme numerabile (può essere messo in corrispondenza biunivoca con N) e denso (ogni elemento dello spazio appartiene al sottoinsieme o ne è un punto di accumulazione). La retta reale è un esempio di spazio separabile perché contiene come sottoinsieme l’insieme formato dai punti rappresentanti dei razionali, che sono, appunto, un insieme numerabile e denso. Più in generale lo spazio Rn è separabile perché contiene il sottoinsieme Qn denso e numerabile. Gli spazi generalmente considerati in analisi e geometria sono separabili. Uno spazio di → Hilbert è separabile se e solo se possiede una base ortonormale numerabile (→ spazio euclideo).