Spazio topologico
Secondo la definizione più utilizzata, uno spazio topologico è un insieme X munito di una topologia, ovverosia una collezione di insiemi, detti aperti, che godono delle seguenti proprietà :
- l'unione di una collezione arbitraria di aperti è ancora un aperto
- l'intersezione di un numero finito di aperti è un'aperto
- l'insieme X e l'insieme vuoto sono aperti
- ad ogni punto x corrisponde almeno un intorno U(x), contenente x;
- se U(x) e V(x) sono intorni dello stesso punto x, allora deve esistere un insieme W(x) che sia sottoinsieme dell'intersezione tra U(x) e V(x);
- se y è un punto in U(x), allora esiste un intorno U(y) di y tale che U(y) è un sottoinsieme di U(x);
- per due punti distinti x e y, esistono due intorni disgiunti U(x) e U(y).
Vedi anche:
- Spazio: definizioni in varie discipline
- Spazio topologico vettoriale
- Matematica: Teoria degli insiemi
Bibliografia:
- Munkres J. R., Topology: A First Course, Englewood Cliffs, NJ: Prentice-Hall, 1975.
- Hausdorff, Set Theory, 2nd ed., New York: Chelsea, 1962.
- Berge C., Topological Spaces Including a Treatment of Multi-Valued Functions, Vector Spaces and Convexity, New York: Dover, 1997.
