Aksiomo de kalkulebleco

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

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: