Aksiomo de kalkulebleco

El Vikipedio, la libera enciklopedio
Jump to navigation Jump to search

En matematiko, aksiomo de kalkulebleco estas propraĵo de certaj matematikaj objektoj kiu postulas ekziston de kalkulebla aro kun certaj propraĵoj; sen la aksiomo ĉi tiaj aroj povus ne ekzisti.

Gravaj aksiomoj de kalkulebleco por topologiaj spacoj estas:

Rilatoj:

  • Ĉiu unua kalkulebla spaco estas vica.
  • Ĉiu dua-kalkulebla spaco estas unua-kalkulebla, apartigebla, kaj de Lindelöf.
  • Ĉiu σ-kompakta spaco estas de Lindelöf.
  • Metrika spaco estas unua-kalkulebla.
  • Por metrikaj spacoj dua-kalkulebleco, disigebleco kaj la propraĵo de Lindelöf estas ĉiuj ekvivalentaj.

Aliaj ekzemploj: