Assioma di numerabilità
Da Wikipedia, l'enciclopedia encyclopedia
In matematica, i due assiomi di numerabilità sono proprietà topologiche che richiedono che alcuni insiemi siano numerabili (cioè abbiano la stessa cardinalità dei numeri naturali): nel primo assioma è richiesto che ogni punto abbia una base locale numerabile, mentre per il secondo assioma è necessario che lo spazio possieda una base numerabile. Uno spazio che soddisfa il primo assioma viene detto primo numerabile, mentre uno che soddisfa il secondo viene detto secondo numerabile.
Nonostante il nome, gli assiomi di numerabilità non sono assiomi nel senso di concetti che devono essere assunti veri per sviluppare una teoria, ma sono delle proprietà che uno spazio topologico può o meno possedere; in questo senso sono simili agli assiomi di separazione.